Università Roma Tre

Il corso fornisce un’introduzione a
(1) il ruolo che il ragionamento gioca nell’interazione razionale (discussione, scambio di tesi) e nella soluzione di problemi logici e matematici, e, per converso, le possibili conseguenze di un approccio non razionale a questi ambiti;
(2) l’attività dell’argomentazione razionale e le strutture logiche che sottendono a un argomento;
(3) l’approccio rigoroso al ragionamento deduttivo, garantito dagli strumenti formali forniti dalla logica (deduttiva) proposizionale e quantificata;
(4) aclune forme di ragionamento non-deduttivo.

Il corso mira anche a sollecitare l’attenzione dei partecipanti nei confronti delle conseguenze di un approccio razionale (o di una sua mancanza) nei contesti di comunicazione di massa e nella società dell’informazione e dell’interazione online, e a sviluppare la capacità di applicare in maniera corretta le quelle regole di ragionamento di base che caratterizzano il ragionamento deduttivo.
Il corso di atterrà il più possibile a una metodologia ‘dal basso verso l’alto’: dai problemi di ragionamento, agli strumenti per la loro soluzione, alle teorie all’interno delle quali questi strumenti vengono inquadrati, definiti, e discussi. Di seguito una divisione dei temi affrontati nel programma in due moduli distinti:

Modulo A: Affronterà (e definirà) le definizioni di argomento e buon argomento, il ruolo degli argomenti nella reazione al disaccordo e nella discussione razionale e le strategie razionali di reazione al disaccordo. Si concentrerà poi sul ragionamento deduttivo e in particolare sulla logica proposizionale. In questo contesto verranno presentate e discusse le regole di ragionamento basilari della logica proposizionale e verrà discussa la nozione di dimostrabilità, ci si familiarizzerà con le procedure di costruzione di un linguaggio formale, si esplorerà la semantica della logica proposizionale, la nozione di conseguenza logica, e i possibili rapporti fra dimostrabilità e conseguenza logica. Inoltre, il modulo introdurrà le nozioni di sistema di regole e di sistema assiomatico, nonché le nozioni di correttezza e completezza, e si concentrerà sulla deduzione naturale, e in particolare sulla sua correttezza e completezza rispetto alla semantica della logica proposizionale classica.

Modulo B: Affronterà quegli aspetti della teoria degli insiemi che sono indispensabili per capire la logica quantificata, e la logica quantificata stessa. In particolare, verrà spiegato il modo in cui la logica quantificata ‘legge’ predicati e quantificatori (espressioni come ‘Tutti’, ‘Alcuni’, ‘C’è qualche’), verranno discusse le regole d’introduzione ed eliminazione dei quantificatori, e presentata la semantica della logica quantificata. Verranno poi discusse la correttezza e la completezza della deduzione naturale per la logica quantificata rispetto alla semantica della logica quantificata classica. Verrà discusso il Paradosso di Russell. Il modulo proseguirà poi con una breve panoramica di acluni tipi di ragionamento non-deduttivo (ragionamento con le probabilità, ragionamento statistico, ragionamento con ipotesi esplicative).

Per il conseguimento dei 12 CFU lo studente o la studente devono seguire il programma del Modulo A e del Modulo B; per il conseguimento di 6 CFU va seguito un singolo Modulo.

Testo adottato:
Critical Thinking. Un’introduzione, a cura di D. Canale, R. Ciuni, A. Frigerio, G. Tuzet, Egea, Milano 2021
(Relativi al Modulo A: Capitoli 2 – 6. Relativi al Modulo B: Capitoli 7 – 10).