4 ideas
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with. | |
From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1 | |
A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory. |
2975 | That honey is sweet I do not affirm, but I agree that it appears so [Timon] |
Full Idea: That honey is sweet I do not affirm, but I agree that it appears so. | |
From: Timon (On Sensations (frags) [c.285 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 09.104-5 |
1472 | The propositions that God is good and omnipotent, and that evil exists, are logically contradictory [Mackie, by PG] |
Full Idea: There is a contradiction between the propositions that God is wholly good, God is omnipotent, and evil exists, and one of them has got to give way (assuming good eliminates evil, and omnipotence has no limit). | |
From: report of J.L. Mackie (Evil and Omnipotence [1955], Pref.) by PG - Db (ideas) |
1473 | Is evil an illusion, or a necessary contrast, or uncontrollable, or necessary for human free will? [Mackie, by PG] |
Full Idea: Perhaps evil is an illusion, or it is necessary for good to exist, or in humans it is required because we have free will, or God lacks the full power to control it, but none of these looks convincing. | |
From: report of J.L. Mackie (Evil and Omnipotence [1955], §B) by PG - Db (ideas) |