ECTS - University of Pisa
View syllabus
PHILOSOPHY OF MATHEMATICS
LUCA BELLOTTI
Academic year2020/21
CoursePHILOSOPHY AND FORMS OF KNOWLEDGE
Code476MM
Credits6
PeriodSemester 2
LanguageItalian

ModulesAreaTypeHoursTeacher(s)
FILOSOFIA DELLA MATEMATICAM-FIL/02LEZIONI36
LUCA BELLOTTI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Conoscenze sulle principali questioni e correnti classiche della filosofia della matematica del Novecento.
Knowledge

Knowledge of the main problems and classic trends in the philosophy of mathematics in the Twentieth century.
Modalità di verifica delle conoscenze

Esame orale e discussione di un elaborato.
Assessment criteria of knowledge

Oral exam and discussion of a short essay.
Capacità

Orientarsi nella letteratura pertinente.
Skills

To be able to understand the relevant literature.
Modalità di verifica delle capacità

Esame orale.
Assessment criteria of skills

Oral exam.
Comportamenti

Nessuno.
Behaviors

None.
Modalità di verifica dei comportamenti

Nessuna.
Assessment criteria of behaviors

None.
Prerequisiti (conoscenze iniziali)

E' opportuna (ma non obbligatoria) una preparazione di base in logica (aver frequentato almeno un corso introduttivo).
Prerequisites

It is advisable (though not mandatory) to have some knowledge of logic (an introductory course).
Corequisiti

Nessuno.
Co-requisites

None.
Prerequisiti per studi successivi

Nessuno.
Prerequisites for further study

None.
Indicazioni metodologiche

Lezioni frontali e discussione seminariale su materiali forniti in itinere.
Teaching methods

Lectures and discussion sections on texts given during the course.
Programma (contenuti dell'insegnamento)

Il corso è un'introduzione informale alle principali questioni e correnti classiche della filosofia della matematica del Novecento, con particolare attenzione alle questioni intorno alla nozione di dimostrazione (anche in alcuni suoi sviluppi storici e recenti).
Syllabus

An informal introduction to the main problems and classical trends in the philosophy of mathematics of the Twentieth century, focusing on questions about the nature of proof (also with respect to some historical and recent developments).
Bibliografia e materiale didattico

Testo base: Mangione, C. - Bozzi, S.: Storia della logica. Da Boole ai nostri giorni, Garzanti, Milano 1995. Altri testi saranno indicati dal docente durante il corso. In caso di difficoltà, tutto il materiale necessario sarà reso disponibile online dal docente, nel rispetto del diritto d'autore.
Bibliography

Textbook: Mangione, C. - Bozzi, S.: Storia della logica. Da Boole ai nostri giorni, Garzanti, Milano 1995. Other texts will be given by the instructor. For international students other textbooks will be suggested. The necessary material will be available online, respecting copyright.
Indicazioni per non frequentanti

Contattare il docente per email.
Non-attending students info

Contact the instructor by email.
Modalità d'esame

Prova orale. La prova è superata se lo studente mostra adeguate capacità di discussione delle questioni affrontate durante il corso. E' necessario aver partecipato alle attività seminariali durante il corso.
Assessment methods

Oral exam. The exam is passed if the student is able to discuss the questions presented during the course. It is necessary to participate in the discussion sections during the course.
Stage e tirocini

Nessuno.
Work placement

None.
Altri riferimenti web

Nessuno.
Additional web pages

None.
Note

Commissione: Bellotti (presidente), Moriconi, Turbanti.

Commissione supplente: Moriconi (presidente), Barrotta, Gronda.
Notes

Examiners: Bellotti (chair), Moriconi, Turbanti.

Substitutes: Moriconi (chair), Barrotta, Gronda.
Updated: 29/12/2020 15:32