109 ideas
| 11006 | Russell started a whole movement in philosophy by providing an analysis of descriptions [Read on Russell] |
| Full Idea: Russell started a whole movement in philosophy by providing an analysis of descriptions. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Stephen Read - Thinking About Logic Ch.5 |
| 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. |
| 15879 | The Square of Opposition has two contradictory pairs, one contrary pair, and one sub-contrary pair [Harré] |
| Full Idea: Square of Opposition: 'all A are B' and 'no A are B' are contraries; 'some A are B' and 'some A are not B' are sub-contraries; the pairs 'all A are B'/'some A are B' and 'no A are B'/'some A are B' are contradictories. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: [the reader may construct his own diagram from this description!] The contraries are at the extremes of contradiction, but the sub-contraries are actual compatible. You could add possible worlds to this picture. |
| 18944 | Russell's theories aim to preserve excluded middle (saying all sentences are T or F) [Sawyer on Russell] |
| Full Idea: Russell's account of names and definite descriptions was concerned to preserve the law of excluded middle, according to which every sentence is either true or false (but it is not obvious that the law ought to be preserved). | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Sarah Sawyer - Empty Names 3 | |
| A reaction: That is the strongest form of excluded middle, but things work better if every sentence is either 'true' or 'not true', leaving it open whether 'not true' actually means 'false'. |
| 7758 | 'Elizabeth = Queen of England' is really a predication, not an identity-statement [Russell, by Lycan] |
| Full Idea: On Russell's view 'Elizabeth II = Queen of England' is only superficially an identity-statement; really it is a predication, and attributes a complex relational property to Elizabeth. | |
| From: report of Bertrand Russell (On Denoting [1905]) by William Lycan - Philosophy of Language Ch.1 | |
| A reaction: The original example is 'Scott = author of Waverley'. Why can't such statements be identities, in which the reference of one half of the identity is not yet known? 'The murderer is violent' and 'Smith is violent' suggests 'Smith is the murderer'. |
| 5772 | The idea of a variable is fundamental [Russell] |
| Full Idea: I take the notion of the variable as fundamental. | |
| From: Bertrand Russell (On Denoting [1905], p.42) | |
| A reaction: A key idea of twentieth century philosophy, derived from Frege and handed on to Quine. A universal term, such as 'horse', is a variable, for which any particular horse can be its value. You can calculate using x, and generalise about horses. |
| 18941 | Names don't have a sense, but are disguised definite descriptions [Russell, by Sawyer] |
| Full Idea: Russell proposed that names do not express a Fregean sense, ...but are disguised definite descriptions, of the form 'the F'. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Sarah Sawyer - Empty Names 3 | |
| A reaction: Of course, Russell then has a famous theory about definite descriptions, which turns them into quantifications. |
| 4945 | Russell says names are not denotations, but definite descriptions in disguise [Russell, by Kripke] |
| Full Idea: Russell (and Frege) thought that Mill was wrong about names: really a proper name, properly used, simply was a definite description abbreviated or disguised. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Saul A. Kripke - Naming and Necessity lectures Lecture 1 | |
| A reaction: It is tempting to oversimplify this issue, one way or the other, but essentially one has to agree with Kripke that naming does not inherently involve description, but is a 'baptism', without initial content. Connotations and descriptions accrue to a name. |
| 18942 | Russell says a name contributes a complex of properties, rather than an object [Russell, by Sawyer] |
| Full Idea: Russell's view of names, understood as a definite description, which is understood as a quantificational phrase, is not to contribute an object to propositions, but to contribute a complex of properties. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Sarah Sawyer - Empty Names 3 | |
| A reaction: This seems to contradict the role of constants in first-logic, which are the paradigm names, picking out an object in the domain. Kripke says names and definite descriptions have different modal profiles. |
| 7745 | Are names descriptions, if the description is unknown, false, not special, or contains names? [McCullogh on Russell] |
| Full Idea: Russell's proposal that a natural name is an abbreviated description invites four objections: not all speakers can produce descriptions; the description could be false; no one description seems special; and descriptions usually contain names. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Gregory McCullogh - The Game of the Name 8.74 | |
| A reaction: The best reply on behalf of Russell is probably to concede all of these points, but deny that any of them are fatal. Most replies will probably say that they are possible true descriptions, rather than actual limited, confused or false ones. |
| 15159 | The meaning of a logically proper name is its referent, but most names are not logically proper [Russell, by Soames] |
| Full Idea: Russell defined a logically proper name to be one the meaning of which is its referent. However, his internalist epistemology led him to deny that the words we ordinarily call names are logically proper. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Scott Soames - Philosophy of Language 1.25 |
| 10449 | Logically proper names introduce objects; definite descriptions introduce quantifications [Russell, by Bach] |
| Full Idea: For Russell, a logically proper name introduces its referent into the proposition, whereas a description introduces a certain quantificational structure, not its denotation. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Kent Bach - What Does It Take to Refer? 22.2 L0 | |
| A reaction: I have very strong resistance to the idea that the actual referent could ever become part of a proposition. I am not, and never have been, part of a proposition! Russell depended on narrow 'acquaintance', which meant that few things qualified. |
| 7757 | "Nobody" is not a singular term, but a quantifier [Russell, by Lycan] |
| Full Idea: Though someone just beginning to learn English might take it as one, "nobody" is not a singular term, but a quantifier. | |
| From: report of Bertrand Russell (On Denoting [1905]) by William Lycan - Philosophy of Language Ch.1 | |
| A reaction: If someone replies to "nobody's there" with "show him to me!", presumably it IS a singular term - just one that doesn't work very well. If you want to get on in life, treat it as a quantifier; if you just want to have fun... |
| 2612 | Russell rewrote singular term names as predicates [Russell, by Ayer] |
| Full Idea: Russell's theory used quantification to eliminate singular terms, which could be meaningful without denoting anything. He reparsed such sentences so they appeared as predicates instead of names. | |
| From: report of Bertrand Russell (On Denoting [1905]) by A.J. Ayer - The Central Questions of Philosophy IX.A.2 |
| 18943 | Russell implies that all sentences containing empty names are false [Sawyer on Russell] |
| Full Idea: Russell's account implies that all sentences composed of an empty name and a predicate are false, including 'Pegasus was a mythical creature'. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Sarah Sawyer - Empty Names 4 | |
| A reaction: Russell insists that such sentences contain a concealed existence claim, which they clearly don't. |
| 6411 | Critics say definite descriptions can refer, and may not embody both uniqueness and existence claims [Grayling on Russell] |
| Full Idea: The main objections to Russell's theory of descriptions are to say that definite descriptions sometime are referring expressions, and disputing the claim that definite descriptions embody both uniqueness and existence claims. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by A.C. Grayling - Russell Ch.2 | |
| A reaction: The first one seems particularly correct, as you can successfully refer with a false description. See Colin McGinn (Idea 6067) for criticism of the existence claim made by the so-called 'existential' quantifier. |
| 10433 | Definite descriptions fail to refer in three situations, so they aren't essentially referring [Russell, by Sainsbury] |
| Full Idea: Russell's reasons for saying that definite descriptions are not referring expressions are: some definite descriptions have no referent, and they cannot be referring when used in negative existential truths, or in informative identity sentences. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Mark Sainsbury - The Essence of Reference 18.5 | |
| A reaction: The idea is that by 'parity of form', if they aren't referring in these situations, they aren't really referring in others. Sainsbury notes that if there are two different forms of definite description (referential and attributive) these arguments fail. |
| 11009 | Russell's theory must be wrong if it says all statements about non-existents are false [Read on Russell] |
| Full Idea: Russell's theory makes an exciting distinction between logical and grammatical form, but any theory which says that every positive statement, without distinction, about objects which don't exist is false, has to be wrong. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Stephen Read - Thinking About Logic Ch.5 |
| 1608 | The theory of descriptions eliminates the name of the entity whose existence was presupposed [Russell, by Quine] |
| Full Idea: When a statement of being or non-being is analysed by Russell's theory of descriptions it ceases to contain any expression which even purports to name the alleged entity, so the being of such an entity is no longer presupposed. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Willard Quine - On What There Is p.6 |
| 7754 | Russell's theory explains non-existents, negative existentials, identity problems, and substitutivity [Russell, by Lycan] |
| Full Idea: Russell showed that his theory of definite descriptions affords solutions to each of four vexing logical problems: the Problems of Apparent Reference to Non-existents and Negative existentials, Frege's Puzzle about Identity, and Substitutivity. | |
| From: report of Bertrand Russell (On Denoting [1905]) by William Lycan - Philosophy of Language 2.Over | |
| A reaction: You must seek elsewhere for the explanations of the four problems, but this gives some indication of why Russell's theory was famous, and was felt to be a breakthrough in explaining logical forms. |
| 21529 | Russell showed how to define 'the', and thereby reduce the ontology of logic [Russell, by Lackey] |
| Full Idea: With the devices of the Theory of Descriptions at hand, it was no longer necessary to take 'the' as indefinable, and it was possible to diminish greatly the number of entities to which a logical system is ontologically committed. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.13 | |
| A reaction: Illuminating, because it shows that ontology is what drove Russell at this time, and really they were all searching for Quine's 'desert landscapes', which minimalise commitment. |
| 6333 | The theory of definite descriptions reduces the definite article 'the' to the concepts of predicate logic [Russell, by Horwich] |
| Full Idea: Russell's theory of definite descriptions reduces the definite article 'the' to the notions of predicate logic - specifically, 'some', 'every', and 'same as'. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Paul Horwich - Truth (2nd edn) Ch.2.7 | |
| A reaction: This helpfully clarifies Russell's project - to find the logical form of every sentence, expressed in terms which are strictly defined and consistent. This huge project now looks rather too optimistic. Artificial Intelligence would love to complete it. |
| 6412 | Russell implies that 'the baby is crying' is only true if the baby is unique [Grayling on Russell] |
| Full Idea: Russell's analysis of 'the baby is crying' seems to imply that this can only be true if there is just one baby in the world; ..to dispose of the objection, it seems necessary to appeal implicitly or explicitly to a 'domain of discourse'. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by A.C. Grayling - Russell Ch.2 | |
| A reaction: This objection leads to ordinary language philosophy, and the 'pragmatics' of language. It is standard in modern predicate logic to specify the domain over which an expression is quantified. |
| 7743 | Russell explained descriptions with quantifiers, where Frege treated them as names [Russell, by McCullogh] |
| Full Idea: Russell proposed that descriptions be treated along with the quantifiers, which departs from Frege, who treated descriptions as proper names. ...the problem was that names invoke objects, and there is no object in failed descriptions. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Gregory McCullogh - The Game of the Name 2.16 | |
| A reaction: Maybe we just allow intentional objects (such as unicorns) into our ontology? Producing a parsimonious ontology seems to be the main motivation of most philosophy of language. Or maybe names are just not committed to actual existence? |
| 7310 | Russell avoids non-existent objects by denying that definite descriptions are proper names [Russell, by Miller,A] |
| Full Idea: Russell attempted to avoid Meinong's strategy (of saying 'The present King of France' refers to a 'non-existent object') by denying that definite descriptions are proper names. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Alexander Miller - Philosophy of Language 2.7 | |
| A reaction: Russell claimed that there was a covert existence claim built into a definite description. What about descriptions in known counterfactual situations ('Queen of the Fairies')? |
| 12006 | Denying definite description sentences are subject-predicate in form blocks two big problems [Russell, by Forbes,G] |
| Full Idea: Since Russell did not want to introduce non-existent objects, or declare many sentences meaningless, he prevented the problem from getting started, by denying that 'the present King of France is bald' is really a subject-predicate sentence. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Graeme Forbes - The Metaphysics of Modality 4.1 |
| 4569 | Russell says apparent referring expressions are really assertions about properties [Russell, by Cooper,DE] |
| Full Idea: Russell's theory says that sentences which apparently serve to refer to particulars are really assertions about properties. | |
| From: report of Bertrand Russell (On Denoting [1905]) by David E. Cooper - Philosophy and the Nature of Language §4.1 | |
| A reaction: Right. Which is why particulars get marginalised in Russell, and universals take centre stage. I can't help suspecting that talk of de re/de dicto reference handles this problem better. |
| 21549 | The theory of descriptions lacks conventions for the scope of quantifiers [Lackey on Russell] |
| Full Idea: Some logicians charge that the theory of descriptions as it stands is formally inadequate because it lacks explicit conventions for the scope of quantifiers, and that when these conventions are added the theory becomes unduly complex. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.97 | |
| A reaction: [Especially in modal contexts, apparently] I suppose if the main point is to spell out the existence commitments of the description, then that has to include quantification, for full generality. |
| 12796 | Non-count descriptions don't threaten Russell's theory, which is only about singulars [Laycock on Russell] |
| Full Idea: It is sometimes claimed that the behaviour of definite non-count descriptions shows Russell's Theory of Descriptions itself to be false. ....but it isn't a general theory of descriptions, but precisely a theory of singular descriptions. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Henry Laycock - Words without Objects 3.1 |
| 7532 | Denoting is crucial in Russell's account of mathematics, for identifying classes [Russell, by Monk] |
| Full Idea: Denoting phrases are central to mathematics, especially in Russell's 'logicist' theory, in which they are crucial to identifying classes ('the class of all mortal beings', 'the class of natural numbers'). | |
| From: report of Bertrand Russell (On Denoting [1905]) by Ray Monk - Bertrand Russell: Spirit of Solitude Ch.6 | |
| A reaction: This explains the motivation for Russell's theory of definite descriptions, since he thinks reference is achieved by description. Russell nearly achieved an extremely complete philosophical system. |
| 11988 | Russell's analysis means molecular sentences are ambiguous over the scope of the description [Kaplan on Russell] |
| Full Idea: Russell's analysis of sentences containing definite descriptions has as an immediate consequence the doctrine that molecular sentences containing definite descriptions are syntactically ambiguous as regards the scope of the definite description. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by David Kaplan - How to Russell a Frege-Church I | |
| A reaction: Presumably this is a virtue of Russell's account, and an advert for analytic philosophy, because it reveals an ambiguity which was there all the time. |
| 15891 | Traditional quantifiers combine ordinary language generality and ontology assumptions [Harré] |
| Full Idea: The generalising function and the ontological function of discourse are elided in the traditional quantifier. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: This simple point strikes me as helping enormously to disentangle the mess created by over-emphasis on formal logic in ontology, and especially in the Quinean concept of 'ontological commitment'. |
| 6061 | Existence is entirely expressed by the existential quantifier [Russell, by McGinn] |
| Full Idea: Nowadays Russell's position is routinely put by saying that existence is what is expressed by the existential quantifier and only by that. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Colin McGinn - Logical Properties Ch.2 | |
| A reaction: We must keep separate how you express existence, and what it is. Quantifiers seem only to be a style of expressing existence; they don't offer any insight into what existence actually is, or what we mean by 'exist'. McGinn dislikes quantifiers. |
| 15878 | Some quantifiers, such as 'any', rule out any notion of order within their range [Harré] |
| Full Idea: The quantifier 'any' unambiguously rules out any presupposition of order in the members of the range of individuals quantified. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: He contrasts this with 'all', 'each' and 'every', which are ambiguous in this respect. |
| 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 |
| 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. |
| 18775 | Russell showed that descriptions may not have ontological commitment [Russell, by Linsky,B] |
| Full Idea: Russell's theory of definite descriptions allows us to avoid being ontologically committed to objects simply by virtue of using descriptions which seemingly denote them. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Bernard Linsky - Quantification and Descriptions 1.1.2 | |
| A reaction: This I take to be why Russell's theory is a famous landmark. I personally take ontological commitment to be independent of what we specifically say. Others, like Quine, prefer to trim what we say until the commitments seem sound. |
| 7533 | The Theory of Description dropped classes and numbers, leaving propositions, individuals and universals [Russell, by Monk] |
| Full Idea: The real Platonic entities left standing after the Theory of Descriptions were propositions (not classes or numbers), and their constituents did not include denoting concepts or classes, but only individuals (Socrates) and universals (mortality). | |
| From: report of Bertrand Russell (On Denoting [1905]) by Ray Monk - Bertrand Russell: Spirit of Solitude Ch.6 | |
| A reaction: Propositions look like being the problem here. If we identify them with facts, it is not clear how many facts there are in the universe, independent of human thought. Indeed, how many universals are there? Nay, how many individuals? See Idea 7534. |
| 15874 | Scientific properties are not observed qualities, but the dispositions which create them [Harré] |
| Full Idea: The properties of material things with which the sciences deal are not the qualities we observe them to have, but the dispositions of those things to engender the states and qualities we observe. | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: I take this to be the correct use of the word 'qualities', so that properties are not qualities (in the way Heil would like). |
| 6063 | Russell can't attribute existence to properties [McGinn on Russell] |
| Full Idea: Russell's view makes it impossible to attribute existence to properties, and this would have to be declared ill-formed and meaningless. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Colin McGinn - Logical Properties Ch.2 | |
| A reaction: This strikes me as a powerful criticism, used to support McGinn's view that existence cannot be analysed, using quantifiers or anything else. |
| 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. |
| 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) |
| 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) |
| 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) |
| 18777 | If the King of France is not bald, and not not-bald, this violates excluded middle [Linsky,B on Russell] |
| Full Idea: Russell says one won't find the present King of France on the list of bald things, nor on the list of things that are not bald. It would seem that this gives rise to a violation of the law of excluded middle. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Bernard Linsky - Quantification and Descriptions 2 | |
| A reaction: It's a bit hard to accuse the poor old King of violating a law when he doesn't exist. |
| 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. |
| 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. |
| 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. |
| 15884 | Laws of nature remain the same through any conditions, if the underlying mechanisms are unchanged [Harré] |
| Full Idea: A statement is a law of nature if it is true in all those worlds which differ only as to their initial conditions, that is in which the underlying mechanisms of nature are the same. | |
| From: Rom Harré (Laws of Nature [1993], 4) | |
| A reaction: Harré takes it that laws of nature have to be necessary, by definition. I like this way of expressing natural necessity, in terms of 'mechanisms' rather than of 'laws'. Where do the mechanisms get their necessity? |
| 15880 | In physical sciences particular observations are ordered, but in biology only the classes are ordered [Harré] |
| Full Idea: In the physical sciences the particular observations and experimental results are usually orderable, while in the biological sciences it is the classes of organism which are ordered, not the particular organisms. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: Harré is interesting on the role of ordering in science. Functions can be defined by an order. Maths feeds on orderings. Physics, he notes, focuses on things which vary together. |
| 15869 | Reports of experiments eliminate the experimenter, and present results as the behaviour of nature [Harré] |
| Full Idea: In accounts of experiments, by Faraday and others, the role of the guiding hand of the actual experimenter is written out in successive accounts. The effect is to display the phenomenon as a natural occurrence, existing independently of the experiments. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: He records three stages in Faraday's reports. The move from active to passive voice is obviously part of it. The claim of universality is thus implicit rather than explicit. |
| 15881 | We can save laws from counter-instances by treating the latter as analytic definitions [Harré] |
| Full Idea: When we come upon a counter-instance to a generalisation we can save the putative law, by treating it as potentially analytic and claiming it as a definition. ...Thus magnetism doesn't hold for phosphorus, so we say phosphorus is not a magnetic substance. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: He notes this as being particularly true when the laws concern the dispositions of substances, rather than patterns of events. |
| 15882 | Since there are three different dimensions for generalising laws, no one system of logic can cover them [Harré] |
| Full Idea: Since there are three different dimensions of generality into which every law of nature is generalised, there can be no one system of logic which will govern inference to or from every law of every kind. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: This is aimed at the covering-law approach, which actually aims to output observations as logical inferences from laws. Wrong. |
| 15888 | The grue problem shows that natural kinds are central to science [Harré] |
| Full Idea: The grue problem illustrates the enormous importance that the concept of a natural-kind plays in real science. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: The point is that we took emeralds to be a natural kind, but 'grue' proposes that they aren't, since stability is the hallmark of a natural kind. |
| 15887 | 'Grue' introduces a new causal hypothesis - that emeralds can change colour [Harré] |
| Full Idea: In introducing the predicate 'grue' we also introduce an additional causal hypothesis into our chemistry and physics; namely, that when observed grue emeralds change from blue to green. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: [The 'when observered' is a Harré addition] I hate 'grue'. Only people who think our predicates have very little to do with reality are impressed by it. Grue is a behaviour, not a colour. |
| 15889 | It is because ravens are birds that their species and their colour might be connected [Harré] |
| Full Idea: It is because ravens are birds that it makes sense to contemplate the possibility of a lawful relation between their species and their colour. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: Compare the 'laws' concerning leaf colour in autumn, and the 'laws' concerning packaging colour in supermarkets. Harré's underlying point is that raven colour concerns mechanism. |
| 15890 | Non-black non-ravens just aren't part of the presuppositions of 'all ravens are black' [Harré] |
| Full Idea: Non-black non-ravens have no role to play in assessing the plausibility of 'All ravens are black' because their existence is not among the existential presuppositions of that statement. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: [He cites Strawson for the 'presupposition' approach] |
| 15885 | The necessity of Newton's First Law derives from the nature of material things, not from a mechanism [Harré] |
| Full Idea: The 'must' of Newton's First Law is different. There is no deeper level relative to the processes described to give a mechanism which generates uniform motion. There is no such mechanism. ..It specifies what it is for something to be a material thing. | |
| From: Rom Harré (Laws of Nature [1993], 4) | |
| A reaction: Harré says the law can only exist as part of a network of other ideas. |
| 15868 | Idealisation idealises all of a thing's properties, but abstraction leaves some of them out [Harré] |
| Full Idea: An 'idealisation' preserves all the properties of the source but it possesses these properties in some ideal or perfect form. ...An 'abstraction', on the other hand, lacks certain features of its source. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: Yet another example in contemporary philosophy of a clear understanding of the sort of abstraction which Geach and others have poured scorn on. |
| 4567 | Russell argued with great plausibility that we rarely, if ever, refer with our words [Russell, by Cooper,DE] |
| Full Idea: Russell argued with great plausibility that we rarely, if ever, refer with our words. | |
| From: report of Bertrand Russell (On Denoting [1905]) by David E. Cooper - Philosophy and the Nature of Language §4 | |
| A reaction: I'm not sure if I understand this. Presumably phrases which appear to refer actually point at other parts of language rather than the world. |
| 5810 | Referring is not denoting, and Russell ignores the referential use of definite descriptions [Donnellan on Russell] |
| Full Idea: If I am right, referring is not the same as denoting and the referential use of definite descriptions is not recognised on Russell's view. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by Keith Donnellan - Reference and Definite Descriptions §I | |
| A reaction: This introduces a new theory of reference, which goes beyond the mere contents of linguistic experessions. It says reference is an 'external' and 'causal' affair, and so a definite description is not sufficient to make a reference. |
| 5774 | Denoting phrases are meaningless, but guarantee meaning for propositions [Russell] |
| Full Idea: Denoting phrases never have any meaning in themselves, but every proposition in whose verbal expression they occur has a meaning. | |
| From: Bertrand Russell (On Denoting [1905], p.43) | |
| A reaction: This is the important idea that the sentence is the basic unit of meaning, rather than the word. I'm not convinced that this dispute needs to be settled. Words are pretty pointless outside of propositions, and propositions are impossible without words. |
| 5775 | In 'Scott is the author of Waverley', denotation is identical, but meaning is different [Russell] |
| Full Idea: If we say 'Scott is the author of Waverley', we assert an identity of denotation with a difference of meaning. | |
| From: Bertrand Russell (On Denoting [1905], p.46) | |
| A reaction: This shows Russell picking up Frege's famous distinction, as shown in 'Hesperus is Phosphorus'. To distinguish the meaning from the reference was one of the greatest (and simplest) clarifications ever offered of how language works. |
| 16385 | A definite description 'denotes' an entity if it fits the description uniquely [Russell, by Recanati] |
| Full Idea: In Russell's definition of 'denoting', a definite description denotes an entity if that entity fits the description uniquely. | |
| From: report of Bertrand Russell (On Denoting [1905]) by François Recanati - Mental Files 17.2 | |
| A reaction: [Recanati cites Donnellan for this] Hence denoting is not the same thing as reference. A description can denote beautifully, but fail to refer. Donnellan says if denoting were reference, someone might refer without realising it. |
| 16987 | By eliminating descriptions from primitive notation, Russell seems to reject 'sense' [Russell, by Kripke] |
| Full Idea: Russell, since he eliminates descriptions from his primitive notation, seems to hold in 'On Denoting' that the notion of 'sense' is illusory. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Saul A. Kripke - Naming and Necessity notes and addenda note 04 | |
| A reaction: Presumably we can eliminate sense from formal languages, but natural languages are rich in connotations (or whatever we choose to call them). |
| 4570 | Russell assumes that expressions refer, but actually speakers refer by using expressions [Cooper,DE on Russell] |
| Full Idea: Russell assumes that it is expressions which refer if anything does, but strictly speaking it is WE who refer with the use of expressions. | |
| From: comment on Bertrand Russell (On Denoting [1905]) by David E. Cooper - Philosophy and the Nature of Language §4.1 | |
| A reaction: This sounds right. Russell is part of the overemphasis on language which plagued philosophy after Frege. Words are tools, like searchlights or pointing fingers. |
| 16349 | Russell rejected sense/reference, because it made direct acquaintance with things impossible [Russell, by Recanati] |
| Full Idea: Russell rejected Frege's sense/reference distinction, on the grounds that, if reference is mediated by sense, we lose the idea of direct acquaintance and succumb to Descriptivism. | |
| From: report of Bertrand Russell (On Denoting [1905]) by François Recanati - Mental Files 1.1 | |
| A reaction: [15,000th IDEA in the DB!! 23/3/2013, Weymouth] Recanati claims Russell made a mistake, because you can retain the sense/reference distinction, and still keep direct acquaintance (by means of 'non-descriptive senses'). |
| 7313 | 'Sense' is superfluous (rather than incoherent) [Russell, by Miller,A] |
| Full Idea: Russell does not claim that Frege's notion of sense is incoherent, but rather that it is superfluous. | |
| From: report of Bertrand Russell (On Denoting [1905]) by Alexander Miller - Philosophy of Language 2.9 | |
| A reaction: My initial reaction to this is that the notion of strict and literal meaning (see Idea 7309) is incredibly useful. Some of the best jokes depend on the gap between implications and strict meaning. How could metaphors be explained without it? |
| 7767 | The theory of definite descriptions aims at finding correct truth conditions [Russell, by Lycan] |
| Full Idea: Russell's theory of definite descriptions proceeds by sketching the truth conditions of sentences containing descriptions, and arguing on various grounds that they are the correct truth conditions. | |
| From: report of Bertrand Russell (On Denoting [1905]) by William Lycan - Philosophy of Language Ch.9 | |
| A reaction: It seems important to see both where Russell was going, and where Davidson has come from. The whole project of finding the logical form of sentences (which starts with Frege and Russell) implies that truth conditions is what matters. |
| 21726 | In graspable propositions the constituents are real entities of acquaintance [Russell] |
| Full Idea: In every proposition that we can apprehend, ...all the constituents are real entities with which we have immediate acquaintance. | |
| From: Bertrand Russell (On Denoting [1905], p.56), quoted by Bernard Linsky - Russell's Metaphysical Logic 7.2 | |
| A reaction: This is the clearest statement of the 'Russellian' concept of a proposition. It strikes me as entirely wrong. The examples are always nice concrete objects like Mont Blanc, but as an account of sophisticated general propositions it seem hopeless. |
| 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. |
| 15886 | Science rests on the principle that nature is a hierarchy of natural kinds [Harré] |
| Full Idea: The animating principle behind the material and discursive practices of science is the thesis that nature exemplifies multiple hierarchies of natural kinds. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: I agree. I take it to be a brute fact that there seem to be lots of stable natural kinds, which are worth investigating as long as they stay stable. If they are unstable, there needs to be something stable to measure that by - or we give up. |
| 15864 | Classification is just as important as laws in natural science [Harré] |
| Full Idea: Classification systems, or taxonomies, are as important a part of the natural sciences as are the laws of nature. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: This illustrates how our view of science is radically shifted if we give biology equal prominence with physics. |
| 15865 | Newton's First Law cannot be demonstrated experimentally, as that needs absence of external forces [Harré] |
| Full Idea: We can never devise an experimental situation in which there are no external forces to act on a body. It follows that Newton's First Law could never be demonstrated by means of experiment or observation. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: It can't be wholly demonstrated, but certain observations conform to it, such as the movement of low friction bodies, or the movements of planetary bodies. |
| 15862 | Laws can come from data, from theory, from imagination and concepts, or from procedures [Harré] |
| Full Idea: Boyle's Law generalises a mass of messy data culled from an apparatus; Snell's Law is an experimentally derived law deducible from theory; Newton's First Law derives from concepts and thought experiments; Mendel's Law used an experimental procedure. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: Nice examples, especially since Boyle's and Newton's laws are divided by a huge gulf, and arrived at about the same time. On p.35 Harré says these come down to two: abstraction from experiment, and derivation from deep assumptions. |
| 15870 | Are laws of nature about events, or types and universals, or dispositions, or all three? [Harré] |
| Full Idea: What is Newton's First Law about? Is it about events? Is it about types or universals? Is it about dispositions? Or is it, in some peculiar way, about all three? | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: If laws merely chart regularities, then I suppose they are about events (which exhibit the regular patterns). If laws explain, which would be nice, then they are only about universals if you are a platonist. Hence laws are about dispositions. |
| 15871 | Are laws about what has or might happen, or do they also cover all the possibilities? [Harré] |
| Full Idea: Is Newton's First Law about what has actually happened or is it about what might, or could possibly happen? Is it about the actual events and states of the world, or possible events and states? | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: I presume the first sentence distinguishes between what 'might (well)' happen, and what 'could (just) possibly happen'. I take it for granted that laws predict the actual future. The question is are they true of situations which will never occur? |
| 15876 | Maybe laws of nature are just relations between properties? [Harré] |
| Full Idea: The idea of the Dretske-Armstrong-Tooley view is very simple: the laws of nature relate properties to properties. | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: Presumably the relations are necessary ones. I don't see why we need to mention these wretched 'universals' in order to expound this theory. It sounds much more plausible if you just say a property is defined by the way it relates to other properties. |
| 15872 | Must laws of nature be universal, or could they be local? [Harré] |
| Full Idea: Is a law of nature about everything in the universe or just about a restricted group of things? | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: I presume the answer is that while a law may only refer to a small group of things, the law would still have to apply if that group moved or spread or enlarged, so it would have to be universals. A laws confined to one time or place? Maybe. |
| 15860 | We take it that only necessary happenings could be laws [Harré] |
| Full Idea: We do not take laws to be recordings of what happens perchance or for the most part, but specifications of what happens necessarily | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: This sounds like a plausible necessary condition for a law, but it may not be a sufficient one. Are trivial necessities laws? On this view if there are no necessities then there are no laws. |
| 15867 | Laws describe abstract idealisations, not the actual mess of nature [Harré] |
| Full Idea: The laws of nature are not simple descriptions of what can be seen to happen. They are descriptions of abstractions and idealisations from a somewhat messy reality. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: This view seems to have increasingly gripped modern philosophers, so that the old view of God decreeing a few simple equations to run the world has faded away. |
| 15892 | Laws of nature state necessary connections of things, events and properties, based on models of mechanisms [Harré] |
| Full Idea: A law of nature tells us what kinds of things, events and properties (all else being equal) go along with what. The 'must' of natural necessity has its place here because it is bound up with a model or analogy representing generative mechanisms. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: This is Harré's final page summary of laws. I agree with it. I would say that the laws are therefore descriptive, of the patterns of behaviour that arise when generative mechanisms meet. Maybe laws concern 'transformations'. |
| 15875 | In counterfactuals we keep substances constant, and imagine new situations for them [Harré] |
| Full Idea: In drawing 'countefactual' conclusions we can be thought imaginatively to vary the conditions under which the substance, set-up etc. is manipulated or stimulated, while maintaining constant our conception of the nature of the being in question. | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: Presumably you could vary the substance and keep the situation fixed, but then the counterfactual seems to be 'about' something different. Either that or the 'situation' is a actually a set of substances to be tested. |
| 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) |
| 5773 | The ontological argument begins with an unproven claim that 'there exists an x..' [Russell] |
| Full Idea: 'There is one and only one entity x which is most perfect; that one has all perfections; existence is a perfection; therefore that one exists' fails as a proof because there is no proof of the first premiss. | |
| From: Bertrand Russell (On Denoting [1905], p.54) | |
| A reaction: This is the modern move of saying that existence (which is 'not a predicate', according to Kant) is actually a quantifier, which isolates the existence claim being made about a variable with a bunch of predicates. McGinn denies Russell's claim. |