Gabriele Pulcini

Qualifica: Professore associato

Settore scientifico-disciplinare: M-FIL/02 Logica e filosofia della scienza

Dipartimento: Studi letterari, filosofici e di storia dell'arte

Corsi e ricevimento: Didattica Web

Studio: I/27

Telefono: +39 06 7259 5156

Posta elettronica: gabriele.pulcini@uniroma2.it

Nota biografica

Mi sono laureato in Filosofia a Pisa nel 2001 discutendo una tesi in Logica dedicata ai risultati d'incompletezza ottenuti successivamente ai più noti teoremi di Gödel. Nel 2006 ho conseguito congiuntamente i titoli di dottore di ricerca in Filosofia e Teoria delle Scienze Umane (Università di Roma Tre) e in Mathématiques Discrètes et Fondaments de l'Informatique (Institut de Mathématiques de Luminy). Durante il periodo di dottorato ho lavorato su temi di teoria della dimostrazione per le logiche classica e lineare.

Attualmente sono ricercatore (RTD B) presso il Dipartimento di Studi letterari, filosofici e di Storia dell'arte dell'Università di Roma «Tor Vergata» dove insegno Logica e Filosofia della scienza. Prima di arrivare a Roma ho insegnato presso varie università italiane ed estere, tra queste l'Université Paris 1-Sorbonne, l'Universidade NOVA de Lisboa e il Center for Logic, Epistemology, and History of Science di Campinas. Ho svolto inoltre attività di ricerca presso l'École Normale Supérieure di Parigi e l'Institute for Logic, Language, and Computation di Amsterdam.

Mi occupo principalmente di Teoria della dimostrazione e di Filosofia della matematica. I miei studi sono stati pubblicati su alcune tra le riviste più importanti del settore; tra queste, gli Annals of Pure and Applied Logic, l'European Journal for Philosophy of Science, il Journal of Logic and Computation e la Review of Symbolic Logic.

Nel 2020 sono stato eletto membro del direttivo della SILFS, la Società Italiana di Logica e Filosofia della Scienza, per il triennio 2020-2023.

Pubblicazioni

Il seguente elenco contiene le pubblicazioni inserite nell'Archivio Istituzionale della Ricerca dell'Ateneo, in ordine cronologico dalle più recenti.

• Piazza, M; Pulcini, G and Tesi, M Linear logic in a refutational setting. In JOURNAL OF LOGIC AND COMPUTATION, 2023.
• Pulcini, G Cut elimination by unthreading. In ARCHIVE FOR MATHEMATICAL LOGIC (1-2), 2023.
• Piazza, M; Pulcini, G and Sabatini, A Abduction as Deductive Saturation: a Proof-Theoretic Inquiry. In JOURNAL OF PHILOSOPHICAL LOGIC (6), 2023.
• Pulcini, G and Varzi, Ac Complementary Proof Nets for Classical Logic. In LOGICA UNIVERSALIS (4), 2023.
• Piazza, M; Pulcini, G and Tesi, M Fractional-Valued Modal Logic and Soft Bilateralism. In BULLETIN OF THE SECTION OF LOGIC (3), 2023.
• Bussotti, P and Pulcini, G Dimostrazioni diverse di uno stesso teorema: loro importanza didattica. In NUOVA SECONDARIA, 2022.
• Piazza, M.; Pulcini, G and Tesi, M Fractional-valued modal logic. In THE REVIEW OF SYMBOLIC LOGIC (4): 1-20, 2021.
• Pulcini, G A note on cut-elimination for classical propositional logic. In ARCHIVE FOR MATHEMATICAL LOGIC (3-4), 2021.
• Boniolo, G; D'Agostino, M; Piazza, M et al. Molecular Biology Meets Logic : Context-Sensitiveness in Focus. In FOUNDATIONS OF SCIENCE (1), 2021.
• Pulcini, G and Varzi, Ac Classical logic through refutation and rejection. In Selected topics from contemporary logic, College Publications, 2021.
• Pulcini, G The arithmetical nature of the Hydra Game. In Fourth Pisa Colloquium in Logic, Language and Epistemology, ETS, 2021.
• Pulcini, G and Skura, T What is refutation?. In Reasoning : Games, Cognition, Logic, College Publications, 2020.
• Goranko, V; Pulcini, G and Skura, T Refutation Systems : An Overview and Some Applications to Philosophical Logics. In Knowledge, Proof and Dynamics, pp. 173-197, Springer, 2020.
• Piazza, M and Pulcini, G Fractional semantics for classical logic. In THE REVIEW OF SYMBOLIC LOGIC, 13 (4): 810-828, 2020.
• Pulcini, G and Varzi, Ac Paraconsistency in classical logic. In SYNTHESE, 195 (12): 5485-5496, 2018.
• Pulcini, G and Kahle, R Towards an operational view of purity. In The Logica Yearbook 2017, College Publications, 2018.
• Piazza, M and Pulcini, G Truth, Existence and Explanation. doi 
• Piazza, M and Pulcini, G Unifying logics via context-sensitiveness. In JOURNAL OF LOGIC AND COMPUTATION, 27 (1): 21-40, 2017.
• Carnielli, Wa and Pulcini, G Cut-elimination and deductive polarization in complementary classical logic. In LOGIC JOURNAL OF THE IGPL, 25 (3): 273-282, 2017.
• Piazza, M and Pulcini, G Uniqueness of axiomatic extensions of cut-free classical propositional logic. In LOGIC JOURNAL OF THE IGPL, 24 (5): 708-718, 2016.
• Piazza, M and Pulcini, G What’s so Special About the Gödel Sentence G?. In Objectivity, Realism, and Proof, pp. 245-263, Springer, 2016.
• D'Agostino, M; Piazza, M and Pulcini, G How to go non-monotonic through context-sensitiveness. In LOGIC AND PHILOSOPHY OF SCIENCE, 2015.
• Boniolo, G; D'Agostino, M; Piazza, M et al. Adding logic to the toolbox of molecular biology. In EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE, 5 (3): 399-417, 2015.
• Piazza, M and Pulcini, G A Deflationary Account of the Truth of the Gödel Sentence G. In From Logic to Practice, pp. 71-90, Springer, 2015.
• Piazza, M and Pulcini, G Strange case of Dr. Soundness and Mr. Consistency. In The Logica Yearbook 2013, College Publications, 2014.
• D'Agostino, M; Piazza, M and Pulcini, G A logical calculus for controlled monotonicity. In JOURNAL OF APPLIED LOGIC, 12 (4): 558-569, 2014.
• Boniolo, G; D'Agostino, M; Piazza, M et al. A logic of non-monotonic interactions. In JOURNAL OF APPLIED LOGIC, 11 (1): 52-62, 2013.
• Pulcini, G The “Extraction” of the Principles of Construction in Number Theory : Mathematical induction vs indefinite descent. In Open Problems in the Philosophy of Science, College Publications, 2013.
• Pulcini, G Rewriting systems for the surface classification theorem. In MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 20 (4): 577-588, 2010.
• Pulcini, G A geometrical procedure for computing relaxation. In ANNALS OF PURE AND APPLIED LOGIC, 158 (1-2): 80-89, 2009.