100 ideas
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.364 BCE], 135e) |
232 | Opposites are as unlike as possible [Plato] |
Full Idea: Opposites are as unlike as possible. | |
From: Plato (Parmenides [c.364 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.364 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. |
17998 | Category mistakes are either syntactic, semantic, or pragmatic [Magidor] |
Full Idea: A plausible case can be made for explaining the phenomenon of category mistakes in terms of each of syntax, semantics, and pragmatics. | |
From: Ofra Magidor (Category Mistakes [2013], 1.1) | |
A reaction: I want to explain them in terms of (structured) ontology, but she totally rejects that on p.156. Her preferred account is that they are presupposition failures, which is pragmatics. She splits the semantic view into truth-valued and non-truth-valued. |
18019 | People have dreams which involve category mistakes [Magidor] |
Full Idea: It is an empirical fact that people often sincerely report having had dreams which involve category mistakes. | |
From: Ofra Magidor (Category Mistakes [2013], 3.4) | |
A reaction: She doesn't give any examples, but I was thinking that this might be the case before I read this idea. Dreams seem to allow you to live with gaps in reality that we don't tolerate when awake. |
18011 | Category mistakes seem to be universal across languages [Magidor] |
Full Idea: The infelicity of category mistakes seems to be universal across languages. | |
From: Ofra Magidor (Category Mistakes [2013], 2.3) | |
A reaction: Magidor rightly offers this fact to refute the claim that category mistakes are purely syntax (since syntax obviously varies hugely across languages). I also take the fact to show that category mistakes concern the world, and not merely language. |
18012 | Category mistakes as syntactic needs a huge number of fine-grained rules [Magidor] |
Full Idea: A syntactic theory of category mistakes would require not only general syntactic features such as must-be-human, but also highly particular ones such as must-be-a-grape. | |
From: Ofra Magidor (Category Mistakes [2013], 2.3) | |
A reaction: Her grape example comes from Hebrew, but an English example might be the verb 'to hull', which is largely exclusive to strawberries. The 'must-be' form is one of Chomsky's 'selectional features'. |
18013 | Embedded (in 'he said that…') category mistakes show syntax isn't the problem [Magidor] |
Full Idea: The embedding data (such as 'John said that the number two is green', compared to '*John said that me likes apples') strongly suggests that category mistakes are not syntactically ill-formed. | |
From: Ofra Magidor (Category Mistakes [2013], 2.4) | |
A reaction: Sounds conclusive. The report of John's category error, unlike the report of his remark about apples, seems perfectly syntactically acceptable. |
18016 | Two good sentences should combine to make a good sentence, but that might be absurd [Magidor] |
Full Idea: The principle that if 'p' and 'q' are meaningful sentences then 'p and q' is a meaningful sentence seems highly plausible. But now consider the following example: 'That is a number and that is green'. | |
From: Ofra Magidor (Category Mistakes [2013], 3.2.2) | |
A reaction: This challenges the defence of the meaningfulness of category mistakes on the basis of strong compositionality. |
18015 | The normal compositional view makes category mistakes meaningful [Magidor] |
Full Idea: The principle that if a competent speaker understands some terms then they understand a sentence made up of them entails that category mistakes are meaningful (as in understanding 'the number two' and 'is green'). | |
From: Ofra Magidor (Category Mistakes [2013], 3.2.1) | |
A reaction: [compressed version] It is normal to impose restrictions on plausible compositionality, and thus back away from this claim, but I rather sympathise with it. She adds to a second version of the principle the proviso 'IF the sentence is meaningful'. |
18017 | If a category mistake is synonymous across two languages, that implies it is meaningful [Magidor] |
Full Idea: Two sentences are synonymous if they have the same meaning, suggesting that they must both be meaningful. On the face of it the English 'two is green' and French 'deux est vert' are synonymous, suggesting meaningful category mistakes. | |
From: Ofra Magidor (Category Mistakes [2013], 3.3) | |
A reaction: I'm fairly convinced already that most category mistakes are meaningful, and this seems to confirm the view. Some mistakes could be so extreme that no auditor could compute their meaning, especially if you concatenated lots of them. |
18021 | Category mistakes are meaningful, because metaphors are meaningful category mistakes [Magidor] |
Full Idea: Metaphors must have literal meanings. …Since many metaphors involving category mistakes manage to achieve their metaphorical purpose, they must also have literal meanings, so category mistakes must be (literally) meaningful. | |
From: Ofra Magidor (Category Mistakes [2013], 3.5) | |
A reaction: Hm. 'This guy is so weird that to meet him is to encounter a circular square'. |
18031 | If a category mistake has unimaginable truth-conditions, then it seems to be meaningless [Magidor] |
Full Idea: One motivation for taking category mistakes to be meaningless is that one cannot even imagine what it would take for 'Two is green' to be true. …Underlying this complaint is sometimes the thought that the meaning of a sentence is its truth-conditions. | |
From: Ofra Magidor (Category Mistakes [2013], 3.6) | |
A reaction: I defend the view that most sentences are meaningful if they compose from meaningful parts, but you have to acknowledge this view. It seems to come in degrees. Sentences can have fragmentary meaning, or be almost meaningful, or offer a glimpse of meaning? |
18030 | A good explanation of why category mistakes sound wrong is that they are meaningless [Magidor] |
Full Idea: The meaninglessness view does seem to offer a simple and compelling explanation for the fact that category mistakes are highly infelicitous. | |
From: Ofra Magidor (Category Mistakes [2013], 3.6) | |
A reaction: However, I take there to be quite a large gulf between why meaningless sentences like 'squares turn happiness into incommensurability', which I would call 'category blunders', and subtle category mistakes, which are meaningful. |
18032 | Category mistakes are neither verifiable nor analytic, so verificationism says they are meaningless [Magidor] |
Full Idea: No sense experience shows that 'two is green' is true or false. But neither is 'two is green' analytically true or false. So it fails to have legitimate verification conditions and hence, by the lights of traditional verificationism, it is meaningless. | |
From: Ofra Magidor (Category Mistakes [2013], 3.6.2) | |
A reaction: If a category mistake is an error in classification, then it would seem to be analytically false. If it wrongly attributes a property to something, that makes it verifiably false. The problem is to verify anything at all about 'two'. |
18034 | Category mistakes play no role in mental life, so conceptual role semantics makes them meaningless [Magidor] |
Full Idea: One might argue that conceptual role semantics entails that category mistakes are meaningless. Sentences such as 'two is green' play no role in the cognitive life of any agent. | |
From: Ofra Magidor (Category Mistakes [2013], 3.6.2) | |
A reaction: [She quotes Block's definition of conceptual role semantics] I would have thought that if a category mistake is believed by an agent, it could play a huge role in their cognitive life. |
18037 | Maybe when you say 'two is green', the predicate somehow fails to apply? [Magidor] |
Full Idea: One might argue that although 'two' refers to the number two, and 'is green' expresses the property of being green, in 'two is green' the property somehow fails to apply to the number two. | |
From: Ofra Magidor (Category Mistakes [2013], 4.2) | |
A reaction: It is an interesting thought that you say something which applies a predicate to an object, but the predicate then 'fails to apply' for reasons of its own, over which you have no control. The only possible cause of the failure is the nature of reality. |
18039 | If category mistakes aren't syntax failure or meaningless, maybe they just lack a truth-value? [Magidor] |
Full Idea: Having rejected the syntactic approach and the meaninglessness view, one might feel that the last resort for explaining the defectiveness of category mistakes is to claim that they are truth-valueless (even if meaningful). | |
From: Ofra Magidor (Category Mistakes [2013], 4.3.1) | |
A reaction: She rejects this one as well, and votes for a pragmatic explanation, in terms of presupposition failure. The view I incline towards is just that they are false, despite being well-formed, meaningful and truth-valued. |
18041 | Category mistakes suffer from pragmatic presupposition failure (which is not mere triviality) [Magidor] |
Full Idea: I argue that category mistakes are infelicitous because they suffer from (pragmatic) presupposition failure, ...but I reject the 'naive pragmatic approach' according to which category mistakes are infelicitous because they are trivially true or false. | |
From: Ofra Magidor (Category Mistakes [2013], 5.1) | |
A reaction: She supports her case quite well, but I vote for them being false. The falsity may involve presuppositions. 'Two is green' is a category mistake, and false, because 'two' lacks the preconditions for anything to be coloured (notably, emitting light). |
18058 | Maybe the presuppositions of category mistakes are the abilities of things? [Magidor] |
Full Idea: The most promising way to characterise the presuppositions involved in category mistakes might be to rephrase them in modal terms ('x is able to be pregnant', 'x is able to be green'). | |
From: Ofra Magidor (Category Mistakes [2013], 5.4.3) | |
A reaction: This catches my attention because it suggests that category mistakes contradict dispositions, rather than contradicting classifications or types. 'Let's use a magnet to repel this iron'? The dispositions of 'two' and 'green' in 'two is green'? Hm |
18056 | Category mistakes because of presuppositions still have a truth value (usually 'false') [Magidor] |
Full Idea: I am assuming that even in those contexts in which the presupposition of 'the number two is green' fails and the utterance is infelicitious, it nevertheless receives a bivalent truth-value (presumably 'false'). | |
From: Ofra Magidor (Category Mistakes [2013], 5.4.1) | |
A reaction: It seems to me obvious that, in normal contexts, 'the number two is green' is false, rather than meaningless. Is 'the number eight is an odd number' meaningless? |
18055 | In 'two is green', 'green' has a presupposition of being coloured [Magidor] |
Full Idea: My proposal is that the truth-conditional content of 'green' (in 'two is green') is the property of being green, and its presuppositional content is the property of being coloured. | |
From: Ofra Magidor (Category Mistakes [2013], 5.4.1) | |
A reaction: This requires a two-dimensional semantics of truth-conditional and presuppositional content. I fear it may have a problem she spotted elsewhere, of overgenerating presuppositions. Eyes are presupposed by 'green'. Ambient light is required. |
18057 | 'Numbers are coloured and the number two is green' seems to be acceptable [Magidor] |
Full Idea: 'The number two is green' is normally infelicitous, but, interestingly, 'numbers are coloured and the number two is green' is not infelicitous. | |
From: Ofra Magidor (Category Mistakes [2013], 5.4.1) | |
A reaction: A nice example, which gives good support for her pragmatic account of category mistakes in terms of presupposition failure. But how about 'figures can have contradictory shapes, and this square is circular'? Numbers are not coloured!!! |
18059 | The presuppositions in category mistakes reveal nothing about ontology [Magidor] |
Full Idea: My pragmatic account of category mistakes does not support a key role for them in metaphysics. It is highly doubtful that the presuppositions associated with category mistakes reveal anything about the fundamental nature of ontological categories. | |
From: Ofra Magidor (Category Mistakes [2013], 5.6) | |
A reaction: Thus she dashes my hope, without even bothering to offer a reason. I think she should push her enquiry further, and ask why we presuppose things. Why do we take presuppositions for granted? Why are they obvious? |
18040 | Intensional logic maps logical space, showing which predicates are compatible or incompatible [Magidor] |
Full Idea: Intensional logic aims to capture necessary relations between certain predicates, such as that 'green all over' and 'red all over' cannot be co-instantiated. Each predicate is allocated a set of points in logical space, and every object has one point. | |
From: Ofra Magidor (Category Mistakes [2013], 4.4) | |
A reaction: This produces an intriguing model of reality, as a vast and rich space of multiply overlapping modal predicates. Things can be blue, square, dangerous and large. They can't be small and large, or square and round. Objects are optional extras! |
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.364 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.364 BCE]) by Bertrand Russell - The Principles of Mathematics §337 |
17997 | Some suggest that the Julius Caesar problem involves category mistakes [Magidor] |
Full Idea: Various authors have argued that identity statements arising in the context of the 'Julius Caesar' problem in philosophy of mathematics constitute category mistakes. | |
From: Ofra Magidor (Category Mistakes [2013], 1.1 n1) | |
A reaction: [She cites Benacerraf 1965 and Shapiro 1997:79] |
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.364 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. |
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.364 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'. |
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.364 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.364 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. |
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.364 BCE], 147d) |
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.364 BCE], 135c) |
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.364 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.364 BCE], 133c) |
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.364 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.364 BCE], 130d) |
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.364 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.364 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. |
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.364 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.364 BCE], 131b) |
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.364 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.364 BCE], 132e) |
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.364 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.364 BCE], 132a) |
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.364 BCE], 133a) |
12132 | Indiscernibility is a necessary and sufficient condition for identity [Brody] |
Full Idea: Enduring objects should be taken as fundamental in an ontology, and for all such objects indiscernibility is both a necessary and sufficient condition for identity. | |
From: Baruch Brody (Identity and Essence [1980], 3) | |
A reaction: Brody offers a substantial defence, but I don't find it plausible. Apart from Black's well known twin spheres example (Idea 10195), discernibility is relative to the powers of the observer. Two similar people in the mist aren't thereby identical. |
15834 | Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P] |
Full Idea: Brody bases sortal essentialism on the notion of a property that an individual must possess throughout its existence if it possesses it at any time in its existence. | |
From: report of Baruch Brody (Identity and Essence [1980]) by Penelope Mackie - How Things Might Have Been 7.1 | |
A reaction: Brody tends to treat categories as properties, which I dislike. How do you assess 'must' here? A person may possess a mole throughout life without it being essential. |
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.364 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. |
18060 | We can explain the statue/clay problem by a category mistake with a false premise [Magidor] |
Full Idea: Since 'the lump of clay is Romanesque' is a category mistake, a pragmatic account of that phenomenon is key to pursuing the strategy of saying that the problem rests on a false premise. | |
From: Ofra Magidor (Category Mistakes [2013], 5.6) | |
A reaction: [compressed] |
12140 | Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody] |
Full Idea: The modern emphasis has been on the connection between essential properties and the properties that an object must have essentially. But traditionally there is also the connection between essential properties and the sort of thing that it is. | |
From: Baruch Brody (Identity and Essence [1980], 5.6) | |
A reaction: These are the modal essence and the definitional essence. My view is that he has missed out a crucial third (Aristotelian) view, which is that essences are explanatory. This third view can subsume the other two. |
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.364 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.364 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.364 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.364 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. |
11895 | A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P] |
Full Idea: Brody bases sortal essentialism on the notion of a property that an individual must possess throughout its existence if it possesses it at any time in its existence. ...'Once an F, always an F'. ...Being a parrot is not a temporary occupation. | |
From: report of Baruch Brody (Identity and Essence [1980]) by Penelope Mackie - How Things Might Have Been 7.1 | |
A reaction: Hm. Would being less than fifty metres tall qualify as a sortal essence, for a giraffe or a uranium rod? If there is one thing an essential property should be, it is important. How do we assess importance? By explanatory power! Watch this space. |
12141 | Maybe essential properties are those which determine a natural kind? [Brody] |
Full Idea: We can advance the thesis that all essential properties either determine a natural kind or are part of an essential property that does determine a natural kind. | |
From: Baruch Brody (Identity and Essence [1980]) | |
A reaction: A useful clear statement of the view. I am opposed to it, because I take it to be of the essence of Socrates that he is philosophical, but humans are not essentially philosophical, and philosophers are unlikely to be a natural kind. |
12137 | De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody] |
Full Idea: To say that an object a has a property P essentially is to say that it has P, and in all of certain worlds (all possible, all in which something identical with it exists, ...) the object identical with it has P. This is the standard de re interpretation. | |
From: Baruch Brody (Identity and Essence [1980], 5.4) | |
A reaction: This view always has to be qualified by excluding trivially necessary properties, but that exclusion shows clearly that the notion of essential is more concerned with non-triviality than it is with necessity. |
12142 | Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody] |
Full Idea: 'a has property P essentially' means 'a has P, a always had P, there is no possible past in which P exists without P, and there is no moment of time at which a has had P and at which there is a possible future in which a exists without P' | |
From: Baruch Brody (Identity and Essence [1980], 6) | |
A reaction: This is Brody's own final account of essentialism. This is a carefully qualified form of the view that essential properties are, on the whole, the necessary properties, which view I take to be fundamentally mistaken. |
12143 | An object having a property essentially is equivalent to its having it necessarily [Brody] |
Full Idea: An object having a property essentially is equivalent to its having it necessarily. | |
From: Baruch Brody (Identity and Essence [1980], 6.1) | |
A reaction: This strikes me as blatantly false. Personally I am toying with the very unorthodox view that essential properties are not at all necessary, and that something can retain its identity while changing its essential character. A philosopher with Alzheimers. |
12144 | Essentialism is justified if the essential properties of things explain their other properties [Brody] |
Full Idea: The reasonableness of the essentialist hypothesis will be proportional to the extent that we can, as a result, use a's possession of P to explain a's other properties, ...and there is an inability to explain otherwise why a has P. | |
From: Baruch Brody (Identity and Essence [1980], 6.3) | |
A reaction: Brody as a rather liberal notion of properties. I would hope that we can do rather more than explain a's non-essential properties. If the non-essential properties were entailed by the essential ones, would they not then also be essential? |
12139 | Mereological essentialism says that every part that ensures the existence is essential [Brody] |
Full Idea: Mereological essentialism (whose leading advocate is Chisholm) says that for every x and y, if x is ever part of y, then y is necessarily such that x is part of y at any time that y exists. | |
From: Baruch Brody (Identity and Essence [1980], 5.6) | |
A reaction: This sounds implausible, especially given the transitivity of parthood. Not only are the planks that constitute Theseus's Ship now essential to it, but all the parts of the planks, every last chip, are as well. |
12135 | Interrupted objects have two first moments of existence, which could be two beginnings [Brody] |
Full Idea: If 'beginning of existence' meant 'first moment of existence after a period of nonexistence', then objects with interrupted existence have two beginnings of existence. | |
From: Baruch Brody (Identity and Essence [1980], 4.1) | |
A reaction: One might still maintain that the first beginning was essential to the object, since that is the event that defined it - and that would clarify the reason why we are supposed to think the origins are essential. I say the origin explains it. |
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.364 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. |
12130 | a and b share all properties; so they share being-identical-with-a; so a = b [Brody] |
Full Idea: Suppose that a and b have all of their properties in common. a certainly has the property of-being-identical-with-a. So, by supposition, does b. Then a = b. | |
From: Baruch Brody (Identity and Essence [1980], 1.2) | |
A reaction: Brody defends this argument, and seems to think that it proves the identity of indiscernibles. As far as I can see it totally begs the question, since we can only assume that both have the property of being-identical-with-a if we have assumed a = b. |
12138 | Identity across possible worlds is prior to rigid designation [Brody] |
Full Idea: Identity across possible worlds is prior to rigid designation. | |
From: Baruch Brody (Identity and Essence [1980], 5.4) | |
A reaction: An interesting view. We might stipulate that any possible Aristotle is 'our Aristotle', but you would still need criteria for deciding which possible Aristotle's would qualify. Long-frozen Aristotles, stupid Aristotles, alien Aristotle's, deformed... |
18020 | Propositional attitudes relate agents to either propositions, or meanings, or sentence/utterances [Magidor] |
Full Idea: Three views of the semantics of propositional attitudes: they are relations between agents and propositions ('propositional' view); relations between individuals and meanings (Fregean); or relations of individuals and sentences/utterances ('sentential'). | |
From: Ofra Magidor (Category Mistakes [2013], 3.4) | |
A reaction: I am a propositionalist on this one. Meanings are too vague, and sentences are too linguistic. |
18035 | Two sentences with different meanings can, on occasion, have the same content [Magidor] |
Full Idea: It is commonly assumed that meaning and content can come apart: the sentence 'I am writing' and 'Ofra is writing' may have different meanings, even if, as currently uttered, they express the same content. | |
From: Ofra Magidor (Category Mistakes [2013], 4.1) | |
A reaction: From that, I would judge 'content' to mean the same as 'proposition'. |
18018 | To grasp 'two' and 'green', must you know that two is not green? [Magidor] |
Full Idea: Is it a necessary condition on possessing the concepts of 'two' and 'green' that one does not believe that two is green? I think this claim is false. | |
From: Ofra Magidor (Category Mistakes [2013], 3.4) | |
A reaction: To see that it is false one only has to consider much more sophisticated concepts, which are grasped without knowing their full implications. I might think two is green because I fully grasp 'two', but have not yet mastered 'green'. |
18008 | Generative semantics says structure is determined by semantics as well as syntactic rules [Magidor] |
Full Idea: Generative semanticists claimed that the structure of a sentence is determined by both 'syntactic' and 'semantic' considerations which interact with each other in complex ways. | |
From: Ofra Magidor (Category Mistakes [2013], 1.3) | |
A reaction: [She mentions George Lakoff for this view] You need to study a range of examples, but this sounds a better view to me than the tidy picture of producing a syntactic structure and then adding a semantics. We make up sentences while speaking them. |
18010 | 'John is easy to please' and 'John is eager to please' have different deep structure [Magidor] |
Full Idea: The sentences 'John is easy to please' and 'John is eager to please' can have very different deep structure (with the latter concerning John as a pleaser, while the former concerns John as the one being pleased). | |
From: Ofra Magidor (Category Mistakes [2013], 2.1) | |
A reaction: This demolishes the old idea of grammar as 'parts of speech' strung together according to superficial rules. The question is whether we now just have deeper syntax, or whether semantics is part of the process. |
18053 | The semantics of a sentence is its potential for changing a context [Magidor] |
Full Idea: The basic semantics of sentences are not truth-conditions, but rather context change potential, which is a rule which determines what the effect of uttering the sentence would be on the context. | |
From: Ofra Magidor (Category Mistakes [2013], 5.3.2) | |
A reaction: [I. Heim's 'renowned' 1983 revision of Stalnaker] This means the semantics of a sentence can vary hugely, depending on context. It is known as 'dynamic semantics'. 'I think you should go ahead and do it'. |
18000 | Weaker compositionality says meaningful well-formed sentences get the meaning from the parts [Magidor] |
Full Idea: A weaker principle of compositionality states that if a syntactically well-formed sentence is meaningful, then its meaning is a function of the meaning of its parts. | |
From: Ofra Magidor (Category Mistakes [2013], 1.1) | |
A reaction: I would certainly accept this as being correct. I take the meaning of a sentence to be something which you assemble in your head as you hear the parts of it unfold. ….However, irony might exhibit meaning that only comes from the whole sentence. Hm. |
17999 | Strong compositionality says meaningful expressions syntactically well-formed are meaningful [Magidor] |
Full Idea: In the strong form of the principle of compositionality any meaningful expressions combined in a syntactically well-formed manner compose a meaningful expression. | |
From: Ofra Magidor (Category Mistakes [2013], 1.1) | |
A reaction: [She cites Montague as holding this view] I find this plausible, at least. If you look at whole sentences they can seem meaningless, but if you track the process of composition a collective meaning emerges, despite the oddities. |
18014 | Understanding unlimited numbers of sentences suggests that meaning is compositional [Magidor] |
Full Idea: The fact that speakers of natural languages have the capacity to understand indefinitely many new sentences suggests that meaning must be compositional. | |
From: Ofra Magidor (Category Mistakes [2013], 3.2.1) | |
A reaction: To some extent, the compositionality of meaning is so obvious as to hardly require pointing out. It is the precise nature of the claim, and the extent to which whole sentences can add to the compositional meaning, that is of interest. |
18001 | Are there partial propositions, lacking truth value in some possible worlds? [Magidor] |
Full Idea: Are there such things as 'partial propositions', which are truth-valueless relative to some possible worlds? | |
From: Ofra Magidor (Category Mistakes [2013], 1.1) | |
A reaction: Presumably this could be expressed without possible worlds. Are there propositions meaningful in New Guinea, and meaningless in England? Do some propositions require the contingent existence of certain objects to be meaningful? |
18036 | A sentence can be meaningful, and yet lack a truth value [Magidor] |
Full Idea: 'That is red' in a context where the demonstrative fails to refer is truth-valueless, despite being meaningful, as is 'the queen of France in 2010 is bald'. ...The claim that some sentences are meaningful but truth-valueless is, then, widely accepted. | |
From: Ofra Magidor (Category Mistakes [2013], 4.1) | |
A reaction: The lack of truth value is usually because of reference failure. It is best to say the words are meaningful, but no proposition is expressed. |
18051 | In the pragmatic approach, presuppositions are assumed in a context, for successful assertion [Magidor] |
Full Idea: According to the pragmatic approach, presuppositions are constraints on the context: if a sentence s generates a presupposition p, an assertion of s cannot proceed smoothly unless the context already entails p (p is taken for granted). | |
From: Ofra Magidor (Category Mistakes [2013], 5.3.2) | |
A reaction: She credits Stalnaker for this approach. There is a choice between the presuppositions being largely driven by internal features of the sentence, or by external features of context. You may not know the context of some statements. |
18043 | The infelicitiousness of trivial truth is explained by uninformativeness, or a static context-set [Magidor] |
Full Idea: In Grice's theory if a sentence is trivially true, asserting it would violate the maxim of quantity. For Stalnaker, if p is trivially true, it involves no update to the context-set, and is thus pointless. | |
From: Ofra Magidor (Category Mistakes [2013], 5.2) | |
A reaction: 'Let us remind ourselves, before we proceed, of the following trivial truth: p'. |
18042 | The infelicitiousness of trivial falsity is explained by expectations, or the loss of a context-set [Magidor] |
Full Idea: In Grice's theory if a sentence is trivially false, asserting it would violate the maxim of quality. For Stalnaker if p is trivially false, removing all worlds incompatible with p would result in an empty context-set, preventing any further communication. | |
From: Ofra Magidor (Category Mistakes [2013], 5.2) | |
A reaction: [compressed] I'm not sure whether we need to 'explain' the inappropriateness of uttering trivial falsities. I take the main rule of conversation to be 'don't be boring', but we all violate that. |
18050 | If both s and not-s entail a sentence p, then p is a presupposition [Magidor] |
Full Idea: In the traditional account, a sentence s presupposes p if and only if both s and ¬s entail p. Standardly, this entails that if s presupposes p, then whenever p is false, s must be neither true nor false. | |
From: Ofra Magidor (Category Mistakes [2013], 5.3.2) | |
A reaction: 'I'm looking down on the garden' presupposes 'I'm upstairs'. Why would 'I'm not looking down on the garden' entail 'I'm upstairs'? I seem to have missed something. |
18047 | A presupposition is what makes an utterance sound wrong if it is not assumed? [Magidor] |
Full Idea: The most obvious test for presupposition would be this: if s generates the presupposition p, then an utterance of s would be infelicitous, unless p is taken for granted by participants in the conversation. | |
From: Ofra Magidor (Category Mistakes [2013], 5.3.1.1) | |
A reaction: The principle of charity seems to be involved here - that we try to make people's utterances sound right, so we add in the presuppositions which would achieve that. The problem, she says, is that the infelicity may have other causes. |
18048 | A test for presupposition would be if it provoked 'hey wait a minute - I have no idea that....' [Magidor] |
Full Idea: A proposed test for presupposition is the 'Hey, wait a minute' test. S presupposes that p, just in case it would be felictious to respond to an utterance of s with something like 'Hey, wait a minute - I had not idea that p!'. | |
From: Ofra Magidor (Category Mistakes [2013], 5.3.1.2) | |
A reaction: [K. Von Finkel 2004 made the suggestion] That is, you think 'hm ...this statement seems to presuppose p'. She says the suggestion vastly over-generates possible presuppositions - unlikely ones, as well as the obvious ones. |
18049 | The best tests for presupposition are projecting it to negation, conditional, conjunction, questions [Magidor] |
Full Idea: The most robust tests for presupposition are the projection tests. If s presupposes p, then ¬s does too. If s1 presupposes p, then 'if s1 then s2' presupposes p. If s1 presupposes p, then 's1 and s2' presupposes p. If s presupposes p, then 's?' does too. | |
From: Ofra Magidor (Category Mistakes [2013], 5.3.1.3) | |
A reaction: [compressed] She also discusses quantifiers. In other words, the presupposition remains stable through various transformations of the underlying proposition. |
18054 | Why do certain words trigger presuppositions? [Magidor] |
Full Idea: We can ask why a range of lexical items (e.g. 'stop' or 'know') trigger the presuppositions they do. | |
From: Ofra Magidor (Category Mistakes [2013], 5.3.2) | |
A reaction: I'm not sure whether we'll get an answer, but I would approach the question by thinking about mental files. |
18022 | Metaphors tend to involve category mistakes, by joining disjoint domains [Magidor] |
Full Idea: The fact that most metaphors involve category mistakes is not a coincidence. …A big part of them is to do with connecting objects and properties that normally seem to belong to disjoint domains. | |
From: Ofra Magidor (Category Mistakes [2013], 3.5) | |
A reaction: Metaphysica poets took disjoint domains and 'yoked them together by violence', according to Dr Johnson. |
18023 | Theories of metaphor divide over whether they must have literal meanings [Magidor] |
Full Idea: There are theories of metaphors that require them to have literal meanings in order to achieve their metaphorical purpose, and those that do not. | |
From: Ofra Magidor (Category Mistakes [2013], 3.5) | |
A reaction: I take almost any string of proper language to have literal meaning (for compositional reasons), even if the end result is somewhat ridiculous. 'Churchill was a lion' obviously has literal meaning. And so does 'Churchill was a transcendental number'. |
18024 | One theory says metaphors mean the same as the corresponding simile [Magidor] |
Full Idea: On standard versions of the simile theory of metaphors, they mean the same as the corresponding simile. | |
From: Ofra Magidor (Category Mistakes [2013], 3.5) | |
A reaction: Magidor points out that this allows the metaphor to work while being meaningless, since all the work is done by the perfectly meaningful simile. But the metaphor must at least mean enough to indicate what the simile is. |
18027 | Metaphors as substitutes for the literal misses one predicate varying with context [Magidor] |
Full Idea: A problem with the substitution view of metaphors is that the same predicate can have very different metaphorical contributions in different contexts. Consider 'Juliet is the sun' uttered by Romeo, and 'Stalin is the sun' from a devoted communist. | |
From: Ofra Magidor (Category Mistakes [2013], 3.5) | |
A reaction: The substitution view never looked good (especially if you like poetry), and now it looks a lot worse. |
18025 | The simile view of metaphors removes their magic, and won't explain why we use them [Magidor] |
Full Idea: The simile theory of metaphors makes them too easy to figure out, when they cannot be paraphrased in literal terms, …and it does not explain why we use metaphors as well as similes. | |
From: Ofra Magidor (Category Mistakes [2013], 3.5) | |
A reaction: [She cites Davidson for these points] They might just be similes with the added frisson of leaving out 'like', so that they seem at first to be false, until you work out the simile and see their truth. |
18026 | Maybe a metaphor is just a substitute for what is intended literally, like 'icy' for 'unemotional' [Magidor] |
Full Idea: According to the substitution view of metaphors, a word used metaphorically is merely a substitute for another word or phrase that expresses the same meaning literally. Thus 'John is an ice-cube' is a substitute for 'John is cruel and unemotional'. | |
From: Ofra Magidor (Category Mistakes [2013], 3.5) | |
A reaction: This seems to capture the denotation but miss the connotation. Whoever came up with this theory didn't read much poetry. |
18028 | Gricean theories of metaphor involve conversational implicatures based on literal meanings [Magidor] |
Full Idea: Gricean theories of metaphor …assume that conversational implicatures are generated via literal contents, and hence that a sentence cannot generate an implicature without being literally meaningful. | |
From: Ofra Magidor (Category Mistakes [2013], 3.5) | |
A reaction: Magidor gives not details of such theories, but presumably the metaphor is all in the speaker's intention, which is parasitic on the wayward literal meaning, as in cases of irony. |
18029 | Non-cognitivist views of metaphor says there are no metaphorical meanings, just effects of the literal [Magidor] |
Full Idea: According to non-cognitivists there is no such thing as metaphorical meaning. …The effects on the hearer are induced directly via the literal meaning of the metaphor. | |
From: Ofra Magidor (Category Mistakes [2013], 3.5) | |
A reaction: [This is said to be Davidson's view] I wonder how many people defended some explicit 'metaphorical meaning', as opposed to connotations that accumulate as you take in the metaphor? Any second meaning is just a further literal meaning. |
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.364 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.364 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.364 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.364 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.364 BCE], 157c) | |
A reaction: Compare Idea 233. |
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.364 BCE], 160d) |