44 ideas
19215 | Arguers often turn the opponent's modus ponens into their own modus tollens [Merricks] |
Full Idea: There is a seasoned method of turning your opponent's modus ponens into your own modus tollens. | |
From: Trenton Merricks (Propositions [2015], 5.VII) | |
A reaction: That is, they say 'if he's coming he'll be hear by now, and he's definitely coming', to which you say 'I'm afraid he's not here, so he obviously isn't coming after all'. They say if-A-then-B, and A, so B. You say not-B, so you're wrong about A. |
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. |
19205 | 'Snow is white' only contingently expresses the proposition that snow is white [Merricks] |
Full Idea: It is contingently true that 'snow is white' expresses the proposition that snow is white. | |
From: Trenton Merricks (Propositions [2015], 1.V n14) | |
A reaction: Tarski stuck to sentences, but Merricks rightly argues that truth concerns propositions, not sentences. Sentences are subservient entities - mere tools used to express what matters, which is our thoughts (say I). |
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) |
19209 | Simple Quantified Modal Logc doesn't work, because the Converse Barcan is a theorem [Merricks] |
Full Idea: Logical consequence guarantees preservation of truth. The Converse Barcan, a theorem of Simple Quantified Modal Logic, says that an obvious truth implies an obvious falsehood. So SQML gets logical consequence wrong. So SQML is mistaken. | |
From: Trenton Merricks (Propositions [2015], 2.V) | |
A reaction: I admire this. The Converse Barcan certainly strikes me as wrong (Idea 19208). Merricks grasps this nettle. Williamson grasps the other nettle. Most people duck the issue, I suspect. Merricks says later that domains are the problem. |
19208 | The Converse Barcan implies 'everything exists necessarily' is a consequence of 'necessarily, everything exists' [Merricks] |
Full Idea: The Converse Barcan Formula has a startling result. Simple Quantified Modal Logic (SQML) has the following as a theorem: □∀xFx → ∀x□Fx. So 'everything exists necessarily' is a consequence of 'necessarily, everything exists'. | |
From: Trenton Merricks (Propositions [2015], 2.V) | |
A reaction: He says this is blatantly wrong. Williamson is famous for defending it. I think I'm with Merricks on this one. |
19207 | Sentence logic maps truth values; predicate logic maps objects and sets [Merricks] |
Full Idea: The models for sentential logic map sentences to truth-values. The models for predicate logic map parts of sentences to objects and sets. | |
From: Trenton Merricks (Propositions [2015], 2.II) | |
A reaction: Logic books rarely tell you important things like this. That is why this database is so incredibly important! You will never understand the subject if you don't collect together the illuminating asides of discussion. They say it all so much more simply. |
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. |
19214 | In twinning, one person has the same origin as another person [Merricks] |
Full Idea: Origin essentialists claim that parental union results in a person, and that person could not have resulted from any other union. However, if the fertilised egg undergoes twinning, at least one of the resultant persons is not the original person. | |
From: Trenton Merricks (Propositions [2015], 5.V) | |
A reaction: Merricks says that therefore that origin could have just produced the second twin, rather than the original person. This is interesting, but doesn't seem to threaten the necessity of origin thesis. Once I'm here, I have that origin, despite my twin. |
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. |
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. |
19217 | I don't accept that if a proposition is directly about an entity, it has a relation to the entity [Merricks] |
Full Idea: The Aboutness Assumption says that necessarily, if a proposition is directly about an entity, then that proposition stands in a relation to the entity. I shall argue that the Assumption is false. | |
From: Trenton Merricks (Propositions [2015], 5.VII) | |
A reaction: This feels sort of right, though the nature of aboutness remains elusive. He cites denials of existence. I take speech to be fairly internal, even though its main role is communication. Maybe its a Cambridge relation, as far as the entity is concerned. |
19203 | A sentence's truth conditions depend on context [Merricks] |
Full Idea: A sentence has truth conditions only in a context of use. And the truth conditions of many sentences can differ from one context of use to another (as in 'I am a philosopher'). | |
From: Trenton Merricks (Propositions [2015], 1.II) | |
A reaction: He is building a defence of propositions, because they are eternal, and have their truth conditions essentially. I too am a fan of propositions. |
19200 | Propositions are standardly treated as possible worlds, or as structured [Merricks] |
Full Idea: The thesis that propositions are sets of possible worlds is one of the two leading accounts of the nature of propositions. The other leading account endorses structured propositions. | |
From: Trenton Merricks (Propositions [2015], Intro) | |
A reaction: Merricks sets out to reject both main views. I take the idea that propositions actually are sets of possible worlds to be ridiculous (though they may offer a way of modelling them). The idea that they have no structure at all strikes me as odd. |
19206 | 'Cicero is an orator' represents the same situation as 'Tully is an orator', so they are one proposition [Merricks] |
Full Idea: The proposition expressed by 'Cicero is an orator' represents things as being exactly the same way as does the proposition expressed by 'Tully is an orator'. Hence two sentences express the same proposition. Fregeans about names deny this. | |
From: Trenton Merricks (Propositions [2015], 2.II) | |
A reaction: Merricks makes the situation in the world fix the contents of the proposition. I don't agree. I would expand the first proposition as 'The person I know as 'Cicero' was an orator', but I might never have heard of 'Tully'. |
19202 | Propositions are necessary existents which essentially (but inexplicably) represent things [Merricks] |
Full Idea: My account says that each proposition is a necessary existent that essentially represents things as being a certain way, ...and there is no explanation of how propositions do that. | |
From: Trenton Merricks (Propositions [2015], Intro) | |
A reaction: Since I take propositions to be brain events, I don't expect much of an explanation either. The idea that propositions necessarily exist strikes me as false. If there were no minds, there would have been no propositions. |
19204 | True propositions existed prior to their being thought, and might never be thought [Merricks] |
Full Idea: 1,000 years ago, no sentence had ever expressed, and no one had believed, the true proposition 'a water molecule has two hydrogen and one oxygen atoms'. There are surely true propositions that have never been, and never will be, expressed or believed. | |
From: Trenton Merricks (Propositions [2015], 1.V) | |
A reaction: 'Surely'? Surely not! How many propositions exist? Where do they exist? What are they made of? If they already exist when we think them, how do we tune into them? When did his example come into existence? Before water did? No! No! |
19210 | The standard view of propositions says they never change their truth-value [Merricks] |
Full Idea: The standard view among philosophers nowadays seems to be that propositions do not and even cannot change in truth-value. But my own view is that some propositions can, and do, change in truth value. | |
From: Trenton Merricks (Propositions [2015], 3.VII) | |
A reaction: He gives 'that A sits' as an example of one which can change, though 'that A sits at time t' cannot change. I take Merricks to be obviously right, and cannot get my head round the 'standard' view. What on earth do they think a proposition is? |
19201 | Propositions can be 'about' an entity, but that doesn't make the entity a constituent of it [Merricks] |
Full Idea: If a singular proposition is 'directly about' an entity, I argue that a singular proposition does not have the entity that it is directly about as a constituent. | |
From: Trenton Merricks (Propositions [2015], Intro) | |
A reaction: This opposes the view of the early Russell, that propositions actually contain the entities they are about, thus making propositions real features of the external world. I take that view of Russell's to be absurd. |
19211 | Early Russell says a proposition is identical with its truthmaking state of affairs [Merricks] |
Full Idea: I describe Russell's 1903 account of propositions as the view that each proposition is identical with the state of affairs that makes that proposition true. That is, a proposition is identical with its 'truthmaking' state of affairs. | |
From: Trenton Merricks (Propositions [2015], 4.II) | |
A reaction: Russell soon gave this view up (false propositions proving tricky), and I'm amazed anyone takes it seriously. I take it as axiomatic that if there were no minds there would be no propositions. Was the Big Bang a set of propositions? |
19212 | Unity of the proposition questions: what unites them? can the same constituents make different ones? [Merricks] |
Full Idea: What binds the constituents of a structured proposition together into a single unity, a proposition? Can the very same constituents constitute two distinct propositions? These are questions about 'the unity of the proposition'. | |
From: Trenton Merricks (Propositions [2015], 4.II) | |
A reaction: Merricks solves it by saying propositions have no structure. The problem is connected to the nature of predication (instantiation, partaking). You can't just list objects and their properties. Objects are united, and thus propositions are too. |
19213 | We want to explain not just what unites the constituents, but what unites them into a proposition [Merricks] |
Full Idea: A successful account of the unity of the proposition tells us what unites the relevant constituents not merely into some entity or other, but into a proposition. | |
From: Trenton Merricks (Propositions [2015], 4.X) | |
A reaction: Merrickes takes propositions to be unanalysable unities, but their central activity is representation, so if they needed uniting, that would be the place to look. Some people say that we unite our propositions. Others say the world does. I dunno. |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
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. |