more on this theme | more from this thinker
Full Idea
Kripke's main contribution was …his classification of the different consistent fixed points and the discussion of their use for discriminating between ungrounded sentences, paradoxical sentences, and so on.
Clarification
At a 'fixed point' a function outputs its input
Gist of Idea
Kripke classified fixed points, and illuminated their use for clarifications
Source
report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Volker Halbach - Axiomatic Theories of Truth 15.1
Book Ref
Halbach,Volker: 'Axiomatic Theories of Truth' [CUP 2011], p.210
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] |