array(1) { [0]=> object(Apache_Solr_Document)#24 (3) { ["_documentBoost":protected]=> bool(false) ["_fields":protected]=> array(6) { ["content_id"]=> array(1) { [0]=> string(15) "DIRECTORY_17969" } ["content_title"]=> array(1) { [0]=> string(16) "GABRIELE PULCINI" } ["description"]=> array(1) { [0]=> string(7482) "

Laurea in Filosofia a Pisa nel 2001 con 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 professore associato 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.

Alcune tra le pubblicazioni più recenti:

 

  1. Con A. Varzi. Complementary proof-nets for classical logic. Logica Universalis. 17, 411–432 (2023).

  2. Cut elimination by unthreading. Archive for Mathematical Logic (2023). https://doi.org/10.1007/s00153-023-00892-4

  3. Con M. Piazza and A. Sabatini. Abduction as deductive saturation: a proof-theoretic inquiry. Journal of Philosphical Logic 52, 1575–1602 (2023).

  4. Con M. Piazza e M. Tesi. Linear logic in a refutational setting. Bulletin of the Section of Logic (in corso di pubblicazione).

  5. Con M. Piazza e M. Tesi. Modal Logic and Soft Bilateralism. Bulletin of the Section of Logic (in corso di pubblicazione).

  6. A note on cut-elimination for classical propositional logic. Archive for Mathematical Logic, Vol. 61, p. 555-565 (2022).

  7. Con M. Piazza and M. Tesi. Fractional-valued modal logic. Review of Symbolic Logic, published online (2021) doi:10.1017/S1755020321000411

  8. Con G. Boniolo, M. D’Agostiono, and M. Piazza. Molecular biology meets logic. Context sensitiveness in focus. Foundations of Science, Springer (2021). doi:10.1007/s10699-021-09789-y

  9. Con M. Piazza. Fractional semantics for classical logic. Review of Symbolic Logic, Volume 13, Issue 4, pp. 810-828 (2020).

  10. Con A. Varzi. Paraconsistency in classical logic. Synthese, 195(12): 5485-5496 (2018).

Gabriele Pulcini is an Associate Professor in Logic and Philosophy of Science at the Philosophy Department, University of Rome ”Tor Vergata”.

He received a PhD in Philosophy and Theory of Human Sciences from the University of Rome 3 and, jointly, a PhD in Discrete Mathematics from the University of Aix-Marseille II.   

Previously he was at the ILLC (Institute for Logic, Language and Computation) of Amsterdam where he worked as a postdoctoral researcher. He also gave master courses in proof theory and set theory at the universities of Paris 1-Sorbonne,  Campinas, the New University of Lisbon, and the University of Amsterdam.  

Gabriele’s main research interests include proof-theory, Hilbert's 24th problem, and the philosophy of mathematics. In particular, he authored papers on linear and nonmonotonic logics, refutation calculi, and Gödel Incompleteness Theorems that have been published in some of the most important journals in the field.

Some recent publications:

 

  1. With A. Varzi. Complementary proof-nets for classical logic. Logica Universalis. 17, 411–432 (2023).

  2. Cut elimination by unthreading. Archive for Mathematical Logic (2023). https://doi.org/10.1007/s00153-023-00892-4

  3. With M. Piazza and A. Sabatini. Abduction as deductive saturation: a proof-theoretic inquiry. Journal of Philosphical Logic 52, 1575–1602 (2023).

  4. With M. Piazza e M. Tesi. Linear logic in a refutational setting. Bulletin of the Section of Logic (to appear).

  5. With M. Piazza e M. Tesi. Modal Logic and Soft Bilateralism. Bulletin of the Section of Logic (to appear).

  6. A note on cut-elimination for classical propositional logic. Archive for Mathematical Logic, Vol. 61, p. 555-565 (2022).

  7. With M. Piazza and M. Tesi. Fractional-valued modal logic. Review of Symbolic Logic, published online (2021) doi:10.1017/S1755020321000411

  8. With G. Boniolo, M. D’Agostiono, and M. Piazza. Molecular biology meets logic. Context sensitiveness in focus. Foundations of Science, Springer (2021). doi:10.1007/s10699-021-09789-y

  9. With M. Piazza. Fractional semantics for classical logic. Review of Symbolic Logic, Volume 13, Issue 4, pp. 810-828 (2020).

  10. With A. Varzi. Paraconsistency in classical logic. Synthese, 195(12): 5485-5496 (2018).

 a:0:{}" } ["meta_keywords"]=> array(1) { [0]=> string(1) "," } ["reserved"]=> array(1) { [0]=> string(1) "0" } ["auth_ip"]=> array(1) { [0]=> string(1) "0" } } ["_fieldBoosts":protected]=> array(6) { ["content_id"]=> bool(false) ["content_title"]=> bool(false) ["description"]=> bool(false) ["meta_keywords"]=> bool(false) ["reserved"]=> bool(false) ["auth_ip"]=> bool(false) } } }