more on this theme     |     more from this thinker     |     more from this text


Single Idea 16339

[filed under theme 3. Truth / A. Truth Problems / 1. Truth ]

Full Idea

Two typed disquotation sentences, truth axioms of TB, suffice for proving that there at least two objects. Hence truth is not a logical notion if one expects logical notions to be ontologically neutral.

Gist of Idea

Truth axioms prove objects exist, so truth doesn't seem to be a logical notion

Source

Volker Halbach (Axiomatic Theories of Truth [2011], 21.2)

Book Ref

Halbach,Volker: 'Axiomatic Theories of Truth' [CUP 2011], p.314

Related Idea

Idea 16315 The Tarski Biconditional theory TB is Peano Arithmetic, plus truth, plus all Tarski bi-conditionals [Halbach]