Logica e Estrutura

<p>O livro-texto popular de Dirk van Dalen <em>Lógica e Estrutura</em> 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.</p><p> </p><p>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.</p><p> </p><p>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.</p><p> </p><p>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.</p><p> </p><p>Esta nova edição foi devidamente revisada e contém uma nova seção sobre ultraprodutos.</p>