Combining Texts

All the ideas for 'God and Human Attributes', 'English as a Formal Language' and 'The Development of Logic'

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

---

3 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V

10051

The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M]

5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions

18779

'The' is a quantifier, like 'every' and 'a', and does not result in denotation [Montague]

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]