Combining Texts

All the ideas for 'Parmenides', 'On What There Is' and 'Identity, Ostension, and Hypostasis'

unexpand these ideas     |    start again     |     specify just one area for these texts


77 ideas

1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
We aren't stuck with our native conceptual scheme; we can gradually change it [Quine]
     Full Idea: We must not leap to the fatalistic conclusion that we are stuck with the conceptual scheme that we grew up in. We can change it bit by bit, plank by plank.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 5)
     A reaction: This is an interesting commitment to Strawson's 'revisionary' metaphysics, rather than its duller cousin 'descriptive' metaphysics. Good for Quine. Remember, though, Davidson's 'On the Very Idea of Conceptual Scheme'.
2. Reason / A. Nature of Reason / 1. On Reason
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)
2. Reason / B. Laws of Thought / 5. Opposites
Opposites are as unlike as possible [Plato]
     Full Idea: Opposites are as unlike as possible.
     From: Plato (Parmenides [c.364 BCE], 159a)
2. Reason / C. Styles of Reason / 1. Dialectic
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.
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
We study bound variables not to know reality, but to know what reality language asserts [Quine]
     Full Idea: We look to bound variables in connection with ontology not in order to know what there is, but in order to know what a given remark or doctrine, ours or someone else's, says there is.
     From: Willard Quine (On What There Is [1948], p.15)
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
Canonical notation needs quantification, variables and predicates, but not names [Quine, by Orenstein]
     Full Idea: Quine says that names need not be part of one's canonical notation; in fact, whatever scientific purposes are accomplished by names can be carried out just as well by the devices of quantification, variables and predicates.
     From: report of Willard Quine (On What There Is [1948]) by Alex Orenstein - W.V. Quine Ch.2
     A reaction: This is part of Quine's analysis of where the ontological commitment of a language is to be found. Kripke's notion that a name baptises an item comes as a challenge to this view.
Quine extended Russell's defining away of definite descriptions, to also define away names [Quine, by Orenstein]
     Full Idea: Quine extended Russell's theory for defining away definite descriptions, so that he could also define away names.
     From: report of Willard Quine (On What There Is [1948]) by Alex Orenstein - W.V. Quine Ch.2
     A reaction: Quine also gets rid of universals and properties, so his ontology is squeezed from both the semantic and the metaphysical directions. Quine seems to be the key figure in modern ontology. If you want to expand it (E.J. Lowe), justify yourself to Quine.
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
Names can be converted to descriptions, and Russell showed how to eliminate those [Quine]
     Full Idea: I have shown that names can be converted to descriptions, and Russell has shown that descriptions can be eliminated.
     From: Willard Quine (On What There Is [1948], p.12)
5. Theory of Logic / L. Paradox / 3. Antinomies
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'
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
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
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.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logicists cheerfully accept reference to bound variables and all sorts of abstract entities [Quine]
     Full Idea: The logicism of Frege, Russell, Whitehead, Church and Carnap condones the use of bound variables or reference to abstract entities known and unknown, specifiable and unspecifiable, indiscriminately.
     From: Willard Quine (On What There Is [1948], p.14)
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Formalism says maths is built of meaningless notations; these build into rules which have meaning [Quine]
     Full Idea: The formalism of Hilbert keeps classical maths as a play of insignificant notations. Agreement is found among the rules which, unlike the notations, are quite significant and intelligible.
     From: Willard Quine (On What There Is [1948], p.15)
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionism says classes are invented, and abstract entities are constructed from specified ingredients [Quine]
     Full Idea: The intuitionism of Poincaré, Brouwer, Weyl and others holds that classes are invented, and accepts reference to abstract entities only if they are constructed from pre-specified ingredients.
     From: Willard Quine (On What There Is [1948], p.14)
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualism holds that there are universals but they are mind-made [Quine]
     Full Idea: Conceptualism holds that there are universals but they are mind-made.
     From: Willard Quine (On What There Is [1948], p.14)
7. Existence / A. Nature of Existence / 2. Types of Existence
For Quine, there is only one way to exist [Quine, by Shapiro]
     Full Idea: Quine takes 'existence' to be univocal, with a single ontology for his entire 'web of belief'.
     From: report of Willard Quine (On What There Is [1948]) by Stewart Shapiro - Philosophy of Mathematics 4.9
     A reaction: Thus, there can be no 'different way of existing' (such as 'subsisting') for abstract objects such as those of mathematics. I presume that Quine's low-key physicalism is behind this.
7. Existence / A. Nature of Existence / 3. Being / c. Becoming
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)
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
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.
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
The idea of a thing and the idea of existence are two sides of the same coin [Quine, by Crane]
     Full Idea: According to Quine's conception of existence, the idea of a thing and the idea of existence are two sides of the same coin.
     From: report of Willard Quine (On What There Is [1948]) by Tim Crane - Elements of Mind 1.5
     A reaction: I suspect that Quine's ontology is too dependent on language, but this thought seems profoundly right
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Quine rests existence on bound variables, because he thinks singular terms can be analysed away [Quine, by Hale]
     Full Idea: It is because Quine holds constant singular terms to be always eliminable by an extension of Russell's theory of definite descriptions that he takes the bound variables of first-order quantification to be the sole means by which we refer to objects.
     From: report of Willard Quine (On What There Is [1948]) by Bob Hale - Necessary Beings 01.2
     A reaction: Hale defends a Fregean commitment to existence based on the reference of singular terms in true statements. I think they're both wrong. If you want to know what I am committed to, ask me. Don't infer it from my use of English, or logic.
7. Existence / B. Change in Existence / 2. Processes
A river is a process, with stages; if we consider it as one thing, we are considering a process [Quine]
     Full Idea: A river is a process through time, and the river stages are its momentary parts. Identification of the river bathed in once with the river bathed in again is just what determines our subject matter to be a river process as opposed to a river stage.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 1)
     A reaction: So if we take a thing which has stages, but instead of talking about the stages we talk about a single thing that endures through them, then we are talking about a process. Sounds very good to me.
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
We don't say 'red' is abstract, unlike a river, just because it has discontinuous shape [Quine]
     Full Idea: 'Red' is surely not going to be opposed to 'Cayster' [name of a river], as abstract to concrete, merely because of discontinuity in geometrical shape?
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 2)
     A reaction: I've been slow to grasp the truth of this. However, Quine assumes that 'red' is concrete because 'Cayster' is, but it is perfectly arguable that 'Cayster' is an abstraction, despite all that water.
7. Existence / D. Theories of Reality / 1. Ontologies
Quine's ontology is wrong; his question is scientific, and his answer is partly philosophical [Fine,K on Quine]
     Full Idea: Quine's approach to ontology asks the wrong question, a scientific rather than philosophical question, and answers it in the wrong way, by appealing to philosophical considerations in addition to ordinary scientific considerations.
     From: comment on Willard Quine (On What There Is [1948]) by Kit Fine - The Question of Ontology p.161
     A reaction: He goes on to call Quine's procedure 'cockeyed'. Presumably Quine would reply with bafflement that scientific and philosophical questions could be considered as quite different from one another.
7. Existence / D. Theories of Reality / 3. Reality
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)
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
What actually exists does not, of course, depend on language [Quine]
     Full Idea: Ontological controversy tends into controversy over language, but we must not jump to the conclusion that what there is depends on words.
     From: Willard Quine (On What There Is [1948], p.16)
     A reaction: An important corrective to my constant whinge against philosophers who treat ontology as if it were semantics, of whom Quine is the central villain. Quine was actually quite a sensible chap.
