Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Mechanisms' and 'Letters to Samuel Clarke'

unexpand these ideas     |    start again     |     specify just one area for these texts


23 ideas

2. Reason / B. Laws of Thought / 2. Sufficient Reason
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)
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)
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)
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
     Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with.
     From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1
     A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory.
7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads
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.
8. Modes of Existence / A. Relations / 1. Nature of Relations
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.
14. Science / B. Scientific Theories / 2. Aim of Science
Empiricist theories are sets of laws, which give explanations and reductions [Glennan]
     Full Idea: In the empiricist tradition theories were understood to be deductive closures of sets of laws, explanations were understood as arguments from covering laws, and reduction was understood as a deductive relationship between laws of different theories.
     From: Stuart Glennan (Mechanisms [2008], 'Intro')
     A reaction: A lovely crisp summary of the whole tradition of philosophy of science from Comte through to Hempel. Mechanism and essentialism are the new players in the game.
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan]
     Full Idea: Modern champions of mechanisms say models should identify both the parts and their spatial, temporal and functional organisation, ...and the practical importance of diagrams in addition to or in place of linguistic representations of mechanisms.
     From: Stuart Glennan (Mechanisms [2008], 'Discover')
     A reaction: Apparently chemists obtain much more refined models by using mathematics than they did by diagrams or 3D models (let alone verbal descriptions). For that reason, I'm thinking that 'model' might be a better term than 'mechanism'.
Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan]
     Full Idea: To a significant degree, a mechanistic philosophy of science can be seen as an alternative to an earlier logical empiricist tradition in philosophy of science that gave pride of place to laws of nature.
     From: Stuart Glennan (Mechanisms [2008], 'Intro')
     A reaction: Lovely! Someone who actually spells out what's going on here. Most philosophers are far too coy about explaining what their real game is. Mechanism is fine in chemistry and biology. How about in 'mathematical' physics, or sociology?
Mechanisms are either systems of parts or sequences of activities [Glennan]
     Full Idea: There are two sorts of mechanisms: systems consist of collections of parts that interact to produce some behaviour, and processes are sequences of activities which produce some outcome.
     From: Stuart Glennan (Mechanisms [2008], 'Intro')
     A reaction: [compressed] The second one is important because it is more generic, and under that account all kinds the features of the world that need to be explained can be subsumed. E.g. hyperinflation in an economy is a 'mechanism'.
17th century mechanists explained everything by the kinetic physical fundamentals [Glennan]
     Full Idea: 17th century mechanists said that interactions governed by chemical, electrical or gravitational forces would have to be explicable in terms of the operation of some atomistic (or corpuscular) kinetic mechanism.
     From: Stuart Glennan (Mechanisms [2008], 'Intro')
     A reaction: Glennan says science has rejected this, so modern mechanists do not reduce mechanisms to anything in particular.
Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan]
     Full Idea: One of the advantages of the move from nomological to mechanistic modes of explanation is that the latter allows for explanations involving exception-ridden generalizations.
     From: Stuart Glennan (Mechanisms [2008], 'regular')
     A reaction: The lawlike approach has endless problems with 'ceteris paribus' ('all things being equal') laws, where specifying all the other 'things' seems a bit tricky.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
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)
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)
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)
26. Natural Theory / C. Causation / 4. Naturalised causation
Since causal events are related by mechanisms, causation can be analysed in that way [Glennan]
     Full Idea: Causation can be analyzed in terms of mechanisms because (except for fundamental causal interactions) causally related events will be connected by intervening mechanisms.
     From: Stuart Glennan (Mechanisms [2008], 'causation')
     A reaction: This won't give us the metaphysics of causation (which concerns the fundamentals), but this strikes me as a very coherent and interesting proposal. He mentions electron interaction as non-mechanistic causation.
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / c. Conservation of energy
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.
27. Natural Reality / C. Space / 4. Substantival Space
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)
27. Natural Reality / D. Time / 1. Nature of Time / b. Relative time
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)
27. Natural Reality / D. Time / 1. Nature of Time / i. Denying time
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)
27. Natural Reality / D. Time / 2. Passage of Time / a. Experience of time
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)
28. God / A. Divine Nature / 5. God and Time
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?
28. God / B. Proving God / 3. Proofs of Evidence / a. Cosmological Proof
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)