Mme Francesca Poggiolesi

Agent contractuel

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 Directrice 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).

Recherche

Direction(s) de thèse

Camille Fleuret,

Clara Lerouvillois

Sujet de thèse

Sequent Calculi for Modal Logic

Directeur de Thèse

P. Minari et G. Sandu

Enseignements

Logique des modalités, M1S2

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

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, 30, Springer; Springer International Publishing, pp.243-301, 2024, Outstanding Contributions to Logic., ⟨10.1007/978-3-031-57635-5_11⟩
typdoc: Chapitre d'ouvrage
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

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 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: 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: 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: 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: Dynamic in logic.
auteur: Francesca Poggiolesi
article: Logique et Analyse, 2013, p
typdoc: Article dans une revue
Accès au bibtex

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: 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: Proof Theory
auteur: Francesca Poggiolesi, F. Russo, Jon Williamson
article: F. Russo, Jon Williamson. continuum, pp.2, 2010
typdoc: Ouvrages
Accès au bibtex

titre: Gentzen Calculi for Modal Propositional Logic
auteur: Francesca Poggiolesi
article: Springer, pp.233, 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