Filter by type:

Sort by year:

What Are Structural Properties?

Project: Structural PropertiesPublished Article
Georg Schiemer, Johannes Korbmacher
Philosophia Mathematica
Publication year: 2017

Abstract. Informally, structural properties 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. In this paper we present two formal explications of structural properties, corresponding to these two informal characterizations. 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. From this observation we draw some philosophical conclusions about the possibility of a “correct” analysis of structural properties.

Unpublished Article/Draft
Albert Anglberger, Johannes Korbmacher
Publication year: 2017

By building on work by Kit Fine, we develop a sound and complete truth- maker semantics for Lou Goble’s conflict tolerant deontic logic BDL.

Axiomatic Theories of Partial Ground II. Partial Ground and Typed Truth

Project: Predicational GroundPublished Article
Johannes Korbmacher
Journal of Philosophical Logic
Publication year: 2017

Abstract. 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. This allows me to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we extend the base theory from 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 the ramified theory of positive truth up to epsilon-naught and thus is consistent. We argue that this theory provides a natural solution to Fine’s “puzzle of ground” about the interaction of truth and ground. Finally, we show that if we drop the typing of our truth-predicate, we run into similar paradoxes as in the case of truth: we get ground-theoretical paradoxes of self-reference.

Axiomatic Theories of Partial Ground I. The Base Theory

Project: Predicational GroundPublished Article
Johannes Korbmacher
Journal of Philosophical Logic
Publication year: 2017

Abstract. 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 extension of the theory $PT$ of positive truth. We construct models for the theory and draw some conclusions for the semantics of conceptualist ground.

An Exact Truthmaker Semantics for Permission and Obligation

Published Article
Albert Anglberger, Johannes Korbmacher, Federico Faroldi
In: Deontic Logic and Normative Systems 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016, edited by Olivier Roy, Allard Tamminga, and, Malte Willer, p. 16-31, London, UK: College Publications
Publication year: 2016

Abstract. 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 truthmaker of Oφ iff some exact truthmaker of φ is in the sphere of requirements of the act.

We show that this semantics is hyperintensional, and that it can deal with some of the so-called paradoxes of deontic logic in a natural way. Finally, we give a sound and complete axiomatization of the semantics.

Yet Another Puzzle of Ground

Project: Predicational GroundPublished Article
Johannes Korbmacher
In: Kriterion. A Journal of Philosophy 29(2): 1–10.
Publication year: 2015

Abstract. 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.