26 ideas
| 2098 | The principle of sufficient reason is needed if we are to proceed from maths to physics [Leibniz] |
| Full Idea: In order to proceed from mathematics to physics the principle of sufficient reason is necessary, that nothing happens without there being a reason why it should be thus rather than otherwise. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], §2) |
| 3646 | There is always a reason why things are thus rather than otherwise [Leibniz] |
| Full Idea: Nothing happens without a sufficient reason why it should be thus rather than otherwise. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 3.2) |
| 2104 | No reason could limit the quantity of matter, so there is no limit [Leibniz] |
| Full Idea: There is no possible reason which could limit the quantity of matter; therefore there cannot in fact be any such limitation. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 4.21) |
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| Full Idea: By dissection I can make the concept distinct only by making the marks it contains clear. That is what analysis does. If this analysis is complete ...and in addition there are not so many marks, then it is precise and so constitutes a definition. | |
| From: Immanuel Kant (Wiener Logik [1795], p.455), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' | |
| A reaction: I think Aristotle would approve of this. We need to grasp that a philosophical definition is quite different from a lexicographical definition. 'Completeness' may involve quite a lot. |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| Full Idea: In logic the question is not one of contingent but of necessary rules, not how to think, but how we ought to think. | |
| From: Immanuel Kant (Wiener Logik [1795], p.16), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Trans' | |
| A reaction: Presumably it aspires to the objectivity of a single correct account of how we all ought to think. I'm sympathetic to that, rather than modern cultural relativism about reason. Logic is rooted in nature, not in arbitrary convention. |
| 18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
| Full Idea: A model of a language assigns values to non-logical terms. If a sentence is true in every model, its truth doesn't depend on those non-logical terms. Hence the validity of an argument comes from its logical form. Thus models explain logical validity. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: [compressed] Thus you get a rigorous account of logical validity by only allowing the rigorous input of model theory. This is the modern strategy of analytic philosophy. But is 'it's red so it's coloured' logically valid? |
| 18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
| Full Idea: Natural language includes connectives that are not truth-functional. In order for 'p because q' to be true, both p and q have to be true, but knowing the simpler sentences are true doesn't determine whether the larger sentence is true. | |
| From: Vann McGee (Logical Consequence [2014], 2) |
| 18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
| Full Idea: To get any advantage from moving to second-order logic, we need to assign to second-order variables a role different from merely ranging over collections made up of things the first-order variables range over. | |
| From: Vann McGee (Logical Consequence [2014], 7) | |
| A reaction: Thus it is exciting if they range over genuine properties, but not so exciting if you merely characterise those properties as sets of first-order objects. This idea leads into a discussion of plural quantification. |
| 18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
| Full Idea: We can get a less ontologically perilous presentation of the semantics of the predicate calculus by using sets instead of concepts. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: The perilous versions rely on Fregean concepts, and notably Russell's 'concept that does not fall under itself'. The sets, of course, have to be ontologically secure, and so will involve the iterative conception, rather than naive set theory. |
| 18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
| Full Idea: Logically valid sentences are a species of analytic sentence, being true not just in virtue of the meanings of their words, but true in virtue of the meanings of their logical words. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: A helpful link between logical truths and analytic truths, which had not struck me before. |
| 18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
| Full Idea: Soundness theorems are seldom very informative, since typically we use informally, in proving the theorem, the very same rules whose soundness we are attempting to establish. | |
| From: Vann McGee (Logical Consequence [2014], 5) | |
| A reaction: [He cites Quine 1935] |
| 18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
| Full Idea: One of the culminating achievements of Euclidean geometry was categorical axiomatisations, that describe the geometric structure so completely that any two models of the axioms are isomorphic. The axioms are second-order. | |
| From: Vann McGee (Logical Consequence [2014], 7) | |
| A reaction: [He cites Veblen 1904 and Hilbert 1903] For most mathematicians, categorical axiomatisation is the best you can ever dream of (rather than a single true axiomatisation). |
| 19385 | All simply substances are in harmony, because they all represent the one universe [Leibniz] |
| Full Idea: All simple substances will always have a harmony among themselves, because they always represent the same universe. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], V §91), quoted by Richard T.W. Arthur - Leibniz | |
| A reaction: We can accept that the universe itself does not contain contradictions (how could it), but it is a leap of faith to say that all monads represent the universe well enough to avoid contradictions. Maps can contradict one another. |
| 21346 | The ratio between two lines can't be a feature of one, and cannot be in both [Leibniz] |
| Full Idea: If the ratio of two lines L and M is conceived as abstracted from them both, without considering which is the subject and which the object, which will then be the subject? We cannot say both, for then we should have an accident in two subjects. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 5th Paper, §47), quoted by John Heil - Relations 'External' | |
| A reaction: [compressed] Leibniz is rejecting external relations as having any status in ontology. It looks like a mistake (originating in Aristotle) to try to shoehorn the ontology of relations into the substance-properties framework. |
| 18260 | If we knew what we know, we would be astonished [Kant] |
| Full Idea: If we only know what we know ...we would be astonished by the treasures contained in our knowledge. | |
| From: Immanuel Kant (Wiener Logik [1795], p.843), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' | |
| A reaction: Nice remark. He doesn't require immediat recall of knowledge. You can't be required to know that you know something. That doesn't imply externalism, though. I believe in securely founded internal knowledge which is hard to recall. |
| 18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
| Full Idea: If our linguistic conventions entitle us to assert a sentence, they thereby make it true, because of the maxim that 'truth is the norm of assertion'. | |
| From: Vann McGee (Logical Consequence [2014], 8) | |
| A reaction: You could only really deny that maxim if you had no belief at all in truth, but then you can assert anything you like (with full entitlement). Maybe you can assert anything you like as long as it doesn't upset anyone? Etc. |
| 2106 | The only simple things are monads, with no parts or extension [Leibniz] |
| Full Idea: According to me there is nothing simple except true monads, which have no parts and no extensions. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 5.24) |
| 2102 | Atomism is irrational because it suggests that two atoms can be indistinguishable [Leibniz] |
| Full Idea: There are no two individuals indiscernible from one another - leaves, or drops of water, for example. This is an argument against atoms, which, like the void, are opposed to the principles of a true metaphysic. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 4.04) |
| 2105 | Things are infinitely subdivisible and contain new worlds, which atoms would make impossible [Leibniz] |
| Full Idea: The least corpuscle is actually subdivided ad infinitum and contains a world of new created things, which this universe would lack if this corpuscle were an atom. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 4.PS) |
| 20965 | Leibniz upheld conservations of momentum and energy [Leibniz, by Papineau] |
| Full Idea: In place of Descartes's conservation of 'quantity of motion', Leibniz upheld both the conservation of linear momentum and the conservation of kinetic energy. | |
| From: report of Gottfried Leibniz (Letters to Samuel Clarke [1716], 5th paper) by David Papineau - Thinking about Consciousness App 2 | |
| A reaction: The point is that momentum involves velocity (which includes direction) rather than speed. Leibniz more or less invented the concept of 'energy' ('vis viva'). Papineau says these two leave no room for causation by mental substance. |
| 2103 | The idea that the universe could be moved forward with no other change is just a fantasy [Leibniz] |
| Full Idea: To say that God could cause the universe to move forward in a straight line or otherwise without changing it in any other way is another fanciful supposition. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 4.14) |
| 2100 | Space and time are purely relative [Leibniz] |
| Full Idea: I have more than once stated that I held space to be something purely relative, like time. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 3.4) |
| 2107 | No time exists except instants, and instants are not even a part of time, so time does not exist [Leibniz] |
| Full Idea: How could a thing exist, no part of which ever exists? In the case of time, nothing exists but instants, and an instant is not even a part of time. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 5.49) |
| 2101 | If everything in the universe happened a year earlier, there would be no discernible difference [Leibniz] |
| Full Idea: To ask why God did not make everything a year sooner would be reasonable if time were something apart from temporal things, but time is just the succession of things, which remains the same if the universe is created a year sooner. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], 3.6) |
| 22894 | If time were absolute that would make God's existence dependent on it [Leibniz, by Bardon] |
| Full Idea: Leibniz argues that if time is a thing in itself, and God is 'in' time, then God would be dependent for His existence on the existence of time. | |
| From: report of Gottfried Leibniz (Letters to Samuel Clarke [1716]) by Adrian Bardon - Brief History of the Philosophy of Time 3 'Newton' | |
| A reaction: Hence Leibniz says time is merely relations between events. Not sure what he thinks an event is. What is God made of? Is there some divine matter upon which God's existence must depend? |
| 2099 | The existence of God, and all metaphysics, follows from the Principle of Sufficient Reason [Leibniz] |
| Full Idea: By this principle alone, that there must be a sufficient reason why things are thus rather than otherwise, I prove the existence of the Divinity, and all the rest of metaphysics or natural theology. | |
| From: Gottfried Leibniz (Letters to Samuel Clarke [1716], §2) |