41 ideas
| 8216 | Deconstruction is not neutral; it intervenes [Derrida] |
| Full Idea: Deconstruction, I have insisted, is not neutral. It intervenes. | |
| From: Jacques Derrida (Positions [1971], p.76) | |
| A reaction: This, I think, is because there is in Derrida, as in most French philosophers, a strong streak of Marxism, and a desire to change the world, rather than merely understanding it. Idea 8213 shows the sort of thing he wants to change. |
| 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! |
| 8213 | I try to analyse certain verbal concepts which block and confuse the dialectical process [Derrida] |
| Full Idea: I have tried to analyse certain marks in writing which are undecidables, false verbal properties, which inhabit philosophical opposition, resisting and disorganising it, without ever constituting a third term, withour ever leaving room for a solution. | |
| From: Jacques Derrida (Positions [1971], p.40) | |
| A reaction: [I have simplified his sentence!] Much of Derrida seems to be a commentary on the Hegelian dialectic, and the project is presumably to figure out why philosophy is not advancing in the way we would like. Interesting... |
| 18486 | We might define truth as arising from the truth-maker relation [MacBride] |
| Full Idea: We might define truth using the truth-maker relation, albeit in a roundabout way, according to the pattern of saying 'S is true' is equivalent to 'there is something which makes S true'. | |
| From: Fraser MacBride (Truthmakers [2013], 3.3) | |
| A reaction: [MacBride gives it more algebraically, but I prefer English!] You would need to explain 'truth-making' without reference to truth. Horwich objects, reasonably, that ordinary people grasp 'truth' much more clearly than 'truth-making'. Bad idea, I think. |
| 18484 | Phenomenalists, behaviourists and presentists can't supply credible truth-makers [MacBride] |
| Full Idea: For Martin the fatal error of phenomenalists was their inability to supply credible truth-makers for truths about unobserved objects; the same error afflicted Ryle's behaviourism, ...and Prior's Presentism (for past-tensed and future-tensed truths). | |
| From: Fraser MacBride (Truthmakers [2013], 3.1) | |
| A reaction: This seems to be the original motivation for the modern rise of the truthmaker idea. Personally I find 'Napoleon won at Austerlitz' is a perfectly good past-tensed truthmaker which is compatible with presentism. Truth-making is an excellent challenge. |
| 18466 | If truthmaking is classical entailment, then anything whatsoever makes a necessary truth [MacBride] |
| Full Idea: If a truthmaker entails its truth, this threatens to over-generate truth-makers for necessary truths - at least if the entailment is classical. It's a feature of this notion that anything whatsoever entails a given necessary truth. | |
| From: Fraser MacBride (Truthmakers [2013], 1.1) | |
| A reaction: This is a good reason to think that the truth-making relation does not consist of logical entailment. |
| 18473 | 'Maximalism' says every truth has an actual truthmaker [MacBride] |
| Full Idea: The principle of 'maximalism' is that for every truth, then there must be something in the world that makes it true. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1) | |
| A reaction: That seems to mean that no truths can be uttered about anything which is not in the world. If I say 'pigs might have flown', that isn't about the modal profile of actual pigs, it is about what might have resulted from that profile. |
| 18481 | Maximalism follows Russell, and optimalism (no negative or universal truthmakers) follows Wittgenstein [MacBride] |
| Full Idea: If maximalism is intellectual heir to Russell's logical atomism, then 'optimalism' (the denial that universal and negative statements need truth-makers) is heir to Wittgenstein's version, where only atomic propositions represent states of affairs. | |
| From: Fraser MacBride (Truthmakers [2013], 2.2) | |
| A reaction: Wittgenstein's idea is that you can use the logical connectives to construct all the other universal and negative facts. 'Optimalism' restricts truthmaking to atomic statements. |
| 18483 | The main idea of truth-making is that what a proposition is about is what matters [MacBride] |
| Full Idea: According the Lewis, the kernel of truth in truth-making is the idea that propositions have a subject matter. They are about things, so whether they are true or false depends on how those things stand. | |
| From: Fraser MacBride (Truthmakers [2013], 2.4.1) | |
| A reaction: [Lewis 'Things Qua Truth-makers' 2003] That sounds like the first step in the story, rather than the 'kernel' of the truth-making approach. |
| 18479 | There are different types of truthmakers for different types of negative truth [MacBride] |
| Full Idea: We recognise that what makes it true that there is no oil in this engine is different from what makes it true that there are no dodos left. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
| A reaction: This looks like a local particular negation up against a universal negation. I'm not sure there is a big difference between 'my dodo's gone missing' (like my oil), and 'all the dodos have gone permanently missing'. |
| 18477 | There aren't enough positive states out there to support all the negative truths [MacBride] |
| Full Idea: It's not obvious that there are enough positive states out there to underwrite all the negative truths. Even though it may be true that this liquid is odourless this needn't be because there's something further about it that excludes its being odourless. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
| A reaction: What is the ontological status of all these hypothetical truths? What is the truthmaker for 'a trillion trillion negative truths exist'? What is the status of 'this is not not-red'? |
| 18482 | Optimalists say that negative and universal are true 'by default' from the positive truths [MacBride] |
| Full Idea: Optimalists say that negative truths are 'true by default' (having the opposite truth value of p), and universal truths are too. Universal truths are equivalent to negative existential truths, which are true by default. | |
| From: Fraser MacBride (Truthmakers [2013], 2.2) | |
| A reaction: The background idea is Wittgenstein's, that if p is false, then not-p is true by default, without anyone having to assert the negation. This strikes me as a very promising approach to truthmaking. See Simons 2008. |
| 18474 | Does 'this sentence has no truth-maker' have a truth-maker? Reductio suggests it can't have [MacBride] |
| Full Idea: If the sentence 'This sentence has no truth-maker' has a truth-maker, then it must be true. But then what it says must be the case, so it has no truth-maker. Hence by reductio the sentence has no truth-maker. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.1) | |
| A reaction: [Argument proposed by Peter Milne 2005] Rodriguez-Pereyra replies that the sentence is meaningless, so that it can't possibly be true. The Liar sentence is also said to be meaningless. The argument opposes Maximalism. |
| 18485 | Even idealists could accept truthmakers, as mind-dependent [MacBride] |
| Full Idea: Even an idealist could accept that there are truth-makers whilst thinking of them as mind-dependent entities. | |
| From: Fraser MacBride (Truthmakers [2013], 3.1) | |
| A reaction: This undercuts anyone (me, perhaps?) who was hoping to prop up their robust realism with an angry demand to be shown the truthmakers. |
| 18490 | Maybe 'makes true' is not an active verb, but just a formal connective like 'because'? [MacBride] |
| Full Idea: Maybe the truth-maker panegyrists have misconstrued the logical form of 'makes true'. They have taken it to be a verb like 'x hits y', when really it is akin to the connective '→' or 'because'. | |
| From: Fraser MacBride (Truthmakers [2013], 3.7) | |
| A reaction: [He cites Melia 2005] This isn't any sort of refutation of truth-making, but an offer of how to think of the phenomenon if you reject the big principle. I like truth-making, but resist the 'makes' that brings unthought propositions into existence. |
| 18493 | Truthmaker talk of 'something' making sentences true, which presupposes objectual quantification [MacBride] |
| Full Idea: When supporters of truth-making talk of 'something' which makes a sentence true, they make the assumption that it is an objectual quantifier in name position. | |
| From: Fraser MacBride (Truthmakers [2013], 3.8) | |
| A reaction: We might say, more concisely, that they are 'reifying' the something. This makes it sound as if Armstrong and Bigelow have made a mistake, but that are simply asserting that this particular quantification is indeed objectual. |
| 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) |
| 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) |
| 18489 | Connectives link sentences without linking their meanings [MacBride] |
| Full Idea: The 'connectives' are expressions that link sentences but without expressing a relation that holds between the states of affairs, facts or tropes that these sentences denote. | |
| From: Fraser MacBride (Truthmakers [2013], 3.7) | |
| A reaction: MacBride notes that these contrast with ordinary verbs, which do express meaningful relations. |
| 18476 | 'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride] |
| Full Idea: Statements of the form 'a is F' aren't invariably positive ('a is dead'), and nor are statements of the form 'a isn't F' ('a isn't blind') always negative. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4) | |
| A reaction: The point is that the negation may be implicit in the predicate. There are many ways to affirm or deny something, other than by use of the standard syntax. |
| 18480 | Maybe it only exists if it is a truthmaker (rather than the value of a variable)? [MacBride] |
| Full Idea: 'To be is to be a truth-maker' has been proposed as a replacement the standard conception of ontological commitment, that to be is to be the value of a variable. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.2) | |
| A reaction: [He cites Ross Cameron 2008] Unconvincing. What does it mean to say that some remote unexperienced bit of the universe 'makes truths'? How many truths? Where do these truths reside when they aren't doing anything useful? |
| 18471 | Different types of 'grounding' seem to have no more than a family resemblance relation [MacBride] |
| Full Idea: The concept of 'grounding' appears to cry out for treatment as a family resemblance concept, a concept whose instances have no more in common than different games do. | |
| From: Fraser MacBride (Truthmakers [2013], 1.6) | |
| A reaction: I like the word 'determinations', though MacBride's point my also apply to that. I take causation to be one species of determination, and truth-making to be another. They form a real family, with no adoptees. |
| 18472 | Which has priority - 'grounding' or 'truth-making'? [MacBride] |
| Full Idea: Some philosophers define 'grounding' in terms of 'truth-making', rather than the other way around. | |
| From: Fraser MacBride (Truthmakers [2013], 1.6) | |
| A reaction: [Cameron exemplifies the first, and Schaffer the second] I would have thought that grounding was in the world, but truth-making required the introduction of propositions about the world by minds, so grounding is prior. Schaffer is right. |
| 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. |
| 18475 | Russell allows some complex facts, but Wittgenstein only allows atomic facts [MacBride] |
| Full Idea: The logical atomism of Russell admitted some logically complex facts but not others - in contrast to Wittgenstein's version which admitted only atomic facts. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.3) | |
| A reaction: For truthmakers, it looks as if the Wittgenstein version might do a better job (e.g. with negative truths). I quite like the Russell approach, where complex facts underwrite the logical connectives. Disjunctive, negative, conjunctive, hypothetical facts. |
| 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? |
| 18478 | Wittgenstein's plan to show there is only logical necessity failed, because of colours [MacBride] |
| Full Idea: It is almost universally acknowledged that Wittgenstein's plan to show all necessity is logical necessity ended in failure - indeed foundered upon the very problem of explaining colour incompatibilities. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
| A reaction: I'm not sure whether you can 'show' that colour incompatibility is some sort of necessity, though intuitively it seems so. I'm thinking that 'necessity' is a unitary concept, with a wide variety of sources generating it. |
| 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) |
| 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) |