3 ideas
| 9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
| Full Idea: S5 provides the correct logic for necessity in the broadly logical sense. | |
| From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics | |
| A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'. |
| 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) |