Paolo Gentilini

Ricercatore presso il Nucleo Regionale Liguria (già IRRE Liguria) dell'Agenzia Nazionale per lo Sviluppo dell'Autonomia Scolastica. Associate research fellow presso l'Istituto di Matematica Applicata e Tecnologie Informatiche (IMATI) del CNR.
Progetti più rilevanti di cui è responsabile presso Agenzia/exIRRE Liguria nel corso degli anni 1999-2008: Educazione alla Razionalità, all'Argomentazione, alla Logica, Matematica e Innovazione Curricolare nella Scuola Superiore, Critica e Innovazione nella Didattica delle Scienze, Progetto Nazionale Risorse 3/CARE

Ricerca scientifico-disciplinare
Dal 1984 svolge sistematicamente attività di ricerca in Logica Matematica e sue applicazioni. Ottiene risultati in Teoria della Dimostrazione, Provability Logic, Logiche Modali per la dimostrabilità. Nell'ambito della collaborazione con l'Istituto di Matematica Applicata e Tecnologie Informatiche (IMATI) del CNR introduce una nuova logica per la formalizzazione costruttiva della probabilità e della quantità di informazione logica di enunciati e teorie, la Logica Informazionale. Si occupa inoltre di dimostrazione automatica, intelligenza artificiale e dell'uso della logica paraconsistente per la rappresentazione della conoscenza. Nell'ambito della collaborazione con il Dipartimento di Informatica e Scienze dell'Informazione (DISI) dell'Università di Genova, lavora a semantiche di natura inferenziale per Logica di Ordine Superiore e la Teoria dei Tipi. Nell'ambito della collaborazione con il Dipartimento di Scienze Economiche dell'Università di Bologna, lavora alla formalizzazione logica dell'agente razionale tramite la Provability Logic, e quindi alle applicazioni della Logica alla Teoria dei Giochi e alla Microeconomia; in tale contesto introduce anche sistemi di Aritmetica Paraconsistente per la formalizzazione dell'interazione fra agenti e l'espressione matematica del ragionamento per congetture.
Vedi: Pubblicazioni- Sezione I e Aree di Ricerca

Ricerca epistemologica ed educativa
A partire dal 1998 nell'ambito dell' IRR(SA)E Liguria e quindi dell'Agenzia Nazionale svolge una ricerca didattica ed epistemologica che si esprime anche nell'ideazione e direzione dei Progetti Educazione alla Razionalità, all'Argomentazione, alla Logica e Matematica e Innovazione Curricolare nella Scuola Superiore, che a loro volta includono gruppi di ricerca di docenti e di referenti di scuole secondarie. Vengono elaborate definizioni generali e proposte curricolari per la competenza razionale, per la competenza matematica, per la didattica multidisciplinare dei saperi scientifici nella scuola superiore. Il libro Competenza razionale e didattica dei saperi di base, (2007) sintetizza i risultati della ricerca sulla competenza razionale nella dimensione educativa, declinandoli nella direzione di una risposta organica, di metodo e contenuto, alle problematiche rilevate nella scuola italiana dall'indagine OCSE PISA.
Vedi: Pubblicazioni-Sezione II, Aree di Ricerca, Ricerca e Progetti presso Agenzia Nazionale

Organizzazione di convegni, relazioni a convegni
Vedi Pubblicazioni e Organizzazione e direzione scientifica di Corsi e Convegni

Docenza di ruolo nella Scuola Superiore: dal 1992 al 1998 è docente di Matematica in diverse scuole secondarie superiori di Genova e provincia
Docenza universitaria: Professore a contratto a titolo retribuito di Logica Matematica presso il corso di laurea in Scienze dell' Informazione dell'Università di Genova nell'a.a. 98-99
Formazione docenti: nell'ambito dei Progetti di ricerca-formazione di cui è responsabile presso Agenzia/IRRE Liguria dal 1998 in poi, realizza iniziative istituzionali di formazione per gli insegnanti di tipo metodologico, disciplinare, multidiscipinare. Alcune di queste sono innovative in quanto finalizzate alle competenze dell'insegnante-ricercatore

Dal 1998 ad oggi, nel ruolo di ricercatore e operatore di Agenzia Nazionale/IRRE Liguria svolge una attività sistematica di supporto alla progettazione curricolare della scuole autonome, in particolare per la didattica della Matematica e delle Scienze e per l'individuazione delle competenze trasversali qualificanti il curricolo di istituto. Questa attività ha coinvolto, sia attraverso i Monitoraggi dell'autonomia, sia attraverso le scuole-polo dei Progetti che dirige, circa il 30% delle scuole superiori liguri di ogni ordine.

AILA Associazione Italiana di Logica e sue Applicazioni. Dal febbraio 2008 è membro del Consiglio Direttivo, con la responsabilità per la didattica della Logica nella scuola secondaria
UMI Unione Matematica Italiana
ASL Association for Symbolic Logic
SIFA Società Italiana di Filosofia Analitica
ALIMA Associazione Ligure per l'Insegnamento della Matematica

2005 Vince il concorso a ricercatore per l'Istituto Regionale di Ricerca Educativa (IRRE) della Liguria
1998 Vince il concorso a ricercatore per l'Istituto Regionale di Ricerca, Sperimentazione e Aggiornamento Educativi (IRRSAE) della Liguria
1991-92 Vince il concorso nazionale ordinario per esami e titoli, a cattedre nelle scuole e istituti di istruzione secondaria, e per il conseguimento dell'abilitazione all'insegnamento, in Matematica, risultando al 1° posto nella classifica regionale
1990-1991 Consegue per concorso l'idoneità a ricercatore universitario, settore Logica Matematica (gruppi 89 oppure A01), in tre diverse università: Università di Genova, Università di Milano, Università di Siena
1990-91 Vince il concorso a titoli per una Borsa di Studio-Ricerca Senior annuale presso l' Istituto Nazionale di Alta Matematica Francesco Severi (INDAM)
1989-90 Vince il concorso a titoli per una Borsa di Studio-Ricerca annuale presso l'Istituto Nazionale di Alta Matematica Francesco Severi (INDAM)
1990 Titolo di Dottore di Ricerca in Matematica, conferito dal Ministero per la Ricerca dopo corso quadriennale (1986, 87, 88, 89) presso l'Università di Milano
1985 Vince il concorso a titoli ed esami per la borsa quadriennale di Dottorato di Ricerca in Matematica presso l'Università di Milano
1984 Laurea in Matematica presso l'Università di Genova con il massimo dei voti e tesi di ricerca su Problemi di Teoria della Dimostrazione in Logica Modale. I risultati della tesi sono pubblicati su rivista internazionale ([RI-1986a] )