more from this thinker | more from this text
Full Idea
The Friedman-Sheard theory of truth holds onto classical logic and tries to construct a theory that is as strong as possible.
Gist of Idea
Friedman-Sheard theory keeps classical logic and aims for maximum strength
Source
Leon Horsten (The Tarskian Turn [2011], 01.4)
Book Ref
Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.8
Related Idea
Idea 15331 Kripke-Feferman has truth gaps, instead of classical logic, and aims for maximum strength [Horsten]
15330 | Friedman-Sheard theory keeps classical logic and aims for maximum strength [Horsten] |
16327 | Friedman-Sheard is type-free Compositional Truth, with two inference rules for truth [Halbach] |
19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |