Logica e Estrutura

O livro-texto popular de Dirk van Dalen, LOgica e Estrutura, agora em sua quinta ediCAo, oferece uma introduCAo abrangente aos fundamentos da lOgica clAssica e da lOgica intuicionIstica, da teoria dos modelos e do famoso teorema da incompletude de GOdel.

A lOgica proposicional e a lOgica de predicados sAo apresentadas num estilo fAcil de ler usando a deduCAo natural de Gentzen. O livro prossegue com alguns conceitos e fatos bAsicos da teoria dos modelos: uma discussAo sobre compaccidade, Skolem-LOwenheim, modelos nAo-padrAo e eliminaCAo de quantificadores. A discussAo da lOgica clAssica E encerrada com uma exposiCAo concisa da lOgica de segunda ordem.

Em vista do crescente reconhecimento de mEtodos e princIpios construtivos, a lOgica intuicionIstica e a semAntica de Kripke sAo cuidadosamente exploradas. Uma sErie de caracterIsticas construtivas especIficas, como a separaCAo e a igualdade, a traduCAo de GOdel, as propriedades da disjunCAo e da existEncia tambEm foram incluIdas.

O Ultimo capItulo sobre o primeiro teorema da incompletude de GOdel E autocontido e fornece uma exposiCAo sistemAtica da teoria da recursAo necessAria.

Esta nova ediCAo foi devidamente revisada e contEm uma nova seCAo sobre ultraprodutos.