27 found
Order:
  1.  86
    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   14 citations  
  2.  40
    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   7 citations  
  3.  34
    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   16 citations  
  4.  14
    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  
  5.  61
    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  
  6. 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   3 citations  
  7. 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.
  8.  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  
  9.  70
    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   4 citations  
  10.  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 (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  39
    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  
  12.  9
    Grounding Principles for Implication.Francesca Poggiolesi - forthcoming - Synthese:1-26.
    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  
  13.  50
    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  
  14. Analytic Logic of Proofs.Francesca Poggiolesi & Brian Hill - forthcoming - Annals of Pure and Applied Logic.
     
    Export citation  
     
    Bookmark   1 citation  
  15. On the Importance of Being Analytic. The Paradigmatic Case of the Logic of Proofs.Francesca Poggiolesi - forthcoming - Logique Et Analyse.
  16. Modal Truths From an Analytic-Synthetic Kantian Distinction.Francesca Poggiolesi - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17. 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  
  18. Common Knowledge: Finite Calculus with Syntactic Cut-Elimination Procedure.Francesca Poggiolesi & Brian Hill - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark  
  19.  8
    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  
  20.  9
    Book Review of “Gentzen's Centenary”. [REVIEW]Francesca Poggiolesi - 2017 - History and Philosophy of Logic 38 (3):297-298.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. 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  
  22. Review Of: Proof Analysis. A Contribution to Hilbert's Last Problem. [REVIEW]Francesca Poggiolesi - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  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  
  24. Dynamic in Logic.Francesca Poggiolesi - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  8
    Are the Validities of Modal Logic Analytic? Or Analyticity Again, Through Information, Proof, Modal Logic and Hintikka.Francesca Poggiolesi - 2015 - Philosophia Scientiæ 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  
  26.  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  
  27. 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