Combining Texts

All the ideas for 'Parmenides', 'The Metaontology of Abstraction' and 'What is the Source of Knowledge of Modal Truths?'

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


65 ideas

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.
2. Reason / D. Definition / 6. Definition by Essence
A definition of a circle will show what it is, and show its generating principle [Lowe]
     Full Idea: If the definition of a circle is based on 'locus of a point', this tells us what a circle is, and it does so by revealing its generating principle, what it takes for a circle to come into being.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: Lowe says that real definitions, as essences, do not always have to spell out a 'generating principle', but they do in this case. Another approach would be to try to map dependence relations between truths about circles, and see what is basic.
Defining an ellipse by conic sections reveals necessities, but not the essence of an ellipse [Lowe]
     Full Idea: Defining an ellipse in terms of the oblique intersection of a cone and a plane (rather than in terms of the sum of the distance between the foci) gives us a necessary property, but not the essence, because the terms are extrinsic to its nature.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: [compressed wording] Helpful and illuminating. If you say some figure is what results when one thing intersects another, that doesn't tell you what the result actually is. Geometrical essences may be a bit vague, but they are quite meaningful.
An essence is what an entity is, revealed by a real definition; this is not an entity in its own right [Lowe]
     Full Idea: An entity's essence is just what that entity is, revealed by its real definition. This isn't a distinct entity, but either the entity itself, or (my view) no entity at all. ..We should not reify essence, as that leads to an infinite regress of essences.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: The regress problem is a real one, if we wish to treat an essence as some proper and distinct part of an entity. If it is a mechanism, for example, the presumably a mechanism has an essence. No, it doesn't! Levels of explanation!
2. Reason / D. Definition / 11. Ostensive Definition
Simple things like 'red' can be given real ostensive definitions [Lowe]
     Full Idea: Is it true that we cannot say, non-circularly, what red is? We cannot find a complex synonym for it, but I think we can provide red with an ostensive real definition.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: I'm not quite sure how 'real' this definition would be, if it depends on observers (some of whom may be colourblind). In what sense is this act of ostensions a 'definition'? You must distinguish the colour from the texture or shape.
2. Reason / F. Fallacies / 1. Fallacy
It is a fallacy to explain the obscure with the even more obscure [Hale/Wright]
     Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3)
     A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses.
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
Singular terms refer if they make certain atomic statements true [Hale/Wright]
     Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9)
     A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd.
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 / c. Neo-logicism
Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright]
     Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19)
     A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright]
     Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4)
     A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable.
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 / 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
The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright]
     Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5)
     A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy.
8. Modes of Existence / B. Properties / 3. Types of Properties
Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright]
     Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9)
     A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright]
     Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9)
     A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties.
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
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)
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.
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
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)
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)
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)
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
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)
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)
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 / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
The essence of lumps and statues shows that two objects coincide but are numerically distinct [Lowe]
     Full Idea: It is a metaphysically necessary truth, obtaining in virtue of the essences of such objects (of what a bronze statue and a lump of bronze are) that when it exists a bronze statue coincides with a lump of bronze, which is numerically distinct from it.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: I think it is nonsense to treat the lump and statue as two objects. It is essential that a statue be made of a lump, and essential that a lump have a shape, so to treat the lump and the shape as two different objects is a failure to grasp the essence.
The essence of a bronze statue shows that it could be made of different bronze [Lowe]
     Full Idea: It is a metaphysical possibility, obtaining in virtue of the essences of such objects, that the same bronze statue should coincide with different lumps of bronze at different times. (..they have different persistence conditions).
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: If the fame of a statue were that it had been made by melting down the shield of Achilles (say), then the bronze it was made of would be its most important feature. Essences are more contextual than Lowe might wish.
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 / D. Essence of Objects / 4. Essence as Definition
Grasping an essence is just grasping a real definition [Lowe]
     Full Idea: All that grasping an essence amounts to is understanding a real definition, that is, understanding a special kind of proposition.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 7)
     A reaction: He refuses to 'reify' an essence, and says it is not an entity, so he seems to think that the definition is the essence, but Aristotle and I take the essence to be what is picked out by the correct definition - not the definition itself.
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
Explanation can't give an account of essence, because it is too multi-faceted [Lowe]
     Full Idea: Explanation is a multifaceted one, with many species (logical, mathematical, causal, teleological, and psychological), ..so it is not a notion fit to be appealed to in order to frame a perspicuous account of essence. That is one species of explanation.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: This directly attacks the core of my thesis! His parenthetical list does not give types of explanation. If I say this explanation is 'psychological', that says nothing about what explanation is. All of his instances could rest on essences.
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
If we must know some entity to know an essence, we lack a faculty to do that [Lowe]
     Full Idea: If knowledge of essence were by acquaintance of a special kind of entity, we would doubt our ability to grasp the essence of things. For what faculty could be involved in this special kind of acquaintance?
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 7)
     A reaction: This is Lockean empirical scepticism about essences, but I take the view that sometimes you can be acquainted with an essence, but more often you correctly infer it from you acquaintance - and this is just what scientists do.
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.
10. Modality / A. Necessity / 3. Types of Necessity
Logical necessities, based on laws of logic, are a proper sub-class of metaphysical necessities [Lowe]
     Full Idea: If logically necessary truths are consequences of the laws of logic, then I think they are only a proper sub-class of the class of metaphysically necessary truths.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 1)
     A reaction: The problem for this is unusual and bizarre systems of logic, or systems that contradict one another. This idea is only plausible if you talk about the truths derived from some roughly 'classical' core of logic. 'Tonk' won't do it!