General terms don't commit us ontologically, but singular terms with substitution do [Quine]
     Full Idea: The use of general terms does not commit us to admitting a corresponding abstract entity into our ontology, but an abstract singular term, including the law of putting equals for equals, flatly commits us to an abstract entity named by the term.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 4)
     A reaction: Does this mean that in 'for the sake of the children', I have to believe in 'sakes' if I can find a synonym which will substitute for it?
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
To be is to be the value of a variable, which amounts to being in the range of reference of a pronoun [Quine]
     Full Idea: To be assumed as an entity is to be reckoned as the value of a variable. This amounts roughly to saying that to be is to be in the range of reference of a pronoun.
     From: Willard Quine (On What There Is [1948], p.13)
     A reaction: Cf. Idea 7784.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
Fictional quantification has no ontology, so we study ontology through scientific theories [Quine, by Orenstein]
     Full Idea: In fiction, 'Once upon a time there was an F who...' obviously does not make an ontological commitment, so Quine says the question of which ontology we accept must be dealt with in terms of the role an ontology plays in a scientific worldview.
     From: report of Willard Quine (On What There Is [1948]) by Alex Orenstein - W.V. Quine Ch.3
     A reaction: This seems to invite questions about the ontology of people who don't espouse a scientific worldview. If your understanding of the outside world and of the past is created for you by storytellers, you won't be a Quinean.
An ontology is like a scientific theory; we accept the simplest scheme that fits disorderly experiences [Quine]
     Full Idea: Our acceptance of ontology is similar in principle to our acceptance of a scientific theory; we adopt the simplest conceptual scheme into which the disordered fragments of raw experience can be fitted and arranged.
     From: Willard Quine (On What There Is [1948], p.16)
     A reaction: Quine (who says he likes 'desert landscapes') is the modern hero for anyone who loves Ockham's Razor, and seeks extreme simplicity. And yet he finds himself committed to the existence of sets to achieve this.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
If commitment rests on first-order logic, we obviously lose the ontology concerning predication [Maudlin on Quine]
     Full Idea: If Quine restricts himself to first-order predicate calculus, then the ontological implications concern the subjects of predicates. The nature of predicates, and what must be true for the predication, have disappeared from the radar screen.
     From: comment on Willard Quine (On What There Is [1948]) by Tim Maudlin - The Metaphysics within Physics 3.1
     A reaction: Quine's response, I presume, is that the predicates can all be covered extensionally (red is a list of the red objects), and so a simpler logic will do the whole job. I agree with Maudlin though.
If to be is to be the value of a variable, we must already know the values available [Jacquette on Quine]
     Full Idea: To apply Quine's criterion that to be is to be the value of a quantifier-bound variable, we must already know the values of bound variables, which is to say that we must already be in possession of a preferred existence domain.
     From: comment on Willard Quine (On What There Is [1948], Ch.6) by Dale Jacquette - Ontology
     A reaction: [A comment on Idea 1610]. Very nice to accuse Quine, of all people, of circularity, given his attack on analytic-synthetic with the same strategy! The values will need to be known extra-lingistically, to avoid more circularity.
7. Existence / E. Categories / 5. Category Anti-Realism
Discourse generally departmentalizes itself to some degree [Quine]
     Full Idea: Discourse generally departmentalizes itself to some degree.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 2)
     A reaction: I pick this out because I think it is important. There is a continually shifting domain in any conversation ('what we are talking about'), and speech cannot be understand if the shifting domain or department has not been grasped.
8. Modes of Existence / D. Universals / 1. Universals
Realism, conceptualism and nominalism in medieval universals reappear in maths as logicism, intuitionism and formalism [Quine]
     Full Idea: The three medieval views on universals (realism, conceptualism and nominalism) reappear in the philosophy of maths as logicism, intuitionism and formalism.
     From: Willard Quine (On What There Is [1948], p.14)
