profile picture

Francesca Poggiolesi

 More details
  •  32
    An Analytic Calculus for the Intuitionistic Logic of Proofs
    with Brian Hill
    Notre Dame Journal of Formal Logic 60 (3): 353-393. 2019.
    The goal of this article is to take a step toward the resolution of the problem of finding an analytic sequent calculus for the logic of proofs. For this, we focus on the system Ilp, the intuitionistic version of the logic of proofs. First we present the sequent calculus Gilp that is sound and complete with respect to the system Ilp; we prove that Gilp is cut-free and contraction-free, but it still does not enjoy the subformula property. Then, we enrich the language of the logic of proofs and we…Read more
    Proof Theory
  •  60
    A cut-free simple sequent calculus for modal logic S5
    Review of Symbolic Logic 1 (1): 3-15. 2008.
    In this paper, we present a simple sequent calculus for the modal propositional logic S5. We prove that this sequent calculus is theoremwise equivalent to the Hilbert-style system S5, that it is contraction-free and cut-free, and finally that it is decidable. All results are proved in a purely syntactic way.
    Modal and Intensional LogicProof Theory
  •  24
    Towards a generalization of the logic of grounding
    with Nissim Francez
    Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 36 (1): 5-24. 2021.
    The main goal of this paper is to provide a ground-analysis of two classical connectives that have so far been ignored in the literature, namely the exclusive disjunction, and the ternary disjunction. Such ground-analysis not only serves to extend the applicability of the logic of grounding but also leads to a generalization of Poggiolesi (2016)’s definition of the notion of complete and immediate grounding.
    Logic of Grounding
  •  12
    Review of: One Hundred Years of Intuitionism (1907-2007) (review)
    The book has the simple structure of a tree: the first part, the roots, is dedicated to Brouwer himself, the founding father of Intuitionism; the second part, the trunk, is dedicated to those who influenced, developed and dialogued with Brouwer and his theories; the third part, the branches, is dedicated to the most recent applications and developments of Intuitionism
    Moral Intuitionism
  •  36
    Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies
    Logic and Logical Philosophy 1-6. forthcoming.
    By following a recent result of [Wilhelm, 2021], it can easily be shown that standard conditions for immediate partial grounding and relevant identity conditions for propositions are inconsistent with one another. This is an unfortunate situation for all grounding enthusiasts; however, by adopting the approach presented by Poggiolesi [2016a,b], which displays a more-fined grained use of negations, it can also be shown that consistency can be restored back.
    Logic and Philosophy of LogicLogic of Grounding
  •  78
    Conceptual (and Hence Mathematical) Explanation, Conceptual Grounding and Proof
    with Francesco Genco
    Erkenntnis 1-27. 2021.
    This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies …Read more
    Logic of Grounding