92 ideas
| 6891 | Quine's naturalistic and empirical view is based entirely on first-order logic and set theory [Quine, by Mautner] |
| Full Idea: Quine has aimed at a naturalistic and empirical world-view, and claims that first-order logic and set theory provide a framework sufficient for the articulation of our knowledge of the world. | |
| From: report of Willard Quine (Word and Object [1960]) by Thomas Mautner - Penguin Dictionary of Philosophy p.465 | |
| A reaction: Consequently he is fairly eliminativist about meaning and mental states, and does without universals in his metaphysics. An impressively puritanical enterprise, taking Ockham's Razor to the limit, but I find it hard to swallow. |
| 6310 | Enquiry needs a conceptual scheme, so we should retain the best available [Quine] |
| Full Idea: No enquiry is possible without some conceptual scheme, so we may as well retain and use the best one we know. | |
| From: Willard Quine (Word and Object [1960], §01) | |
| A reaction: This remark leads to Davidson's splendid paper 'On the Very Idea of a Conceptual Scheme'. Quine's remark raises the question of how we know which conceptual scheme is 'best'. |
| 224 | When questions are doubtful we should concentrate not on objects but on ideas of the intellect [Plato] |
| Full Idea: Doubtful questions should not be discussed in terms of visible objects or in relation to them, but only with reference to ideas conceived by the intellect. | |
| From: Plato (Parmenides [c.366 BCE], 135e) |
| 232 | Opposites are as unlike as possible [Plato] |
| Full Idea: Opposites are as unlike as possible. | |
| From: Plato (Parmenides [c.366 BCE], 159a) |
| 8937 | Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic [Hegel on Plato] |
| Full Idea: Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic. | |
| From: comment on Plato (Parmenides [c.366 BCE]) by Georg W.F.Hegel - Phenomenology of Spirit Pref 71 | |
| A reaction: It is a long way from the analytic tradition of philosophy to be singling out a classic text for its 'artistic' achievement. Eventually we may even look back on, say, Kripke's 'Naming and Necessity' and see it in that light. |
| 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. |
| 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. |
| 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? |
| 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) |
| 12798 | Plurals can in principle be paraphrased away altogether [Quine] |
| Full Idea: By certain standardizations of phrasing the contexts that call for plurals can in principle be paraphrased away altogether. | |
| From: Willard Quine (Word and Object [1960], §19) | |
| A reaction: Laycock, who quotes this, calls it 'unduly optimistic', but I presume that it was the standard view of plural reference until Boolos raised the subject. |
| 13986 | Plato found antinomies in ideas, Kant in space and time, and Bradley in relations [Plato, by Ryle] |
| Full Idea: Plato (in 'Parmenides') shows that the theory that 'Eide' are substances, and Kant that space and time are substances, and Bradley that relations are substances, all lead to aninomies. | |
| From: report of Plato (Parmenides [c.366 BCE]) by Gilbert Ryle - Are there propositions? 'Objections' |
| 14150 | Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato] |
| Full Idea: Plato's 'Parmenides' is perhaps the best collection of antinomies ever made. | |
| From: comment on Plato (Parmenides [c.366 BCE]) by Bertrand Russell - The Principles of Mathematics §337 |
| 17905 | Any progression will do nicely for numbers; they can all then be used to measure multiplicity [Quine] |
| Full Idea: The condition on an explication of number can be put succinctly: any progression will do nicely. Russell once held that one must also be able to measure multiplicity, but this was a mistake; any progression can be fitted to that further condition. | |
| From: Willard Quine (Word and Object [1960], §54) | |
| A reaction: [compressed] This is the strongest possible statement that the numbers are the ordinals, and the Peano Axioms will define them. The Fregean view that cardinality comes first is redundant. |
| 16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
| Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it. | |
| From: Plato (Parmenides [c.366 BCE], 144a) | |
| A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed. |
| 9556 | Nearly all of mathematics has to quantify over abstract objects [Quine] |
| Full Idea: Mathematics, except for very trivial portions such as very elementary arithmetic, is irredeemably committed to quantification over abstract objects. | |
| From: Willard Quine (Word and Object [1960], §55) | |
| A reaction: Personally I would say that we are no more committed to such things than actors in 'The Tempest' are committed to the existence of Prospero and Caliban (which is quite a strong commitment, actually). |
| 229 | The one was and is and will be and was becoming and is becoming and will become [Plato] |
| Full Idea: The one was and is and will be and was becoming and is becoming and will become. | |
| From: Plato (Parmenides [c.366 BCE], 155d) | |
| A reaction: This seems to be rhetorical, rather a precise theory, given that the One is said to be eternal and unchanging. The One is not just what we call 'reality'. |
| 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) |
| 21821 | Plato's Parmenides has a three-part theory, of Primal One, a One-Many, and a One-and-Many [Plato, by Plotinus] |
| Full Idea: The Platonic Parmenides is more exact [than Parmenides himself]; the distinction is made between the Primal One, a strictly pure Unity, and a secondary One which is a One-Many, and a third which is a One-and-Many. | |
| From: report of Plato (Parmenides [c.366 BCE]) by Plotinus - The Enneads 5.1.08 | |
| A reaction: Plotinus approves of this three-part theory. Parmenides has the problem that the highest Being contains no movement. By placing the One outside Being you can give it powers which an existent thing cannot have. Cf the concept of God. |
| 221 | Absolute ideas, such as the Good and the Beautiful, cannot be known by us [Plato] |
| Full Idea: The absolute good and the beautiful and all which we conceive to be absolute ideas are unknown to us. | |
| From: Plato (Parmenides [c.366 BCE], 134c) | |
| A reaction: These seems to thoroughly pre-empt Plato's Theory of Forms a century before he created it. Which shows (as Simone Weil says) that Plato was just part of a long tradition. |
| 16462 | The quest for ultimate categories is the quest for a simple clear pattern of notation [Quine] |
| Full Idea: The quest of a simplest, clearest overall pattern of canonical notation is not to be distinguished from a quest of ultimate categories, a limning of the most general traits of reality. | |
| From: Willard Quine (Word and Object [1960], §33) | |
| A reaction: I won't disagree, as long as we recognise that reality calls the shots, not the notation, and that even animals must have some sort of system of categories, achieved without 'notation'. |
| 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) |
| 15723 | Either dispositions rest on structures, or we keep saying 'all things being equal' [Quine] |
| Full Idea: The further a disposition is from those that can confidently be pinned on molecular structure or something comparably firm, the more our talk of it tends to depend on a vague factor of 'caeteris paribus' | |
| From: Willard Quine (Word and Object [1960], §46) | |
| A reaction: I approve of this. It is precisely the point of scientific essentialism, I take it. We are faced with innumerable uncertain dispositions, but once the underlying mechanisms are known, their role in nature becomes fairly precise. |
| 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. |
| 15490 | Explain unmanifested dispositions as structural similarities to objects which have manifested them [Quine, by Martin,CB] |
| Full Idea: Quine claims that an unmanifested disposition is explicable in terms of an object having a structure similar to a structure of an object that has manifested the supposed disposition. | |
| From: report of Willard Quine (Word and Object [1960], §46) by C.B. Martin - The Mind in Nature 07.4 | |
| A reaction: This is probably the best account available for the firm empiricist who denies modal features in the actual world. In other words, a disposition is the result of an induction, not a conditional statement. |
| 223 | If you deny that each thing always stays the same, you destroy the possibility of discussion [Plato] |
| Full Idea: If a person denies that the idea of each thing is always the same, he will utterly destroy the power of carrying on discussion. | |
| From: Plato (Parmenides [c.366 BCE], 135c) |
| 227 | You must always mean the same thing when you utter the same name [Plato] |
| Full Idea: You must always mean the same thing when you utter the same name. | |
| From: Plato (Parmenides [c.366 BCE], 147d) |
| 210 | It would be absurd to think there were abstract Forms for vile things like hair, mud and dirt [Plato] |
| Full Idea: Are there abstract ideas for such things as hair, mud and dirt, which are particularly vile and worthless? That would be quite absurd. | |
| From: Plato (Parmenides [c.366 BCE], 130d) |
| 228 | Greatness and smallness must exist, to be opposed to one another, and come into being in things [Plato] |
| Full Idea: These two ideas, greatness and smallness, exist, do they not? For if they did not exist, they could not be opposites of one another, and could not come into being in things. | |
| From: Plato (Parmenides [c.366 BCE], 149e) |
| 211 | If admirable things have Forms, maybe everything else does as well [Plato] |
| Full Idea: It is troubling that if admirable things have abstract ideas, then perhaps everything else must have ideas as well. | |
| From: Plato (Parmenides [c.366 BCE], 130d) |
| 219 | If absolute ideas existed in us, they would cease to be absolute [Plato] |
| Full Idea: None of the absolute ideas exists in us, because then it would no longer be absolute. | |
| From: Plato (Parmenides [c.366 BCE], 133c) |
| 220 | The concept of a master includes the concept of a slave [Plato] |
| Full Idea: Mastership in the abstract is mastership of slavery in the abstract. | |
| From: Plato (Parmenides [c.366 BCE], 133e) |
| 16151 | Plato moves from Forms to a theory of genera and principles in his later work [Plato, by Frede,M] |
| Full Idea: It seems to me that Plato in the later dialogues, beginning with the second half of 'Parmenides', wants to substitute a theory of genera and theory of principles that constitute these genera for the earlier theory of forms. | |
| From: report of Plato (Parmenides [c.366 BCE]) by Michael Frede - Title, Unity, Authenticity of the 'Categories' V | |
| A reaction: My theory is that the later Plato came under the influence of the brilliant young Aristotle, and this idea is a symptom of it. The theory of 'principles' sounds like hylomorphism to me. |
| 215 | If things partake of ideas, this implies either that everything thinks, or that everything actually is thought [Plato] |
| Full Idea: If all things partake of ideas, must either everything be made of thoughts and everything thinks, or everything is thought, and so can't think? | |
| From: Plato (Parmenides [c.366 BCE], 132c) |
| 216 | If things are made alike by participating in something, that thing will be the absolute idea [Plato] |
| Full Idea: That by participation in which like things are made like, will be the absolute idea, will it not? | |
| From: Plato (Parmenides [c.366 BCE], 132e) |
| 212 | The whole idea of each Form must be found in each thing which participates in it [Plato] |
| Full Idea: The whole idea of each form (of beauty, justice etc) must be found in each thing which participates in it. | |
| From: Plato (Parmenides [c.366 BCE], 131a) |
| 213 | Each idea is in all its participants at once, just as daytime is a unity but in many separate places at once [Plato] |
| Full Idea: Just as day is in many places at once, but not separated from itself, so each idea might be in all its participants at once. | |
| From: Plato (Parmenides [c.366 BCE], 131b) |
| 218 | Participation is not by means of similarity, so we are looking for some other method of participation [Plato] |
| Full Idea: Participation is not by means of likeness, so we must seek some other method of participation. | |
| From: Plato (Parmenides [c.366 BCE], 133a) |
| 217 | Nothing can be like an absolute idea, because a third idea intervenes to make them alike (leading to a regress) [Plato] |
| Full Idea: It is impossible for anything to be like an absolute idea, because a third idea will appear to make them alike, and if that is like anything, it will lead to another idea, and so on. | |
| From: Plato (Parmenides [c.366 BCE], 133a) |
| 214 | If absolute greatness and great things are seen as the same, another thing appears which makes them seem great [Plato] |
| Full Idea: If you regard the absolute great and the many great things in the same way, will not another appear beyond, by which all these must appear to be great? | |
| From: Plato (Parmenides [c.366 BCE], 132a) |
| 8504 | Quine aims to deal with properties by the use of eternal open sentences, or classes [Quine, by Devitt] |
| Full Idea: Quine is not an 'ostrich', because his strategy for dealing with property sentences is clear enough: all talk of attributes is to be dispensed with in favour of talk of eternal open sentences or talk of classes. | |
| From: report of Willard Quine (Word and Object [1960], §43) by Michael Devitt - 'Ostrich Nominalism' or 'Mirage Realism'? p.100 | |
| A reaction: [See p.209 'Word and Object'] The proposal seems to be that a property like being-human (a category) would be dealt with by classes, and qualitative properties would be dealt with simply as predicates. I like the split, and the first half, not the second. |
| 7924 | The notion of a physical object is by far the most useful one for science [Quine] |
| Full Idea: In a contest of sheer systematic utility to science, the notion of physical object still leads the field. | |
| From: Willard Quine (Word and Object [1960], §48) | |
| A reaction: A delightful circumlocution from someone who seems terrified to assert that there just are objects. Not that I object to Quine's caution. It would be disturbing if his researches had revealed that we could manage without objects. But compare Idea 6124. |
| 8464 | Physical objects in space-time are just events or processes, no matter how disconnected [Quine] |
| Full Idea: Physical objects, conceived four-dimensionally in space-time, are not to be distinguished from events or concrete processes. Each comprises simply the content, however heterogeneous, of a portion of space-time, however disconnected and gerrymandered. | |
| From: Willard Quine (Word and Object [1960], §36) | |
| A reaction: I very much like the suggestion that objects should be thought of as 'processes', but I dislike the idea that they can be gerrymandered. This is a refusal to cut nature at the joints (Idea 7953), which I find very counterintuitive. |
| 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. |
| 15851 | Parts must belong to a created thing with a distinct form [Plato] |
| Full Idea: The part would not be the part of many things or all, but of some one character ['ideas'] and of some one thing, which we call a 'whole', since it has come to be one complete [perfected] thing composed [created] of all. | |
| From: Plato (Parmenides [c.366 BCE], 157d) | |
| A reaction: A serious shot by Plato at what identity is. Harte quotes it (125) and shows that 'character' is Gk 'idea', and 'composed' will translate as 'created'. 'Form' links this Platonic passage to Aristotle's hylomorphism. |
| 15846 | In Parmenides, if composition is identity, a whole is nothing more than its parts [Plato, by Harte,V] |
| Full Idea: At the heart of the 'Parmenides' puzzles about composition is the thesis that composition is identity. Considered thus, a whole adds nothing to an ontology that already includes its parts | |
| From: report of Plato (Parmenides [c.366 BCE]) by Verity Harte - Plato on Parts and Wholes 2.5 | |
| A reaction: There has to be more to a unified identity that mere proximity of the parts. When do parts come together, and when do they actually 'compose' something? |
| 15849 | Plato says only a one has parts, and a many does not [Plato, by Harte,V] |
| Full Idea: In 'Parmenides' it is argued that a part cannot be part of a many, but must be part of something one. | |
| From: report of Plato (Parmenides [c.366 BCE], 157c) by Verity Harte - Plato on Parts and Wholes 3.2 | |
| A reaction: This looks like the right way to go with the term 'part'. We presuppose a unity before we even talk of its parts, so we can't get into contradictions and paradoxes about their relationships. |
| 15850 | Anything which has parts must be one thing, and parts are of a one, not of a many [Plato] |
| Full Idea: The whole of which the parts are parts must be one thing composed of many; for each of the parts must be part, not of a many, but of a whole. | |
| From: Plato (Parmenides [c.366 BCE], 157c) | |
| A reaction: This is a key move of metaphysics, and we should hang on to it. The other way madness lies. |
| 13259 | It seems that the One must be composed of parts, which contradicts its being one [Plato] |
| Full Idea: The One must be composed of parts, both being a whole and having parts. So on both grounds the One would thus be many and not one. But it must be not many, but one. So if the One will be one, it will neither be a whole, nor have parts. | |
| From: Plato (Parmenides [c.366 BCE], 137c09), quoted by Kathrin Koslicki - The Structure of Objects 5.2 | |
| A reaction: This is the starting point for Plato's metaphysical discussion of objects. It seems to begin a line of thought which is completed by Aristotle, surmising that only an essential structure can bestow identity on a bunch of parts. |
| 8482 | Mathematicians must be rational but not two-legged, cyclists the opposite. So a mathematical cyclist? [Quine] |
| Full Idea: Mathematicians are necessarily rational, and not necessarily two-legged; cyclists are the opposite. But what of an individual who counts among his eccentricities both mathematics and cycling? | |
| From: Willard Quine (Word and Object [1960], §41) | |
| A reaction: Quine's view is that the necessity (and essence) depends on how this eccentric is described. If he loses a leg, he must give up cycling; if he loses his rationality, he must give up the mathematics. Quine is wrong. |
| 12136 | Cyclist are not actually essentially two-legged [Brody on Quine] |
| Full Idea: Cyclists are not essentially two-legged (a one-legged cyclist exists, but can't cycle any more), and mathematicians are not essentially rational (as they can lose rationality and continue to exist, though unable to do mathematics). | |
| From: comment on Willard Quine (Word and Object [1960], §41.5) by Baruch Brody - Identity and Essence 5.1 | |
| A reaction: Was Quine thinking of the nominal essence of this person - that 'cyclists' necessarily cylce, and 'mathematicians' necessarily do some maths? It is as bad to confuse 'necessary' with 'essential' as to confuse 'use' with 'mention'. |
| 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. |
| 17594 | We can paraphrase 'x=y' as a sequence of the form 'if Fx then Fy' [Quine] |
| Full Idea: For general terms write 'if Fx then Fy' and vice versa, and 'if Fxz then Fyz'..... The conjunction of all these is coextensive with 'x=y' if any formula constructible from the vocabulary is; and we can adopt that conjunction as our version of identity. | |
| From: Willard Quine (Word and Object [1960], §47) | |
| A reaction: [first half compressed] The main rival views of equality are this and Wiggins (1980:199). Quine concedes that his account implies a modest version of the identity of indiscernibles. Wiggins says identity statements need a sortal. |
| 15847 | Two things relate either as same or different, or part of a whole, or the whole of the part [Plato] |
| Full Idea: Everything is surely related to everything as follows: either it is the same or different; or, if it is not the same or different, it would be related as part to whole or as whole to part. | |
| From: Plato (Parmenides [c.366 BCE], 146b) | |
| A reaction: This strikes me as a really helpful first step in trying to analyse the nature of identity. Two things are either two or (actually) one, or related mereologically. |
| 15725 | Normal conditionals have a truth-value gap when the antecedent is false. [Quine] |
| Full Idea: In its unquantified form 'If p then q' the indicative conditional is perhaps best represented as suffering a truth-value gap whenever its antecedent is false. | |
| From: Willard Quine (Word and Object [1960], §46) | |
| A reaction: That is, the clear truth-functional reading of the conditional (favoured by Lewis, his pupil) is unacceptable. Quine favours the Edgington line, that we are only interested in situations where the antecedent might be true. |
| 15722 | Conditionals are pointless if the truth value of the antecedent is known [Quine] |
| Full Idea: The ordinary conditional loses its point when the truth value of its antecedent is known. | |
| From: Willard Quine (Word and Object [1960], §46) | |
| A reaction: A beautifully simple point that reveals a lot about what conditionals are. |
| 15719 | We feign belief in counterfactual antecedents, and assess how convincing the consequent is [Quine] |
| Full Idea: The subjunctive conditional depends, like indirect quotation and more so, on a dramatic projection: we feign belief in the antececent and see how convincing we then find the consequent. | |
| From: Willard Quine (Word and Object [1960], §46) | |
| A reaction: This seems accurate. It means that we are only interested in when the antecedent is true, and when it is false is irrelevant. |
| 15721 | Counterfactuals are plausible when dispositions are involved, as they imply structures [Quine] |
| Full Idea: The subjunctive conditional is seen at its most respectable in the disposition terms. ...The reason is that they are conceived as built-in, enduring structural traits. | |
| From: Willard Quine (Word and Object [1960], §46) | |
| A reaction: Surprisingly, this is very sympathetic to a metaphysical view that seems a long way from Quine, since dispositions seem to invite commitment to modal features of reality. But the structural traits are not, of course, modal, in any way! |
| 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. |
| 15720 | What stays the same in assessing a counterfactual antecedent depends on context [Quine] |
| Full Idea: The traits to suppose preserved in a counterfactual depend on sympathy for the fabulist's purpose. Compare 'If Caesar were in command, he would use the atom bomb', and 'If Caesar were in command, he would use catapults'. | |
| From: Willard Quine (Word and Object [1960], §46) | |
| A reaction: This seems to be an important example for the Lewis approach, since you are asked to consider the 'nearest' possible world, but that will depend on context. |
| 15724 | Counterfactuals have no place in a strict account of science [Quine] |
| Full Idea: The subjunctive conditional has no place in an austere canonical notation for science - but that ban is less restrictive than would at first appear. | |
| From: Willard Quine (Word and Object [1960], §46) | |
| A reaction: Idea 15723 shows what he has in mind - that what science aims for is accounts of dispositional mechanisms, which then leave talk of other possible worlds (in Lewis style) as unnecessary. I may be with Quine one this one. |
| 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. |
| 4630 | Two theories can be internally consistent and match all the facts, yet be inconsistent with one another [Quine, by Baggini /Fosl] |
| Full Idea: Duhem and Quine have maintained that it may be possible to develop two or more theories that are 1) internally consistent, 2) inconsistent with one another, and 3) perfectly consistent with all the data we can muster. | |
| From: report of Willard Quine (Word and Object [1960]) by J Baggini / PS Fosl - The Philosopher's Toolkit §1.06 | |
| A reaction: Obviously this may be a contingent truth about our theories, but why not presume that this is because we are unable to collect the crucial data (e.g. about prehistoric biology), rather than denigrate the whole concept of a theory, and undermine science? |
| 3131 | Quine expresses the instrumental version of eliminativism [Quine, by Rey] |
| Full Idea: Quine expresses the instrumental version of eliminativism. | |
| From: report of Willard Quine (Word and Object [1960]) by Georges Rey - Contemporary Philosophy of Mind Int.3 |
| 3988 | Indeterminacy of translation also implies indeterminacy in interpreting people's mental states [Dennett on Quine] |
| Full Idea: Quine's thesis of the indeterminacy of radical translation carries all the way in, as the thesis of the indeterminacy of radical interpretation of mental states and processes. | |
| From: comment on Willard Quine (Word and Object [1960]) by Daniel C. Dennett - Daniel Dennett on himself p.239 | |
| A reaction: Strong scepticism seems wrong here. Davidson's account of charity in interpretation, and the role of truth, seems closer. |
| 6311 | The firmer the links between sentences and stimuli, the less translations can diverge [Quine] |
| Full Idea: The firmer the direct links of a sentence with non-verbal stimulation, the less drastically its translations can diverge from one another from manual to manual. | |
| From: Willard Quine (Word and Object [1960], §07) | |
| A reaction: This implies (plausibly) that talk about farming will have fairly determinate translations into foreign languages, but talk of philosophy will not. An interesting case is logic, where we might expect tight translation with little non-verbal stimulation. |
| 6312 | We can never precisely pin down how to translate the native word 'Gavagai' [Quine] |
| Full Idea: There is no evident criterion whereby to strip extraneous effects away and leave just the meaning of 'Gavagai' properly so-called - whatever meaning properly so-called may be. | |
| From: Willard Quine (Word and Object [1960], §09) | |
| A reaction: Quine's famous assertion that translation is ultimately 'indeterminate'. Huge doubts about meaning and language and truth follow from his claim. Personally I think it is rubbish. People become fluent in very foreign languages, and don't have breakdowns. |
| 6313 | Stimulus synonymy of 'Gavagai' and 'Rabbit' does not even guarantee they are coextensive [Quine] |
| Full Idea: Stimulus synonymy of the occasion sentences 'Gavagai' and 'Rabbit' does not even guarantee that 'gavagai' and 'rabbit' are coextensive terms, terms true of the same things. | |
| From: Willard Quine (Word and Object [1960], §12) | |
| A reaction: Since this scepticism eventually seems to result in the reader no longer knowing what they mean themselves by the word 'rabbit', I doubt Quine's claim. Problems after hearing one word of a foreign language disappear after years of residence. |
| 6317 | Dispositions to speech behaviour, and actual speech, are never enough to fix any one translation [Quine] |
| Full Idea: Rival systems of analytical hypotheses can fit the totality of speech behaviour to perfection, and can fit the totality of dispositions to speech behaviour as well, and still specify mutually incompatible translations of countless sentences. | |
| From: Willard Quine (Word and Object [1960], §15) | |
| A reaction: This is Quine's final assertion of indeterminacy, having explored charity, bilingual speakers etc. It seems to me that he is a victim of his underlying anti-realism, which won't allow nature to dictate ways of cutting up the world. |
| 6314 | Weird translations are always possible, but they improve if we impose our own logic on them [Quine] |
| Full Idea: Wanton translation can make natives sound as queer as one pleases; better translation imposes our logic upon them. | |
| From: Willard Quine (Word and Object [1960], §13) | |
| A reaction: This begins to point towards the principle of charity, on which Davidson is so keen, and even on doubts whether two different conceptual schemes are possible. Personally I think there is only one logic (deep down), and the natives will have it. |
| 6315 | We should be suspicious of a translation which implies that a people have very strange beliefs [Quine] |
| Full Idea: The more absurd or exotic the beliefs imputed to a people, the more suspicious we are entitled to be of the translations. | |
| From: Willard Quine (Word and Object [1960], §15) | |
| A reaction: Quine is famous for his relativist and indeterminate account of translation, but he gradually works his way towards the common sense which Davidson later brought out into the open. |
| 222 | Only a great person can understand the essence of things, and an even greater person can teach it [Plato] |
| Full Idea: Only a man of very great natural gifts will be able to understand that everything has a class and absolute essence, and an even more wonderful man can teach this. | |
| From: Plato (Parmenides [c.366 BCE], 135a) |
| 225 | The unlimited has no shape and is endless [Plato] |
| Full Idea: The unlimited partakes neither of the round nor of the straight, because it has no ends nor edges. | |
| From: Plato (Parmenides [c.366 BCE], 137e) |
| 233 | Some things do not partake of the One [Plato] |
| Full Idea: The others cannot partake of the one in any way; they can neither partake of it nor of the whole. | |
| From: Plato (Parmenides [c.366 BCE], 159d) | |
| A reaction: Compare Idea 231 |
| 2062 | The only movement possible for the One is in space or in alteration [Plato] |
| Full Idea: If the One moves it either moves spatially or it is altered, since these are the only motions. | |
| From: Plato (Parmenides [c.366 BCE], 138b) |
| 231 | Everything partakes of the One in some way [Plato] |
| Full Idea: The others are not altogether deprived of the one, for they partake of it in some way. | |
| From: Plato (Parmenides [c.366 BCE], 157c) | |
| A reaction: Compare Idea 233. |
| 24231 | The One is timeless, has no being or identity, and cannot be known [Plato] |
| Full Idea: The One has no share of time, nor is it in any time. …The One in no way partakes of being, so the One in no way is. …The One neither is one nor is. …It is not named or spoken of, nor is it the object of opinion, nor does anything that is perceive it. | |
| From: Plato (Parmenides [c.366 BCE], 141d-142a) | |
| A reaction: [Phrases lifted from a page-long detailed argument] Given all of this, it is surprising that the One is not dismissed entirely. That leaves it as an object of mystical belief. |
| 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. |
| 234 | We couldn't discuss the non-existence of the One without knowledge of it [Plato] |
| Full Idea: There must be knowledge of the one, or else not even the meaning of the words 'if the one does not exist' would be known. | |
| From: Plato (Parmenides [c.366 BCE], 160d) |