Scheda programma d'esame
LOGICA
ENRICO MORICONI
Anno accademico2023/24
CdSFILOSOFIA
Codice104MM
CFU12
PeriodoSecondo semestre
LinguaItaliano

ModuliSettore/iTipoOreDocente/i
LOGICAM-FIL/02LEZIONI72
ENRICO MORICONI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Acquisizione delle conoscenze di base della logica formale contemporanea. Gli studenti apprenderanno a formalizzare nel linguaggio della logica enunciati del linguaggio ordinario, imparando a riconoscerne la relativa forma logica. E impareranno anche a ricostruire formalmente le argomentazioni o ragionamenti del linguaggio ordinario.

Knowledge

Achieving basic knowledge of contemporary formal logic. Students will become able to formalize, by means of the formal methods provided by first order logic, sentences and arguments of the ordinary language.

Modalità di verifica delle conoscenze

Esame orale.

Assessment criteria of knowledge

Oral examination.

Capacità

Saper usare i principali sistemi di prova sia per la logica proposizionale sia per quella quantificazionale.

Skills

Mastering of the main proof systems both for propositional and for quantificational logic.

Modalità di verifica delle capacità

Esame orale.

Assessment criteria of skills

Oral examination.

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 (ad es., quelle ottenuto dall'aver sostenuto l'esame di Istituzioni di logica).

Prerequisites

It is advisable, but not mandatory, to have taken a course in basic logic (e.g., having took the examination of "Istituzioni di logica").

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. Le conoscenze apprese verranno utilizzate anche per l'analisi di tradizionali e importanti temi filosofici (la nascita della logica con Aristotele, la trattazione del tema dell'identità, i paradossi, le dimostrazione dell'esistenza di Dio, le fallacie,...).

Syllabus

The course is an introduction to first-order logic, covering both syntax and semantics of first order theories, with emphasis on proof systems. Acquired knowledge will be applied also in the analysis of traditional and important philosophical subjects: the invention of Logic by Aristotle, the treatment of the notion of identity, the paradoxes, proofs of the existence of God, fallacies,...

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 in particolare. Il programma è lo stesso che per frequentanti. È però opportuno che lo studente contatti il docente per informazioni precise sugli argomenti trattati.

Non-attending students info

None in particular. The examination program is the same as for attending students. It is however advisable to contact the docent in order to get precise information about the topics treated.

Modalità d'esame

Esame orale.

Assessment methods

Oral examination.

Altri riferimenti web

Nessuno.

Additional web pages

None.

Note

Commissione: Moriconi (presidente), Bellotti, Venturi.

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

Notes

Examiners: Moriconi (chair), Bellotti, Venturi.

Substitutes: Barrotta (chair), Moriconi, Gronda.

Ultimo aggiornamento 19/07/2023 16:25