44 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! |
| 14480 | Maybe analytic truths do not require truth-makers, as they place no demands on the world [Thomasson] |
| Full Idea: It is a venerable view that analytic claims do not require truth-makers, as they place no demands on the world, but this claim has often been challenged. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.4) | |
| A reaction: She offers two challenges (bottom p.68), but I would have thought that the best response is that the meanings of the words themselves constitute truthmakers - perhaps via the essence of each word, as Fine suggests. |
| 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) |
| 14471 | Analytical entailments arise from combinations of meanings and inference rules [Thomasson] |
| Full Idea: 'Analytically entail' means entail in virtue of the meanings of the expressions involved and rules of inference. So 'Jones bought a house' analytically entails 'Jones bought a building'. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 01.2) | |
| A reaction: Quine wouldn't like this, but it sounds OK to me. Thomasson uses this as a key tool in her claim that common sense objects must exist. |
| 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) |
| 14493 | Existence might require playing a role in explanation, or in a causal story, or being composed in some way [Thomasson] |
| Full Idea: A higher standard for saying that entities exist might require that they play an essential role in explanation, or must figure in any complete causal story, or exist according to some uniform and nonarbitrary principle of composition. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 11.2) | |
| A reaction: I am struck by the first of these three. If I am defending the notion that essence depends on Aristotle's account of explanation, then if we add that existence also depends on explanation, we get a criterion for the existence of essences. Yay. |
| 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. |
| 14491 | Rival ontological claims can both be true, if there are analytic relationships between them [Thomasson] |
| Full Idea: Where there are analytic interrelations among our claims, distinct ontological claims may be true without rivalry, redundancy, or reduction. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 10) | |
| A reaction: Thus we might, I suppose, that it is analytically necessary that a lump of clay has a shape, and that a statue be made of something. Interesting. |
| 14489 | Theories do not avoid commitment to entities by avoiding certain terms or concepts [Thomasson] |
| Full Idea: A theory does not avoid commitment to any entities by avoiding use of certain terms or concepts. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.4) | |
| A reaction: This is a salutary warning to those who apply the notion of ontological commitment rather naively. |
| 14485 | Ordinary objects may be not indispensable, but they are nearly unavoidable [Thomasson] |
| Full Idea: I do not argue that ordinary objects are indispensable, but rather that they are (nearly) unavoidable. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09) | |
| A reaction: Disappointing, given the blurb and title of the book, but put in those terms it will be hard to disagree. Clearly ordinary objects figure in the most useful way for us to talk. I wonder whether we have a clear ontology of 'simples' in which they vanish. |
| 14487 | The simple existence conditions for objects are established by our practices, and are met [Thomasson] |
| Full Idea: The existence conditions for ordinary objects are established by our practices, and they are quite minimal, so it is rather obvious that they are fulfilled, and so there are such things. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.3) | |
| A reaction: This is one of her main arguments. The same argument would have worked for witches or ghosts in certain cultures. |
| 21651 | It is analytic that if simples are arranged chair-wise, then there is a chair [Thomasson, by Hofweber] |
| Full Idea: Thomasson argues that the existence of ordinary objects follows analytically from the distribution of simples, assuming that there are any simples. It is an analytic truth that if there are simples arranged chair-wise, then there is a chair. | |
| From: report of Amie L. Thomasson (Ordinary Objects [2007]) by Thomas Hofweber - Ontology and the Ambitions of Metaphysics 07.3 | |
| A reaction: But how do you distinguish when simples are arranged nearly chair-wise from the point where they click into place as actually chair-wise? What is the criterion? |
| 14486 | Eliminativists haven't found existence conditions for chairs, beyond those of the word 'chair' [Thomasson] |
| Full Idea: The eliminativist cannot claim to have 'discovered' some real existence conditions for chairs beyond those entailed by the semantic rules associated with ordinary use of the word 'chair'. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.3) | |
| A reaction: It is difficult to understand atoms arranged 'chairwise' or 'baseballwise' if you don't already know what a chair or a baseball are. |
| 14467 | Ordinary objects are rejected, to avoid contradictions, or for greater economy in thought [Thomasson] |
| Full Idea: Objections to ordinary objects are the Causal Redundancy claim (objects lack causal powers), the Anti-Colocation view (statues and lumps overlap), Sorites arguments, a more economical ontology, or a more scientific ontology. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], Intro) | |
| A reaction: [my summary of two paragraphs] The chief exponents of these views are Van Inwagen and Merricks. Before you glibly accept ordinary objects, you must focus on producing a really strict ontology. These arguments all have real force. |
| 14479 | To individuate people we need conventions, but conventions are made up by people [Thomasson] |
| Full Idea: The conventionalist faces paradox if they hold that conventions are logically prior to people (since this plurality requires conventions of individuation), and people are logically prior to conventions (if they make up the conventions). | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.3) | |
| A reaction: [Sidelle is the spokesman for conventionalism] The best defence would be to deny the second part, and say that conventions emerge from whatever is there, but only conventions can individuate the bits of what is there. |
| 12699 | A body would be endless disunited parts, if it did not have a unifying form or soul [Leibniz] |
| Full Idea: Without soul or form of some kind, a body would have no being, because no part of it can be designated which does not in turn consist of more parts. Thus nothing could be designated in a body which could be called 'this thing', or a unity. | |
| From: Gottfried Leibniz (Conspectus libelli (book outline) [1678], A6.4.1988), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 1 | |
| A reaction: The locution 'soul or form' is disconcerting, and you have to spend some time with Leibniz to get the hang of it. The 'soul' is not intelligent, and is more like a source of action and response. |
| 14481 | Wherever an object exists, there are intrinsic properties instantiating every modal profile [Thomasson] |
| Full Idea: In a 'modally plenitudinous' ontology, wherever there is an object at all, there are objects with intrinsic modal properties instantiating every consistent modal profile. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.5) | |
| A reaction: [She cites K.Bennett, Hawley, Rea, Sidelle] I love this. At last a label for the view I have been espousing. I am a Modal Plenitudinist. I must get a badge made. |
| 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. |
| 14482 | If the statue and the lump are two objects, they require separate properties, so we could add their masses [Thomasson] |
| Full Idea: An objection to the idea that statues are not identical to material lumps of stuff is the proliferation of instances of properties shared by those objects. If the mass of the statue is 500kg, and the mass of the lump is 500kg, do we have 1000kg? | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 04.3) | |
| A reaction: [compressed; she cites Rea 1997 and Zimmerman 1995] To wriggle out of this we would have to understand 'object' rather differently, so that an independent mass is not intrinsic to it. I leave this as an exercise for the reader. |
| 14483 | Given the similarity of statue and lump, what could possibly ground their modal properties? [Thomasson] |
| Full Idea: The 'grounding problem' is that given all that the statue and the lump have in common, what could possibly ground their different modal properties? | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 04.4) | |
| A reaction: Their modal properties are, of course, different, because only one of them could survive squashing. Thomasson suggests their difference of sort, but I'm not sure what that means, separately from what they actually are. |
| 12700 | Form or soul gives unity and duration; matter gives multiplicity and change [Leibniz] |
| Full Idea: Substantial form, or soul, is the principle of unity and duration, matter is that of multiplicity and change | |
| From: Gottfried Leibniz (Conspectus libelli (book outline) [1678], A6.4.1398-9), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 2 | |
| A reaction: Leibniz was a fan of the unfashionable Aristotle, and tried to put a spin on his views consonant with contemporary Hobbesian mechanistic views. Oddly, he likes the idea that 'form' is indestructable, which I don't understand. |
| 14476 | Identity claims between objects are only well-formed if the categories are specified [Thomasson] |
| Full Idea: Identity claims are only well-formed and truth-evaluable if the terms flanking the statement are associated with a certain category of entity each is to refer to, which disambiguates the reference and identity-criteria. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03) | |
| A reaction: The first of her two criteria for identity. She is buying the full Wiggins package. |
| 14477 | Identical entities must be of the same category, and meet the criteria for the category [Thomasson] |
| Full Idea: Identity claims are only true if the entities referred to are of the same category, and meet the criteria of identity appropriate for things of that category. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03) | |
| A reaction: This may be a little too optimistic about having a set of clear-cut and reasonably objective categories to work with, but attempts at establishing metaphysical categories have not gone especially well. |
| 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? |
| 14478 | Modal Conventionalism says modality is analytic, not intrinsic to the world, and linguistic [Thomasson] |
| Full Idea: Modal Conventionalism has at least three theses: 1) modal truths are either analytic truths, or combine analytic and empirical truths, 2) modal properties are not intrinsic features of the world, 3) modal propositions depend on linguistic conventions. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.2) | |
| A reaction: [She cites Alan Sidelle 1989 for this view] I disagree mainly with number 2), since I take dispositions to be key intrinsic features of nature, and I interpret dispositions as modal properties. |
| 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) |
| 12736 | If we understand God and his choices, we have a priori knowledge of contingent truths [Leibniz, by Garber] |
| Full Idea: Insofar as we have some insight into how God chooses, we can know a priori the laws of nature that God chooses for this best of all possible worlds. In this way, it is possible to have genuine a priori knowledge of contingent truths. | |
| From: report of Gottfried Leibniz (Conspectus libelli (book outline) [1678], A6.4.1998-9) by Daniel Garber - Leibniz:Body,Substance,Monad 6 | |
| A reaction: I think it would be doubtful whether our knowledge of God's choosings would count as a priori. How do we discover them? Ah! We derive God from the ontological argument, and his choosings from the divine perfection implied thereby. |
| 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) |
| 14466 | A chief task of philosophy is making reflective sense of our common sense worldview [Thomasson] |
| Full Idea: Showing how, reflectively, we can make sense of our unreflective common sense worldview is arguably one of the chief tasks of philosophy. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], Intro) | |
| A reaction: Maybe. The obvious problem is that when you look at weird and remote cultures like the Aztecs, what counts as 'common sense' might be a bit different. She is talking of ordinary objects, though, where her point is reasonable. |
| 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. |
| 12698 | Every body contains a kind of sense and appetite, or a soul [Leibniz] |
| Full Idea: I believe that there is in every body a kind of sense and appetite, or a soul. | |
| From: Gottfried Leibniz (Conspectus libelli (book outline) [1678], A6.4.2010), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 1 | |
| A reaction: Note that he never says that there is any intelligence present. This eventually becomes his monadology, but Leibniz is the most obvious post-Greek philosopher to flirt with panpsychism. |
| 14475 | How can causal theories of reference handle nonexistence claims? [Thomasson] |
| Full Idea: Pure causal theories of reference have problems in handling nonexistence claims | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 02.3) | |
| A reaction: This is a very sound reason for shifting from a direct causal baptism view to one in which the baptism takes place by a social consensus. So there is a consensus about 'unicorns', but obviously no baptism. See Evans's 'Madagascar' example. |
| 14474 | Pure causal theories of reference have the 'qua problem', of what sort of things is being referred to [Thomasson] |
| Full Idea: Pure causal theories of reference face the 'qua problem' - that it may be radically indeterminate what the term refers to unless there is some very basic concept of what sort of thing is being referred to. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 02.3) | |
| A reaction: She cites Dummett and Wiggins on this. There is an obvious problem that when I say 'look at that!' there are all sorts of conventions at work if my reference is to succeed. |
| 14488 | Analyticity is revealed through redundancy, as in 'He bought a house and a building' [Thomasson] |
| Full Idea: The analytic interrelations among elements of language become evident through redundancy. It is redundant to utter 'He bought a house and a building', since buying a house analytically entails that he bought a building. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.4) | |
| A reaction: This appears to concern necessary class membership. It is only linguistically redundant if the class membership is obvious. Houses are familiar, uranium samples are not. |
| 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) |