8. Modes of Existence / D. Universals / 2. Need for Universals
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)
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)
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
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)
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)
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)
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.
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)
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)
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
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)
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)
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)
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)
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)
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
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)
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)
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
There is no entity called 'redness', and that some things are red is ultimate and irreducible [Quine]
     Full Idea: There is not any entity whatever, individual or otherwise, which is named by the word 'redness'. ...That the houses and roses and sunsets are all of them red may be taken as ultimate and irreducible.
     From: Willard Quine (On What There Is [1948], p.10)
     A reaction: This seems to invite the 'ostrich' charge (Armstrong), that there is something left over that needs explaining. If the reds are ultimate and irreducible, that seems to imply that they have no relationship at all to one another.
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Quine has argued that predicates do not have any ontological commitment [Quine, by Armstrong]
     Full Idea: Quine has attempted to bypass the problem of universals by arguing for the ontological innocence of predicates, since it is the application conditions of predicates which furnish the Realists with much of their case.
     From: report of Willard Quine (On What There Is [1948]) by David M. Armstrong - Universals p.503
     A reaction: Presumably this would be a claim that predicates appear to commit us to properties, but that properties are not natural features, and can be reduced to something else. Tricky..
8. Modes of Existence / E. Nominalism / 4. Concept Nominalism
Understanding 'is square' is knowing when to apply it, not knowing some object [Quine]
     Full Idea: No more need be demanded of 'is square' than that our listener learn when to expect us to apply it to an object and when not; there is no need for the phrase itself to be the name in turn of a separate object of any kind.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 4)
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
'Red' is a single concrete object in space-time; 'red' and 'drop' are parts of a red drop [Quine]
     Full Idea: Why not view 'red' as naming a single concrete object extended in space and time? ..To say a drop is red is to say that the one object, the drop, is a spatio-temporal part of the other, red, as a waterfall is part of a river.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 2)
Red is the largest red thing in the universe [Quine]
     Full Idea: Red is the largest red thing in the universe - the scattered total thing whose parts are all the red things.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 3)
9. Objects / A. Existence of Objects / 1. Physical Objects
Treating scattered sensations as single objects simplifies our understanding of experience [Quine]
     Full Idea: By bringing together scattered sense events and treating them as perceptions of one object, we reduce the complexity of our stream of experience to a manageable conceptual simplicity.
     From: Willard Quine (On What There Is [1948], p.17)
     A reaction: If, however, our consideration of tricky cases, such as vague objects, or fast-changing objects, or spatially coinciding objects made it all seem too complex, then Quine's argument would be grounds for abandoning objects. See Merricks.
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
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.
9. Objects / C. Structure of Objects / 5. Composition of an Object
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?
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
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.
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.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
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.
9. Objects / F. Identity among Objects / 1. Concept of Identity
To unite a sequence of ostensions to make one object, a prior concept of identity is needed [Quine]
     Full Idea: The concept of identity is central in specifying spatio-temporally broad objects by ostension. Without identity, n acts of ostension merely specify up to n objects. ..But when we affirm identity of object between ostensions, they refer to the same object.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 1)
     A reaction: Quine says that there is an induction involved. On the whole, Quine seems to give a better account of identity than Geach or Wiggins can offer.
9. Objects / F. Identity among Objects / 6. Identity between Objects
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.
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
We should just identify any items which are indiscernible within a given discourse [Quine]
     Full Idea: We might propound the maxim of the 'identification of indiscernibles': Objects indistinguishable from one another within the terms of a given discourse should be construed as identical for that discourse.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 2)
     A reaction: This increasingly strikes me as the correct way to discuss such things. Identity is largely contextual, and two things can be viewed as type-identical for practical purposes (e.g. teaspoons), but distinguished if it is necessary.
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
Quine's indispensability argument said arguments for abstracta were a posteriori [Quine, by Yablo]
     Full Idea: Fifty years ago, Quine convinced everyone who cared that the argument for abstract objects, if there were going to be one, would have to be a posteriori in nature; an argument that numbers, for example, are indispensable entities for 'total science'.
     From: report of Willard Quine (On What There Is [1948], §1) by Stephen Yablo - Apriority and Existence
     A reaction: This sets the scene for the modern debate on the a priori. The claim that abstractions are indispensable for a factual account of the physical world strikes me as highly implausible.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Can an unactualized possible have self-identity, and be distinct from other possibles? [Quine]
     Full Idea: Is the concept of identity simply inapplicable to unactualized possibles? But what sense can be found in talking of entities which cannot meaningfully be said to be identical with themselve and distinct from one another.
     From: Willard Quine (On What There Is [1948], p.4)
     A reaction: Can he seriously mean that we are not allowed to talk about possible objects? If I design a house, it is presumably identical to the house I am designing, and distinct from houses I'm not designing.
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
We can never translate our whole language of objects into phenomenalism [Quine]
     Full Idea: There is no likelihood that each sentence about physical objects can actually be translated, however deviously and complexly, into the phenomenalistic language.
     From: Willard Quine (On What There Is [1948], p.18), quoted by Penelope Maddy - Naturalism in Mathematics III.2
