Modules | Area | Type | Hours | Teacher(s) | |
LOGICA | M-FIL/02 | LEZIONI | 72 |
|
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.
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.
Esame orale.
Oral examination.
Saper usare i principali sistemi di prova sia per la logica proposizionale sia per quella quantificazionale.
Mastering of the main proof systems both for propositional and for quantificational logic.
Esame orale.
Oral examination.
Nessuno.
None.
Nessuna.
None.
E' preferibile, ma non indispensabile, avere conoscenze logiche di base (ad es., quelle ottenuto dall'aver sostenuto l'esame di Istituzioni di logica).
It is advisable, but not mandatory, to have taken a course in basic logic (e.g., having took the examination of "Istituzioni di logica").
La frequenza non è obbligatoria ma è caldamente raccomandata.
Attending classes is not mandatory but warmly suggested.
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,...).
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,...
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
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
Nessuna in particolare. Il programma è lo stesso che per frequentanti. È però opportuno che lo studente contatti il docente per informazioni precise sugli argomenti trattati.
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.
Esame orale.
Oral examination.
Nessuno.
None.
Commissione: Moriconi (presidente), Bellotti, Venturi.
Commissione supplente: Barrotta (presidente), Moriconi, Gronda.
Examiners: Moriconi (chair), Bellotti, Venturi.
Substitutes: Barrotta (chair), Moriconi, Gronda.