•  27
    Truthmakers and Normative Conflicts
    Studia Logica 108 (1): 49-83. 2020.
    By building on work by Kit Fine, we develop a sound and complete truthmaker semantics for Lou Goble’s conflict tolerant deontic logic BDL.
  •  53
    Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth
    Journal of Philosophical Logic 47 (2): 193-226. 2018.
    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 a proof-theoretically conservative extension of th…Read more
  •  97
    What Are Structural Properties?†
    with Georg Schiemer
    Philosophia Mathematica 26 (3): 295-323. 2018.
    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 cha…Read more
  • An Exact Truthmaker Semantics for Permission and Obligation
    with Albert J. J. Anglberger and Federico L. G. Faroldi
    In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems, College Publications. pp. 16-31. 2016.
    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 - a singular act is an exact trut…Read more
  •  58
    Yet Another Puzzle of Ground
    Kriterion - Journal of Philosophy 29 (2): 1-10. 2015.
    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.
  •  81
    Axiomatic Theories of Partial Ground I: The Base Theory
    Journal of Philosophical Logic 47 (2): 161-191. 2018.
    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 the theory is a proof-theoretically conservative…Read more