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]].

Click on the Idea Number for the 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
Kripke offers a semantic theory of truth (involving models)
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Certain three-valued languages can contain their own truth predicates
The Tarskian move to a metalanguage may not be essential for truth theories
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
Kripke classified fixed points, and illuminated their use for clarifications