Description
O livro-texto popular de Dirk van Dalen, Lgica e Estrutura, agora em sua quinta edio, oferece uma introduo abrangente aos fundamentos da lgica clssica e da lgica intuicionstica, da teoria dos modelos e do famoso teorema da incompletude de Gdel. A lgica proposicional e a lgica de predicados so apresentadas num estilo fcil de ler usando a deduo natural de Gentzen. O livro prossegue com alguns conceitos e fatos bsicos da teoria dos modelos: uma discusso sobre compaccidade, Skolem-Lwenheim, modelos no-padro e eliminao de quantificadores. A discusso da lgica clssica encerrada com uma exposio concisa da lgica de segunda ordem. Em vista do crescente reconhecimento de mtodos e princpios construtivos, a lgica intuicionstica e a semntica de Kripke so cuidadosamente exploradas. Uma srie de caractersticas construtivas especficas, como a separao e a igualdade, a traduo de Gdel, as propriedades da disjuno e da existncia tambm foram includas. O ltimo captulo sobre o primeiro teorema da incompletude de Gdel autocontido e fornece uma exposio sistemtica da teoria da recurso necessria. Esta nova edio foi devidamente revisada e contm uma nova seo sobre ultraprodutos.
