La dimostrazione logica nella didattica dell’IA: fondamenti epistemologici e applicazioni pratiche per una visione umano-centrica

La dimostrazione logica è al tempo stesso uno strumento epistemologico e un oggetto didattico complesso. Essa occupa un ruolo centrale nella matematica, nella filosofia e nell’informatica: è la pratica che struttura formalmente il ragionamento, identificando schemi validi di inferenza, e su cui si regge l’intero edificio teorico del sapere scientificamente fondato. La proof theory, in particolare nella declinazione strutturale inaugurata da G. Gentzen, offre un quadro concettuale che permette di chiarire la natura inferenziale delle prove e di proporre percorsi didattici innovativi, assicurando al contempo che l’educazione all’IA rimanga centrata sull’essere umano. Dal punto di vista teorico, l’uso dei tableaux analitici a blocchi nella notazione a sequenti (TABS), appositamente studiati e applicati alla didattica dell’IA, internalizza gli aspetti semantici tipici dei tableaux in una rigorosa procedura algoritmica di tipo sintattico-combinatorio. La loro natura modulare favorisce una visualizzazione immediata dei passaggi cognitivi rilevanti, unendo solidità formale e semplicità pedagogica. Ciò consente agli studenti di seguire in sequenza il processo inferenziale e di sviluppare consapevolezza metariflessiva sulle strategie adottate. Integrati con strumenti di learning analytics, i TABS permettono anche di monitorare pattern ricorrenti, difficoltà logiche e stili di ragionamento, offrendo un supporto didattico avanzato e human-centered. Sul piano pratico, questi assunti sono stati applicati nell’indirizzo sperimentale “Cl@ssico Digitale” del Liceo Classico “Gioacchino da Fiore” di Rende (CS), sviluppato in collaborazione con l’Università della Calabria. L’iniziativa introduce la disciplina “Logica e Filosofia dell’IA” nel piano di studi, con l’obiettivo di valorizzare la logica come strumento per sviluppare un pensiero critico-analitico e garantire che l’educazione all’IA rimanga focalizzata sull’essere umano. L’uso dei TABS ha permesso agli studenti di confrontare ragionamento umano e artificiale, favorendo un approccio interdisciplinare tra filosofia, matematica e informatica e sviluppando competenze metacognitive essenziali per un approccio critico all’IA. L’esperienza mostra come la logica possa costituire il nucleo di un nuovo curricolo capace di coniugare formazione classica e scientifico-tecnologica, promuovendo trasparenza, rigore e una visione umano-centrica dell’IA.