29 ideas
4642 | No fact can be real and no proposition true unless there is a Sufficient Reason (even if we can't know it) [Leibniz] |
Full Idea: The principle of sufficient reason says no fact can be real or existing and no proposition can be true unless there is a sufficient reason why it should be thus and not otherwise, even though in most cases these reasons cannot be known to us. | |
From: Gottfried Leibniz (Monadology [1716], §32) | |
A reaction: I think of this as my earliest philosophical perception, a childish rebellion against being told that there was 'no reason' for something. My intuition tells me that it is correct, and the foundation of ontology and truth. Don't ask me to justify it! |
2115 | Everything in the universe is interconnected, so potentially a mind could know everything [Leibniz] |
Full Idea: Every body is sensitive to everything in the universe, so that one who saw everything could read in each body what is happening everywhere, and even what has happened and will happen. | |
From: Gottfried Leibniz (Monadology [1716], §61) |
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
Full Idea: A relation R on a non-empty set S is an equivalence relation if it is reflexive (for each member a, aRa), symmetric (if aRb, then bRa), and transitive (aRb and bRc, so aRc). It tries to classify objects that are in some way 'alike'. | |
From: Seymour Lipschutz (Set Theory and related topics (2nd ed) [1998], 3.9) | |
A reaction: So this is an attempt to formalise the common sense notion of seeing that two things have something in common. Presumably a 'way' of being alike is going to be a property or a part |
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
Full Idea: Three periods can be distinguished in philosophical logic: the syntactic stage, from Russell's definite descriptions to the 1950s, the dominance of possible world semantics from the 50s to 80s, and a current widening of the subject. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 1) | |
A reaction: [compressed] I've read elsewhere that the arrival of Tarski's account of truth in 1933, taking things beyond the syntactic, was also a landmark. |
2111 | Falsehood involves a contradiction, and truth is contradictory of falsehood [Leibniz] |
Full Idea: We judge to be false that which involves a contradiction, and true that which is opposed or contradictory to the false. | |
From: Gottfried Leibniz (Monadology [1716], §31) |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
Full Idea: Logical formalization forces the investigator to make the central philosophical concepts precise. It can also show how some philosophical concepts and objects can be defined in terms of others. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
A reaction: This is the main rationale of the highly formal and mathematical approach to such things. The downside is when you impose 'precision' on language that was never intended to be precise. |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
Full Idea: A (logical) model is a set with functions and relations defined on it that specify the denotation of the non-logical vocabulary. A series of recursive clauses explicate how truth values of complex sentences are compositionally determined from the parts. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
A reaction: See the ideas on 'Functions in logic' and 'Relations in logic' (in the alphabetical list) to expand this important idea. |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
Full Idea: If there is indeed no property of existence that is expressed by the word 'exist', then it makes no sense to ask for its essence. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
A reaction: As far as I can tell, this was exactly Aristotle's conclusion, so he skirted round the question of 'being qua being', and focused on the nature of objects instead. Grand continental talk of 'Being' doesn't sound very interesting. |
7644 | The monad idea incomprehensibly spiritualises matter, instead of materialising soul [La Mettrie on Leibniz] |
Full Idea: The Leibnizians with their monads have constructed an incomprehensible hypothesis. They have spiritualized matter rather than materialising the soul. | |
From: comment on Gottfried Leibniz (Monadology [1716]) by Julien Offray de La Mettrie - Machine Man p.3 | |
A reaction: I agree with La Mettrie. This disagreement shows, I think, how important the problem of interaction between mind and body was in the century after Descartes. Drastic action seemed needed to bridge the gap, one way or the other. |
11857 | He replaced Aristotelian continuants with monads [Leibniz, by Wiggins] |
Full Idea: In the end Leibniz dethroned Aristotelian continuants, seen as imperfect from his point of view, in favour of monads. | |
From: report of Gottfried Leibniz (Monadology [1716]) by David Wiggins - Sameness and Substance Renewed 3.1 | |
A reaction: I take the 'continuants' to be either the 'ultimate subject of predication' (in 'Categories'), or 'essences' (in 'Metaphysics'). Since monads seem to be mental (presumably to explain the powers of things), this strikes me as a bit mad. |
7843 | Is a drop of urine really an infinity of thinking monads? [Voltaire on Leibniz] |
Full Idea: Can you really maintain that a drop of urine is an infinity of monads, and that each one of these has ideas, however obscure, of the entire universe? | |
From: comment on Gottfried Leibniz (Monadology [1716]) by Francois-Marie Voltaire - works Vol 22:434 | |
A reaction: Monads are a bit like Christian theology - if you meet them cold they seem totally ridiculous, but if you meet them after ten years of careful preliminary study they make (apparently) complete sense. Defenders of panpsychism presumably like them. |
12751 | It is unclear in 'Monadology' how extended bodies relate to mind-like monads. [Garber on Leibniz] |
Full Idea: It is never clear in the 'Monadologie' how exactly the world of extended bodies is related to the world of simple substances, the world of non-extended and mind-like monads. | |
From: comment on Gottfried Leibniz (Monadology [1716]) by Daniel Garber - Leibniz:Body,Substance,Monad 9 | |
A reaction: Leibniz was always going to hit the interaction problem, as soon as he started giving an increasingly spiritual account of what a substance, and hence marginalising the 'force' which had held centre-stage earlier on. Presumably they are 'parallel'. |
19363 | Changes in a monad come from an internal principle, and the diversity within its substance [Leibniz] |
Full Idea: A monad's natural changes come from an internal principle, ...but there must be diversity in that which changes, which produces the specification and variety of substances. | |
From: Gottfried Leibniz (Monadology [1716], §11-12) | |
A reaction: You don't have to like monads to like this generalisation (and Perkins says Leibniz had a genius for generalisations). Metaphysics must give an account of change. Succeeding time-slices etc explain nothing. Principle and substance must meet. |
19352 | A 'monad' has basic perception and appetite; a 'soul' has distinct perception and memory [Leibniz] |
Full Idea: The general name 'monad' or 'entelechy' may suffice for those substances which have nothing but perception and appetition; the name 'souls' may be reserved for those having perception that is more distinct and accompanied by memory. | |
From: Gottfried Leibniz (Monadology [1716], §19) | |
A reaction: It is basic to the study of Leibniz that you don't think monads are full-blown consciousnesses. He isn't really a panpsychist, because the level of mental activity is so minimal. There seem to be degrees of monadhood. |
7931 | If a substance is just a thing that has properties, it seems to be a characterless non-entity [Leibniz, by Macdonald,C] |
Full Idea: For Leibniz, to distinguish between a substance and its properties in order to provide a thing or entity in which properties can inhere leads necessarily to the absurd conclusion that the substance itself must be a truly characterless non-entity. | |
From: report of Gottfried Leibniz (Monadology [1716]) by Cynthia Macdonald - Varieties of Things Ch.3 | |
A reaction: This is obviously one of the basic thoughts in any discussion of substances. It is why physicists ignore them, and Leibniz opted for a 'bundle' theory. But the alternative seems daft too - free-floating properties, hooked onto one another. |
17554 | There must be some internal difference between any two beings in nature [Leibniz] |
Full Idea: There are never two beings in nature that are perfectly alike, two beings in which it is not possible to discover an internal difference, that is, one founded on an intrinsic denomination. | |
From: Gottfried Leibniz (Monadology [1716], §09) | |
A reaction: From this it follows that if two things really are indiscernible, then we must say that they are one thing. He says monads all differ from one another. People certainly do. Leibniz must say this of electrons. How can he know this? |
2112 | Truths of reason are known by analysis, and are necessary; facts are contingent, and their opposites possible [Leibniz] |
Full Idea: There are two kinds of truths: of reasoning and of facts. Truths of reasoning are necessary and their opposites impossible. Facts are contingent and their opposites possible. A necessary truth is known by analysis. | |
From: Gottfried Leibniz (Monadology [1716], §33) |
18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
Full Idea: A Tarskian model can in a sense be seen as a model of a possible state of affairs. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
A reaction: I include this remark to show how possible worlds semantics built on the arrival of model theory. |
18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
Full Idea: The notion of a possible worlds model was extended (resulting in the concept of a 'spheres model') in order to obtain a satisfactory logical treatment of counterfactual conditional sentences. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
A reaction: Thus we add 'centred' worlds, and an 'actual' world, to the loose original model. It is important to remember when we discuss 'close' worlds that we are then committed to these presuppositions. |
18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
Full Idea: The idea of 'impossible worlds' was introduced into epistemic logic. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
A reaction: Nathan Salmon seems interested in their role in metaphysics (presumably in relation to Meinongian impossible objects, like circular squares, which must necessarily be circular). |
18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
Full Idea: Each possible worlds model contains a set of possible worlds. For this reason, possible worlds semantics is often charged with smuggling in heavy metaphysical commitments. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
A reaction: To a beginner it looks very odd that you should try to explain possibility by constructing a model of it in terms of 'possible' worlds. |
18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
Full Idea: When the possible worlds semantics were further extended to model notions of knowledge and of moral obligation, the application was beginning to look distinctly forced and artificial. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 5) | |
A reaction: They accept lots of successes in modelling necessity and time. |
9344 | Mathematical analysis ends in primitive principles, which cannot be and need not be demonstrated [Leibniz] |
Full Idea: At the end of the analytical method in mathematics there are simple ideas of which no definition can be given. Moreover there are axioms and postulates, in short, primitive principles, which cannot be demonstrated and do not need demonstration. | |
From: Gottfried Leibniz (Monadology [1716], §35) | |
A reaction: My view is that we do not know such principles when we apprehend them in isolation. I would call them 'intuitions'. They only ascend to the status of knowledge when the mathematics is extended and derived from them, and found to work. |
2110 | We all expect the sun to rise tomorrow by experience, but astronomers expect it by reason [Leibniz] |
Full Idea: When we expect it to be day tomorrow, we all behave as empiricists, because until now it has always happened thus. The astronomer alone knows this by reason. | |
From: Gottfried Leibniz (Monadology [1716], §28) |
2109 | Increase a conscious machine to the size of a mill - you still won't see perceptions in it [Leibniz] |
Full Idea: If a conscious machine were increased in size, one might enter it like a mill, but we should only see the parts impinging on one another; we should not see anything which would explain a perception. | |
From: Gottfried Leibniz (Monadology [1716], §17) | |
A reaction: A wonderful image for capturing a widely held intuition. It seems to motivate Colin McGinn's 'Mysterianism'. The trouble is Leibniz didn't think big/small enough. Down at the level of molecules it might become obvious what a perception is. 'Might'. |
19362 | We know the 'I' and its contents by abstraction from awareness of necessary truths [Leibniz] |
Full Idea: It is through the knowledge of necessary truths and through their abstraction that we rise to reflective acts, which enable us to think of that which is called "I" and enable us to consider that this or that is in us. | |
From: Gottfried Leibniz (Monadology [1716], §30) | |
A reaction: For Leibniz, necessary truth can only be known a priori. Sense experience won't reveal the self, as Hume observed. We evidently 'abstract' the idea of 'I' from the nature of a priori thought. Animals have no self (or morals) for this reason. |
12707 | The true elements are atomic monads [Leibniz] |
Full Idea: Monads are the true atoms of nature and, in brief, the elements of things. | |
From: Gottfried Leibniz (Monadology [1716], (opening)), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 2 | |
A reaction: Thus in one sentence Leibniz gives us a theory of natural elements, and an account of atoms. This kind of speculation got metaphysics a bad name when science unravelled a more accurate picture. The bones must be picked out of Leibniz. |
2114 | This is the most perfect possible universe, in its combination of variety with order [Leibniz] |
Full Idea: From all the possible universes God chooses this one to obtain as much variety as possible, but with the greatest order possible; that is, it is the means of obtaining the greatest perfection possible. | |
From: Gottfried Leibniz (Monadology [1716], §58) |
2113 | God alone (the Necessary Being) has the privilege that He must exist if He is possible [Leibniz] |
Full Idea: God alone (or the Necessary Being) has the privilege that He must exist if He is possible. | |
From: Gottfried Leibniz (Monadology [1716], §45) |