Single Idea 16329

[catalogued under 3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms]

Full Idea

The Kripke-Feferman theory KF is an axiomatisation of the fixed points of an operator, that is, of a Kripkean fixed-point semantics with the Strong Kleene evaluation schema with truth-value gluts.

Clarification

A 'glut' comes when sentences can be both T and F

Gist of Idea

Kripke-Feferman theory KF axiomatises Kripke fixed-points, with Strong Kleene logic with gluts

Source

Volker Halbach (Axiomatic Theories of Truth [2011], 15.1)

Book Reference

Halbach,Volker: 'Axiomatic Theories of Truth' [CUP 2011], p.211


Related Idea

Idea 14263 Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K]