Email: enrico.moriconi@unipi.it
Profilo
Ruolo: Docente Esterno
Nato a Roma (1950), mi sono laureato presso l'Università di Pisa nel novembre 1973 discutendo una tesi sulla "Teoria della dimostrazione di David Hilbert", primo relatore il prof. Francesco Barone. La tesi è stata premiata con il massimo dei punti e la lode.
Nel novembre 1981 sono diventato ricercatore confermato presso il Dipartimento di Filosofia dell'Università di Pisa. Nel novembre 1992 sono diventato Professore associato di Logica presso la Facoltà di Lettere e Filosofia dell'Università di Pisa, avendo vinto il concorso nazionale nel dicembre del 1991. Dal luglio 2000 sono diventato professore ordinario, sempre presso la stessa Facoltà, tramite procedura di valutazione comparativa.
Principali pubblicazioni sono i volumi "Coerenza e completezza delle teorie elementari. La metateoria dei sistemi formali nella scuola
hilbertiana" (Pisa, 1984, scritto in collaborazione con M. Mariani) e "La teoria della dimostrazione di Hilbert" (Napoli, 1987),"Esistenza e costruzione. Introduzione all'Intuizionismo" (Pisa, 1988), "Computabilità. Lambda-definibilità, ricorsività, indecidibilità" (Roma, 2001, scritto in collaborazione con L. Bellotti e L. Tesconi),"Dimostrazioni e significato" (Milano, 1993),"Discorso e significato" (Roma, 1994), "Strutture dell'argomentare" (Pisa, 2009), "Argomenti di Logica" (Pisa, 2009, scritto in collaborazione con Mauro Mariani e Carlo Marletti).
Oltre a questi volumi ho scritto vari articoli su temi più specifici, pubblicati in riviste nazionali e internazionali.
Nel novembre 1981 sono diventato ricercatore confermato presso il Dipartimento di Filosofia dell'Università di Pisa. Nel novembre 1992 sono diventato Professore associato di Logica presso la Facoltà di Lettere e Filosofia dell'Università di Pisa, avendo vinto il concorso nazionale nel dicembre del 1991. Dal luglio 2000 sono diventato professore ordinario, sempre presso la stessa Facoltà, tramite procedura di valutazione comparativa.
Principali pubblicazioni sono i volumi "Coerenza e completezza delle teorie elementari. La metateoria dei sistemi formali nella scuola
hilbertiana" (Pisa, 1984, scritto in collaborazione con M. Mariani) e "La teoria della dimostrazione di Hilbert" (Napoli, 1987),"Esistenza e costruzione. Introduzione all'Intuizionismo" (Pisa, 1988), "Computabilità. Lambda-definibilità, ricorsività, indecidibilità" (Roma, 2001, scritto in collaborazione con L. Bellotti e L. Tesconi),"Dimostrazioni e significato" (Milano, 1993),"Discorso e significato" (Roma, 1994), "Strutture dell'argomentare" (Pisa, 2009), "Argomenti di Logica" (Pisa, 2009, scritto in collaborazione con Mauro Mariani e Carlo Marletti).
Oltre a questi volumi ho scritto vari articoli su temi più specifici, pubblicati in riviste nazionali e internazionali.
Didattica
Ricevimento
Luogo: Studio del Docente nella sede in via Paoli
Orario: Giovedì 9-11
Ricerca
Pubblicazioni
- Fifth Pisa Colloquium in Logic, Language and Epistemology (Bellotti, Luca; Moriconi, Enrico; Turbanti, Giacomo - 2023 - 7.1 Curatela)
- Remarks on Leibniz's Interpretation of the Square of Opposition (Moriconi, Enrico - 2020 - 1.1 Articolo in rivista)
- On trust in mathematics: some case studies (Bellotti, Luca; Moriconi, Enrico - 2020 - 2.1 Contributo in volume (Capitolo o Saggio))
- ON POPPER’S DECOMPOSITION OF LOGICAL NOTIONS (Moriconi, Enrico - 2019 - 2.1 Contributo in volume (Capitolo o Saggio))
- Third Pisa Colloquium in Logic, Language and Epistemology (Turbanti, Giacomo; Bellotti, Luca; Luca, Gili; Moriconi, Enrico - 2019 - 7.1 Curatela)
- Some Remarks on True Undecidable Sentences (Moriconi, Enrico - 2018 - 2.1 Contributo in volume (Capitolo o Saggio))
- Essay Review of R. Kahle, M. Rathjen, Gentzen's Centenary,. The Quest for Consistency, Springer, Berlin 2015 (Moriconi, Enrico - 2017 - 1.2 Recensione in rivista)
- Marginalia sulla nozione di conseguenza logica (Mariani, Mauro; Moriconi, Enrico - 2016 - 2.1 Contributo in volume (Capitolo o Saggio))
- Il quadrato logico aristotelico nell'interpretazione di Leibniz (Moriconi, Enrico; Mariani, Mauro - 2015 - 2.1 Contributo in volume (Capitolo o Saggio))
- EARLY STRUCTURAL REASONING. GENTZEN 1932 (Moriconi, Enrico - 2015 - 1.1 Articolo in rivista)