more from this thinker | more from this text
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] |
15331 | Kripke-Feferman has truth gaps, instead of classical logic, and aims for maximum strength [Horsten] |
16329 | Kripke-Feferman theory KF axiomatises Kripke fixed-points, with Strong Kleene logic with gluts [Halbach] |
16331 | The KF is much stronger deductively than FS, which relies on classical truth [Halbach] |
16332 | The KF theory is useful, but it is not a theory containing its own truth predicate [Halbach] |
19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |