back to idea for this text

###
Single Idea 16313

#### [from 'Axiomatic Theories of Truth' by Volker Halbach, in 3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
]

Full Idea

A truth theory is 'conservative' if the addition of the truth predicate does not add any new theorems to the base theory.

Gist of Idea

A theory is 'conservative' if it adds no new theorems to its base theory

Source

report of Volker Halbach (Axiomatic Theories of Truth [2011], 6 Df 6.6) by PG - Db (ideas)

Book Reference

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

A Reaction

Halbach presents the definition more formally, and this is my attempt at getting it into plain English. Halbach uses Peano Arithmetic as his base theory, but set theory is also sometimes used.