Combining Texts

All the ideas for 'works', 'Outline of a Theory of Truth' and 'There are no ordinary things'

expand these ideas     |    start again     |     specify just one area for these texts

---

8 ideas

3. Truth / F. Semantic Truth / 2. Semantic Truth

15327

Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten]

15343

Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten]

3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth

14966

The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta]

14967

Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta]

3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms

16328

Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

13007

Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]

7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic

9052	Vague predicates lack application; there are no borderline cases; vague F is not F [Unger, by Keefe/Smith]

9. Objects / A. Existence of Objects / 5. Simples

16070

There are no objects with proper parts; there are only mereological simples [Unger, by Wasserman]