Combining Texts
Ideas for
'Confessions', 'The Tarskian Turn' and 'Religion and Respect'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
10 ideas
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
15332
|
'Reflexive' truth theories allow iterations (it is T that it is T that p) [Horsten]
|
15346
|
Axiomatic approaches to truth avoid the regress problem of semantic theories [Horsten]
|
15361
|
A good theory of truth must be compositional (as well as deriving biconditionals) [Horsten]
|
15371
|
An axiomatic theory needs to be of maximal strength, while being natural and sound [Horsten]
|
15350
|
The Naïve Theory takes the bi-conditionals as axioms, but it is inconsistent, and allows the Liar [Horsten]
|
15351
|
Axiomatic theories take truth as primitive, and propose some laws of truth as axioms [Horsten]
|
15367
|
By adding truth to Peano Arithmetic we increase its power, so truth has mathematical content! [Horsten]
|
15373
|
Axiomatic approaches avoid limiting definitions to avoid the truth predicate, and limited sizes of models [Horsten]
|
3. Truth / G. Axiomatic Truth / 2. FS Truth Axioms
15330
|
Friedman-Sheard theory keeps classical logic and aims for maximum strength [Horsten]
|
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
15331
|
Kripke-Feferman has truth gaps, instead of classical logic, and aims for maximum strength [Horsten]
|