Combining Texts

All the ideas for 'works', 'Counting and the Natural Numbers' and 'Outline of a Theory of Truth'

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]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers
17423 The essence of natural numbers must reflect all the functions they perform [Sicha]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
17425 To know how many, you need a numerical quantifier, as well as equinumerosity [Sicha]
17424 Counting puts an initial segment of a serial ordering 1-1 with some other entities [Sicha]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
7667 There are two sides to men - the pleasantly social, and the violent and creative [Diderot, by Berlin]