Combining Texts

All the ideas for 'works', 'Pragmatism in Retrospect' and 'Outline of a Theory of Truth'

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

---

9 ideas

3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth

15335

Peirce's theory offers anti-realist verificationism, but surely how things are is independent of us? [Horsten on Peirce]

14796

Independent truth (if there is any) is the ultimate result of sufficient enquiry [Peirce]

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]

5. Theory of Logic / G. Quantification / 2. Domain of Quantification

17743

De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]

12. Knowledge Sources / D. Empiricism / 3. Pragmatism

14795

Pragmatism is a way of establishing meanings, not a theory of metaphysics or a set of truths [Peirce]