Paolo Gentilini
Information page
 |
Responsabile ANSAS Nord-Ovest
(Nuclei Emilia-Romagna, Liguria, Piemonte, Toscana)
per la Matematica, la Logica e i Saperi Scientifici
Agenzia Nazionale per lo Sviluppo dell'Autonomia Scolastica Istituto Regionale di Ricerca Educativa (IRRE Liguria) Via Assarotti 15/9A 16122 Genova ITALY Telefono:+39-010-8466301 Fax: +39-010-8466343 email: gentilini@irre.liguria.it, gentilini@ge.imati.cnr.it |
Interessi di ricerca
Ricerca scientifico-disciplinare
Logica Matematica: Teoria della Dimostrazione, Provability Logic, Logiche Modali per la dimostrabilità; Logica Informazionale; Logica Paraconsistente, Aritmetica paraconsistente; Semantiche costruttive per la Logica di Ordine Superiore e la Teoria dei Tipi. Dimostrazione Automatica, Intelligenza Artificiale. Applicazioni della Logica alla Teoria dei Giochi, all'Economia Teorica, alla Rappresentazione della conoscenza. Applicazioni della Logica alle Scienze Cognitive.
Lavori più recenti
Introduzione di
una logica paraconsistente costruttiva e dei sistemi aritmetici su essa basati,
XIX Congresso dell'Unione
Matematica Italiana (UMI), Bologna, 12-17 Settembre 2011
Proof Theory and Mathematical Meaning of Paraconsistent C-Systems, Journal of Applied Logic, Elsevier, Volume 9, Issue 3, Settembre 2011, pp 171-202 [prima accettazione Settembre 2009]
Discussing Church's Thesis through evolutionary effective learning machines based on Constructive Paraconsistent Logic and Informational Logic, Church's Thesis: Logic, Mind and Nature, "Studia Logica" International Conference-Trends in Logic IX, Cracovia, 3-5 Giugno 2011
A new semantics for predicate logic: characterizing First Order Logic through constructive models for Type Theory,, Convegno Nazionale AILA, Bologna, 2-4 Febbraio 2011. (In collaborazione con M. Martelli)
Abstract Deduction and Inferential Models for Type Theory, ''Information and Computation'', Elsevier, Volume 208, Issue 7, Luglio 2010, pp 737-771 (In collaborazione con M. Martelli)
Proof Theory and Mathematical Meaning of Paraconsistent C-Systems, Journal of Applied Logic, Elsevier, Volume 9, Issue 3, Settembre 2011, pp 171-202 [prima accettazione Settembre 2009]
Discussing Church's Thesis through evolutionary effective learning machines based on Constructive Paraconsistent Logic and Informational Logic, Church's Thesis: Logic, Mind and Nature, "Studia Logica" International Conference-Trends in Logic IX, Cracovia, 3-5 Giugno 2011
A new semantics for predicate logic: characterizing First Order Logic through constructive models for Type Theory,, Convegno Nazionale AILA, Bologna, 2-4 Febbraio 2011. (In collaborazione con M. Martelli)
Abstract Deduction and Inferential Models for Type Theory, ''Information and Computation'', Elsevier, Volume 208, Issue 7, Luglio 2010, pp 737-771 (In collaborazione con M. Martelli)
Ricerca epistemologica ed educativa
Epistemologia della Matematica e delle discipline scientifiche. Progettazione curricolare per la scuola superiore. Metodologia della didattica della matematica e dei saperi scientifici. Metodologia della didattica multidisciplinare. Metodologia e progettazione curricolare per la didattica delle competenze trasversali: competenza razionale, competenza argomentativa. Didattica della Logica come sapere trasversale.
Lavori più recenti
Logica 2011:Curricolo Trasversale di Logica per la Scuola Superiore, Parte I,
DPS Edizioni, Genova, Maggio 2011 Indice
Dall'argomentare al dimostrare, Percorso didattico multimediale in "For Docenti-Matematica", ambiente di formazione e rivista telematica di didattica della Matematica, 24-1-2011, www.indire.it Indice
Le valutazioni nazionali e internazionali: quali competenze in crisi? "For Docenti-Matematica", ambiente di formazione e rivista telematica di didattica della Matematica, 24-1-2011, www.indire.it
(In collaborazione con A. Orlandoni)
Competenza Matematica di base fra Prove INVALSI ed esiti OCSE PISA, Seminario del Progetto di Ricerca-Formazione Matematica e Innovazione Curricolare di ANSAS-Liguria, IV Circolo Didattico, La Spezia, 21-1-2011
Alla ricerca della competenza logica: considerazioni cognitive, proposte didattiche, Atti del Convegno Nazionale ''Logica matematica, costruzione dei concetti e processi socio-cognitivi'', Novembre 2009
La Logica nelle Scuole Superiori Italiane, Atti del Convegno Nazionale ''Logica matematica, costruzione dei concetti e processi socio-cognitivi'', Novembre 2009
Dall'argomentare al dimostrare, Percorso didattico multimediale in "For Docenti-Matematica", ambiente di formazione e rivista telematica di didattica della Matematica, 24-1-2011, www.indire.it Indice
Le valutazioni nazionali e internazionali: quali competenze in crisi? "For Docenti-Matematica", ambiente di formazione e rivista telematica di didattica della Matematica, 24-1-2011, www.indire.it
(In collaborazione con A. Orlandoni)
Competenza Matematica di base fra Prove INVALSI ed esiti OCSE PISA, Seminario del Progetto di Ricerca-Formazione Matematica e Innovazione Curricolare di ANSAS-Liguria, IV Circolo Didattico, La Spezia, 21-1-2011
Alla ricerca della competenza logica: considerazioni cognitive, proposte didattiche, Atti del Convegno Nazionale ''Logica matematica, costruzione dei concetti e processi socio-cognitivi'', Novembre 2009
La Logica nelle Scuole Superiori Italiane, Atti del Convegno Nazionale ''Logica matematica, costruzione dei concetti e processi socio-cognitivi'', Novembre 2009
Research interests
Scientific Research
Mathematical Logic: Proof Theory, Provability Logic, Modal Logic for provability; Informational Logic; Paraconsistent Logic, Paraconsistent Arithmetic; Constructive Semantics for Higher Order Logic and Type Theory. Automated deduction, Artificial intelligence. Applications of Logic to Game Theory and Knowledge representation. Application of Logic to Cognitive Sciences.
Most recent works
Introduzione di
una logica paraconsistente costruttiva e dei sistemi aritmetici su essa basati,
XIX National Congress of Unione
Matematica Italiana (UMI), Bologna, 12-17 September 2011
Proof Theory and Mathematical Meaning of Paraconsistent C-Systems, Journal of Applied Logic, Elsevier, Volume 9, Issue 3, September 2011, pp 171-202 [first acceptation September 2009]
Discussing Church's Thesis through evolutionary effective learning machines based on Constructive Paraconsistent Logic and Informational Logic, Church's Thesis: Logic, Mind and Nature, "Studia Logica" International Conference-Trends in Logic IX, Krakow, 3-5 June 2011
A new semantics for predicate logic: characterizing First Order Logic through constructive models for Type Theory, AILA National Congress, Bologna, 2-4 February 2011. (In collabortion with M. Martelli)
Abstract Deduction and Inferential Models for Type Theory, ''Information and Computation'', Elsevier, Volume 208, Issue 7, Luglio 2010, pp 737-771 (In collaboration with M. Martelli)
Proof Theory and Mathematical Meaning of Paraconsistent C-Systems, Journal of Applied Logic, Elsevier, Volume 9, Issue 3, September 2011, pp 171-202 [first acceptation September 2009]
Discussing Church's Thesis through evolutionary effective learning machines based on Constructive Paraconsistent Logic and Informational Logic, Church's Thesis: Logic, Mind and Nature, "Studia Logica" International Conference-Trends in Logic IX, Krakow, 3-5 June 2011
A new semantics for predicate logic: characterizing First Order Logic through constructive models for Type Theory, AILA National Congress, Bologna, 2-4 February 2011. (In collabortion with M. Martelli)
Abstract Deduction and Inferential Models for Type Theory, ''Information and Computation'', Elsevier, Volume 208, Issue 7, Luglio 2010, pp 737-771 (In collaboration with M. Martelli)
Epistemological and Educational Research
Epistemology of Mathematics and scientific disciplines. Curriculum design for upper secondary school. Methodology in Mathematics and Science education. Methodology in multidisciplinary education. Curriculum design for education in transversal competences: rational competence, argumentative competence, critical thinking. Logic education and Logic as cross curricular knowledge.
Most recent works
Logica 2011:Curricolo Trasversale di Logica per la Scuola Superiore, Parte I,
DPS Edizioni, Genova, May 2011 Index
Dall'argomentare al dimostrare, hypertext in "For Docenti-Matematica", web journal on mathematical education, 24-1-2011, www.indire.it Index
Le valutazioni nazionali e internazionali: quali competenze in crisi? "For Docenti-Matematica", web journal on mathematical education, 24-1-2011, www.indire.it
(In collaboration with A. Orlandoni)
Competenza Matematica di base fra Prove INVALSI ed esiti OCSE PISA, Conference of ANSAS Liguria Research Project Innovation in Mathematical Education, IV Circolo Didattico, La Spezia, 21-1-2011
Alla ricerca della competenza logica: considerazioni cognitive, proposte didattiche, Proceedings of the National Conference ''Logica matematica, costruzione dei concetti e processi socio-cognitivi'', November 2009
La Logica nelle Scuole Superiori Italiane, Proceedings of the National Conference ''Logica matematica, costruzione dei concetti e processi socio-cognitivi'', November 2009
Dall'argomentare al dimostrare, hypertext in "For Docenti-Matematica", web journal on mathematical education, 24-1-2011, www.indire.it Index
Le valutazioni nazionali e internazionali: quali competenze in crisi? "For Docenti-Matematica", web journal on mathematical education, 24-1-2011, www.indire.it
(In collaboration with A. Orlandoni)
Competenza Matematica di base fra Prove INVALSI ed esiti OCSE PISA, Conference of ANSAS Liguria Research Project Innovation in Mathematical Education, IV Circolo Didattico, La Spezia, 21-1-2011
Alla ricerca della competenza logica: considerazioni cognitive, proposte didattiche, Proceedings of the National Conference ''Logica matematica, costruzione dei concetti e processi socio-cognitivi'', November 2009
La Logica nelle Scuole Superiori Italiane, Proceedings of the National Conference ''Logica matematica, costruzione dei concetti e processi socio-cognitivi'', November 2009
Italiano
-
Home Page
- Sintesi del Curriculum
- Aree di Ricerca
- Pubblicazioni
- Collaborazioni con l'Università e docenza universitaria
- Consiglio Nazionale delle Ricerche (CNR)
- Ricerca e Progetti presso Agenzia Scuola/IRRE Liguria
- Il Progetto Educazione alla Razionalità
- Seminari di Formazione docenti presso Agenzia Scuola/IRRE Liguria
- Insegnamento nella scuola superiore