Insegnamento FILOSOFIA DELLA LOGICA E DELLA MATEMATICA
| Nome del corso di laurea | Filosofia ed etica delle relazioni |
|---|---|
| Codice insegnamento | A006479 |
| Curriculum | Filosofia |
| CFU | 6 |
| Regolamento | Coorte 2026 |
| Erogato | Erogato nel 2026/27 |
| Erogato altro regolamento | |
| Anno | 1 |
| Periodo | Secondo Semestre |
| Tipo insegnamento | Opzionale (Optional) |
| Tipo attività | Attività formativa integrata |
| Suddivisione |
FILOSOFIA DELLA LOGICA E DELLA MATEMATICA
| Codice | A006482 |
|---|---|
| CFU | 4 |
| Docente responsabile | Francesco Federico Calemi |
| Docenti |
|
| Ore |
|
| Attività | Caratterizzante |
| Ambito | Istituzioni di filosofia |
| Settore | PHIL-02/A |
| Tipo insegnamento | Opzionale (Optional) |
| Lingua insegnamento | ITALIANO |
| Contenuti | Relazioni, numeri e il problema delle entità astratte |
| Testi di riferimento | 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) |
| Obiettivi formativi | 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. |
| Prerequisiti | È consigliato avere una conoscenza della logica elementare. |
| Metodi didattici | Lezioni frontali, seminari |
LABORATORIO DI FILOSOFIA DELLA LOGIA E DELLA MATEMATICA
| Codice | A006485 |
|---|---|
| CFU | 2 |
| Docente responsabile | Francesco Federico Calemi |
| Docenti |
|
| Ore |
|
| Attività | Caratterizzante |
| Ambito | Istituzioni di filosofia |
| Settore | PHIL-02/A |
| Tipo insegnamento | Opzionale (Optional) |
| Lingua insegnamento | ITALIANO |
| Contenuti | Elementi di Storia della matematica, ed in particolare della logica matematica. Elementi di Logica. Lettura, commento ed approfondimento delle opere dei maggiori autori trattati durante il corso. |
| Testi di riferimento | 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 |
| Obiettivi formativi | Il corso si propone l’obbiettivo di favorire l’acquisizione di una visione filosofica di alcuni momenti significativi nello sviluppo della matematica, specialmente attraverso la lettura ed il commento delle opere dei principali autori. Come fine didattico, ci si propone di educare alla individuazione e comprensione di ostacoli epistemologici emersi nella sistemazione di alcuni concetti matematici nel corso dei secoli, fornendo strumenti adeguati ad affrontarli e superarli. |
| Prerequisiti | nessun prerequisito particolare. |
| Metodi didattici | Lezioni Frontali e Letture guidate. |
| Altre informazioni | Ulteriori materiali e riferimenti saranno forniti durante le lezioni e messi a disposizione su Unistudium |
| Modalità di verifica dell'apprendimento | Prova orale su tutto il programma del corso. La durata del colloquio può variare tra i 30 e i 45 minuti circa. Per informazioni sui servizi di supporto agli studenti con disabilità e/o DSA visita la pagina http://www.unipg.it/disabilita-e-dsa |
| Programma esteso | Richiami di logica preposizionale, logica dei predicati del primo e secondo ordine. Richiami di storia della matematica con particolare enfasi al periodo della crisi nei fondamenti. Le letture dei testi principali e degli articoli più importanti riguarderanno, tra le altre, opere di Hilbert, Frege, Russel, Poincaré, Cartesi e Galileo, Brouwer, Quine, Carnap, Kant, Godel, Bourbaki. |
| Obiettivi Agenda 2030 per lo sviluppo sostenibile | 4 |