Single Idea 16339

[catalogued under 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 Reference

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]