Combining Texts

All the ideas for 'works', 'Anselm's Argument' and 'The Logical Basis of Metaphysics'

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

---

3 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not

18801

Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett]

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]

28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof

1422	God's existence is either necessary or impossible, and no one has shown that the concept of God is contradictory [Malcolm]