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]