ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| STORIA DELLA LOGICA (S) | M-FIL/02 | SEMINARI | 36 |
|
Conoscenze su alcuni momenti fondamentali nella storia della logica del Novecento.
Knowledge of some fundamental points in the history of logic in the twentieth century.
Esame orale e discussione di un elaborato.
Oral exam and discussion of a short essay.
Orientarsi nella letteratura pertinente, primaria e secondaria.
To be able to peruse the relevant literature, primary and secondary.
Esame orale.
Oral exam.
Nessuno.
None.
Nessuna.
None.
Opportuna una preparazione logica di base.
It is advisable to have some knowledge of logic.
Lezioni frontali e discussione seminariale.
Lectures and discussion sections.
Il corso è un'introduzione ad alcune vicende cruciali nella storia della logica nei primi decenni del Novecento, con particolare riguardo alla questione della completezza e all'opera di Skolem, Herbrand e Goedel.
An introduction to some crucial points in the history of logic in the first decades of the twentieth century, with emphasis on the problem of completeness and the work of Skolem, Herbrand and Goedel.
C. Mangione - S. Bozzi, Storia della logica, Garzanti 1993.
J. van Heijenoort, From Frege to Goedel, Harvard UP, 1967.
Altri testi saranno indicati durante il corso.
C. Mangione - S. Bozzi, Storia della logica, Garzanti 1993.
J. van Heijenoort, From Frege to Goedel, Harvard UP, 1967.
Other texts will be given by the instructor.
Contattare il docente per email.
Contact the instructor by email.
Esame orale e discussione di un elaborato. E' necessario aver partecipato alle attività seminariali.
Oral exam and discussion of a short essay. It is necessary to attend the discussion sections.
Commissione: Bellotti (presidente), Moriconi, Turbanti.
Supplenti: Moriconi (presidente), Barrotta, Gronda.
Examiners: Bellotti (chair), Moriconi, Turbanti.
Substitutes: Moriconi (chair), Barrotta, Gronda.
