20 found
Order:
See also
  1.  38
    Proof-theoretic analysis of the quantified argument calculus.Edi Pavlović & Norbert Gratzl - 2019 - Review of Symbolic Logic 12 (4):607-636.
    This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction, we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen’s original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  41
    A More Unified Approach to Free Logics.Edi Pavlović & Norbert Gratzl - 2020 - Journal of Philosophical Logic 50 (1):117-148.
    Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that the domain of interpretation is not empty, every name denotes exactly one object in the domain and the quantifiers have existential import. Free logics usually reject the claim that names need to denote in, and of the systems considered in this paper, the positive free logic concedes that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  29
    Abstract Forms of Quantification in the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - 2023 - Review of Symbolic Logic 16 (2):449-479.
    The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  77
    The Epsilon-Reconstruction of Theories and Scientific Structuralism.Georg Schiemer & Norbert Gratzl - 2016 - Erkenntnis 81 (2):407-432.
    Rudolf Carnap’s mature work on the logical reconstruction of scientific theories consists of two components. The first is the elimination of the theoretical vocabulary of a theory in terms of its Ramsification. The second is the reintroduction of the theoretical terms through explicit definitions in a language containing an epsilon operator. This paper investigates Carnap’s epsilon-reconstruction of theories in the context of pure mathematics. The main objective here is twofold: first, to specify the epsilon logic underlying his suggested definition of (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  17
    Free Logic and the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 105-116.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  30
    Logicality, Double-Line Rules, and Modalities.Norbert Gratzl & Eugenio Orlandelli - 2019 - Studia Logica 107 (1):85-107.
    This paper deals with the question of the logicality of modal logics from a proof-theoretic perspective. It is argued that if Dos̆en’s analysis of logical constants as punctuation marks is embraced, it is possible to show that all the modalities in the cube of normal modal logics are indeed logical constants. It will be proved that the display calculus for each displayable modality admits a purely structural presentation based on double-line rules which, following Dos̆en’s analysis, allows us to claim that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  32
    Priority merge and intersection modalities.Zoé Christoff, Norbert Gratzl & Olivier Roy - 2022 - Review of Symbolic Logic 15 (1):165-196.
    We study the logic of so-called lexicographic or priority merge for multi-agent plausibility models. We start with a systematic comparison between the logical behavior of priority merge and the more standard notion of pooling through intersection, used to define, for instance, distributed knowledge. We then provide a sound and complete axiomatization of the logic of priority merge, as well as a proof theory in labeled sequents that admits cut. We finally study Moorean phenomena and define a dynamic resolution operator for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  78
    A Sequent Calculus for a Negative Free Logic.Norbert Gratzl - 2010 - Studia Logica 96 (3):331-348.
    This article presents a sequent calculus for a negative free logic with identity, called N . The main theorem (in part 1) is the admissibility of the Cut-rule. The second part of this essay is devoted to proofs of soundness, compactness and completeness of N relative to a standard semantics for negative free logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  74
    Truth, Partial Logic and Infinitary Proof Systems.Martin Fischer & Norbert Gratzl - 2017 - Studia Logica 106 (3):1-26.
    In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an ω-rule.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  89
    Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.
    We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  9
    Truth, Partial Logic and Infinitary Proof Systems.Norbert Gratzl & Martin Fischer - 2018 - Studia Logica 106 (3):515-540.
    In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-rule.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  56
    Is, Ought, and Cut.Norbert Gratzl & Edi Pavlović - 2023 - Journal of Philosophical Logic 52 (4):1149-1169.
    In this paper we use proof-theoretic methods, specifically sequent calculi, admissibility of cut within them and the resultant subformula property, to examine a range of philosophically-motivated deontic logics. We show that for all of those logics it is a (meta)theorem that the Special Hume Thesis holds, namely that no purely normative conclusion follows non-trivially from purely descriptive premises (nor vice versa). In addition to its interest on its own, this also illustrates one way in which proof theory sheds light on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  15
    Decidable Fragments of the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - forthcoming - Review of Symbolic Logic:1-26.
    This paper extends the investigations into logical properties of the quantified argument calculus (Quarc) by suggesting a series of proper subsystems which, although retaining the entire vocabulary of Quarc, restrict quantification in such a way as to make the result decidable. The proof of decidability is via a procedure that prunes the infinite branches of a derivation tree in what is a syntactic counterpart of semantic filtration. We demonstrate an application of one of these systems by showing that Aristotle’s assertoric (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  36
    Knowledge, belief, normality, and introspection.Dominik Klein, Olivier Roy & Norbert Gratzl - 2017 - Synthese:1-30.
    We study two logics of knowledge and belief stemming from the work of Stalnaker, omitting positive introspection for knowledge. The two systems are equivalent with positive introspection, but not without. We show that while the logic of beliefs remains unaffected by omitting introspection for knowledge in one system, it brings significant changes to the other. The resulting logic of belief is non-normal, and its complete axiomatization uses an infinite hierarchy of coherence constraints. We conclude by returning to the philosophical interpretation (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  58
    Knowledge, belief, normality, and introspection.Dominik Klein, Olivier Roy & Norbert Gratzl - 2017 - Synthese 195 (10):4343-4372.
    We study two logics of knowledge and belief stemming from the work of Stalnaker, omitting positive introspection for knowledge. The two systems are equivalent with positive introspection, but not without. We show that while the logic of beliefs remains unaffected by omitting introspection for knowledge in one system, it brings significant changes to the other. The resulting logic of belief is non-normal, and its complete axiomatization uses an infinite hierarchy of coherence constraints. We conclude by returning to the philosophical interpretation (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. The Basics of Display Calculi.Tim Lyon, Christian Ittner, Timo Eckhardt & Norbert Gratzl - 2017 - Kriterion - Journal of Philosophy 31 (2):55-100.
    The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  25
    Neutral Free Logic: Motivation, Proof Theory and Models.Edi Pavlović & Norbert Gratzl - 2023 - Journal of Philosophical Logic 52 (2):519-554.
    Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka _The Journal of Philosophy_, _56_, 125–137 1959 ; Lambert _Notre Dame Journal of Formal Logic_, _8_, 133–144 1967, 1997, 2001 ). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential import. Free (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  44
    Definite descriptions: Language, logic, and elimination.Norbert Gratzl - 2009 - In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 355.
    Definite descriptions are in the focus of philosophical discussion at least since Russell's famous paper "On Denoting". We present in this paper a logic with descriptions in Russell's spirit. The formulation, however, is closely related to Schütte's development of predicate logic, i.e. the formulation of the calculus uses positive- and negative-parts. With respect to this slightly more sophisticated formulation it is possible to formalize Russell's convention that is originally stated in the metalanguage of his theory of descriptions within our calculus. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  3
    Definite Descriptions: Language, Logic, and Elimination.Norbert Gratzl - 2009 - In Alexander Hieke & Hannes Leitgeb (eds.), Reduction, abstraction, analysis: proceedings of the 31th International Ludwig Wittgenstein-Symposium in Kirchberg, 2008. Frankfurt: de Gruyter. pp. 355-364.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Hilbert and Bernays on definite descriptions.Norbert Gratzl - 2011 - Studia Philosophiae Christianae 47 (4):19-29.
     
    Export citation  
     
    Bookmark