31 found
Order:
  1.  95
    On Defining the Notion of Complete and Immediate Formal Grounding.Francesca Poggiolesi - 2016 - Synthese 193 (10).
    The aim of this paper is to provide a definition of the the notion of complete and immediate formal grounding through the concepts of derivability and complexity. It will be shown that this definition yields a subtle and precise analysis of the concept of grounding in several paradigmatic cases.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  2.  49
    On Constructing a Logic for the Notion of Complete and Immediate Formal Grounding.Francesca Poggiolesi - 2018 - Synthese 195 (3):1231-1254.
    In Poggiolesi we have introduced a rigorous definition of the notion of complete and immediate formal grounding; in the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding based on that definition. Our logic will have the form of a calculus of natural deduction, will be proved to be sound and complete and will allow us to have fine-grained grounding principles.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  7
    A Critical Overview of the Most Recent Logics of Grounding.Francesca Poggiolesi - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. Filmat Studies in the Philosophy of Mathematics. Springer Verlag.
    In this paper our aim is twofold: on the one hand, to present in a clear and faithful way two recent contributions to the logic of grounding, namely Correia, and Fine ; on the other hand, to argue that some of the formal principles describing the notion of grounding proposed by these logics need to be changed and improved.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  35
    A Cut-Free Simple Sequent Calculus for Modal Logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  5.  24
    Grounding Rules and (Hyper-)Isomorphic Formulas.Francesca Poggiolesi - 2020 - Australasian Journal of Logic 17 (1):70.
    An oft-defended claim of a close relationship between Gentzen inference rules and the meaning of the connectives they introduce and eliminate has given rise to a whole domain called proof-theoretic semantics, see Schroeder- Heister ; Prawitz. A branch of proof-theoretic semantics, mainly developed by Dosen ; Dosen and Petric, isolates in a precise mathematical manner formulas that have the same meaning. These isomorphic formulas are defined to be those that behave identically in inferences. The aim of this paper is to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  20
    Grounding Principles for (Relevant) Implication.Francesca Poggiolesi - 2020 - Synthese 198 (8):7351-7376.
    Most of the logics of grounding that have so far been proposed contain grounding axioms, or grounding rules, for the connectives of conjunction, disjunction and negation, but little attention has been dedicated to the implication connective. The present paper aims at repairing this situation by proposing adequate grounding principles for relevant implication. Because of the interaction between negation and implication, new grounding principles concerning negation will also arise.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  62
    Display Calculi and Other Modal Calculi: A Comparison.Francesca Poggiolesi - 2010 - Synthese 173 (3):259-279.
    In this paper we introduce and compare four different syntactic methods for generating sequent calculi for the main systems of modal logic: the multiple sequents method, the higher-arity sequents method, the tree-hypersequents method and the display method. More precisely we show how the first three methods can all be translated in the fourth one. This result sheds new light on these generalisations of the sequent calculus and raises issues that will be examined in the last section.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  71
    A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
    In this paper we present a sequent calculus for the modal propositional logic GL (the logic of provability) obtained by means of the tree-hypersequent method, a method in which the metalinguistic strength of hypersequents is improved, so that we can simulate trees shapes. We prove that this sequent calculus is sound and complete with respect to the Hilbert-style system GL, that it is contraction free and cut free and that its logical and modal rules are invertible. No explicit semantic element (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  39
    A Contraction-Free and Cut-Free Sequent Calculus for Propositional Dynamic Logic.Brian Hill & Francesca Poggiolesi - 2010 - Studia Logica 94 (1):47-72.
    In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the iteration operator. We prove that this sequent calculus is theoremwise equivalent to the corresponding Hilbert-style system, and that it is contraction-free and cut-free. All results are proved in a purely syntactic way.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  41
    Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.
    In this paper we present labelled sequent calculi and labelled natural deduction calculi for the counterfactual logics CK + {ID, MP}. As for the sequent calculi we prove, in a semantic manner, that the cut-rule is admissible. As for the natural deduction calculi we prove, in a purely syntactic way, the normalization theorem. Finally, we demonstrate that both calculi are sound and complete with respect to Nute semantics [12] and that the natural deduction calculi can be effectively transformed into the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. On the Importance of Being Analytic. The Paradigmatic Case of the Logic of Proofs.Francesca Poggiolesi - forthcoming - Logique Et Analyse.
  12.  54
    From Single Agent to Multi-Agent Via Hypersequents.Francesca Poggiolesi - 2013 - Logica Universalis 7 (2):147-166.
    In this paper we present a sequent calculus for the multi-agent system S5 m . First, we introduce a particularly simple alternative Kripke semantics for the system S5 m . Then, we construct a hypersequent calculus for S5 m that reflects at the syntactic level this alternative interpretation. We prove that this hypersequent calculus is theoremwise equivalent to the Hilbert-style system S5 m , that it is contraction-free and cut-free, and finally that it is decidable. All results are proved in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Analytic Logic of Proofs.Francesca Poggiolesi & Brian Hill - forthcoming - Annals of Pure and Applied Logic.
     
    Export citation  
     
    Bookmark   1 citation  
  14. Modal Truths From an Analytic-Synthetic Kantian Distinction.Francesca Poggiolesi - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15. Reflecting the Semantic Features of S5 at the Syntactic Level.Francesca Poggiolesi - 2010 - In Marcello D'Agostino, Federico Laudisa, Giulio Giorello, Telmo Pievani & Corrado Sinigaglia (eds.), New Essays in Logic and Philosophy of Science. College Publications. pp. 13--25.
     
    Export citation  
     
    Bookmark   1 citation  
  16.  22
    Grounding, Quantifiers, and Paradoxes.Francesco A. Genco, Francesca Poggiolesi & Lorenzo Rossi - forthcoming - Journal of Philosophical Logic:1-32.
    The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one—the ground—determines or explains the other—the consequence. In the contemporary literature on grounding, much effort has been devoted to logically characterize the formal aspects of grounding, but a major hard problem remains: defining suitable grounding principles for universal and existential formulae. Indeed, several grounding principles for quantified formulae have been proposed, but all of them are exposed to paradoxes in some very natural (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  23
    An Analytic Calculus for the Intuitionistic Logic of Proofs.Brian Hill & Francesca Poggiolesi - 2019 - Notre Dame Journal of Formal Logic 60 (3):353-393.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. A New Definition of the Došen's Principle.Francesca Poggiolesi - 2008 - In Michal Peliš (ed.), The Logica Yearbook 2007. Filosofia. pp. 133--142.
    No categories
     
    Export citation  
     
    Bookmark  
  19.  8
    Are the Validities of Modal Logic Analytic? Or Analyticity Again, Through Information, Proof, Modal Logic and Hintikka.Francesca Poggiolesi - 2015 - Philosophia Scientiae 19:221-243.
    Dans la philosophie de Hintikka la notion d'analyticité occupe une place particulière ; plus précisément, le philosophe finnois distingue deux notions d'analyticité : l'une qui est basée sur la notion d'information, l'autre sur la notion de preuve. Alors que ces deux notions ont été largement utilisées pour étudier la logique propositionnelle et la logique du premier ordre, aucun travail n'a été développé pour la logique modale. Cet article se propose de combler cette lacune et ainsi d'examiner l'analyticité des validités de (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  9
    Are the Validities of Modal Logic Analytic? Or Analyticity Again, Through Information, Proof, Modal Logic and Hintikka.Francesca Poggiolesi - 2015 - Philosophia Scientae 19:221-243.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  13
    Book Review of “Gentzen's Centenary”. [REVIEW]Francesca Poggiolesi - 2017 - History and Philosophy of Logic 38 (3):297-298.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  22.  10
    Conceptual (and Hence Mathematical) Explanation, Conceptual Grounding and Proof.Francesca Poggiolesi & Francesco Genco - forthcoming - Erkenntnis:1-27.
    This paper studies the notions of conceptual grounding and conceptual 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 are drawn with the recent research in metaphysics on the pair metaphysical (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  12
    Can Başkent, Perspectives on Interrogative Models of Inquiry, Springer, 2016. [REVIEW]Francesca Poggiolesi - 2016 - Logic and Logical Philosophy 25 (4):555-560.
    Book Reviews: Can Başkent, Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016, vii + 197 pages, ISBN: 978-3-319-20761-2, 978-3-319-20762-9. DOI: 10.1007/978-3-319-20762-9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. Common Knowledge: Finite Calculus with Syntactic Cut-Elimination Procedure.Francesca Poggiolesi & Brian Hill - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark  
  25. Dynamic in Logic.Francesca Poggiolesi - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  15
    Grounding Rules for (Relevant) Implication.Francesca Poggiolesi - 2020 - Journal of Applied Non-Classical Logics 31 (1):26-55.
    In Poggiolesi [. Grounding principles for implication. Synthese, 1–28], a definition of the notion of grounding in the background of a relevant framework has been introduced; this...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Method of Tree-Hypersequents for Modal Propositional Logic.Francesca Poggiolesi - 2009 - In David Makinson, Jacek Malinowski & Heinrich Wansing (eds.), Towards Mathematical Philosophy. Berlin: Springer-Verlag. pp. 31–51.
  28. Review Of: One Hundred Years of Intuitionism (1907-2007). [REVIEW]Francesca Poggiolesi - unknown
    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.
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Review Of: Proof Analysis. A Contribution to Hilbert's Last Problem. [REVIEW]Francesca Poggiolesi - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  3
    Towards a Generalization of the Logic of Grounding.Francesca Poggiolesi & Nissim Francez - 2021 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 36 (1):5-24.
    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 ’s definition of the notion of complete and immediate grounding.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  7
    Three Different Solutions to the Knower Paradox.Francesca Poggiolesi - 2007 - Annali Del Dipartimento di Filosofia 13:147-164.
    In this paper I shall present three solutions to the Knower Paradox which, despite important points in common, differ in several respects. The first solution, proposed by C. A. Anderson [1] is a hierarchical solution, developed in the framework of first-order arithmetic. However I will try toshow that this solution is based on an incorrect argument. The second solution, inspired by a book of R.M. Smullyan [14], is developed in the framework of modal logic and it is based on the (...)
    Direct download  
     
    Export citation  
     
    Bookmark