Logik

Questo libro comprende un corso base e un corso avanzato. Il corso base è scritto senza prerequisiti e introduce il lettore alla semantica e alla teoria della dimostrazione della logica proposizionale e della logica dei predicati elementari, inserito nella teoria generale del ragionamento razionale. Viene prestata particolare attenzione all'applicazione filosofica della logica nella ricostruzione logica degli argomenti in linguaggio naturale. I legami tra notazioni logiche alternative e tecniche vengono spiegati con cura. Il successivo corso avanzato crea un ponte tra un'introduzione filosofica alla logica e il livello avanzato della logica formale moderna. Dopo un'introduzione approfondita alla logica dei predicati completa e alla sua semantica, il volume si concentra su metodi metalogici. Risultati prominenti riguardanti la correttezza e la completezza della logica dei predicati, l'indecidibilità della logica dei predicati e l'incompletezza dell'aritmetica di primo ordine vengono spiegati passo dopo passo. Il volume è completato da approfondimenti e numerosi esercizi con soluzioni scaricabili. La seconda edizione riveduta è stata completamente rielaborata sia dal punto di vista contenutistico che didattico.