Critical Thinking

Il corso, che non richiede prerequisiti specifici, 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;
(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.

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 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à) la definizione di argomento, per concentrarsi poi sul ragionamento deduttivo e in particolare sul ragionamento proposizionale. In questo contesto verranno presentate e discusse le regole fondamentali del ragionamento proposizionale e verrà discussa la nozione di derivabilità, 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 rapporti fra derivabilità, conseguenza logica, e validità.

Modulo B: Affronterà, nella prima parte, 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. Affronterà poi quegli aspetti della teoria degli insiemi che sono indispensabili per capire la logica quantificata, e affronterà in seguito 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.

Per il conseguimento dei 12 CFU gli studenti devono seguire il programma del Modulo A e del Modulo B; per il conseguimento di 6 CFU va seguito un singolo Modulo. La comprensione dei contenuti del Modulo B presuppone i contenuti del Modulo A.

Il programma è valido per l'anno accademico 2026/2027.

Non sono richiesti prerequisiti specifici per questo corso.

Hurley P., Watson L., A Concise Introduction to Logic. CENGAGE, Boston (MA) 2017.

I seguenti testi possono aiutare a fissare alcuni dei concetti forniti nel corso, consentendo al tempo stesso di tornare su quei concetti nel contesto di una cornice più dettagliata ad alcuni temi specifici, o esplicitamente dedicata ad essi. Nei confronti di tali temi, si presentano anche come un’opportunità di approfondimento:

Lemmon E.J., Elementi di Logica. Laterza, Roma 2021.
(Soprattutto sulla deduzione naturale in logica proposizionale classica e logica quantificata classica).

Critical Thinking. Un’introduzione, a cura di D. Canale, R. Ciuni, A. Frigerio, G. Tuzet, Egea, Milano 2021. (Capitoli 2–3 e 5).
(Soprattutto sulle nozioni introdotte nelle prime due lezioni del corso, e con riferimenti anche alle nozioni di derivabilità, tavole di verità, alle regole d’introduzione dei connettivi e alla logica quantificata).

Mondadori M., D’Agostino M., Logica, Mondadori, Milano 1997. Chapters 1 – 4 and 8.
(Su una varietà di temi affrontati nel corso).

Berto F., Logica. Da Zero a Gödel, Laterza, Roma-Bari, 2008. (Su una varietà di temi affrontati nel corso)

Il corso è costituito di lezioni frontali, nel corso delle quali sarà richiesta, in momenti precisi, la partecipazione attiva degli studenti.

Laddove possibile le singole lezioni partiranno dalla discussione di problemi di ragionamento, nella quale verrà sollecitata la partecipazione di studenti e studentesse. Si presenteranno poi gli strumenti che consentono una soluzione dei problemi, inquadrandoli in un panorama concettuale strutturato e sistematico, e si affronteranno infine gli aspetti più teorici dei temi e problemi trattati. Alcune lezioni avranno carattere più teorico.

Le lezioni si propongono quindi, in generale, un approccio ‘dal basso verso l’alto’ – ovvero dai problemi di ragionamento, agli strumenti generali per affrontarli, alle teorie logiche, formali, e dell’argomentazione in cui questi strumenti s’inquadrano.

Nell’ambito del corso sono previsti esercizi e attività di follow‑up online volti a favorire l’interazione didattica, la riflessione sui contenuti e l’autovalutazione degli apprendimenti. Le attività prevedono restituzioni e feedback individuali e/o collettivi.

La frequenza non è obbligatoria.

Una prova in itinere sul programma del Modulo A sotto forma di prova scritta (da svolgersi durante alcune ore del corso). Durata della prova in itinere: 60 minuti. Oltre ad essa, si svolgeranno prove finali scritte nelle regolari date d’appello. Durata della prova finale: 120 minuti. Il successo nella prova in itinere dispenserà da domande sul Modulo A in sede di prova finale durante le regolari date d’appello. Chi non superi o non partecipi alla prova in itinere presenterà invece l’intero programma.

Saranno valutate:

- l’acquisizione delle abilità di ragionamento relative alle tipologie di problemi di ragionamento presentate;
- la comprensione e l’assimilazione dei concetti fondamentali presentati nel corso;
- la capacità di discutere e specificare l’importanza di tali concetti

Potete trovare un esempio di possibili domande qui:

https://uniroma3-my.sharepoint.com/:b:/r/personal/rciuni_os_uniroma3_it/Documents/Domande_Mod.A%26B_2026.02.10.pdf?csf=1&web=1&e=Eqw79h

Le/ gli studenti con disabilità e DSA potranno fare richiesta degli strumenti da riconoscere in fase d’esame attraverso l’apposito portale di Ateneo, raggiungibile al seguente link:

https://www.uniroma3.it/roma-tre-inclusiva-studenti-con-disabilita-e-con-dsa/