Combining Texts

All the ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'Whitehead and the Rise of Modern Logic' and 'Nature and Utility of Religion'

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


11 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey]
28. God / B. Proving God / 3. Proofs of Evidence / c. Teleological Proof critique
We don't get a love of 'order' from nature - which is thoroughly chaotic [Mill]
29. Religion / D. Religious Issues / 3. Problem of Evil / a. Problem of Evil
Evil comes from good just as often as good comes from evil [Mill]
Belief that an afterlife is required for justice is an admission that this life is very unjust [Mill]
No necessity ties an omnipotent Creator, so he evidently wills human misery [Mill]
29. Religion / D. Religious Issues / 3. Problem of Evil / d. Natural Evil
Nature dispenses cruelty with no concern for either mercy or justice [Mill]
Killing is a human crime, but nature kills everyone, and often with great tortures [Mill]
Nature makes childbirth a miserable experience, often leading to the death of the mother [Mill]
Hurricanes, locusts, floods and blight can starve a million people to death [Mill]