Mme Francesca Poggiolesi

Chargé de recherche

Affectation(s)

IHPST : Institut d'histoire et de philosophie des sciences et des techniques (UMR 8590)

Domaines d'expertise

Philosophie de la logique, logique, philosophie des mathématiques

À propos de moi

Je suis chargé de recherche au CNRS et membre de l’Institut d’Histoire et Philosophie des Science et des Techniques (https://ihpst.pantheonsorbonne.fr). Mes travaux visent à caractériser, d’un point de vue à la fois philosophique et formelle, les notions de fondation, preuves explicatives et explications en mathématiques. J’ai dirigé ou co-dirigé des étudiants en master, doctorants et post-docs. J’enseigne régulièrement dans le parcours de Logique et Philosophie des Sciences (LOPHISC) du master de Philosophie de l’Université Paris 1 Panthéon-Sorbonne. (Pour me contacter, veuillez utiliser l'adresse mail suivant : poggiolesi@gmail.com).

Publications

Publications HAL de francesca poggiolesi de la collection UNIV-PARIS1

2024

Pré-publication, Document de travail

titre: (Conceptual) Explanations in logic
auteur: Francesca Poggiolesi
article: 2024
typdoc: Pré-publication, Document de travail
Accès au texte intégral et bibtex

2023

Article dans une revue

titre: From Thin Objects to Thin Concepts?
auteur: Francesca Poggiolesi, Massimiliano Carrara, Ciro de Florio
article: Theoria: A Swedish Journal of Philosophy, 2023, ⟨10.1111/theo.12452⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: Mathematical explanations: an analysis via formal proofs and conceptual complexity
auteur: Francesca Poggiolesi
article: Philosophia Mathematica, In press, ⟨10.1093/philmat/nkad023⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Notice d’encyclopédie ou de dictionnaire

titre: Mathematical Explanation
auteur: Mancosu Paolo, Francesca Poggiolesi, Pincock Christopher
article: Stanford Encyclopedia of Philosophy, 2023, pp.1-45
typdoc: Notice d’encyclopédie ou de dictionnaire
Accès au texte intégral et bibtex

2022

Article dans une revue

titre: Grounding and propositional identity: a solution to Wilhelm's inconsistencies
auteur: Francesca Poggiolesi
article: Logic and Logical Philosophy, In press
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Chapitre d'ouvrage

titre: Nested Sequents or Tree-hypersequents -A survey
auteur: Björn Lellmann, Francesca Poggiolesi
article: R. Padro and Yale Weiss. Saul Kripke on Modal Logic, Springer, In press, Outstanding Contributions to Logic
typdoc: Chapitre d'ouvrage
Accès au texte intégral et bibtex

HDR

titre: Expliquer à l'aide des preuves
auteur: Francesca Poggiolesi
article: Philosophie. Université Paris 1 Panthéon Sorbonne, 2022
typdoc: HDR
Accès au texte intégral et bibtex

2021

Article dans une revue

titre: Conceptual (and hence mathematical) explanation, conceptual grounding and proof
auteur: Francesca Poggiolesi, Francesco A Genco
article: Erkenntnis, In press
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: Grounding, Quantifiers, and Paradoxes
auteur: Francesco A Genco, Francesca Poggiolesi, Lorenzo Rossi
article: Journal of Philosophical Logic, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: Towards a generalization of the logic of grounding
auteur: Francesca Poggiolesi, N. Francez
article: Theoria: An International Journal for Theory and Foundations of Science, In press, 36, pp.5-24
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Communication dans un congrès

titre: Defining Formal Explanation in Classical Logic by Substructural Derivability
auteur: Francesco A Genco, Francesca Poggiolesi
article: Computability in Europe 2021: Connecting with Computability, Jul 2021, Ghent, Belgium
typdoc: Communication dans un congrès
Accès au texte intégral et bibtex

Chapitre d'ouvrage

titre: Defining Formal Explanation in Classical Logic by Substructural Derivability
auteur: Francesca Poggiolesi, Francesco A Genco
article: Computability in Europe 2021: Connecting with Computability, 2021
typdoc: Chapitre d'ouvrage
Accès au bibtex

titre: Les conditionnels
auteur: Francesca Poggiolesi
article: F. Poggiolesi et P. Wagner. Précis de Philosophie de la Logique, Vol. 1, Editions de la Sorbonne, 2021
typdoc: Chapitre d'ouvrage
Accès au texte intégral et bibtex

titre: Bolzano, (the appropriate) relevant logic and ground-ing rules for implication
auteur: Francesca Poggiolesi
article: B. Schnieder and S. Roski. Bolzano and grounding, Oxford University Press, 2021
typdoc: Chapitre d'ouvrage
Accès au texte intégral et bibtex

Ouvrages

titre: Précis de philosophie de la logique et des mathématiques
auteur: Pierre Wagner, Francesca Poggiolesi
article: Editions de la Sorbonne, 1, 2021, Philosophie de la logique
typdoc: Ouvrages
Accès au bibtex

2020

Article dans une revue

titre: Grounding rules and (hyper-)isomorphic formulas
auteur: Francesca Poggiolesi
article: Australasian Journal of Logic, 2020, 17 (1), pp.70-80
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: Grounding rules for (relevant) implication
auteur: Francesca Poggiolesi
article: Journal of Applied Non-Classical Logics, 2020, pp.26-55. ⟨10.1080/11663081.2020.1850048⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: A proof-based framework for several types of grounding
auteur: Francesca Poggiolesi
article: Logique et Analyse, 2020, 252, pp.387-414
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Chapitre d'ouvrage

titre: La nozione di fondazione: uno dei modi in cui la logica aiuta la filosofia
auteur: Francesca Poggiolesi
article: Ordinare il mondo : prospettive logiche ed epistemologiche su scienza, natura e società, pp.96-110, 2020
typdoc: Chapitre d'ouvrage
Accès au texte intégral et bibtex

titre: Logics
auteur: Francesca Poggiolesi
article: Michael Raven. Routledge Handbook for Metaphysical Grounding, 2020, ISBN-13: 978-0815366492
typdoc: Chapitre d'ouvrage
Accès au texte intégral et bibtex

2019

Article dans une revue

titre: Grounding principles for (relevant) implication
auteur: Francesca Poggiolesi
article: Synthese, In press
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: An Analytic Calculus for the Intuitionistic Logic of Proofs
auteur: Brian Hill, Francesca Poggiolesi
article: Notre Dame Journal of Formal Logic, 2019, 60, pp.353-393
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Pré-publication, Document de travail

titre: No title
auteur: Francesca Poggiolesi
article: 2019
typdoc: Pré-publication, Document de travail
Accès au texte intégral et bibtex

2017

Article dans une revue

titre: Gentzen's Centenary
auteur: Francesca Poggiolesi
article: History and Philosophy of Logic, 2017, ⟨10.1080/01445340.2017.1303229⟩
typdoc: Article dans une revue
Accès au bibtex

titre: On constructing a logic for the notion of complete and immediate formal grounding
auteur: Francesca Poggiolesi
article: Synthese, 2017, ⟨10.1007/s11229-016-1265-z⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

2016

Article dans une revue

titre: On defining the notion of complete and immediate formal grounding
auteur: Francesca Poggiolesi
article: Synthese, 2016, 193 (10), pp.3147-3167. ⟨10.1007/s11229-015-0923-x⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: Gerhard Gentzen
auteur: Francesca Poggiolesi
article: Aphex, 2016, 14, pp.1-45
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: On defining the notion of complete and immediate formal grounding
auteur: Francesca Poggiolesi
article: Synthese, 2016, 193, pp.3147-3167. ⟨10.1007/s11229-015-0923-x⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016
auteur: Francesca Poggiolesi
article: Logic and Logical Philosophy, 2016, 26, pp.555-560. ⟨10.12775/LLP.2016.019⟩
typdoc: Article dans une revue
Accès au bibtex

titre: Natural deduction calculi and sequent calculi for counterfactual logics
auteur: Francesca Poggiolesi
article: Studia Logica, 2016, 104 (5), pp.1003-1036. ⟨10.1007/s11225-016-9662-3⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Chapitre d'ouvrage

titre: A Critical Overview of the Most Recent Logics of Grounding
auteur: Francesca Poggiolesi
article: Francesca Boccuni, Andrea Sereni Objectivity, Realism and Proof, 318, Springer, pp.291-309, 2016, Boston Studies in the Philosophy and History of Science, 978-3-319-31642-0. ⟨10.1007/978-3-319-31644-4_15⟩
typdoc: Chapitre d'ouvrage
Accès au texte intégral et bibtex

titre: Modal Truths from an Analytic-Synthetic Kantian Distinction
auteur: Francesca Poggiolesi
article: A. Moktefi, L. Moretti, F. Schang, eds. Soyons Logiques / Let us be logical, 22, College Publications, pp.149-160, 2016, Cahiers de Logique et d'Epistemologie 978-1-84890-090-5
typdoc: Chapitre d'ouvrage
Accès au texte intégral et bibtex

2015

Article dans une revue

titre: Are the validities of modal logic analytic? Or analyticity again through information, proof, modal logic and Hintikka
auteur: Francesca Poggiolesi
article: Philosophia Scientiae, 2015, 19, ⟨10.4000/philosophiascientiae.1110⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: Common knowledge: finite calculus with a syntactic cut-elimination procedure
auteur: Brian Hill, Francesca Poggiolesi
article: Logique et Analyse, 2015, 58 (230), pp.279-306
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Ouvrages

titre: Dynamic in Logic
auteur: Francesca Poggiolesi, Patrick Allo, Sonja Smets
article: Centre national belge de recherches de logique. N° de Logique et analyse, 2015
typdoc: Ouvrages
Accès au bibtex

2013

Article dans une revue

titre: From a single agent to multi-agent via hypersequents
auteur: Francesca Poggiolesi
article: Logica Universalis, 2013, 7, pp.147-166. ⟨10.1007/s11787-012-0047-8⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: Dynamic in logic.
auteur: Francesca Poggiolesi
article: Logique et Analyse, 2013, p
typdoc: Article dans une revue
Accès au bibtex

titre: Proof Analysis : A contribution to Hilbert's last problem.
auteur: Francesca Poggiolesi, S. Negri, J. von Plato
article: History and Philosophy of Logic, 2013, 278 p
typdoc: Article dans une revue
Accès au bibtex

titre: Common knowledge : a finitary calculus with a syntactic cut- elimination procedure.
auteur: Francesca Poggiolesi, B. Hill
article: Logique et Analyse, 2013, numéro spécial Dynamic in Logic, p
typdoc: Article dans une revue
Accès au bibtex

titre: Review of: Proof Analysis. A contribution to Hilbert's last problem
auteur: Francesca Poggiolesi
article: History and Philosophy of Logic, 2013
typdoc: Article dans une revue
Accès au bibtex

Communication dans un congrès

titre: Cogito Work-shop.
auteur: Francesca Poggiolesi
article: A brief history of proof theory for modal logic., Sep 2013, Padua, Italy
typdoc: Communication dans un congrès
Accès au bibtex

titre: Unilog Conference.
auteur: Francesca Poggiolesi
article: Hypersequents and modal logic., Mar 2013, Rio, Brazil
typdoc: Communication dans un congrès
Accès au bibtex

2012

Article dans une revue

titre: On the importance of being analytic. The paradigmatic case of the logic of proofs
auteur: Francesca Poggiolesi
article: Logique et Analyse, 2012, 55 (219), pp.443-461
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Chapitre d'ouvrage

titre: Interpreting and Applying Proof Theory for Modal Logic
auteur: Francesca Poggiolesi, Greg Restall
article: Greg Restall, Gillian Russell, eds. New Waves in Philosophical Logic, Palgrave Macmillan, pp.39-62, 2012, New Waves of Philosophy
typdoc: Chapitre d'ouvrage
Accès au bibtex

2011

Chapitre d'ouvrage

titre: Conservativeness and Eliminability for Anti-Realistic Definitions. Towards a Global View of the Meaning of Logical Constants
auteur: Francesca Poggiolesi
article: Shahid Rahman, Giuseppe Primiero, Mathieu Marion, eds. (Anti)-Realism. The Realism-Antirealism Debate in the Age of Alternative Logics, Springer, pp.169-181, 2011
typdoc: Chapitre d'ouvrage
Accès au bibtex

2010

Article dans une revue

titre: Display calculi and other modal calculi: a comparison
auteur: Francesca Poggiolesi
article: Synthese, 2010, 173 (3), pp.259-279. ⟨10.1007/s11229-008-9425-4⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Communication dans un congrès

titre: Analyticity and Logic of Proofs: A challenge
auteur: Francesca Poggiolesi
article: Proceedings of the Third Workshop on Philosophy of Information, Nov 2010, Brussels, Belgium. pp.55-63
typdoc: Communication dans un congrès
Accès au bibtex

titre: Towards a Satisfying Proof Analysis of the Logic of Proofs
auteur: Francesca Poggiolesi
article: Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, Nov 2010, San Sebastian-Donostia, Spain. pp.371-387
typdoc: Communication dans un congrès
Accès au bibtex

Chapitre d'ouvrage

titre: Reflecting the Semantic Features of S5 at the Syntactic Level
auteur: Francesca Poggiolesi
article: M. D'Agostino, G. Giorello, F. Laudisa, T. Pievani, C. Sinigaglia. New Essays in Logic and Philosophy of Science, College Publications, pp.13-25, 2010, 978-1-84890-003-5
typdoc: Chapitre d'ouvrage
Accès au texte intégral et bibtex

Ouvrages

titre: Gentzen Calculi for Modal Propositional Logic
auteur: Francesca Poggiolesi
article: Springer, pp.233, 2010
typdoc: Ouvrages
Accès au bibtex

titre: Proof Theory
auteur: Francesca Poggiolesi, F. Russo, Jon Williamson
article: F. Russo, Jon Williamson. continuum, pp.2, 2010
typdoc: Ouvrages
Accès au bibtex

2009

Article dans une revue

titre: Review of: One Hundred Years of Intuitionism (1907-2007)
auteur: Francesca Poggiolesi
article: Mathématiques et Sciences Humaines, 2009, 186, pp.89-90
typdoc: Article dans une revue
Accès au bibtex

titre: Proof Theory
auteur: Francesca Poggiolesi
article: The Reasoner, 2009, 3, pp.8-9
typdoc: Article dans une revue
Accès au bibtex

titre: A purely syntactic and cut-free sequent calculus for the modal logic of provability
auteur: Francesca Poggiolesi
article: The review of symbolic logic, 2009, 2 (4), pp.593-611
typdoc: Article dans une revue
Accès au texte intégral et bibtex

Chapitre d'ouvrage

titre: The Method of Tree-hypersequents for Modal Propositional Logic
auteur: Francesca Poggiolesi
article: David Makinson, Jacek Malinowski, Heinrich Wansing. Towards Mathematical Philosophy, 28, Springer, pp.31-51, 2009, Trends in logic, 978-1-4020-9083-7. ⟨10.1007/978-1-4020-9084-4_3⟩
typdoc: Chapitre d'ouvrage
Accès au texte intégral et bibtex

2008

Article dans une revue

titre: Three solutions to the knower paradox
auteur: Francesca Poggiolesi
article: Annali del Dipartimento di Filosofia - Nuova Serie, 2008, XIII, pp.147-163. ⟨10.13128/Annali_Dip_Filos-2840⟩
typdoc: Article dans une revue
Accès au texte intégral et bibtex

titre: A Cut-Free Simple Sequent Calculus for Modal Logic S5
auteur: Francesca Poggiolesi
article: The review of symbolic logic, 2008, 1 (1), pp.3-15
typdoc: Article dans une revue
Accès au texte intégral et bibtex

2007

Communication dans un congrès

titre: A New Definition of the Došen's Principle
auteur: Francesca Poggiolesi
article: 21st International Symposium Logica, Jun 2007, Prague, Czech Republic. pp.133-142
typdoc: Communication dans un congrès
Accès au bibtex