more on this theme | more from this thinker
Full Idea
One of the most popular semantic theories of truth is Kripke's theory. It describes a class of models which themselves involve a truth predicate (unlike Tarski's semantic theory).
Gist of Idea
Kripke offers a semantic theory of truth (involving models)
Source
report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 02.3
Book Ref
Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.20
A Reaction
The modern versions explored by Horsten are syntactic versions of this, derived from Feferman's axiomatisation of the Kripke theory.
16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
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] |
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] |