Il testo, attualmente fuori commercio, può trovarsi fotocopiato presso la copisteria interna alla Pontificia Università Lateranense

Indice

1. Introduzione al linguaggio formale

1.1 La logica come analisi del linguaggio

1.2 Dal linguaggio naturale al linguaggio formale

1.3 Dal linguaggio simbolico al linguaggio dei predicati L

1.4 Preliminari alla costruzione di un calcolo

2. Logica dei predicati (sintassi)

2.1 Linguaggio dei predicati

2.2 Calcolo C dei predicati

3. Logica dei predicati (semantica)

3.1 Nozioni semantiche fondamentali

3.2 Teoremi di coincidenza e di conversione

3.3 Preliminari alla correttezza e alla completezza di C

3.4 Teorema di correttezza per C

3.5 Conseguenze del teorema di correttezza

3.6 Teorema di completezza per C

4. Logica e finitarietà

4.1 Formalità e finitarietà

4.2 Finitizzazione del nesso di conseguenza logica

4.3 Finitizzazione delle teorie

4.4 Limiti all’assiomatizzabilità delle teorie