Combining Texts
Ideas for
'works', 'The Inessential Indexical' and 'Outline of a Theory of Truth'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
5 ideas
3. Truth / F. Semantic Truth / 2. Semantic Truth
15327
|
Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten]
|
15343
|
Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten]
|
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
14967
|
Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta]
|
14966
|
The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta]
|
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
16328
|
Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach]
|