LOGICA

Obiettivi di apprendimento

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.

Esame orale.

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

Esame orale.

Nessuno.

Nessuna.

Prerequisiti

E' preferibile, ma non indispensabile, avere conoscenze logiche di base (ad es., quelle ottenuto dall'aver sostenuto l'esame di Istituzioni di logica).

Indicazioni metodologiche

La frequenza non è obbligatoria ma è caldamente raccomandata.

Programma

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,...).

Bibliografia

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

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.

Modalità di esame

Esame orale.

Altri riferimenti web

Nessuno.

Fonte: ESSETRE e Portale esami