6 ideas
9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
Full Idea: Unlike logic, in the case of mathematics there may be no genuine conflict between alternative theories: it is natural to think that different theories, if both consistent, are simply about different subjects. | |
From: Hartry Field (Recent Debates on the A Priori [2005], 7) | |
A reaction: For this reason Field places logic at the heart of questions about a priori knowledge, rather than mathematics. My intuitions make me doubt his proposal. Given the very simple basis of, say, arithmetic, I would expect all departments to connect. |
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
Full Idea: In order to deduce the theorems of mathematics from purely logical axioms, Russell had to add three new axioms to those of standards logic, which were: the axiom of infinity, the axiom of choice, and the axiom of reducibility. | |
From: A.C. Grayling (Russell [1996], Ch.2) | |
A reaction: The third one was adopted to avoid his 'barber' paradox, but many thinkers do not accept it. The interesting question is why anyone would 'accept' or 'reject' an axiom. |
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. |
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. |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |
Full Idea: Two propositions might contradict each other despite appearing self-evident when considered separately. | |
From: A.C. Grayling (Russell [1996], Ch.2) | |
A reaction: Russell's proposal (Idea 5416) is important here, that self-evidence comes in degrees. If self-evidence was all-or-nothing, Grayling's point would be a major problem, but it isn't. Bonjour explores the idea more fully (e.g. Idea 3704) |