7 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. |
13230 | Particular essence is often captured by generality [Steiner,M] |
Full Idea: Generality is often necessary for capturing the essence of a particular. | |
From: Mark Steiner (Mathematical Explanation [1978], p.36) | |
A reaction: The most powerful features of an entity are probably those which are universal, like intelligence or physical strength in a human. Those characteristics are powerful because they compete with the same characteristic in others (perhaps?). |
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. |
13229 | Maybe an instance of a generalisation is more explanatory than the particular case [Steiner,M] |
Full Idea: Maybe to deduce a theorem as an instance of a generalization is more explanatory than to deduce it correctly. | |
From: Mark Steiner (Mathematical Explanation [1978], p.32) | |
A reaction: Steiner eventually comes down against this proposal, on the grounds that some proofs are too general, and hence too far away from the thing they are meant to explain. |
13231 | Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M] |
Full Idea: My proposal is that an explanatory proof makes reference to the 'characterizing property' of an entity or structure mentioned in the theorem, where the proof depends on the property. If we substitute a different object, the theory collapses. | |
From: Mark Steiner (Mathematical Explanation [1978], p.34) | |
A reaction: He prefers 'characterizing property' to 'essence', because he is not talking about necessary properties, since all properties are necessary in mathematics. He is, in fact, reverting to the older notion of an essence, as the core power of the thing. |
15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |
Full Idea: In Poincaré's view, we try to construct a language within which the brute facts of experience are expressed as comprehensively and as elegantly as possible. The job of science is the forging of a language precisely suited to that purpose. | |
From: report of Henri Poincaré (The Value of Science [1906], Pt III) by Rom Harré - Laws of Nature 2 | |
A reaction: I'm often struck by how obscure and difficult our accounts of self-evident facts can be. Chairs are easy, and the metaphysics of chairs is hideous. Why is that? I'm a robust realist, but I like Poincaré's idea. He permits facts. |