Single Idea 15655

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

Full Idea

If truth is not explanatory, truth axioms should not allow proof of new theorems not involving the truth predicate. It is hence said that axiomatic truth should be 'conservative' - not implying further sentences beyond what the axioms can prove.

Gist of Idea

Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms?

Source

Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3)

Book Reference

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


A Reaction

[compressed]