CESARE COZZO

Esami di Logica della SESSIONE ESTIVA

Primo appello: venerdì 6 giugno 2025

Secondo appello: mercoledì 25 giugno 2025

Terzo appello: venerdì 11  luglio 2025

LEZIONI SECONDO SEMESTRE ANNO ACCADEMICO 2024-25

1. Laurea triennale

Le lezioni del secondo modulo del corso “Introduzione alla logica formale” per la Laurea

hanno inizio mercoledì 26 febbraio 2025 in aula V alle ore 18 e continuano secondo il seguente orario

mercoledì ore 18-20 aula V

venerdì ore 18-20 aula VI

PROGRAMMI

1) LAUREA Introduzione alla logica formale

Alla radice della logica è l’esigenza di comprendere la differenza fra i buoni argomenti, le cui premesse giustificano la pretesa che la conclusione sia vera, e i cattivi argomenti, che non giustificano la conclusione. Aristotele credeva che in alcuni buoni argomenti «da certe cose che sono poste, altre seguono di necessità». Oggi tali argomenti sono chiamati “deduttivamente validi”. Aristotele scoprì che in alcuni argomenti deduttivamente validi sono riconoscibili forme generali, che possono essere oggetto di studio. Questo fu l’inizio della logica formale. Nella logica formale contemporanea le più elementari forme di argomenti deduttivamente validi dipendono solo da speciali parole o locuzioni come “non”, “e”, “o”, “se…,allora”, che ci consentono di costruire enunciati composti se applicate a enunciati di complessità minore.  Queste parole o locuzioni sono chiamate “connettivi enunciativi” e gli argomenti validi che ne dipendono sono studiati dalla logica enunciativa. La logica contemporanea ebbe inizio nella seconda metà del diciannovesimo secolo con una rivoluzione nel modo di intendere le forme logiche. Nelle opere di Gottlob Frege, Charles Peirce e Giuseppe Peano comparvero due nuove idee. In primo luogo, gli enunciati possono essere costruiti con predicati come "x ama y", applicati a più di un termine, e non solo con predicati come “x è mortale” applicati a un singolo soggetto. In secondo luogo, si possono formare enunciati come “ognuno ama qualcuno” servendosi di operazioni logiche dette “quantificatori”. Alcuni argomenti sono deduttivamente validi in virtù di forme dipendenti sia dai connettivi che dai quantificatori: la logica che li studia è la logica dei predicati. Il primo modulo del corso “Introduzione alla logica formale”, nel primo semestre, è sulla logica enunciativa. La logica enunciativa “classica” sarà considerata dal punto di vista della semantica a due valori e dei sistemi formali di deduzione naturale. Il secondo modulo del corso, nel secondo semestre, è sulla logica dei predicati. La logica classica dei predicati del primo ordine con identità sarà considerata dal punto di vista della semantica modellistica classica e dei sistemi formali di deduzione naturale. Saranno anche illustrate questioni filosofiche connesse alla logica enunciativa e alla logica dei predicati.

Testi adottati. 

Dispense del corso: “Introduzione alla logica formale”

2) LAUREA MAGISTRALE: Contemporary conceptions of truth

What is truth? What sort of things are true (or false)?  Is truth a special property of the things that are true? And if truth is a property, what kind of property? Philosophers have always asked these questions. The course deals with four different philosophical strategies. Some philosophers, substantivists about truth, think that truth is a substantive property, i.e. a property that is “important”, “interesting”, “significant”, “deep”. Substantivists think that a philosophical account of the underlying nature of truth can solve important philosophical problems. Some substantivists believe that truth can be defined or analyzed in terms of other independent notions, like correspondence, or coherence. A different kind of substantivism is primitivism: the view that truth is indefinable. Other philosophers, deflationists about truth, deny that truth is a substantive property and deny that truth has an underlying nature. Deflationists focus on a trivial logical property of the word “true”: in everyday linguistic usage the result of applying phrases like “...is true” or “it is true that ...” to a sentence p is equivalent to p. Deflationists think that no further or deeper account of what truth is should be expected. A fourth group of philosophers, pluralists about truth, think that there is more than one property in virtue of which sentences in different areas of discourse are true: mathematical truths, moral truths and physical truths do not have the same truth-property, but are true because they respectively have three different truth-properties. We address the issues discussed by deflationists, pluralists,non-primitivist substantivists and primitivists through a reading of papers written by five contemporary representatives of the four views: Paul Horwich, Robert Brandom, Michael Lynch, Gila Sher and Jamin Asay. 

Testi adottati.

1) Paul Horwich, «What is Truth?», in Truth-meaning-reality, Oxford University Press, Oxford, 2010.

2) Robert Brandom, «Expressive vs. Explanatory Deflationism About Truth», in R.Schantz (ed.), What is Truth, DeGruyter, 2002, pp. 103-119.

3) Jamin Asay, «Primitivism about truth», in The Nature of Truth, ed. by Michael Lynch, Jeremy Wyatt, Junyeol Kim and Nathan Kellen, The Mit Press, Cambridge, sec. ed. 2021

4) Michael P. Lynch, «Three Questions for Truth Pluralism», in Truth and Pluralism: current debates, ed. by Nikolaj J.L.L. Pedersen and Cory D. Wright, Oxford University Press, Oxford, 2013

5) Gila Sher, «In search of a substantive theory of truth», The Journal of Philosophy, CI, 1, Jan. 2004.

Cesare Cozzo si è laureato in filosofia il 25/ 6/ 1986 presso l’Università di Roma "La Sapienza" con una tesi su "La giustificazione della deduzione e il significato delle costanti logiche, con particolare riferimento agli scritti di Michael Dummett e Dag Prawitz" (relatore prof. Carlo Cellucci, correlatore prof. Tullio De Mauro). Nel maggio del 1992 ha portato a termine il corso di dottorato di ricerca in filosofia con sede nell’università di Firenze (supervisori: prof. Carlo Cellucci, prof. Marisa Dalla Chiara e prof. Paolo Parrini) discutendo una tesi dal titolo "Teoria del significato e filosofia della logica", CLUEB, Bologna 1994. Nel marzo del 1995 ha conseguito il dottorato in filosofia teoretica all’Università di Stoccolma (supervisor: prof. Dag Prawitz). La sua tesi di dottorato svedese ("Meaning and Argument", ALMQVIST & WIKSELL, Stockholm 1994) presenta una teoria del significato incentrata sul ruolo argomentativo immediato. Ha pubblicato su riviste italiane e internazionali articoli sulla scelta della logica, sulla nozione di prova matematica e sulla costrizione inferenziale, sulle concezioni epistemiche della verità, sul paradosso della conoscibilità, sull’olismo semantico ed epistemologico e sulla teoria del significato. Ha inoltre pubblicato il volume "Introduzione a Dummett", Laterza, Roma-Bari 2008. Dal 1994 al 1998 ha insegnato filosofia morale nel "Saint Mary's College" Notre Dame - Indiana, Rome Program”. Dall’ottobre 1998 ha fatto parte del Dipartimento di studi filosofici ed epistemologici dell’Università di Roma "La Sapienza". Oggi afferisce al Dipartimento di filosofia. Fino al novembre 2001 è stato ricercatore. Poi professore associato (confermato nell’ottobre 2005). Nel 2013 ha conseguito l’abilitazione scientifica nazionale alle funzioni di professore di prima fascia nel settore concorsuale 11/C2-Logica, storia e filosofia della scienza e dal settembre 2020 è professore ordinario. Ha insegnato filosofia della scienza e filosofia della logica. Attualmente insegna logica.