Il progetto Generic Reasoning è finanziato dal programma FIS con un contributo di oltre 1.2 milioni di euro ed è ospitato dal CERNAI presso l’Università di Pavia, Italia.

GENERIC esplora una nuova tipologia di ragionamento—il ragionamento generico—che permette di trarre conclusioni generali da singoli casi significativi pur tollerando eccezioni. Questo tipo di ragionamento è rilevante per gli ambiti del diritto, della scienza e della matematica.

Qui una sinossi dettagliata.

Obiettivi del Progetto

  • Sviluppare un modello formale del ragionamento generico.

  • Applicarlo al ragionamento normativo, a studi di casi scientifici e al ragionamento matematico.

  • Contribuire ai fondamenti della logica e del ragionamento iperintensionale.

Struttura e Cronologia

  • PARTE A: Fondamenti (Anno 1)

    • Studiare il ragionamento normativo, gli studi di casi scientifici e il ragionamento arbitrario in matematica come istanze di ragionamento generico.

  • PARTE B: Modello Formale (Anni 2-3)

    • Sviluppare un modello semantico e logico iperintensionale per gli enunciati generici e testarlo su casi reali.