Scheda programma d'esame
LOGIC
ENRICO MORICONI
Academic year2020/21
CoursePHILOSOPHY
Code104MM
Credits12
PeriodSemester 1
LanguageItalian

ModulesAreaTypeHoursTeacher(s)
LOGICAM-FIL/02LEZIONI72
ENRICO MORICONI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Acquisizione delle conoscenze di base della logica formale contemporanea.

Knowledge

Basic knowledge of contemporary formal logic.

Modalità di verifica delle conoscenze

Esame orale.

Assessment criteria of knowledge

Oral exam.

Capacità

Uso dei principali sistemi di prova.

Skills

Use of the main proof systems.

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 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 è 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 delle teorie del primo ordine, 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
capitolo 9, tutto meno il § 9.3
capitolo 10, §§ 10.1-10.5
capitolo 11, il § 11.1

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
chapter 9, all the chapter, except § 9.3
chapter 10, §§ 10.1-10.5
chapter 11, il § 11.1  

Indicazioni per non frequentanti

Nessuna.

Non-attending students info

None.

Modalità d'esame

Esame orale.

Assessment methods

Oral exam.

Altri riferimenti web

Nessuno.

Additional web pages

None.

Note

Commissione: Moriconi (presidente), Bellotti, Turbanti.

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

Notes

Examiners: Moriconi (chair), Bellotti, Turbanti.

Substitutes: Barrotta (chair), Moriconi, Gronda.

Updated: 12/09/2020 19:48