Libri di Stefano Cavagnetto

Quali sono le proprietà essenziali della logica del prim'ordine? Come funziona la semantica del suo linguaggio? Che rapporto c'è tra la logica del prim'ordine e l'aritmetica, la geometria o la teoria degli insiemi? Il libro risponde a queste domande, presentando in modo accessibile un nucleo essenziale di conoscenze sulla logica del prim'ordine che costituiscono lo sfondo di molte delle questioni filosofiche e matematiche che la riguardano.

Lo studio della logica, come quello di ogni altro tipo di disciplina, richiede lo svolgimento continuo di esercizi. Occorre cimentarsi con modelli, schemi e strategie di risoluzione. Lo scopo di questo libro è guidare il lettore all'uso della deduzione naturale enunciativa e predicativa. Il testo presenta il metodo delle derivazioni elaborato da Frederick Fitch, particolarmente perspicuo ed efficace dal punto di vista didattico. Gli esercizi sono svolti passo dopo passo per fare in modo che il lettore acquisti dimestichezza con il ragionamento formale e infine sia in grado di procedere da solo.