Ideas from 'Outline of a Theory of Truth' by Saul A. Kripke [1975], by Theme Structure

[found in 'Philosophical Troubles: Papers vol. 1' by Kripke,Saul [OUP 2011,978-0-19-973015-5]].

green numbers give full details    |     back to texts     |     expand these ideas

3. Truth / F. Semantic Truth / 2. Semantic Truth
Kripke's semantic theory has actually inspired promising axiomatic theories [Horsten]
Kripke offers a semantic theory of truth (involving models) [Horsten]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
The Tarskian move to a metalanguage may not be essential for truth theories [Gupta]
Certain three-valued languages can contain their own truth predicates [Gupta]
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
Kripke classified fixed points, and illuminated their use for clarifications [Halbach]