Logica I

Dopo un’introduzione generale storico-filosofica, il corso si sviluppa in quattro moduli. Il primo modulo introduce all’inferenza, e dunque presenta vari tipi di argomenti (validi, corretti, e fallaci) e strumenti informali per riconoscerli, analizzarli, e valutarli. Il secondo modulo introduce alla semantica, e dunque presenta i concetti di verità di un enunciato, di complessità di un enunciato, di tautologia e contraddizione, e i principali connettivi logici. Il terzo modulo unisce diversi concetti introdotti nei primi due moduli per mostrare il vantaggio filosofico di manipolarli attraverso il cosidetto linguaggio proposizionale e le tavole di verità (applicate per valutare sia un enunciato sia la validità di una inferenza). Il quarto modulo introduce alla logica aristotelica e, attraverso un'analisi guidata di alcuni passi dell'Organon, presenta sia il quadrato delle opposizioni (ovvero concetti chiave di semantica aristotelica), sia il sillogismo (ovvero concetti chiave dell’inferenza aristotelica). Anche se l’introduzione della logica aristotelica aprirà inevitabilmente all’orizzonte della logica predicativa e della sua ricchezza rispetto alla logica proposizionale, l’introduzione vera e propria della logica predicativa contemporanea (così come alcuni strumenti più formali di logica proposizionale) non verranno affrontati, ma piuttosto demandati a un corso successivo (Logica II).

Offrire gli strumenti di base del ragionamento logico, necessari per comprendere sia lo sviluppo storico della disciplina, sia la rilevanza della logica per i curriculum filosofico e teologico.

In presence

-

Esame scritto finale.