Logica (S) – prof. Enrico Moriconi

• Cantini - Minari, "Introduzione alla Logica", Le Monnier, le prime 175 pagine
• Varzi-Nolt-Rohatyn, "Logica", capitoli 1, 2,3, 4, 5 (consigliato) 6 (i paragrafi 1-4),8

Argomenti del programma: Il corso è un'introduzione alla logica del primo ordine, sia per gli aspetti sintattici che per quelli semantici, con particolare attenzione ai sistemi di prova. Le conoscenze apprese verranno utilizzate anche per l'analisi di tradizionali e importanti temi filosofici (la nascita della logica con Aristotele, la trattazione del tema dell'identità, i paradossi, le dimostrazione dell'esistenza di Dio, le fallacie,...).