Menù principale
B021057 - FILOSOFIA E STORIA DELLA LOGICA
Principali informazioni
Lingua Insegnamento
Contenuto del corso
Libri di testo consigliati
Obiettivi Formativi
Metodi Didattici
Modalità di verifica apprendimento
Programma del corso
Anno Accademico 2016-17
Coorte 2016 - Laurea Magistrale in SCIENZE FILOSOFICHE
Anno di corso
Primo Anno - Primo Semestre
Dipartimento di Afferenza
Lettere e Filosofia
Tipo insegnamento
Attività formativa monodisciplinare
Settore Scientifico disciplinare
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA
Crediti Formativi
6
Ore Didattica
36
Periodo didattico
19/09/2016 ⇒ 22/12/2016
Frequenza Obbligatoria
Si
Tipo Valutazione
Voto Finale
Contenuto del corso
mostra
Programma del corso
mostra
Docenza
Mutuazione
Insegnamento mutuato da:
B020987 - FILOSOFIA E STORIA DELLA LOGICA
Laurea Magistrale in LOGICA, FILOSOFIA E STORIA DELLA SCIENZA
B020987 - FILOSOFIA E STORIA DELLA LOGICA
Laurea Magistrale in LOGICA, FILOSOFIA E STORIA DELLA SCIENZA
Lingua Insegnamento
Italiano
Contenuto del corso
Problemi filosofici dei fondamenti della matematica
Libri di testo consigliati (Cerca nel catalogo della biblioteca)
Corrado Mangione, Logica e problemi dei fondamenti della matematica nella seconda metà dell'800,
in L. Geymonat, Storia del pensiero scientifico e filosofico, Garzanti, Vol V (oppure vol. VI).
W. Hatcher, I fondamenti logici della matematica, Boringhieri.
in L. Geymonat, Storia del pensiero scientifico e filosofico, Garzanti, Vol V (oppure vol. VI).
W. Hatcher, I fondamenti logici della matematica, Boringhieri.
Obiettivi Formativi
Conoscenza e consapevolezza del problema dei fondamenhti della matematica in quanto motore di ampia parte della riflessione filosofica del 900.
Metodi Didattici
frontal lessons
Modalità di verifica apprendimento
L'esame, attraverso una prova orale di circa 30 minuti, intende accertare l'acquisizione da parte degli studenti delle nozioni e dei metodi discussi nel corso (astrazione e intuizione in matematica, sistemi numerici, rapporti tra logica e aritmetica, paradossi insiemistici, sistemi assiomatici insiemistici). Si darà grande importanza alla precisione del linguaggio e alla capacità da parte dello studente di correlare i temi del corso ai temi di filosofia generale.
Programma del corso
Nella prima parte del corso ci occueremo di questioni classiche dei fondamenti dell'aritmetica, in particolare dei contributi di Cantor, Dedekind e Peano al chiarimento delle nozioni di numero naturale, continuo e insieme di oggetti. Dopo aver discusso i principali problemi della teoria degli insiemi (paradossi), si presenteranno alcune soluzioni di questi, in particolare la teoria dei Tipi di Russell e la teoria sssiomatica degli insiemi. Nella seconda parte del corso, si affronterà in maniera particolareggiata il logicismo di Frege, ossia il suo tentativo di ricostruzione logica completa dell'aritmetica. Infine, si analizzeranno e studieranno un'ulteriore serie di proposte di soluzione ai problemi della teoria degli insiemi e dei fondamenti della matematica.