back to ideas for this text


Single Idea 15330

[from 'The Tarskian Turn' by Leon Horsten, in 3. Truth / G. Axiomatic Truth / 2. FS Truth Axioms ]

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 Reference

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]