43 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. |
| 4901 | Truth has to be correspondence to facts, and a match between relations of ideas and relations in the world [Perry] |
| Full Idea: I think knowledge and truth are a matter of correspondence to facts, despite all the energy spent showing the naïveté of this view. The connections of our ideas in our heads correspond to relations in the outside world. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: Yes. Modern books offer the difficulties of defining 'correspondence', and finding an independent account of 'facts', as conclusive objections, but I say a brain is a truth machine, and it had better be useful. Indefinability doesn't nullify concepts. |
| 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) |
| 15789 | Lewis's distinction of 'existing' from 'being actual' is Meinong's between 'existing' and 'subsisting' [Lycan on Lewis] |
| Full Idea: I suggest that Lewis's view in fact is just Meinong's view. ...Meinong distinguishes between 'existing' and merely 'subsisting', Lewis between 'being actual' and merely 'existing'. | |
| From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 06 | |
| A reaction: Lewis attempts to make actuality purely 'indexical' in character, like distinguishing the world 'here' from the world 'elsewhere', but Lycan seems right that he is committed to more than that. |
| 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. |
| 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. |
| 4885 | Identity is a very weak relation, which doesn't require interdefinability, or shared properties [Perry] |
| Full Idea: The truth of "a=b" doesn't require much of 'a' and 'b' other than that there is a single thing to which they both refer. They needn't be interdefinable, or have supervenient properties. In this sense, identity is a very weak relation. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §1.2) | |
| A reaction: Interesting. This is seeing the epistemological aspects of identity. Ontologically, identity must invoke Leibniz's Law, and is the ultimately powerful 'relation'. A given student, and the cause of a crop circle, may APPEAR to be quite different. |
| 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. |
| 4899 | Possible worlds thinking has clarified the logic of modality, but is problematic in epistemology [Perry] |
| Full Idea: Using possible worlds to model truth-conditions of statements has led to considerable clarity about the logic of modality. Attempts to use the system for epistemic purposes, however, have been plagued by problems. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: Presumably what lurks behind this is a distinction between what is logically or naturally possible, and what appears to be possible from the perspective of a conscious mind. Is there a possible world in which I can fly? |
| 15790 | Lewis can't know possible worlds without first knowing what is possible or impossible [Lycan on Lewis] |
| Full Idea: Lewis's knowledge of what possible worlds there are and of other general truths about worlds is posterior, not prior, to his knowledge of what things are possible and what things are impossible. | |
| From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 07 | |
| A reaction: This elementary objection seems to me to destroy any attempt to explain modality in terms of possible worlds. It is a semantics for modal statements, but that doesn't make it an ontology. To assess possibilities, study actuality. |
| 15791 | What are the ontological grounds for grouping possibilia into worlds? [Lycan on Lewis] |
| Full Idea: Lewis must seek some ontological ground for the grouping of possibilia into disjoint worlds. | |
| From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 07 | |
| A reaction: I do love people like Lycan who ask the simple commonsense questions about these highly sophisticated systems that students of philosophy are required to study. If a proposition is a 'set of worlds', understanding a proposition is beyond me. |
| 4898 | Possible worlds are indices for a language, or concrete realities, or abstract possibilities [Perry] |
| Full Idea: Possible worlds can be thought of as indices for models of the language in question, or as concrete realities (David Lewis), or as abstract ways the world might be (Robert Stalnaker), or in various other ways. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: I strongly favour the Stalnaker route here. Reducing great metaphysics to mere language I find abhorrent, and I suspect that Lewis was trapped by his commitment to strong empiricism. We must embrace abstractions into our ontology. |
| 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. |
| 4887 | We try to cause other things to occur by causing mental events to occur [Perry] |
| Full Idea: We try to cause other things to occur by causing mental events to occur. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §2.4) | |
| A reaction: A small and obvious, but important, point. Mental causation isn't just thoughts leading to physical happenings. Here Perry means that events can be designed to cause thoughts, such as a threatening letter. Not much room for epiphenomenalism here. |
| 4884 | Brain states must be in my head, and yet the pain seems to be in my hand [Perry] |
| Full Idea: The brain state will involve certain parts of the brain, whereas my feeling of pain seems to be located in my hand insofar as it has a bodily location. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §1.2) | |
| A reaction: This seems important to me. The brain is a ventriloquist. Perry implies that pain is quasi-disembodied, but it isn't, it is just experienced as IN the hand. Perhaps it is in the hand? Cutting the nerves loses contact with the pain. |
| 4888 | It seems plausible that many animals have experiences without knowing about them [Perry] |
| Full Idea: It seems quite plausible to me that many animals have experiences without knowing about them. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §3.1) | |
| A reaction: I agree, which makes us acknowledge levels of consciousness, which probably applies to human experience as well. The simplest idea is to distinguish between experiences which involve concepts, and those which don't. Animals sometimes appear surprised. |
| 4891 | If epiphenomenalism just says mental events are effects but not causes, it is consistent with physicalism [Perry] |
| Full Idea: Epiphenomenalism is usually considered to be a form of dualism, but if we define it as the doctrine that conscious events are effects but not causes, it appears to be consistent with physicalism. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §4.2) | |
| A reaction: Interesting. The theory was invented to put mind outside physics, and make the closure of physics possible. However, being capable of causing things seems to be a necessary condition for physical objects. An effect in one domain is a cause in another. |
| 4900 | Prior to Kripke, the mind-brain identity theory usually claimed that the identity was contingent [Perry] |
| Full Idea: Advocates of the mind-body identity theory typically claimed that identity between particular mental states and brain states was contingent, until Kripke argued persuasively that identity is always necessary. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: Kripke wanted to argue against the identity theory, but what he seems to have done is reformulate it into a much more powerful version (involving necessary identity). |
| 4892 | If physicalists stick with identity (not supervenience), Martian pain will not be like ours [Perry] |
| Full Idea: The physicalist should not retreat to causal supervenience but should stick with identity. This means we will have to accept that a Martian and I (when in pain) are not in the same phenomenal state. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §4.3) | |
| A reaction: We naturally presume that frogs feel pain as we do, but many different phenomenal states could lead to the same behavioural end. Only an unpleasant feeling is required. A foul smell would do. Frogs could function with inverted qualia, too. |
| 4889 | Although we may classify ideas by content, we individuate them differently, as their content can change [Perry] |
| Full Idea: Although we classify ideas by content for many purposes, we do not individuate them by content. The content of an idea can change. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §3.2) | |
| A reaction: As the compiler of this database, I find this very appealing. The mind works exactly like a database. I have a 'file' (Perry's word) marked "London", the content of which undergoes continual change. I am a database management system. |
| 4896 | The intension of an expression is a function from possible worlds to an appropriate extension [Perry] |
| Full Idea: In possible-worlds semantics, expressions have intensions, which are functions from possible worlds to appropriate extensions (names to individuals, n-place predicates to n-tuples, and sentences to truth values, built from parts). | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: Interesting. Perry distinguishes 'referential' (or 'subject matter') content, which is prior to the link to extensions - a link which creates 'reflexive' content. He is keen that they should not become confused. True knowledge is 'situated'. |
| 4897 | A proposition is a set of possible worlds for which its intension delivers truth [Perry] |
| Full Idea: The proposition expressed by a sentence can be thought of as a set of possible worlds, the worlds for which its intension delivers truth. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: It has always struck me as important to hang on to the concept of a 'proposition' (over and above sentences). This idea gives a metaphysics for the concept, and the 'language of thought' offers appropriate brain structures. A neat picture. |
| 4890 | A sharp analytic/synthetic line can rarely be drawn, but some concepts are central to thought [Perry] |
| Full Idea: Although there is seldom a sharp analytic/synthetic distinction to be drawn in the case of our concepts, there are clearly things that are more and less central. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §3.2) | |
| A reaction: Most Americans seem enslaved to Quine on this one, so it is nice to see the obvious being stated for once. Human thought is an organic offshoot of the natural world. To think it is all arbitrary and changeable is human arrogance. |
| 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. |