31 ideas
| 14600 | Analysis aims at secure necessary and sufficient conditions [Schaffer,J] |
| Full Idea: An analysis is an attempt at providing finite, non-circular, and intuitively adequate necessary and sufficient conditions. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3) | |
| A reaction: Specifying the 'conditions' for something doesn't seem to quite add up to telling you what the thing is. A trivial side-effect might qualify as a sufficient condition for something, if it always happens. |
| 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! |
| 14603 | 'Reification' occurs if we mistake a concept for a thing [Schaffer,J] |
| Full Idea: 'Reification' occurs when a mere concept is mistaken for a thing. We seem generally prone to this sort of error. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3.1) | |
| A reaction: Personally I think we should face up to the fact that this is the only way we can think about generalised or abstract entities, and stop thinking of it as an 'error'. We have evolved to think well about objects, so we translate everything that way. |
| 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) |
| 14607 | T adds □p→p for reflexivity, and is ideal for modeling lawhood [Schaffer,J] |
| Full Idea: System T is a normal modal system augmented with the reflexivity-generating axiom □p→p, and is, I think, the best modal logic for modeling lawhood. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], n46) | |
| A reaction: Schaffer shows in the article why transitivity would not be appropriate for lawhood. |
| 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) |
| 14604 | If a notion is ontologically basic, it should be needed in our best attempt at science [Schaffer,J] |
| Full Idea: Science represents our best systematic understanding of the world, and if a certain notion proves unneeded in our best attempt at that, this provides strong evidence that what this notion concerns is not ontologically basic. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3.2) | |
| A reaction: But is the objective of science to find out what is 'ontologically basic'? If scientists can't get a purchase on a question, they have no interest in it. What are electrons made of? |
| 14599 | Three types of reduction: Theoretical (of terms), Definitional (of concepts), Ontological (of reality) [Schaffer,J] |
| Full Idea: Theoretical reduction concerns terms found in a theory; Definitional reduction concerns concepts found in the mind; Ontological reduction is independent of how we conceptualize entities, or theorize about them, and is about reality. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 1) | |
| A reaction: An Aristotelian definition refers to reality, rather than to our words or concepts. |
| 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. |
| 14605 | Tropes are the same as events [Schaffer,J] |
| Full Idea: Tropes can be identified with events. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], n17) | |
| A reaction: This is presumably on the view of events, associated with Kim, as instantiations of properties. This idea is a new angle on tropes and events which had never occurred to me. |
| 14601 | Individuation aims to count entities, by saying when there is one [Schaffer,J] |
| Full Idea: Individuation principles are attempts to describe how to count entities in a given domain, by saying when there is one. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3) | |
| A reaction: At last, someone tells me what they mean by 'individuation'! So it is just saying what your units are prior to counting, followed (presumably) by successful counting. It seems to aim more at kinds than at particulars. |
| 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) |
| 14606 | Only ideal conceivability could indicate what is possible [Schaffer,J] |
| Full Idea: The only plausible link from conceivability to possibility is via ideal conceivability. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], n22) | |
| A reaction: [He cites Chalmers 2002] I'm not sure what 'via' could mean here. Since I don't know any other way than attempted conceivability for assessing a possibility, I am a bit baffled by this idea. |
| 19553 | Commitment to 'I have a hand' only makes sense in a context where it has been doubted [Hawthorne] |
| Full Idea: If I utter 'I know I have a hand' then I can only be reckoned a cooperative conversant by my interlocutors on the assumption that there was a real question as to whether I have a hand. | |
| From: John Hawthorne (The Case for Closure [2005], 2) | |
| A reaction: This seems to point to the contextualist approach to global scepticism, which concerns whether we are setting the bar high or low for 'knowledge'. |
| 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) |
| 19551 | How can we know the heavyweight implications of normal knowledge? Must we distort 'knowledge'? [Hawthorne] |
| Full Idea: Those who deny skepticism but accept closure will have to explain how we know the various 'heavyweight' skeptical hypotheses to be false. Do we then twist the concept of knowledge to fit the twin desiderata of closue and anti-skepticism? | |
| From: John Hawthorne (The Case for Closure [2005], Intro) | |
| A reaction: [He is giving Dretske's view; Dretske says we do twist knowledge] Thus if I remember yesterday, that has the heavyweight implication that the past is real. Hawthorne nicely summarises why closure produces a philosophical problem. |
| 19552 | We wouldn't know the logical implications of our knowledge if small risks added up to big risks [Hawthorne] |
| Full Idea: Maybe one cannot know the logical consequences of the proposition that one knows, on account of the fact that small risks add up to big risks. | |
| From: John Hawthorne (The Case for Closure [2005], 1) | |
| A reaction: The idea of closure is that the new knowledge has the certainty of logic, and each step is accepted. An array of receding propositions can lose reliability, but that shouldn't apply to logic implications. Assuming monotonic logic, of course. |
| 19554 | Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne] |
| Full Idea: How could we know that P and Q but not be in a position to know that P (as deniers of closure must say)? If my glass is full of wine, we know 'g is full of wine, and not full of non-wine'. How can we deny that we know it is not full of non-wine? | |
| From: John Hawthorne (The Case for Closure [2005], 2) | |
| A reaction: Hawthorne merely raises this doubt. Dretske is concerned with heavyweight implications, but how do you accept lightweight implications like this one, and then suddenly reject them when they become too heavy? [see p.49] |
| 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) |