6 found
Order:
See also
  1.  93
    What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.
    Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical properties. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  80
    Axiomatic Theories of Partial Ground I: The Base Theory.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):161-191.
    This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and show that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  50
    Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):193-226.
    This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  57
    Yet Another Puzzle of Ground.Johannes Korbmacher - 2015 - Kriterion - Journal of Philosophy 29 (2):1-10.
    We show that any predicational theory of partial ground that extends a standard theory of syntax and that proves some commonly accepted principles for partial ground is inconsistent. We suggest a way to obtain a consistent predicational theory of ground.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  27
    Truthmakers and Normative Conflicts.Albert Anglberger & Johannes Korbmacher - 2020 - Studia Logica 108 (1):49-83.
    By building on work by Kit Fine, we develop a sound and complete truthmaker semantics for Lou Goble’s conflict tolerant deontic logic BDL.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. An Exact Truthmaker Semantics for Permission and Obligation.Albert J. J. Anglberger, Johannes Korbmacher & Federico L. G. Faroldi - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 16-31.
    We develop an exact truthmaker semantics for permission and obligation. The idea is that with every singular act, we associate a sphere of permissions and a sphere of requirements: the acts that are rendered permissible and the acts that are rendered required by the act. We propose the following clauses for permissions and obligations: -/- - a singular act is an exact truthmaker of Pφ iff every exact truthmaker of φ is in the sphere of permissibility of the act, and (...)
     
    Export citation  
     
    Bookmark   1 citation