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
2024
Article dans une revue
- titre
- (Conceptual) Explanations in logic
- auteur
- Francesca Poggiolesi
- article
- Journal of Logic and Computation, 2024, ⟨10.1093/logcom/exae064⟩
- typdoc
- Article dans une revue
- 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
- Paolo Mancosu, Francesca Poggiolesi, Christopher Pincock
- 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
- 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
- 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
- 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 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
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