Single Idea 15327

[catalogued under 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 Reference

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]