Combining Texts

All the ideas for 'The Epistemology of Modality', 'Grundlagen (Foundations of Theory of Manifolds)' and 'Outline of a Theory of Truth'

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

---

8 ideas

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

15343

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

15327

Kripke's semantic theory has actually inspired promising axiomatic theories [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]

4. Formal Logic / F. Set Theory ST / 1. Set Theory

15946

Cantor developed sets from a progression into infinity by addition, multiplication and exponentiation [Cantor, by Lavine]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers

15911

Ordinals are generated by endless succession, followed by a limit ordinal [Cantor, by Lavine]

10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible

19440

How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya]