Logica

I semestre
Giovedì, 10.55-12.30, Aula I, Primo filosofia

Elementi di logica classica.

Dottrina del termine, dell’enunciazione, del sillogismo. Esercitazioni pratiche sulle tecniche di riduzione sillogistica. Generalizzazione delle prove di correttezza per reductio ad absurdum nelle logiche intensionale. Verifica della validità dei sillogismi categorici mediante rappresentazione grafica con diagrammi di Venn.

Logica proposizionale.

Determinatezza, bivalenza, vero-funzionalità. Funtori. Matrici. Regole di formazione e regole di trasformazione. Tautologie e contraddizioni. Validazione di formule complesse con metodo a simultaneo e per controesempio. Tableaux semantici. Metodo della deduzione naturale. Assiomatizzazione del calcolo enunciativo. Esercitazioni pratiche su dimostrazioni formali di validità di teoremi espressi nel linguaggio L1.

Logica dei predicati del I ordine.

Semantica della logica dei predicati. Regole logiche fondamentali per i quantificatori. Regole relative ai rapporti fra quantificatori e connettivi. Logica dei predicati con identità. Introduzione alla logica delle relazioni.

Bibliografia

J. Bochenski, Nuove lezioni di logica simbolica, Bologna 1995
C. Boyer, Cursus philosophiae ad usum seminariorum, vol. I, Parisiis 1952
(M. Girondino, traduzione italiana pro manuscripto)
I. Copi – C. Cohen, Introduzione alla logica, Bologna 19993
D. Palladino, Corso di logica, Roma 2003

Note del professore

prof. Massimo Girondino