Modules | Area | Type | Hours | Teacher(s) | |
LOGICA (S) | M-FIL/02 | SEMINARI | 36 |
|
Acquisizione di alcune conoscenze sulla metateoria della logica del primo ordine.
Some knowledge of the metatheory of first-order logic.
Esame orale.
Oral exam.
Saper usare i principali risultati.
Mastering the main results.
Esame orale.
Oral exam.
Nessuno.
None.
Nessuna.
None.
E' preferibile avere conoscenze logiche di base.
It is advisable to have taken a course in basic logic.
La frequenza non è obbligatoria ma è caldamente raccomandata.
Attending classes is not mandatory but warmly recommended.
Il seminario si propone di continuare i temi già affrontati nella fase finale del corso triennale di logica riprendendo il problema della completezza semantica. Di questa proprietà sarà fornita una diversa dimostrazione, data da L. Henkin nel 1949, e poi si discuteranno altri risultati, dal teorema di compattezza a quello di definibilità di Beth, che hanno determinato il significato e la rilevanza delle teorie del primo ordine. In questo modo lo studio della logica fatto nel corso triennale trova un su naturale completamento teorico.
The seminar will be devoted to a completion of the topics examined in the logic course of the "Triennale". The starting point will be a new important proof of the completeness theorem provided by L. Henkin in 1949. Successive steps will take into account important theorems (from Compactness to Definibility) which contributed in an essential way to characterize what does it means to be "A first order theory".
1) C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa Univ. Press, 2016, capitolo 14.
2) Materiale didattico fornito dal docente durante il seminario.
1) 1) C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa Univ. Press, 2016, chapter 14.
2) Notes provided by the teacher during the seminar.
Contattare il docente per email.
Please contact the instructor by email.
Esame orale.
Oral exam.
Nessuno.
None.
Aula meet: https://meet.google.com/wxo-xniy-qfz
All'inizio del corso saranno date indicazioni sull'uso della piattaforma Moodle.
Commissione: Bellotti (presidente), Moriconi, Turbanti.
Commissione supplente: Moriconi (presidente), Barrotta, Gronda.
Meet classroom: https://meet.google.com/wxo-xniy-qfz
Instructions on the use of Moodle will be given.
Examiners: Bellotti (chair), Moriconi, Turbanti.
Substitutes: Moriconi (chair), Barrotta, Gronda.