Valutami
Scheda programma d'esame
LOGICA (S)
ENRICO MORICONI
Anno accademico2021/22
CdSFILOSOFIA E FORME DEL SAPERE
Codice227MM
CFU6
PeriodoPrimo semestre
LinguaItaliano

ModuliSettore/iTipoOreDocente/i
LOGICA (S)M-FIL/02SEMINARI36
ENRICO MORICONI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Acquisizione di alcune conoscenze sulla metateoria della logica del primo ordine.
Knowledge

Some knowledge of the metatheory of first-order logic.
Modalità di verifica delle conoscenze

Esame orale.
Assessment criteria of knowledge

Oral exam.
Capacità

Saper usare i principali risultati.
Skills

Mastering the main results.
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' preferibile avere conoscenze logiche di base.
Prerequisites

It is advisable to have taken a course in basic logic.
Indicazioni metodologiche

La frequenza non è obbligatoria ma è caldamente raccomandata.
Teaching methods

Attending classes is not mandatory but warmly recommended.
Programma (contenuti dell'insegnamento)

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.
Syllabus

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".
Bibliografia e materiale didattico

 

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.
Bibliography

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.
Indicazioni per non frequentanti

Contattare il docente per email.
Non-attending students info

Please contact the instructor by email.

 
Modalità d'esame

Esame orale.
Assessment methods

Oral exam.
Altri riferimenti web

Nessuno.
Additional web pages

None.
Note

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.
Notes

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.
Ultimo aggiornamento 25/02/2022 09:22