Mme Francesca Poggiolesi

Chargé de recherche

Affectation(s)

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

UFR 10 : Philosophie

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

2022

Article dans une revue

titre
Grounding and propositional identity: a solution to Wilhelm's inconsistencies
auteur
Francesca Poggiolesi
article
Logic and Logical Philosophy, Nicolaus Copernicus University Scientific Publishing House, In press
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03605456/file/finallogicandlogicalphilosopphy.pdf BibTex

Pré-publication, Document de travail

titre
Nested Sequents or Tree-hypersequents -A survey
auteur
Björn Lellmann, Francesca Poggiolesi
article
2022
typdoc
Pré-publication, Document de travail
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03590537/file/surveynestedsequentsmain.pdf BibTex

2021

Article dans une revue

titre
Grounding, Quantifiers, and Paradoxes
auteur
Francesco A Genco, Francesca Poggiolesi, Lorenzo Rossi
article
Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03187627/file/fol-grounding-HAL.pdf BibTex
titre
Conceptual (and hence mathematical) explanation, conceptual grounding and proof
auteur
Francesca Poggiolesi, Francesco A Genco
article
Erkenntnis, Springer Verlag, In press
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03176283/file/explanationandgrounding18.pdf 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, CALIJ Universidad del pais vasco - University of the Basque Country, In press, 36, pp.5-24
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02860310/file/generalization13.pdf 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
https://hal.archives-ouvertes.fr/hal-03192655/file/grounding-substructural-LNCS.pdf 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
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
https://hal.archives-ouvertes.fr/hal-02390490/file/chap07_Poggiolesi%20copia.pdf 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
https://hal.archives-ouvertes.fr/hal-01912139/file/Bolzano%20relevance%20and%20implication%2015.pdf BibTex

Ouvrage (y compris édition critique et traduction)

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
Ouvrage (y compris édition critique et traduction)
Accès au bibtex
BibTex

2020

Article dans une revue

titre
Grounding rules and (hyper-)isomorphic formulas
auteur
Francesca Poggiolesi
article
Australasian Journal of Logic, Australasian Association for Logic, 2020, 17 (1), pp.70-80
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02515104/file/isoandground16.pdf BibTex
titre
Grounding rules for (relevant) implication
auteur
Francesca Poggiolesi
article
Journal of Applied Non-Classical Logics, Taylor & Francis, 2020, pp.26-55. ⟨10.1080/11663081.2020.1850048⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02953412/file/groundingrulesforimplication9.pdf BibTex
titre
A proof-based framework for several types of grounding
auteur
Francesca Poggiolesi
article
Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2020, 252, pp.387-414
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02498116/file/complete%3Apartial24.pdf 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
https://hal.archives-ouvertes.fr/hal-03096042/file/Spiegazioni%20come%20fondazioni.pdf BibTex
titre
Logics of grounding
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
https://hal.archives-ouvertes.fr/hal-02100816/file/Logics%20of%20grounding%2013.pdf BibTex

2019

Article dans une revue

titre
Grounding principles for (relevant) implication
auteur
Francesca Poggiolesi
article
Synthese, Springer Verlag (Germany), In press
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02408446/file/groundingandimplication28.pdf BibTex
titre
An Analytic Calculus for the Intuitionistic Logic of Proofs
auteur
Brian Hill, Francesca Poggiolesi
article
Notre Dame Journal of Formal Logic, University of Notre Dame, 2019, 60, pp.353-393
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01621420/file/alp7%20%281%29.pdf 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
https://hal.archives-ouvertes.fr/hal-02091633/file/groundingrulesforimplication23.pdf BibTex

2017

Article dans une revue

titre
On constructing a logic for the notion of complete and immediate formal grounding
auteur
Francesca Poggiolesi
article
Synthese, Springer Verlag (Germany), 2017, ⟨10.1007/s11229-016-1265-z⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-01474697/file/lg21.pdf BibTex

Autre publication

titre
Gentzen's Centenary
auteur
Francesca Poggiolesi
article
2017, ⟨10.1080/01445340.2017.1303229⟩
typdoc
Autre publication
Accès au bibtex
BibTex

2016

Article dans une revue

titre
On defining the notion of complete and immediate formal grounding
auteur
Francesca Poggiolesi
article
Synthese, Springer Verlag (Germany), 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
https://halshs.archives-ouvertes.fr/halshs-01227672/file/ondefininggrounding21.pdf BibTex
titre
Gerhard Gentzen
auteur
Francesca Poggiolesi
article
Aphex, 2016, pp.1-45
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01358730/file/aphex%20gentzen.pdf BibTex
titre
On defining the notion of complete and immediate formal grounding
auteur
Francesca Poggiolesi
article
Synthese, Springer Verlag (Germany), 2016, 193, pp.3147-3167. ⟨10.1007/s11229-015-0923-x⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102067/file/ondefininggrounding12bis_name.pdf BibTex
titre
Natural deduction calculi and sequent calculi for counterfactual logics
auteur
Francesca Poggiolesi
article
Studia Logica, Springer Verlag (Germany), 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
https://hal.archives-ouvertes.fr/hal-01271556/file/strictconditional10.pdf 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
https://hal.archives-ouvertes.fr/hal-01344256/file/colgfinal.pdf 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
https://halshs.archives-ouvertes.fr/halshs-00775811/file/modaltruths3.pdf BibTex

