ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| LOGICA | M-FIL/02 | LEZIONI | 72 |
|
Acquisizione delle conoscenze di base della logica formale contemporanea.
Basic knowledge of contemporary formal logic.
Esame orale.
Oral exam.
Uso dei principali sistemi di prova.
Use of the main proof systems.
Esame orale.
Oral exam.
Nessuno.
None.
Nessuna.
None.
E' preferibile ma non indispensabile avere conoscenze logiche di base (es. esame di Istituzioni di logica).
It is advisable but not mandatory to have taken a course in basic logic.
La frequenza non è obbligatoria ma è raccomandata.
Attending classes is not mandatory but warmly suggested.
Il corso è un'introduzione alla logica del primo ordine, sia per gli aspetti sintattici che per quelli semantici delle teorie del primo ordine, con particolare attenzione ai sistemi di prova.
The course is an introduction to first-order logic, covering both syntax and semantics of first order theories, with emphasis on proof systems.
Manuale: C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa University Press, 2017.
Più precisamente:
capitolo 1, tutto
capitolo 2, §§ 2.1-2.3
capitolo 3, §§ 3.1-3.3 e 3.6
capitolo 4, tutto
capitolo 5, §§ 5.1-5.2
capitolo 8, §§ 8.1-8.3
capitolo 9, tutto meno il § 9.3
capitolo 10, §§ 10.1-10.5
capitolo 11, il § 11.1
Textbook: C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa University Press, 2017 (Italian); alternative textbooks in English will be suggested for international students.
More precisely:
chapter 1
chapter 2, §§ 2.1-2.3
chapter 3, §§ 3.1-3.3 e 3.6
chapter 4
chapter 5, §§ 5.1-5.2
chapter 8, §§ 8.1-8.3
chapter 9, all the chapter, except § 9.3
chapter 10, §§ 10.1-10.5
chapter 11, il § 11.1
Nessuna.
None.
Esame orale.
Oral exam.
Nessuno.
None.
Commissione: Moriconi (presidente), Bellotti, Turbanti.
Commissione supplente: Barrotta (presidente), Moriconi, Gronda.
Examiners: Moriconi (chair), Bellotti, Turbanti.
Substitutes: Barrotta (chair), Moriconi, Gronda.
