more on this theme     |     more from this thinker     |     more from this text


Single Idea 15327

[filed under theme 3. Truth / F. Semantic Truth / 2. Semantic Truth ]

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]