18. Thought / D. Concepts / 5. Concepts and Language / b. Concepts are linguistic
Concepts are language [Quine]
     Full Idea: Concepts are language.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 5)
     A reaction: Hm. This seems to mean that animals and pre-linguistic children have no concepts. I just don't believe that.
18. Thought / E. Abstraction / 1. Abstract Thought
Apply '-ness' or 'class of' to abstract general terms, to get second-level abstract singular terms [Quine]
     Full Idea: Applying the operator '-ness' or 'class of' to abstract general terms, we get second-level abstract singular terms.
     From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 5)
     A reaction: This is the derivation of abstract concepts by naming classes, rather than by deriving equivalence classes. Any theory which doesn't allow multi-level abstraction is self-evidently hopeless. Quine says Frege and Russell get numbers this way.
19. Language / A. Nature of Meaning / 7. Meaning Holism / b. Language holism
There is an attempt to give a verificationist account of meaning, without the error of reducing everything to sensations [Dennett on Quine]
     Full Idea: This essay offered a verificationist account of language without the logical positivist error of supposing that verification could be reduced to a mere sequence of sense-experiences.
     From: comment on Willard Quine (On What There Is [1948]) by Daniel C. Dennett - works
     A reaction: This is because of Quine's holistic view of theory, so that sentences are not tested individually, where sense-data might be needed as support, but as whole teams which need to be simple, coherent etc.
19. Language / A. Nature of Meaning / 10. Denial of Meanings
I do not believe there is some abstract entity called a 'meaning' which we can 'have' [Quine]
     Full Idea: Some philosophers construe meaningfulness as the having (in some sense of 'having') of some abstract entity which he calls a meaning, whereas I do not.
     From: Willard Quine (On What There Is [1948], p.11)
     A reaction: To call a meaning an 'entity' is to put a spin on it that makes it very implausible. Introspection shows us a gap between grasping a word and grasping its meaning.
The word 'meaning' is only useful when talking about significance or about synonymy [Quine]
     Full Idea: The useful ways in which ordinary people talk about meanings boil down to two: the having of meanings, which is significance, and sameness of meaning, or synonymy.
     From: Willard Quine (On What There Is [1948], p.11)
     A reaction: If the Fregean criterion for precise existence is participation in an identity relation, then synonymy does indeed pinpoint what we mean by 'meaning.
19. Language / C. Assigning Meanings / 3. Predicates
Quine relates predicates to their objects, by being 'true of' them [Quine, by Davidson]
     Full Idea: Quine relates predicates to the things of which they can be predicated ...and hence predicates are 'true of' each and every thing of which the predicate can be truly predicated.
     From: report of Willard Quine (On What There Is [1948]) by Donald Davidson - Truth and Predication 5
     A reaction: Davidson comments that the virtue of Quine's view is negative, in avoiding a regress in the explanation of predication. I'm not sure about true 'of' as an extra sort of truth, but I like dropping predicates from ontology, and sticking to truths.
25. Social Practice / E. Policies / 5. Education / c. Teaching
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)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / d. The unlimited
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)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
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
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)
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.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
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)