more on this theme     |     more from this thinker


Single Idea 16328

[filed under theme 3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms ]

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


The 5 ideas from 'Outline of a Theory of Truth'

Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach]
Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten]
Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten]
Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta]
The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta]