42 ideas
| 14415 | A ground must be about its truth, and not just necessitate it [Merricks] |
| Full Idea: A ground does not merely necessitate its truth. A ground is also what its truth is appropriately about. | |
| From: Trenton Merricks (Truth and Ontology [2007], 7.II) |
| 14408 | Truthmaker needs truths to be 'about' something, and that is often unclear [Merricks] |
| Full Idea: It is not always obvious what (if anything) a truth is about, in the sense of 'about' relevant to Truthmaker and truth-supervenient-on-being. Prior says 'Queen Anne is dead' is not about Queen Anne, and may be about the Earth. | |
| From: Trenton Merricks (Truth and Ontology [2007], 6.III) | |
| A reaction: A very nice and rather subtle objection to the Truthmaker thesis. Specifying the truthmaker for a given truth looks like a doddle in simple cases, but clearly it can become extremely elusive in other cases. |
| 14395 | If a ball changes from red to white, Truthmaker says some thing must make the change true [Merricks] |
| Full Idea: If a single ball goes from being red to being white, Truthmaker implies that something exists which makes it true that the second thing follows the first. | |
| From: Trenton Merricks (Truth and Ontology [2007], 3.V) |
| 14398 | Truthmaker says if an entity is removed, some nonexistence truthmaker must replace it [Merricks] |
| Full Idea: Truthmaker makes it impossible simply to remove an entity. One must always replace it with something else; namely, a truthmaker for the claim that that entity does not exist. | |
| From: Trenton Merricks (Truth and Ontology [2007], 4.I-3) | |
| A reaction: This is a particularly strong and persuasive argument from Merricks against the truthmaker view. Clearly the truthmaker for non-existence can't be there when it exists, and the destruction bringing the negative truthmaker into existence sounds odd. |
| 14403 | If Truthmaker says each truth is made by the existence of something, the theory had de re modality at is core [Merricks] |
| Full Idea: Truthmaker says that, for each truth, there is something that, by its mere existence, makes that truth true, …so Truthmaker has de re modality at its core. | |
| From: Trenton Merricks (Truth and Ontology [2007], 5.III) | |
| A reaction: I have no problem with de re modality, so this doesn't bother me. Merricks brings out nicely the baggage which you must carry if you are a Truthmaker. |
| 14397 | Truthmaker demands not just a predication, but an existing state of affairs with essential ingredients [Merricks] |
| Full Idea: The claim 'that Fido is brown' seems to demand only a brown Fido, but Truthmaker demands more. It demands both that a state of affairs along the lines of 'Fido's being brown' exists, and also that this state has its constituents essentially. | |
| From: Trenton Merricks (Truth and Ontology [2007], 4.I) | |
| A reaction: One would need to reread Merricks to get this clear, but my instinct is that the two scenarios are not very different. 'A brown Fido' would require Fido to be necessarily brown to do the job. |
| 14396 | If 'truth supervenes on being', worlds with the same entities, properties and relations have the same truths [Merricks] |
| Full Idea: 'Truth supervenes on being' says that any two possible worlds alike with respect to what entities exist and which properties (and relations) each of those entities exemplifies are thereby alike with respect to what is true. | |
| From: Trenton Merricks (Truth and Ontology [2007], 4) | |
| A reaction: Merricks says this view is found in early Wittgenstein, as well as in David Lewis. He suggests that this is a weaker and more plausible thesis than the full commitment to truthmakers. It still allows some truths to lack truthmakers. Sounds plausible. |
| 14400 | If truth supervenes on being, that won't explain why truth depends on being [Merricks] |
| Full Idea: If 'truth supervenes on being' aims to articulate the idea that truth depends on being, it must say more than that truth supervenes on being. | |
| From: Trenton Merricks (Truth and Ontology [2007], 4.VI) | |
| A reaction: This is a perennial problem with supervenience accounts, such as the supervenience of beauty on the object, or of mind on brain. |
| 14394 | It is implausible that claims about non-existence are about existing things [Merricks] |
| Full Idea: It is implausible that a claim asserting that a thing fails to exist is made true by - and so is appropriately about - some other, existing thing. | |
| From: Trenton Merricks (Truth and Ontology [2007], 3.V) |
| 14390 | Truthmaker isn't the correspondence theory, because it offers no analysis of truth [Merricks] |
| Full Idea: Because Truthmaker offers no analysis of being true, Truthmaker is not the correspondence theory of truth. | |
| From: Trenton Merricks (Truth and Ontology [2007], 1.IV) | |
| A reaction: I'm not convinced that the correspondence theory offers an 'analysis' of truth. It doesn't seem to do much more than offer a word which suggests an analogy with some relation in the world. |
| 14412 | Speculations about non-existent things are not about existent things, so Truthmaker is false [Merricks] |
| Full Idea: That 'there might have been a dozen more fundamental particles' is true, but not appropriately about any existing entities or their properties. Since Truthmaker says that all truths are about existing entities, it must be false. | |
| From: Trenton Merricks (Truth and Ontology [2007], 6.VI) | |
| A reaction: Since I don't necessarily agree that 'there might have been a dozen more fundamental particles' (see Scientific Essentialism), and I take the disagreement to have some basis, I doubt this idea. What stops 'there could be circular squares' from being true? |
| 14414 | I am a truthmaker for 'that a human exists', but is it about me? [Merricks] |
| Full Idea: I am a truthmaker for 'that a human exists', but it is not obvious that that proposition is thus about me. | |
| From: Trenton Merricks (Truth and Ontology [2007], 7.I) | |
| A reaction: This is part of the general rather good objection that it is often unclear what a truth is 'about' (Idea 14408). The original Gettier examples about justification illustrate this problem. They make things true, in a surprising way. |
| 14418 | Being true is not a relation, it is a primitive monadic property [Merricks] |
| Full Idea: Being true is not a relation. …Being true is a monadic property. …Being true is a primitive property. | |
| From: Trenton Merricks (Truth and Ontology [2007], 8.IV) | |
| A reaction: Even after reading Merricks on this, I am not sure I understand it. If a single sentence floats in the void, it is hard to see how the 'monadic' property of truth could accrue to it. |
| 14391 | If the correspondence theory is right, then necessary truths must correspond to something [Merricks] |
| Full Idea: Suppose for the sake of argument that the correspondence theory is correct. Then it is analytic that each necessary truth, in virtue of being true, corresponds to something. | |
| From: Trenton Merricks (Truth and Ontology [2007], 2.II) | |
| A reaction: The sort of nice simple observation for which I admire Merricks. You don't have to give up on the correspondence theory at this point, but you will have to go through with some substantial metaphysics to keep it afloat. |
| 14419 | Deflationism just says there is no property of being truth [Merricks] |
| Full Idea: I take 'deflationism' to be nothing other than the claim that there is no property of being true. | |
| From: Trenton Merricks (Truth and Ontology [2007], 8.V) |
| 21846 | Bergson was a rallying point, because he emphasised becomings and multiplicities [Bergson, by Deleuze] |
| Full Idea: Bergson was a rallying point for all the opposition, …not so much because of the theme of duration, as of the theory and practice of becoming of all kinds, of coexistent multiplicities. | |
| From: report of Henri Bergson (Matter and Memory [1896]) by Gilles Deleuze - A Conversation: what is it? What is it for? I | |
| A reaction: The three heroes of Deleuze are Spinoza, Nietzsche and Bergson. All philosophers are either of Being, or of Becoming, I suggest. |
| 14393 | The totality state is the most plausible truthmaker for negative existential truths [Merricks] |
| Full Idea: The claim that the totality state is the sole truthmaker for negative existential truths emerges as the best position for a truthmaker theorist. | |
| From: Trenton Merricks (Truth and Ontology [2007], 3.III) |
| 14413 | Some properties seem to be primitive, but others can be analysed [Merricks] |
| Full Idea: Some properties (perhaps negative charge, or the relation of identity) admit of no analysis, and so are primitive. But others are analysable, and so not primitive | |
| From: Trenton Merricks (Truth and Ontology [2007], 7.I) |
| 14416 | An object can have a disposition when the revelant conditional is false [Merricks] |
| Full Idea: It is possible for an object to have a disposition even though the relevant conditional is false. | |
| From: Trenton Merricks (Truth and Ontology [2007], 7.III) | |
| A reaction: This is the now standard observation that finks (killing the disposition) and antidotes (blocking the effect of the disposition) can intervene, as in safety mechanisms in electrical gadgets. There may be replies available here. |
| 14392 | Fregeans say 'hobbits do not exist' is just 'being a hobbit' is not exemplified [Merricks] |
| Full Idea: A Fregean about existence claims would say that 'that hobbits do not exist' is nothing other than the claim that 'being a hobbit' is not exemplified. | |
| From: Trenton Merricks (Truth and Ontology [2007], 3.II) | |
| A reaction: 'My passport has ceased to exist' seems to be a bit more dramatic than a relationship with a concept. |
| 17000 | We might fix identities for small particulars, but it is utopian to hope for such things [Kripke] |
| Full Idea: Maybe strict identity only applies to the particulars (the molecules) in a case of vague identity. …It seems, however, utopian to suppose that we will ever reach a level of ultimate, basic particulars for which identity relations are never vague. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 18) | |
| A reaction: I agree with this. Ladyman and Ross laugh at the unscientific picture found in dreams of 'simples'. |
| 11868 | A different piece of wood could have been used for that table; constitution isn't identity [Wiggins on Kripke] |
| Full Idea: Could the artificer not, when he made the table, have taken other pieces? Surely he could. [n37: I venture to think that Kripke's argument in note 56 for the necessity of constitution depends on treating constitution as if it were identity]. | |
| From: comment on Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 56) by David Wiggins - Sameness and Substance Renewed 4.11 | |
| A reaction: Suppose the craftsman completed the table, then changed a piece of wood in it for some reason. Has he now made a second table and destroyed the first one? Wiggins seems to be right. |
| 14410 | You believe you existed last year, but your segment doesn't, so they have different beliefs [Merricks] |
| Full Idea: Your belief that you existed in the year 2000 is true; the belief of a segment of you that it then existed is false; so, by the indiscernibility of identicals, there must be two beliefs here. | |
| From: Trenton Merricks (Truth and Ontology [2007], 6.IV n20) | |
| A reaction: Merricks may be begging the question here. But in the segment view there is nothing which can truly believe it existed a year ago, so therefore nothing here has continued existence, so the segments cannot be part of a single thing. |
| 17044 | A relation can clearly be reflexive, and identity is the smallest reflexive relation [Kripke] |
| Full Idea: Some philosophers have thought that a relation, being essentially two-termed, cannot hold between a thing and itself. This position is plainly absurd ('he is his own worst enemy'). Identity is nothing but the smallest reflexive relation. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 50) | |
| A reaction: I have no idea what 'smallest' means here. I can't be 'to the left of myself', so not all of my relations can be reflexive. I just don't understand what it means to say something is 'identical with itself'. You've got the thing - what have you added? |
| 16999 | A vague identity may seem intransitive, and we might want to talk of 'counterparts' [Kripke] |
| Full Idea: When the identity relation is vague, it may seem intransitive; a claim of apparent identity may yield an apparent non-identity. Some sort of 'counterpart' notion may have some utility here. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 18) | |
| A reaction: He firmly rejects the full Lewis apparatus of counterparts. The idea would be that a river at different times had counterpart relations, not strict identity. I like the word 'same' for this situation. Most worldly 'identity' is intransitive. |
| 17058 | What many people consider merely physically necessary I consider completely necessary [Kripke] |
| Full Idea: My third lecture suggests that a good deal of what contemporary philosophy regards as mere physical necessity is actually necessary tout court. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], Add (g)) | |
| A reaction: He avoids the term 'metaphysically necessary', which most people would not use for this point. |
| 4970 | What is often held to be mere physical necessity is actually metaphysical necessity [Kripke] |
| Full Idea: My third lecture suggests that a good deal of what contemporary philosophy regards as mere physical necessity is actually necessary 'tout court'. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], Add (g)) | |
| A reaction: This huge claim rides in on the back of Kripke's very useful clarifications. It is the 'new essentialism', and seems to me untenable in this form. There is no answer to Hume's request for evidence of necessity. Why can't essences (and laws) change? |
| 17059 | Unicorns are vague, so no actual or possible creature could count as a unicorn [Kripke] |
| Full Idea: If the unicorn myth is supposed to be a particular species, with insufficient internal structure to determine it uniquely, then there is no actual or possible species of which we can say that it would have been the species of unicorns. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], Add (a)) | |
| A reaction: Dummett and Rumfitt discuss this proposal elsewhere. |
| 14417 | Counterfactuals aren't about actuality, so they lack truthmakers or a supervenience base [Merricks] |
| Full Idea: A counterfactual is not appropriately about the way anything is, …but about how something would be, had other things differed from how they actually are. As a result, true counterfactuals have neither truthmakers nor a superveniece base. | |
| From: Trenton Merricks (Truth and Ontology [2007], 7.IV) | |
| A reaction: Might not the truthmakers for counterfactuals reside in the dispositional facts about actuality? We assess the truth of counterfactuals in degrees, so something must determine our views. |
| 4950 | Possible worlds are useful in set theory, but can be very misleading elsewhere [Kripke] |
| Full Idea: The apparatus of possible worlds has (I hope) been very useful as far as the set-theoretic model-theory of quantified modal logic is concerned, but has encouraged philosophical pseudo-problems and misleading pictures. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 15) | |
| A reaction: This is presumably a swipe at David Lewis, who claims possible worlds are real. The fact that the originator of possible worlds sees them as unproblematic doesn't mean they are. Fine if they are a game, but if they assert truth, they need a metaphysics. |
| 17003 | Kaplan's 'Dthat' is a useful operator for transforming a description into a rigid designation [Kripke] |
| Full Idea: It is useful to have an operator which transforms each description into a term which rigidly designates the object actually satisfying the description. David Kaplan has proposed such an operator and calls it 'Dthat'. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 22) |
| 9221 | The best known objection to counterparts is Kripke's, that Humphrey doesn't care if his counterpart wins [Kripke, by Sider] |
| Full Idea: The most famous objection to counterparts is Kripke's objection that Hubert Humphrey wouldn't care if he thought that his counterpart might have won the 1972 election. He wishes that he had won it. | |
| From: report of Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 12) by Theodore Sider - Reductive Theories of Modality 3.10 | |
| A reaction: Like Sider, I find this unconvincing. If there is a world in which I don't exist, but my very close counterpart does (say exactly me, but with a finger missing), I am likely to care more about such a person than about complete strangers. |
| 14402 | If 'Fido is possibly black' depends on Fido's counterparts, then it has no actual truthmaker [Merricks] |
| Full Idea: If Fido's being possibly black reduces (in Lewis's account) to the existence of black counterparts of Fido, then 'Fido is possibly black' is actually true, but it has no actually existing truthmaker. | |
| From: Trenton Merricks (Truth and Ontology [2007], 5.I) | |
| A reaction: This problem is increasingly the target of my views about dispositions and powers. Fido is not possibly a prize-winning novelist, but is possibly dead or in good health, because of the actual nature and dispositions of Fido. |
| 17052 | The a priori analytic truths involving fixing of reference are contingent [Kripke] |
| Full Idea: If statements whose a priori truth is known via the fixing of a reference are counted as analytic, then some analytic truths are contingent. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 63) |
| 21854 | Bergson showed that memory is not after the event, but coexists with it [Bergson, by Deleuze] |
| Full Idea: Bergson has shown that memory is not an actual image which forms after the object has been perceived, but a virtual image coexisting with the actual perception of the object. | |
| From: report of Henri Bergson (Matter and Memory [1896]) by Gilles Deleuze - The Actual and the Virtual p.114 | |
| A reaction: It strikes me as plausible to say that all conscious life is memory. Perceiving the present instant is only possible because it endures for a tiny moment. |
| 4969 | I regard the mind-body problem as wide open, and extremely confusing [Kripke] |
| Full Idea: I regard the mind-body problem as wide open, and extremely confusing. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 77) | |
| A reaction: Kripke opposes reductive physicalism, but is NOT committed to dualism. He seems to be drawn to Davidson or Nagel (see his note 73). I think his discussion of contingent mind-brain identity is confused. |
| 4956 | A description may fix a reference even when it is not true of its object [Kripke] |
| Full Idea: In some cases an object may be identified, and the reference of a name fixed, using a description which may turn out to be false of its object. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 34) | |
| A reaction: This is clearly possible. Someone could be identified as 'the criminal' when they were actually innocent. Nevertheless, how do you remember which person was baptised 'Aristotle' if you don't hang on to a description, even a false one? |
| 17032 | Even if Gödel didn't produce his theorems, he's still called 'Gödel' [Kripke] |
| Full Idea: If a Gödelian fraud were exposed, Gödel would no longer be called 'the author of the incompleteness theorem', but he would still be called 'Gödel'. The description, therefore, does not abbreviate the name. | |
| From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 37) | |
| A reaction: Clearly we can't make the description a necessary fact about Gödel, but that doesn't invalidate the idea that successful reference needs some description. E.g. Gödel is a person. |
| 14406 | Presentists say that things have existed and will exist, not that they are instantaneous [Merricks] |
| Full Idea: Presentists deny that everything is instantaneous; they think that many objects not only exist, but also have existed and will exist. | |
| From: Trenton Merricks (Truth and Ontology [2007], 6.I) | |
| A reaction: The second half is because presentists are committed to the truth of tensed existence claims (despite a lack of any theory as to how they work). Does anyone hold a theory of Instantaneousism? |
| 14407 | Presentist should deny there is a present time, and just say that things 'exist' [Merricks] |
| Full Idea: I think presentists should deny that there is anything at all that is the present time, just as they should deny that there are past times or future times. They should say that existing at the present time is just 'existing'. | |
| From: Trenton Merricks (Truth and Ontology [2007], 6.I) | |
| A reaction: The whole context is needed to understand Merrick's interesting claim. If there is no present, when can events happen? |
| 14411 | Maybe only presentism allows change, by now having a property, and then lacking it [Merricks] |
| Full Idea: Maybe presentism alone allows for genuine change, by permitting the direct having of a property by something and then, later, the absolute lacking of that property by that same thing. | |
| From: Trenton Merricks (Truth and Ontology [2007], 6.IV n23) | |
| A reaction: Four-dimensionalism (perdurantism) is the view which is most often charged with not explaining change, and that tends to be associated with eternalism. Are there just two coherent packages of views here? |
| 14405 | How can a presentist explain an object's having existed? [Merricks] |
| Full Idea: I am not sure what account presentists should give of an object's having existed. | |
| From: Trenton Merricks (Truth and Ontology [2007], 6.I) | |
| A reaction: Personally I am pretty puzzled by the eternalist and growing-block accounts of an object having existed, so we are all up a gum tree here. The best bet is to pull truth and existence apart, but heaven knows what that implies. See Idea 14399. |