8 ideas
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
Full Idea: From the conflict of all the possibles demanding existence, this at once follows, that there exists that series of things by which as many of them as possible exist. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.91) | |
A reaction: I'm in tune with a lot of Leibniz, but my head swims with this one. He seems to be a Lewisian about possible worlds - that they are concrete existing entities (with appetites!). Could Lewis include Leibniz's idea in his system? |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
Full Idea: The sufficient reason for God's choice can be found only in the fitness (convenance) or in the degree of perfection that the several worlds possess. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: The 'fitness' of a world and its 'perfection' seem very different things. A piece of a jigsaw can have wonderful fitness, without perfection. Occasionally you get that sinking feeling with metaphysicians that they just make it up. |
15035 | If universals are not separate, we can isolate them by abstraction [Boethius, by Panaccio] |
Full Idea: Boethius argued that universals can be successfully isolated by abstraction, even if they do not exist as separate entities in the world. | |
From: report of Boethius (Second Commentary on 'Isagoge' [c.517]) by Claude Panaccio - Medieval Problem of Universals 'Sources' | |
A reaction: Personally I rather like this unfashionable view. I can't think of any other plausible explanation, unless it is a less conscious psychological process of labelling. Boethius's idea led to medieval 'immanent realism'. |
12205 | There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington] |
Full Idea: In my view, there are two independent families of modal notions, metaphysical and epistemic, neither stronger than the other. | |
From: Dorothy Edgington (Two Kinds of Possibility [2004], Abs) | |
A reaction: My immediate reaction is that epistemic necessity is not necessity at all. 'For all I know' 2 plus 2 might really be 95, and squares may also be circular. |
12207 | Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington] |
Full Idea: Metaphysical necessity derives from distinguishing things which can happen and things which can't, in virtue of their nature, which we discover empirically: the metaphysically possible, I claim, is constrained by the laws of nature. | |
From: Dorothy Edgington (Two Kinds of Possibility [2004], §I) | |
A reaction: She claims that Kripke is sympathetic to this. Personally I like the idea that natural necessity is metaphysically necessary (see 'Scientific Essentialism'), but the other way round comes as a bit of a surprise. I will think about it. |
12206 | Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington] |
Full Idea: So-called broadly logical necessity (by which I mean, not necessarily formal logical necessity) is an epistemic notion. | |
From: Dorothy Edgington (Two Kinds of Possibility [2004], §I) | |
A reaction: This is controversial, and is criticised by McFetridge and Rumfitt. Fine argues that 'narrow' (formal) logical necessity is metaphysical. Between them they have got rid of logical necessity completely. |
12208 | An argument is only valid if it is epistemically (a priori) necessary [Edgington] |
Full Idea: Validity is governed by epistemic necessity, i.e. an argument is valid if and only if there is an a priori route from premises to conclusion. | |
From: Dorothy Edgington (Two Kinds of Possibility [2004], §V) | |
A reaction: Controversial, and criticised by McFetridge and Rumfitt. I don't think I agree with her. I don't see validity as depending on dim little human beings. |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |
Full Idea: The actual universe is the collection of the possibles which forms the richest composite. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: 'Richest' for Leibniz means a maximum combination of existence, order and variety. It's rather like picking the best starting team from a squad of footballers. |