10. Modality / A. Necessity / 5. Metaphysical Necessity
'Metaphysical' necessity is absolute and objective - the strongest kind of necessity [Lowe]
     Full Idea: By 'metaphysical' necessity I mean necessity of the strongest possible kind - absolute necessity - and I take it to be an objective kind of necessity, rather than being something mind-dependent.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 1)
     A reaction: See Bob Hale for the possibility that 'absolute' and 'metaphysical' necessity might come apart. I think I believe in metaphysical necessity, but I'm uneasy about 'absolute' necessity. That may be discredited by the sceptics.
10. Modality / B. Possibility / 2. Epistemic possibility
'Epistemic' necessity is better called 'certainty' [Lowe]
     Full Idea: 'Epistemic' necessity is more properly to be called 'certainty'.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 1)
     A reaction: Sounds wrong. Surely I can be totally certain of a contingent truth?
10. Modality / C. Sources of Modality / 6. Necessity from Essence
If an essence implies p, then p is an essential truth, and hence metaphysically necessary [Lowe]
     Full Idea: If we can truly affirm that it is part of the essence of some entity that p is the case, then p is an essential truth and so a metaphysically necessary truth.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: This feels too quick. He is trying to expound the idea (which I like) that necessity derives from essences, and not vice versa. Is it a metaphysical necessity that there are no moths in my wardrobe, because mothballs have driven them away? Maybe.
Metaphysical necessity is either an essential truth, or rests on essential truths [Lowe]
     Full Idea: A metaphysically necessary truth is a truth which is either an essential truth or a truth that obtains in virtue of the essences of two or more distinct things. Hence all metaphysical necessity is grounded in essence.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: Lowe is endeavouring to give an exposition of the approach advocated by Kit Fine. I divide necessities 'because of' things (such as essences) from necessities 'for' things, such as situations or events.
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
We could give up possible worlds if we based necessity on essences [Lowe]
     Full Idea: If we explicate the notion of metaphysical necessity in terms of the notion of essence, rather than vice versa, this may enable us to dispense with the language of possible worlds as a means of explicating modal statements.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: This is the approach I favour, though I am not convinced that the two approaches are in competition, since essentialism gives the driving force for necessity, whereas possible worlds map the logic and semantics of it.
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
'Intuitions' are just unreliable 'hunches'; over centuries intuitions change enormously [Lowe]
     Full Idea: I suspect that 'intuitions' and 'hunches' are pretty much the same thing, and pretty useless as sources of knowledge. …Things that seemed intuitively true to our forebears a century or two ago often by no means seem intuitively true to us now.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 2)
     A reaction: I don't accept this. Intuitions change a lot over the centuries because the reliable knowledge which informs intuitions has also changed a lot. Arguments and evidence may nail individual truths, but coherence must rest on intuition.
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
A concept is a way of thinking of things or kinds, whether or not they exist [Lowe]
     Full Idea: The nearest I can get to a quick definition is to say that a concept is a way of thinking of some thing or kind of things, whether or not a really existent thing or kind of things.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 2)
     A reaction: The focus on 'things' seems rather narrow. Are relations things? He makes concepts sound adverbial, so that there is thinking going on, and then we add 'ways' of doing it. Thinking depends on concepts, not concepts on thinking.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright]
     Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5)
     A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent.
Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright]
     Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8)
     A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land.
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
Direct reference doesn't seem to require that thinkers know what it is they are thinking about [Lowe]
     Full Idea: It may be objected that currently prevailing causal or 'direct' theories of reference precisely deny that a thinker must know what it is the he or she is thinking about in order to be able to think about it.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 7)
     A reaction: Lowe says that at least sometimes we have to know that we are thinking about, so this account of reference can't be universally true. My solution is to pull identity and essence apart. You only need identity, not essence, for reference.
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
Reference needs truth as well as sense [Hale/Wright]
     Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9)
     A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth?
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.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
H2O isn't necessary, because different laws of nature might affect how O and H combine [Lowe]
     Full Idea: It is not metaphysically necessary that water is composed of H2O molecules, because the natural laws governing the chemical behaviour of hydrogen and oxygen atoms could have been significantly different, so they might not have composed that substance.
     From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6)
     A reaction: I fear this may be incoherent, as science. See Bird on why salt must dissolve in water. There can't (I suspect) be a law which keeps O and H the same, and yet makes them combine differently.
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)