10 found
Order:
See also
  1.  8
    Logicality, Double-Line Rules, and Modalities.Norbert Gratzl & Eugenio Orlandelli - forthcoming - Studia Logica:1-23.
    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   1 citation  
  2.  8
    Knowledge, Belief, Normality, and Introspection.Dominik Klein, Olivier Roy & Norbert Gratzl - 2018 - Synthese 195 (10):4343-4372.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  32
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  55
    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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  9
    Truth, Partial Logic and Infinitary Proof Systems.Martin Fischer & Norbert Gratzl - 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 ω-rule.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  39
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Hilbert and Bernays on Definite Descriptions.Norbert Gratzl - 2011 - Studia Philosophiae Christianae 47 (4):19-29.
     
    Export citation  
     
    Bookmark  
  9.  9
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    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