Unit PHILOSOPHY OF LOGIC AND MATHEMATICS

PHILOSOPHY OF LOGIC AND MATHEMATICS

Code	A006482
CFU	4
Teacher	Francesco Federico Calemi
Teachers	Francesco Federico Calemi
Hours	24 ore - Francesco Federico Calemi
Learning activities	Caratterizzante
Area	Istituzioni di filosofia
Sector	PHIL-02/A
Type of study-unit	Obbligatorio (Required)
Language of instruction	Italian
Contents	Relazioni, numeri e il problema delle entità astratte
Reference texts	1) M. Carrara, C. De Florio, G. Lando, V. Morato, «Introduzione alla metafisica contemporanea», Il Mulino, Capp. I, II, IV (Strumenti, Metametafisica, Esistenza), ¿ VI (Struttura ed entità strutturate), ¿ VII (Proprietà e relazioni), ¿ VIII (Modalità), ¿ XI (Tempo), ¿ XIII (Oggetti astratti) 2) Uno a scelta tra i seguenti testi: a) David Malet Armstrong, «Che cos’è la metafisica. Un profilo sistematico», Carocci, da studiare in toto b) David Malet Armstrong, «Sketch for a Systematic Metaphysics», Oxford University Press, da studiare in toto c) David Malet Armstrong, «A World of States of Affairs», Oxford University Press, da studiare in toto d) David Malet Armstrong, «Truth and Truthmakers», Oxford University Press, da studiare in toto 3) M. Plebe, «Introduzione alla filosofia della matematica», Carocci -Testi di riferimento per eventuali tesine sui temi del programma: ¿ Essere è essere il valore di una (qualche) variabile? Logica e impegno ontologico ¿ W.V.O. Quine, «Che cosa c’è», in Id, Da un punto di vista logico, pp. 13–34 ¿ G. E. Moore, «L’esistenza è un predicato?», in A. Varzi (a cura di), Metafisica. Classici contemporanei, pp. 9–23 ¿ R. Carnap, «Empirismo semantica e ontologia», in A. Varzi (a cura di), Metafisica. Classici contemporanei, pp. 45–64 ¿ H. Putnam, «Il realismo interno», in A. Varzi (a cura di), Metafisica. Classici contemporanei, pp. 65–70 Proprietà e relazioni: dai particolari agli universali. ¿ B. Russell, «Il mondo degli universali», pp. 333–339 ¿ D.C. Williams, «L’alfabeto dell’essere», pp. 340–356 ¿ D. Lewis, «New work for a theory of universals», in Australasian Journal of Philosophy, 61: pp. 343–377, 1983 Modalità e teoria combinatoria ¿ W.V.O. Quine, «Tre gradi di coinvolgimento modale», pp. 247–268 (I problemi della necessità) ¿ S. Kripke, «Identità, necessità e designazione rigida», pp. 269–281 (Semantica dei mondi possibili) ¿ L. Lewis, «Mondi possibili», pp. 282–291 (Realismo modale) ¿ R. Stalnaker, «Mondi possibili», pp. 292–303 (Attualismo) Metafisica del tempo ¿ J. E. McTaggart, «L’irrealtà del tempo», in L. Cimmino (a cura di), L’irrealtà del tempo ¿ L. Cimmino, «McTaggart e la filosofia del tempo», in Id., L’irrealtà del tempo ¿ G. Torrengo, I viaggi nel tempo, una guida filosofica, (un capitolo a scelta)
Educational objectives	L’insegnamento mira a far acquisire strumenti critici e analitici propri della filosofia della logica e della matematica in riferimento al tema dell'impegno ontologico. Conoscenza e capacità di comprensione: Lo studente deve conoscere le principali tematiche riguardanti la filosofia della logica e la riflessione sul tema delle relazioni e delle proprietà. Conoscenza e capacità di comprensione applicate: Lo studente deve apprendere e saper applicare strategie dimostrative metalogiche e strategie di ampliamento e riduzione dell'impegno ontologico. Autonomia di giudizio: Lo studente deve dimostrare autonomia di giudizio in relazione al dibattito sulla natura delle proprietà. Abilità comunicative: Lo studente deve dimostrare di aver acquisito capacità di comunicazione, di dialogo e di dibattito, utilizzando un linguaggio tecnico appropriato e sfruttando modalità argomentative corrette. Capacità di apprendere: Lo studente deve acquisire un metodo di valutazione razionale che consenta, nel corso di suoi studi, di organizzare coerentemente e con consapevolezza critica le conoscenze acquisite.
Prerequisites	È consigliato avere una conoscenza della logica elementare.
Teaching methods	Lezioni frontali, seminari

LABORATORY OF PHILOSOPHY OF LOGY AND MATHEMATICS

Code	A006485
CFU	2
Teacher	Francesco Federico Calemi
Teachers	Francesco Federico Calemi Vera Matarese (Codocenza) Daniele Bartoli (Codocenza)
Hours	15 ore - Francesco Federico Calemi 2 ore (Codocenza) - Vera Matarese 13 ore (Codocenza) - Daniele Bartoli
Learning activities	Caratterizzante
Area	Istituzioni di filosofia
Sector	PHIL-02/A
Type of study-unit	Obbligatorio (Required)
Language of instruction	Italian
Contents	Elements of the History of Mathematics, and in particular of mathematical logic. Elements of Logic. Reading, commentary, and in-depth study of the works of the major authors covered during the course.
Reference texts	David Hilbert - FONDAMENTI DELLA GEOMETRIA E. Agazzi, D. Palladino - LE GEOMETRIE NON EUCLIDEE E I FONDAMENTI DELLA GEOMETRIA C.B. Boyer - STORIA DELLA MATEMATICA F. Enriques - GLI ELEMENTI DI EUCLIDE E LA CRITICA ANTICA E MODERNA O. Linnebo - PHILOSOPHY OF MATHEMATICS R. Hartshorne - EUCLIDES: GEOMETRY AND BEYOND P. Garavaso - FILOSOFIA DELLA MATEMATICA M. Kline - STORIA DEL PENSIERO MATEMATICO L. Geymonat - STORIA DEL PENSIERO FILOSOFICO E SCIENTIFICO A.N. Whitehead, B. Russell - PRINCIPIA MATHEMATICA Plebani - Filosofia della matematica
Educational objectives	The course aims to promote the acquisition of a philosophical vision of significant moments in the development of mathematics, especially through the reading and commentary of the works of the main authors. As an educational goal, it aims to train students to identify and understand the epistemological obstacles that emerged in the systematization of certain mathematical concepts over the centuries, providing them with the appropriate tools to address and overcome them.
Prerequisites	No particular prerequisites.
Teaching methods	Frontal lectures and guided readings.
Other information	Further materials and references will be provided during the lectures and made available on Unistudium.
Learning verification modality	Oral examination covering the entire course syllabus. The interview duration may vary between approximately 30 and 45 minutes. For information on support services for students with disabilities and/or SLD (Specific Learning Disorders), please visit the page http://www.unipg.it/disabilita-e-dsa
Extended program	Review of propositional logic, first-order and second-order predicate logic. Review of the history of mathematics with particular emphasis on the period of the crisis in the foundations. The readings of the main texts and most important articles will include, among others, works by Hilbert, Frege, Russell, Poincaré, Descartes and Galileo, Brouwer, Quine, Carnap, Kant, Gödel, Bourbaki.
Obiettivi Agenda 2030 per lo sviluppo sostenibile	4