Combining Texts

All the ideas for 'God and Human Attributes', 'Difficulties of Transfinite Numbers and Types' 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
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 / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
21558 'Predicative' norms are those which define a class [Russell]
21559 We need rules for deciding which norms are predicative (unless none of them are) [Russell]
28. God / B. Proving God / 2. Proofs of Reason / c. Moral Argument
20713 God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B]