Scheda programma d'esame
LOGICA (S)
ENRICO MORICONI
Anno accademico2021/22
CdSLINGUISTICA E TRADUZIONE
Codice227MM
CFU6
PeriodoPrimo semestre

ModuliSettoreTipoOreDocente/i
LOGICAM-FIL/02LEZIONI36
ENRICO MORICONI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Acquisizione delle conoscenze di base della logica formale contemporanea.

Knowledge

Achieving basic knowledge of contemporary formal logic.

Modalità di verifica delle conoscenze

Esame orale.

Assessment criteria of knowledge

Oral examination

Capacità

Saper usare i principali sistemi di prova.

Skills

Mastering of the main proof systems.

Modalità di verifica delle capacità

Esame orale.

Assessment criteria of skills

Oral ezamination.

Comportamenti

Nessuno

Behaviors

None

Modalità di verifica dei comportamenti

Nessuno

Assessment criteria of behaviors

None

Prerequisiti (conoscenze iniziali)

E' preferibile ma non indispensabile avere conoscenze logiche di base (es. esame di Istituzioni di logica).

Prerequisites

It is advisable but not mandatory 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 suggested.

Programma (contenuti dell'insegnamento)

Il corso è un'introduzione alla logica del primo ordine, sia per gli aspetti sintattici che per quelli semantici, con particolare attenzione ai sistemi di prova.

Syllabus

The course is an introduction to first-order logic, covering both syntax and semantics of first order theories, with emphasis on proof systems.

Bibliografia e materiale didattico

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

Varzi, et al., Logica, McGraw-Hill

Capitoli 1,2 ,8

Bibliography

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

 

Varzi et al. Logica, McGraw-Hill

chapters 1,2,8

Indicazioni per non frequentanti

Nessuna

Non-attending students info

None

Modalità d'esame

Esame orale

Assessment methods

Oral examination.

Note

Commissione: Moriconi (presidente), Bellotti, Turbanti.

Commissione supplente: Barrotta (presidente), Moriconi, Gronda.

Notes

Examiners: Moriconi (chair), Bellotti, Turbanti.

Substitutes: Barrotta (chair), Moriconi, Gronda.

Ultimo aggiornamento 11/11/2021 21:55