29 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. |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
| From: Ian Hacking (What is Logic? [1979], §10) | |
| A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
| From: Ian Hacking (What is Logic? [1979], §06.2) | |
| A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
| From: Ian Hacking (What is Logic? [1979], §06.3) | |
| A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
| From: Ian Hacking (What is Logic? [1979], §08) |
| 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. |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
| From: Ian Hacking (What is Logic? [1979], §15) | |
| A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
| From: Ian Hacking (What is Logic? [1979], §09) | |
| A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
| From: Ian Hacking (What is Logic? [1979], §11) | |
| A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
| 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. |
| 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) |
| 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) |
| 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) |