Scheda programma d'esame
HISTORY OF LOGIC
LUCA BELLOTTI
Academic year2022/23
CoursePHILOSOPHY AND FORMS OF KNOWLEDGE
Code268MM
Credits6
PeriodSemester 2
LanguageItalian

ModulesAreaTypeHoursTeacher(s)
STORIA DELLA LOGICA (S)M-FIL/02LEZIONI36
LUCA BELLOTTI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Conoscenze su alcuni momenti fondamentali nella storia della logica del Novecento.

Knowledge

Knowledge of some fundamental points in the history of logic 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, primaria e secondaria.

Skills

To be able to understand the relevant literature, primary and secondary.

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)

Opportuna una preparazione logica di base.

Prerequisites

It is advisable to have some knowledge of logic.

Indicazioni metodologiche

Lezioni frontali e discussione seminariale.

Teaching methods

Lectures and discussion sections.

Programma (contenuti dell'insegnamento)

Alcuni momenti cruciali della logica del Novecento (1900-1931)

Il corso è un'introduzione ad alcuni momenti cruciali nella storia della logica matematica nei primi decenni del Novecento, approfondendo poi in particolare le questioni intorno alla noncontraddittorietà dei sistemi formali.

Syllabus

Some key events in the logic of the Twentieth century (1900-1931)

The course is an introduction to some crucial points in the history of mathematical logic in the first decades of the Twentieth century, with emphasis on the problem of consistency of formal systems.

Bibliografia e materiale didattico

C. Mangione - S. Bozzi, Storia della logica, Garzanti, Milano 1993.

J. van Heijenoort, From Frege to Goedel, Harvard UP, Cambridge, Mass. 1967.

Altri testi saranno indicati durante il corso.

In caso di difficoltà, il materiale sarà reso disponibile online dal docente, nel rispetto del diritto d'autore.

Bibliography

C. Mangione - S. Bozzi, Storia della logica, Garzanti,  Milano 1993.

J. van Heijenoort, From Frege to Goedel, Harvard UP, Cambridge, Mass. 1967.

Other texts (also specifically for international students) will be given by the instructor.

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

Esame orale e discussione di un elaborato. E' necessario aver partecipato alle attività seminariali.

Assessment methods

Oral exam and discussion of a short essay. It is necessary to attend the discussion sections.

Note

Commissione: Bellotti (presidente), Moriconi, Turbanti.

Supplenti: Moriconi (presidente), Barrotta, Gronda.

 

Notes

Examiners: Bellotti (chair), Moriconi, Turbanti.

Substitutes: Moriconi (chair), Barrotta, Gronda.

 

Updated: 30/07/2022 12:02