more from this thinker | more from this text
Full Idea
The Kripke-Feferman theory is relatively deductively very strong. In particular, it is much stronger than its competitor FS, which is based on a completely classical notion of truth.
Gist of Idea
The KF is much stronger deductively than FS, which relies on classical truth
Source
Volker Halbach (Axiomatic Theories of Truth [2011], 15.3)
Book Ref
Halbach,Volker: 'Axiomatic Theories of Truth' [CUP 2011], p.217
Related Ideas
Idea 16327 Friedman-Sheard is type-free Compositional Truth, with two inference rules for truth [Halbach]
Idea 16329 Kripke-Feferman theory KF axiomatises Kripke fixed-points, with Strong Kleene logic with gluts [Halbach]
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| 15331 | Kripke-Feferman has truth gaps, instead of classical logic, and aims for maximum strength [Horsten] |
| 16329 | Kripke-Feferman theory KF axiomatises Kripke fixed-points, with Strong Kleene logic with gluts [Halbach] |
| 16331 | The KF is much stronger deductively than FS, which relies on classical truth [Halbach] |
| 16332 | The KF theory is useful, but it is not a theory containing its own truth predicate [Halbach] |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |