INTRODUZIONE ALLA LOGICA FORMALE -
PRIMO SEMESTRE: LOGICA ENUNCIATIVA. L’esigenza di distinguere, fra gli argomenti addotti a sostegno di un’asserzione, quelli affidabili e corretti da quelli fuorvianti e scorretti si avverte spesso in varie situazioni. Tale esigenza, fin dall’antichità, ha stimolato un’indagine filosofica mirante a chiarire le caratteristiche distintive degli argomenti corretti. Secondo Aristotele esistono argomenti corretti in cui da certe cose che vengono poste altre vengono fatte discendere con necessità . Oggi tali argomenti sono chiamati deduttivamente validi . Già Aristotele ritiene possibile classificare gli argomenti deduttivamente validi in base alla loro forma. Oggi prevale un’impostazione teorica secondo la quale le forme più elementari di argomentazioni deduttive valide sono quelle basate su parole o locuzioni come "non" , "e" , "o" , "se ..., allora..." , che permettono di formare enunciati composti combinando enunciati di minore complessità. Tali parole o locuzioni sono dette connettivi enunciativi. I connettivi sono studiati nella logica enunciativa. -
SECONDO SEMESTRE: LOGICA DEI PREDICATI La logica contemporanea è in gran parte basata su una trasformazione rivoluzionaria nel modo di intendere la forma logica. Questa trasformazione, avvenuta alla fine dell’Ottocento grazie all’opera di Gottlob Frege, Charles Peirce e Giuseppe Peano, è caratterizzata da due principali innovazioni. In primo luogo si è riconosciuto che molti enunciati sono formati mediante predicati come "x ama y" , applicati a più termini e non solo a un singolo soggetto. In secondo luogo sono state evidenziate le operazioni logiche oggi dette quantificatori. Applicati a predicati, i quantificatori permettono di formare enunciati come "ognuno ama qualcuno" , in cui è espressa più di una nozione di generalità. Alcuni argomenti sono deduttivamente validi in virtù di una forma che dipende non solo dai connettivi enunciativi, ma anche dai quantificatori. La logica che studia tali argomenti deduttivi è la logica dei predicati.

Per frequentanti:C. Cozzo, 'Logica formale: un’introduzione basata sui sistemi di deduzione naturale', dispense che saranno messe a disposizione degli studenti all’inizio del corso. I non frequentanti dovranno concordare con il docente un testo aggiuntivo.