Kripke fixed-point theory of truth

E71398

fixed-point theory non-classical theory of truth semantic theory theory of truth

The Kripke fixed-point theory of truth is a semantic framework developed by Saul Kripke that uses partial truth predicates and fixed points to consistently handle self-referential sentences and semantic paradoxes like the liar paradox.

Jump to: Surface forms Statements Referenced by

Observed surface forms (4)

Surface form	Occurrences
Outline of a Theory of Truth	3
Kripke	1
Kripke semantics	1
Kripkean fixed-point semantics	1

Statements (47)

Predicate	Object
instanceOf	fixed-point theory ⓘ non-classical theory of truth ⓘ semantic theory ⓘ theory of truth ⓘ
addresses	liar paradox ⓘ
aimsTo	handle self-referential sentences ⓘ handle semantic paradoxes ⓘ
allowsTruthValue	false ⓘ true ⓘ undefined ⓘ
analyzes	grounded sentences ⓘ ungrounded sentences ⓘ
appliesTo	languages with a truth predicate ⓘ
assumes	standard model of arithmetic for base language ⓘ
avoids	hierarchy of metalanguages ⓘ
basedOn	Kripke fixed-point theory of truth self-linksurface differs ⓘ surface form: Kripkean fixed-point semantics partial interpretation of the truth predicate ⓘ
characterizedBy	groundedness of sentences ⓘ partial valuation of sentences ⓘ three-valued semantics ⓘ
compatibleWith	classical logic for grounded sentences ⓘ
dateProposed	1970s ⓘ
developedBy	Saul Kripke ⓘ
differsFrom	Tarskian object-language/metalanguage distinction ⓘ surface form: Tarskian hierarchy of languages
ensures	consistency of the truth predicate ⓘ
field	formal semantics ⓘ philosophical logic ⓘ philosophy of language ⓘ
influenced	deflationary approaches to truth ⓘ partial theories of truth ⓘ revision theories of truth ⓘ
introducedConcept	maximal fixed point of the truth operator ⓘ minimal fixed point of the truth operator ⓘ partial truth definition ⓘ
oftenFormalizedWith	Kleene strong three-valued logic ⓘ
permits	truth predicate in its own language ⓘ
presentedIn	Kripke fixed-point theory of truth self-linksurface differs ⓘ surface form: Outline of a Theory of Truth
provides	fixed-point models for truth ⓘ
publication	Kripke fixed-point theory of truth self-linksurface differs ⓘ surface form: Outline of a Theory of Truth
relatedTo	Tarski’s semantic conception of truth ⓘ
resolves	semantic paradoxes by truth-value gaps ⓘ
treatsAs	liar sentence as undefined ⓘ ungrounded sentences as undefined ⓘ
uses	fixed-point construction ⓘ partial truth predicate ⓘ
usesMethod	iterative construction of truth values ⓘ transfinite recursion on ordinals ⓘ

Referenced by (7)

Full triples — surface form annotated when it differs from this entity's canonical label.

liar paradox → addressedBy → Kripke fixed-point theory of truth ⓘ

Kripke fixed-point theory of truth → basedOn → Kripke fixed-point theory of truth self-linksurface differs ⓘ

this entity surface form: Kripkean fixed-point semantics

Saul Kripke → familyName → Kripke fixed-point theory of truth ⓘ

this entity surface form: Kripke

Saul Kripke → knownFor → Kripke fixed-point theory of truth ⓘ

this entity surface form: Kripke semantics

Saul Kripke → notableWork → Kripke fixed-point theory of truth ⓘ

this entity surface form: Outline of a Theory of Truth

Kripke fixed-point theory of truth → presentedIn → Kripke fixed-point theory of truth self-linksurface differs ⓘ

this entity surface form: Outline of a Theory of Truth

Kripke fixed-point theory of truth → publication → Kripke fixed-point theory of truth self-linksurface differs ⓘ

this entity surface form: Outline of a Theory of Truth