Autre publication

titre
Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016
auteur
Francesca Poggiolesi
article
2016, pp.555-560. ⟨10.12775/LLP.2016.019⟩
typdoc
Autre publication
Accès au bibtex
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, Editions Kime, 2015, 19, ⟨10.4000/philosophiascientiae.1110⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01252305/file/amvta22.pdf BibTex
titre
Common knowledge: finite calculus with a syntactic cut-elimination procedure
auteur
Brian Hill, Francesca Poggiolesi
article
Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2015, 58 (230), pp.279-306
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00775822/file/commonknoweldgefinal.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Dynamic in Logic
auteur
Francesca Poggiolesi, Patrick Allo, Sonja Smets
article
France. Centre national belge de recherches de logique. N° de Logique et analyse, 2015
typdoc
Direction d'ouvrage, Proceedings, Dossier
Accès au bibtex
BibTex

2013

Article dans une revue

titre
From a single agent to multi-agent via hypersequents
auteur
Francesca Poggiolesi
article
Logica Universalis, Springer Verlag, 2013, pp.147-166. ⟨10.1007/s11787-012-0047-8⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00775806/file/articleS5m9.pdf 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, Taylor & Francis, 2013, 278 p
typdoc
Article dans une revue
Accès au bibtex
BibTex
titre
Dynamic in logic.
auteur
Francesca Poggiolesi
article
Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2013, p
typdoc
Article dans une revue
Accès au bibtex
BibTex
titre
Common knowledge : a finitary calculus with a syntactic cut- elimination procedure.
auteur
Francesca Poggiolesi, B. Hill
article
Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2013, p
typdoc
Article dans une revue
Accès au bibtex
BibTex
titre
Review of: Proof Analysis. A contribution to Hilbert's last problem
auteur
Francesca Poggiolesi
article
History and Philosophy of Logic, Taylor & Francis, 2013
typdoc
Article dans une revue
Accès au bibtex
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
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
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, Louvain: Centre national belge de recherche de logique. 2012, 55 (219), pp.443-461
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00775807/file/logique%20et%20analyse2.pdf 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
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
BibTex

2010

Article dans une revue

titre
Display calculi and other modal calculi: a comparison
auteur
Francesca Poggiolesi
article
Synthese, Springer Verlag (Germany), 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
https://halshs.archives-ouvertes.fr/halshs-00775789/file/varicalcolimodali5%20%281%29.pdf 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
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
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
https://halshs.archives-ouvertes.fr/halshs-00775814/file/articolopersilfs3.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Gentzen Calculi for Modal Propositional Logic
auteur
Francesca Poggiolesi
article
Springer, pp.233, 2010
typdoc
Ouvrage (y compris édition critique et traduction)
Accès au bibtex
BibTex
titre
Proof Theory
auteur
Francesca Poggiolesi, F. Russo, Jon Williamson
article
F. Russo, Jon Williamson. continuum, pp.2, 2010
typdoc
Ouvrage (y compris édition critique et traduction)
Accès au bibtex
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, Centre de Mathématique Sociale et de statistique, EPHE, 2009, pp.89-90
typdoc
Article dans une revue
Accès au bibtex
BibTex
titre
Proof Theory
auteur
Francesca Poggiolesi
article
The Reasoner, 2009, pp.8-9
typdoc
Article dans une revue
Accès au bibtex
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, Cambridge University Press, 2009, 2 (4), pp.593-611
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00775808/file/articologl5.pdf 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
https://halshs.archives-ouvertes.fr/halshs-00775815/file/BookChapter-Springer%202009.pdf BibTex

2008

Article dans une revue

titre
Three solutions to the knower paradox
auteur
Francesca Poggiolesi
article
Annali del Dipartimento di Filosofia - Nuova Serie, Firenze University Press, 2008, XIII, pp.147-163. ⟨10.13128/Annali_Dip_Filos-2840⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00775810/file/annali%20del%20dipartimento%20di%20filosofia%202008.pdf BibTex
titre
A Cut-Free Simple Sequent Calculus for Modal Logic S5
auteur
Francesca Poggiolesi
article
The review of symbolic logic, Cambridge University Press, 2008, 1 (1), pp.3-15
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00775809/file/articolos55.pdf 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
BibTex