structure for 'Truth'    |     alphabetical list of themes    |     expand these ideas

3. Truth / G. Axiomatic Truth / 2. FS Truth Axioms

[Friedman-Sheard axiomatisation of truth]

3 ideas
Friedman-Sheard theory keeps classical logic and aims for maximum strength [Horsten]
Friedman-Sheard is type-free Compositional Truth, with two inference rules for truth [Halbach]
The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh]