Logica e Estrutura

O livro-texto popular de Dirk van Dalen, Lógica e Estrutura, agora em sua quinta edição, oferece uma introdução abrangente aos fundamentos da lógica clássica e da lógica intuicionística, da teoria dos modelos e do famoso teorema da incompletude de Gödel. A lógica proposicional e a lógica de predicados são apresentadas num estilo fácil de ler usando a dedução natural de Gentzen. O livro prossegue com alguns conceitos e fatos básicos da teoria dos modelos: uma discussão sobre compaccidade, Skolem-Löwenheim, modelos não-padrão e eliminação de quantificadores. A discussão da lógica clássica é encerrada com uma exposição concisa da lógica de segunda ordem. Em vista do crescente reconhecimento de métodos e princípios construtivos, a lógica intuicionística e a semântica de Kripke são cuidadosamente exploradas. Uma série de características construtivas específicas, como a separação e a igualdade, a tradução de Gödel, as propriedades da disjunção e da existência também foram incluídas. O último capítulo sobre o primeiro teorema da incompletude de Gödel é autocontido e fornece uma exposição sistemática da teoria da recursão necessária. Esta nova edição foi devidamente revisada e contém uma nova seção sobre ultraprodutos.