On Classical Determinate Truth

Abstract

{The paper studies classical, type-free theories of truth and determinateness. Recently, Volker Halbach and Kentaro Fujimoto proposed a novel approach to classical determinate truth, in which determinateness is axiomatized by a primitive predicate. In the paper we propose a different strategy to develop theories of classical determinate truth in Halbach and Fujimoto's sense featuring a \emph{defined} determinateness predicate. This puts our theories of classical determinate truth in continuity with a standard approach to determinateness by authors such as Feferman and Reinhardt. The theories entail all principles of Fujimoto and Halbach's theories, and are proof-theoretically equivalent to Halbach and Fujimoto's CD+. They will be shown to be logically equivalent to a class of natural theories of truth, the \emph{classical closures of Kripke-Feferman truth}. The analysis of the proposed theories will also provide new insights on Fujimoto and Halbach's theories: we show that the latter cannot prove most of the axioms of the classical closures of Kripke-Feferman truth. This entails that, unlike what happens in our theories of truth and determinateness, Fujimoto and Halbach's \emph{inner theories} -- the sentences living under two layers of truth -- cannot be closed under standard logical rules of inference.}