Formazione universitaria
Dottorato di ricerca (2002 - 2006)
Corso di dottorato in cotutela Italia-Francia:
– Parte italiana: Dipartimento di Filosofia – Università di Roma 3
Corso di dottorato in “Filosofia e teoria delle scienze umane” (supervisore: V. M. Abrusci)
– Parte francese: Università di Aix-Marseille II – Institut de mathématiques de Luminy
Corso di dottorato in “Mathématiques discrètes et fondements de l’informatique” (supervisore: J. M. Andreoli)
Titolo della tesi (in inglese): Permutative logic: a geometrical study of linear logic proofs. Scaricabile al link: http://iml.univ-mrs.fr/theses/files/pulcini-tesi.pdf
Posizioni precedenti
(Dic. 2019 - Ott. 2020) Institute for Logic, Language and Computation – University of Amsterdam.
Argomento: A Sentence Uttered Makes a World Appear—Natural Language Interpretation as Abductive Model Generation
Supervisore: R. Muskens
(Set. 2016 - Nov. 2019) Department of Mathematics, New University of Lisbon. Argomento: Hilbert’s 24th Problem Supervisore: R. Kahle
– Seminari su invito
Workshop Logic and Philosophy of Mathematics. Scuola Normale Superiore di Pisa (invitato da Mario Piazza e Giorgio Venturi). Titolo: The problem of abduction between logic and philosophy of science. Pisa, settembre, 16-17, 2022.
Workshop in onore di Enrico Moriconi (invitato da Luca Bellotti). Titolo: The arithmetical nature of the Hydra-Game. Pisa, giugno 6, 2022.
Institute for Logic, Language and Computation, Algebra|Coalgebra Seminar (invitato da B. Afshari). Titolo: Structural proof theory for rejections in classical logic.
Amsterdam, marzo 4, 2020.
Munich Center for the Mathematical Philosophy, First Pisa-Munich meeting. Titolo: How many unprovable sequents are there? (invitato da M. Fisher) Munich, maggio 27, 2019.
Department of Philosophy, Columbia University NY (invitato da A. Varzi). Titolo: From complementarity to proof-theoretic semantics. New York, marzo 8, 2019.
Workshop on Refutation Calculi. Keynote speaker (invitato da T. Skura). Titolo:
Advances in the proof theory for classical complementary logic. Poznan, settembre
14-15, 2018.
Department of Computer Science, University of Tübingen (invitato da M. Arndt).
Titolo: From complementarity to proof-theoretic semantics.
Pisa Winter Workshop on Proof Theory. University of Pisa (invitato da E. Moriconi).
Titolo: From complementarity to proof-theoretic semantics.
Department of Computer Science, PUC Rio de Janeiro (invitato da L. C. Pereira).
Titolo: From complementarity to proof-theoretic semantics. Rio de Janeiro, maggio 16, 2017.
IV Conference of the Brazilian Society for Analytic Philosophy. Round table on non-classical logics. Titolo: How to go complementary. Campinas, luglio 5-8, 2016.
Department of Philosophy, University of Pisa (invitato da E. Moriconi). Titolo: Proof theory for supraclassical logics. Pisa, ottobre 29, 2015.
Workshop Proof-Theory: from Semantics to Complexity (invitato da Jean-Baptiste Joinet). Titolo: A Logic of Controlled Monotonicity. Lyon, maggio 16-17, 2013.
Seminar of the IHPST (invitato da Marco Panza). Titolo: Deflationism about Incompleteness and !-rule. Parigi, aprile 22, 2013.
Seminar of the group REHSEIS (invitato da Jean-Baptiste Joinet). Titolo: Une caractérisation algorithmique du théorème de classification. Parigi, aprile 30, 2009.
– Interventi a conferenze internazionali con referaggio
The wisdom and madness of crowds: argumentation, information exchange, and social interaction. Titolo: Optimal abduction via analytic proofs. Amsterdam (online), marzo 31-aprile 1, 2020.
Workshop on Substructural Logics. Titolo: Paraconsistency and substructurality in classical logic. Lisbon, settembre 26-27, 2019
Proof-Theoretic Semantics 2019. Titolo: A New Approach to Proof-Theoretic Semantics for Classical Logic. Tübingen. marzo 27-29, 2019.
Filmat Conference 2018. Titolo: Operational Purity in Number Theory. Mussomeli (Sicily). maggio 25-27, 2018.
Days in Logic 2018. Titolo: From Complementary Logic to Proof-Theoretic Semantics. Aveiro, January 25-27, 2018.
Logica 2017. Titolo: Purity, Impurity, and Hilbert’s 24th Problem. Hejnice Monastery, giugno 19-23 , 2017.
EBL (Brazilian Logic Conference) 2017. Titolo: Second incompleteness theorem and the intensional problem. Pirenopolis, BR, maggio 9-13, 2017.
Trends in Logic 2016. Titolo: Cuts and cut elimination in complementary classical logic. Campinas, settembre 12-18, 2016.
General Proof Theory. Titolo: On the maximality of classical logic. Tübingen, November 27-29, 2015.
FILOMENA - Workshop on Philosophy, Logic and Analytical Metaphysics. Titolo:
Is complementary classical logic really a logic? Natal, settembre 1-4, 2015.
MBR 2015 - Model-based reasoning in science and technology. Titolo: Abduction in context. Sestri Levante, giugno 25-27, 2015.
5th World Congress on Paraconsistency. Titolo: Towards a unified setting for nonmonotonicity and paraconsistency. Kolkata, India, February 13-17, 2014.
Conferenza Logica 2013. Titolo: Strange Case of Dr. Soundness and Mr. Consistency. Hejnice Monastery, giugno 17-21, 2013.
Conferenza New Issues in the Philosophy of Mathematics. Titolo: Deflationism about Incompleteness and !-rule. Pisa (Italy), settembre 25–27, 2012.
Conferenza Logic for Programming, Artificial Intelligence and Reasoning 2007. Titolo: Permutative Additives and Exponentials. Yerevan, Armenia, ottobre 15-19, 2007.
Conferenza Computer Science and Logic 2005. Titolo: Permutative logic. Oxford, UK, August 22–25, 2005.
Incarichi accademici
(2020-23) Membro del consiglio direttivo della SILFS, Società italiana per la logica e la filosofia della scienza. https://www.silfs.it/en/home/
(2022-25) Membro del consiglio direttivo della Consulta Nazionale di Filosofia. https://www.consultanazionalefilosofia.it
(2023- ) Membro del collegio docenti del dottorato in Filosofia – Università di Roma “Tor Vergata”
(2022- ) Membro del collegio docenti del dottorato HUME (The Human Mind and its Explanations: Language, Brain, and Reasoning) – Università Statale di Milano, IUSS di Pavia e Scuola Normale Superiore di Pisa.
Altri incarichi
Comitato scientifico SILFS 2023 Triennial International Conference. Università di Urbino, settembre 4-7, 2023.
Comitato scientifico 5th SILFS Postgraduate Conference on Logic and Philosophy of Science.
University of Milano Bicocca, giugno 13-17, 2022.
Comitatio scientifico, Workshop on Refutation Calculi. Poznan, settembre 14-15, 2018.
Comitato organizzativo, Workshop on “Axiomatic thinking”, 2017
Comitato organizzativo, International Conference of the Filmat Network, 2016.
Comitato organizzativo, Trends in Logic annual conference, 2016.
Referee per le riviste European Journal for the Philosophy of Science, the Logic Journal of the IGPL, the Journal of Logic and Computation, the European Journal for Philosophy of Science, Axioms, Philosophical Transactions of the Royal Society, Advances in Modal Logic, Analysis, Review of Symbolic Logic, Logica Universalis.
Insegnamenti
A.a. 2022-23 presso l’Università di “Tor Vergata” :
– Logica (30h, 6cfu) laurea triennale in Filosofia.
– Logic and Philosophy of Science (42h, 6 cfu, in inglese), laurea triennale in Global Governance
(Dipartimento di Economia e Finanza).
– Filosofia della scienza (60 hours, 12 cfu), laurea triennale in Filosofia.
A.a. 2021-22 presso l’Università di “Tor Vergata” :
– Logica (30h, 6cfu) laurea triennale in Filosofia.
– Logic and Philosophy of Science (42h, 6 cfu, in inglese), laurea triennale in Global Governance
(Dipartimento di Economia e Finanza).
– Filosofia della scienza (60 hours, 12 cfu), laurea triennale in Filosofia.
A.a. 2020-21 presso l’Università di “Tor Vergata”:
– Filosofia della scienza (60h, 6 cfu), laurea triennale in Filosofia
– Logic and Philosophy of Science (42h, 6 cfu, in inglese), laurea triennale in Global Governance
(Dipartimento di Economia e Finanza).
Docenze a contratto presso l’Universitá di Chieti-Pescara:
– (2018-19) Corso di Logica (36h) rivolto agli studenti della lauree triennali in Filosofia e Scienze dell’educazione presso il Dipartimento di Scienze filosofiche, pedagogiche ed economico-quantitative.
– (2017-18) Dipartimento di Scienze filosofiche, pedagogiche ed economico-quantitative, due corsi:
Logica (48h) rivolto agli studenti delle lauree triennali in Filosofia e Scienze dell’educazione;
Logica (72h) rivolto agli studenti della laurea magistrale in Scienze dell’educazione.
Corsi tenuti presso università estere:
– (2020-21) Graduate course in Proof Theory (fall, 28 hours online, in English), Master of Logic, ILLC, University of Amsterdam.
– (2015-16) Graduate course in Set Theory (spring, 60 hours, in English), primo anno del master in Logica presso il CLE – Università di Campinas, BR.
– (2014-15) Graduate course in Set Theory (spring, 60 hours, in English), primo anno del master in Logica presso il CLE – Università di Campinas, BR.
– (2013-14) Graduate course in Proof Theory (spring, 12 hours, in French), primo anno del master LoPhiSc (Logique et Philosophie des Sciences ), Università di Parigi 1-Sorbonne.
– (2013-14) PhD course in Proof Theory (fall, 10 hours, in Italian), PhD program in Computer Science, University of Cagliari, Department of Mathematics and Computing, University of Cagliari.
– (2012-13) Graduate course in Proof Theory (12 in francese), primo anno del master LoPhiSc (Logique et Philosophie des Sciences ), Università di Parigi 1-Sorbonne.
– (2011-12) PhD course Some logical notes for (bio)informaticians (12h in inglese), IFOMIEO European School for Molecular Medicine of Milan.
– (2010-11) Graduate course in Proof Theory (24h, in francese), primo anno del master LoPhiSc (Logique et Philosophie des Sciences ), Università di Parigi 1-Sorbonne.