4 ideas
| 19404 | Necessities rest on contradiction, and contingencies on sufficient reason [Leibniz] |
| Full Idea: The principle of contradiction is the principle of necessity, and the principle that a sufficient reason must be given is the principle of contingency. | |
| From: Gottfried Leibniz (On Sufficient Reason [1686], p.95) | |
| A reaction: [this paragraph is actually undated] Contradictions occur in concrete actuality, as well as in theories and formal systems. If so, then there are necessities in nature. Are they discoverable a posteriori? Leibniz says not. |
| 17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
| Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'. | |
| From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 | |
| A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'. |
| 4038 | Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver] |
| Full Idea: Lewis agrees that properties cannot be sets of their actual instances, but claims they can be sets of their possible instances. This would distinguish coextensive properties like being cordate and renate, since they might be separated. | |
| From: report of David Lewis (Modal Realism at Work: Properties [1986]) by DH Mellor / A Oliver - Introduction to 'Properties' §10 | |
| A reaction: Sounds wrong. Two properties could be obviously different even if they could never be separated. In this world a creature might briefly survive without kidneys. |
| 19403 | Each of the infinite possible worlds has its own laws, and the individuals contain those laws [Leibniz] |
| Full Idea: As there are an infinity of possible worlds, there are also an infinity of laws, some proper to one, another to another, and each possible individual of any world contains in its own notion the laws of its world. | |
| From: Gottfried Leibniz (On Sufficient Reason [1686], p.95) | |
| A reaction: Hence Leibniz is not really a scientific essentialist, in that he doesn't think the laws arise out of the nature of the matter consituting the world. I wonder if the primitive matter of bodies which attaches to the monads is the same in each world? |