more on this theme | more from this thinker
Full Idea
Kripke has a semantic theory of truth which has inspired promising axiomatic theories of truth.
Gist of Idea
Kripke's semantic theory has actually inspired promising axiomatic theories
Source
report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 01.2
Book Ref
Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.6
A Reaction
Feferman produced an axiomatic version of Kripke's semantic theory.
Related Idea
Idea 15324 Semantic theories of truth seek models; axiomatic (syntactic) theories seek logical principles [Horsten]
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] |