Combining Texts

All the ideas for 'The Sign of Four', 'Outline of a Theory of Truth' and 'On 'Insolubilia' and their solution'

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

---

9 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]

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / c. Logical sets

21563

The 'no classes' theory says the propositions just refer to the members [Russell]

5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / d. Richard's paradox

21565

Richard's puzzle uses the notion of 'definition' - but that cannot be defined [Russell]

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox

21564

Vicious Circle: what involves ALL must not be one of those ALL [Russell]

14. Science / C. Induction / 1. Induction

22200

If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle]