### Single Idea 19126

#### [catalogued under 3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth]

Full Idea

If truth does not have any explanatory force, as some deflationists claim, the axioms of truth should not allow us to prove any new theorems that do not involve the truth predicate. That is, a deflationary axiomatisation of truth should be 'conservative'.

Gist of Idea

If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new

Source

Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.3)

Book Reference

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.4

A Reaction

So does truth have 'explanatory force'? These guys are interested in explaining theorems of arithmetic, but I'm more interested in real life. People do daft things because they have daft beliefs. Logic should be neutral, but truth has values?