Venerdì 15 marzo 2024 ore 11.00
Dipartimento di Lettere e Filosofia
via della Pergola 60 - Firenze
Sala Altana
Volker Halbach (University of Oxford)
Classical Determinate Truth
Abstract: I present an axiomatic theory of truth formulated in classical logic. It is type-free in the sense that its truth predicate can meaningfully applied to sentences containing that very truth predicate. The truth theory serves the purposes of truth predicate in philosophy well. Philosophers have too much focused on the T-sentences or disquotation sentences. My starting point are the compositional clauses, principles like 'a conjunction is true iff both conjuncts are or 'the negation of a sentence is true iff the sentence itself is not'. These general claims are for many purposes more important than disquotational axioms. Unlike the disquotation sentences, they are also consistent, when stated without any restrictions. On top of the compositional clauses I add disquotational principles and arrive at a theory CD, which is introduced and analyzed by Kentaro Fujimoto and me in the paper.