Combining Texts

All the ideas for 'Metaphysics', 'The Metaphysic of Abstract Particulars' and 'Naming and Necessity lectures'

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


439 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Knowledge chosen for its own sake, rather than for results, is wisdom [Aristotle]
     Full Idea: Knowledge chosen for itself and for the sake of knowledge is wisdom, more than that which is chosen for results.
     From: Aristotle (Metaphysics [c.324 BCE], 0982a12)
     A reaction: Well something has to be for its own sake! But what about trivial knowledge? That question led Plato to the Forms.
Wisdom seeks explanations, causes, and reasons why things are as they are [Aristotle, by Politis]
     Full Idea: Aristotle characterises wisdom as a search for explanations (aitiai, which can also be translated as 'causes') and explanatory knowledge (epistemé, knowledge why something is as it is).
     From: report of Aristotle (Metaphysics [c.324 BCE], Bk 01.2) by Vassilis Politis - Aristotle and the Metaphysics 1.1
     A reaction: I think this idea might be a key one for modern philosophers, if they are searching for a metaphysics which can be integrated with modern science.
1. Philosophy / A. Wisdom / 2. Wise People
It is not much help if a doctor knows about universals but not the immediate particular [Aristotle]
     Full Idea: If a doctor were to have a theoretical account without experience, knowing the universal but not the immediate particular, he will often err in treatment.
     From: Aristotle (Metaphysics [c.324 BCE], 0981a25)
     A reaction: But acquaintance with particulars isn't the same as knowledge, which may require universals.
1. Philosophy / D. Nature of Philosophy / 1. Philosophy
All philosophy begins from wonder, either at the physical world, or at ideas [Aristotle]
     Full Idea: All men begin to philosophise from wonder, for example at the changes of the sun, or the incommensurability of the diameter (pi)
     From: Aristotle (Metaphysics [c.324 BCE], 0983a14)
     A reaction: If it doesn't begin with wonder, what does it begin with?
1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
If each of us can give some logos about parts of nature, our combined efforts can be impressive [Aristotle]
     Full Idea: Each of us is able to give a logos about some part of nature and even though as individuals little or nothing is added to the truth, from all of us contributing together something grand comes about.
     From: Aristotle (Metaphysics [c.324 BCE], 0993b04)
     A reaction: Aristotle sees philosophy and science as group activities.
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Philosophy is a kind of science that deals with principles [Aristotle]
     Full Idea: Philosophy is a kind of science that deals with principles.
     From: Aristotle (Metaphysics [c.324 BCE], 1059a13)
     A reaction: So is philosophy just part of science - the bit that tries to explain the abstract instead of the physical?
Absolute thinking is the thinking of thinking [Aristotle]
     Full Idea: Absolute thinking is the thinking of thinking.
     From: Aristotle (Metaphysics [c.324 BCE], 1074b28)
     A reaction: Connects to the apparently unique human ability to reflect about our own thoughts.
Philosophy has different powers from dialectic, and a different life from sophistry [Aristotle]
     Full Idea: Philosophy differs from dialectic in the manner of its powers, and from sophistry in the choice of life that it involves.
     From: Aristotle (Metaphysics [c.324 BCE], 1004b17)
     A reaction: Note the separation of dialectic from the heart of philosophy, and the claim that philosophy is a way of life.
1. Philosophy / D. Nature of Philosophy / 4. Divisions of Philosophy
If only natural substances exist, science is first philosophy - but not if there is an immovable substance [Aristotle]
     Full Idea: If there is no substance other than those which are formed by nature, natural science will be the first science; but if there is an immovable substance, the science of this must be prior and must be first philosophy.
     From: Aristotle (Metaphysics [c.324 BCE], 1026a28)
     A reaction: For Aristotle science is mainly finding the causes of everything. Does he think physical science is the way to study ethics and politics. Maybe, via essential natures and natural functions.
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / c. Philosophy as generalisation
Wisdom is knowledge of principles and causes [Aristotle]
     Full Idea: Wisdom is knowledge having to do with certain principles [archas] and causes [aitias].
     From: Aristotle (Metaphysics [c.324 BCE], 0982a02)
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
Translate as 'humans all desire by nature to understand' (not as 'to know') [Aristotle, by Annas]
     Full Idea: Aristotle says that 'humans all desire by nature to understand'. The Greek word here is often translated as 'to know', but this can be misleading. It is not a piling up of known facts, ..but mastery of a field of knowledge, and explaining why.
     From: report of Aristotle (Metaphysics [c.324 BCE], 0980a22) by Julia Annas - Ancient Philosophy: very short introduction Ch.1
     A reaction: I take this gloss of Annas's to be highly significant if we are trying to understand Aristotle, since it appears to be the single most significant remark from him of what his life's work was about.
1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
Even people who go astray in their opinions have contributed something useful [Aristotle]
     Full Idea: We should not only be grateful to those in whose opinions we at all share but also to those who have gone astray, for even the latter have contributed something.
     From: Aristotle (Metaphysics [c.324 BCE], 0993b12)
     A reaction: Yes, but what have they contributed? Have they revealed lines of reasoning, or are they just a terrible warning?
1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
Kripke separated semantics from metaphysics, rather than linking them, making the latter independent [Kripke, by Stalnaker]
     Full Idea: Kripke's contribution was not to connect metaphysical and semantic issues, but to separate them: to provide a context in which questions about essences of things could be posed independently of assumptions about semantic rules of reference.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Robert C. Stalnaker - Reference and Necessity Intro
     A reaction: In other words, Kripke set metaphysics free from the tyranny of Quine, and facilitated its modern rebirth. Bravo.
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
Analyses of concepts using entirely different terms are very inclined to fail [Kripke]
     Full Idea: Philosophical analyses of some concept like reference, in completely different terms which make no mention of reference, are very apt to fail.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: Kripke consistently criticises analysic, and philosophical 'theories'. It is why he wanted a 'direct' theory of reference, with just you and the object.
2. Reason / A. Nature of Reason / 7. Status of Reason
It is readily agreed that thinking is the most godlike of things in our experience [Aristotle]
     Full Idea: It is readily agreed that thinking is the most godlike of things in our experience.
     From: Aristotle (Metaphysics [c.324 BCE], 1074b11)
2. Reason / B. Laws of Thought / 3. Non-Contradiction
A thing cannot be both in and not-in the same thing (at a given time) [Aristotle]
     Full Idea: It is impossible for the same thing at the same time both to be-in and not to be-in the same thing in the same respect.
     From: Aristotle (Metaphysics [c.324 BCE], 1005b19)
     A reaction: Aristotle is really discussing non-contradiction here, but this formulation is very close to Leibniz's Law (that two identical things must have identical properties).
The most certain basic principle is that contradictories can't be true at the same time [Aristotle]
     Full Idea: The most certain of all basic principles is that contradictory propositions are not true at the same time.
     From: Aristotle (Metaphysics [c.324 BCE], 1011b13)
     A reaction: Principle of Noncontradiction
Aristotle does not take the principle of non-contradiction for granted [Aristotle, by Politis]
     Full Idea: Aristotle goes to great lengths to defend the principle of non-contradiction, and does not at all think that it is obviously true.
     From: report of Aristotle (Metaphysics [c.324 BCE], logic) by Vassilis Politis - Aristotle and the Metaphysics 5.1
We cannot say that one thing both is and is not a man [Aristotle]
     Full Idea: It is not possible to say truly at the same time that the same thing both is and is not a man.
     From: Aristotle (Metaphysics [c.324 BCE], 1006b33)
For Aristotle predication is regulated by Non-Contradiction, because underlying stability is essential [Roochnik on Aristotle]
     Full Idea: The Principle of Noncontradiction is for Aristotle the ultimate regulator of predication. In order for any predication to be significant it must refer to something definite and stable.
     From: comment on Aristotle (Metaphysics [c.324 BCE], 1011b13) by David Roochnik - The Tragedy of Reason p.152
2. Reason / B. Laws of Thought / 4. Contraries
There is no middle ground in contradiction, but there is in contrariety [Aristotle]
     Full Idea: With contradiction there can be no intermediate state, whereas with contrariety there can be.
     From: Aristotle (Metaphysics [c.324 BCE], 1055b02)
2. Reason / B. Laws of Thought / 5. Opposites
If everything is made of opposites, are the opposed things made of opposites? [Aristotle]
     Full Idea: If all things are composed of opposites, how can the things of which the opposites are made be composed of opposites?
     From: Aristotle (Metaphysics [c.324 BCE], 1075a23)
     A reaction: A nice warning against being too simplistic in metaphysics.
Not everything is composed of opposites; what, for example, is the opposite of matter? [Aristotle]
     Full Idea: All things are not composed of opposites, because matter is not the opposite of anything.
     From: Aristotle (Metaphysics [c.324 BCE], 1075a28)
     A reaction: A nice counterexample
2. Reason / D. Definition / 1. Definitions
The parts of a definition are isomorphic to the parts of the entity [Aristotle]
     Full Idea: The definition is an account, and every account has its parts, and there is an isomorphism between the relation of the account to the entity that it concerns and the relation of a part of the account to a part of the entity.
     From: Aristotle (Metaphysics [c.324 BCE], 1034b20)
     A reaction: This makes a definition sound like a catalogue of parts, which is likely to miss something important, such as the overall form, or the function. Aristotle has much more to say on the subject of definition. Cf. Russell's congruence view of truth.
The material element may be essential to a definition [Aristotle]
     Full Idea: One strays from the purpose of definitions if one confines oneself to a formal account and simply discards the material element.
     From: Aristotle (Metaphysics [c.324 BCE], 1036b20)
If we define 'man' as 'two-footed animal', why does that make man a unity? [Aristotle]
     Full Idea: What makes it the case that, if we call the account of something a 'definition', that thing is a unity? If 'two-footed animal' is the account of man, and a definition, why, then, is 'man' a single thing and not a plurality (viz. animal and two-footed)?
     From: Aristotle (Metaphysics [c.324 BCE], 1037b10)
     A reaction: The obvious answer, I would have thought, is that we can think of man as a unity or as a plurality, depending on which aspect we are interested in. I see no problem with this. Nature offers us unities, but we ultimately select them.
2. Reason / D. Definition / 2. Aims of Definition
Some definitions aim to fix a reference rather than give a meaning [Kripke]
     Full Idea: Some things called definitions really intend to fix a reference rather than to give the meaning of a phrase, to give a synonym.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: His example is pi. Some definitions relate to reality (e.g. ostensive definition), and others are part of a language game. But then some concepts are dictated to us by reality, and others are arbitrarily invented by us for convenience.
2. Reason / D. Definition / 3. Types of Definition
You can't define particulars, because accounts have to be generalised [Aristotle]
     Full Idea: It is impossible to define particulars. …The fact is that an account is general.
     From: Aristotle (Metaphysics [c.324 BCE], 1040a33-)
     A reaction: Aristotle rejects attempts to define the Sun as possible counterexamples. Since this claims rests on the idea of an account [logos], I presume the point is actually that definitions are linguistic, and must use general words.
2. Reason / D. Definition / 4. Real Definition
Only substance [ousias] admits of definition [Aristotle]
     Full Idea: Only substance admits of definition.
     From: Aristotle (Metaphysics [c.324 BCE], 1030b34)
Sometimes parts must be mentioned in definitions of essence, and sometimes not [Aristotle]
     Full Idea: In some instances the account of the what-it-was-to-be-that-thing contains the parts of the thing defined and in others not.
     From: Aristotle (Metaphysics [c.324 BCE], 1037a22)
     A reaction: This is helpful in understanding what an essence is supposed to be. I take it to be sometimes a structure, with parts, and sometimes more like a guiding principle, more abstract in character.
Definitions need the complex features of form, and don't need to mention the category [Aristotle, by Wedin]
     Full Idea: Met. Z.10-11 is committed to the complexity of form and suggests that the complexity is expressed in definitions that articulate, in the case of 'man', the salient faculties and functions, and none of these need mention 'man'.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1034b20-1037b) by Michael V. Wedin - Aristotle's Theory of Substance X.5
     A reaction: This is a very strong statement of the view that identifying genus and species are not at all what Aristotle wants in his final account of essence. The features mentioned here would, though, clearly count as 'differentiae'.
A definition must be of something primary [Aristotle]
     Full Idea: We can assign a term to any 'account' whatever, so that the Iliad would be a definition! No, a definition must be of something primary.
     From: Aristotle (Metaphysics [c.324 BCE], 1030a08)
     A reaction: At first hearing you may doubt this claim, but Aristotle's example clinches it beautifully. Are you really going to say that The Iliad is the definition of 'Iliad'?
2. Reason / D. Definition / 5. Genus and Differentia
'Plane' is the genus of plane figures, and 'solid' of solids, with differentiae picking out types of corner [Aristotle]
     Full Idea: 'Plane' is the genus of figures in the plane, and 'solid' is the genus of solids. For every figure is either a plane with abc features or a solid with xyz features, so it is the plane and solid which underlie these differentiae.
     From: Aristotle (Metaphysics [c.324 BCE], 1024b01)
     A reaction: Thus you could hardly define a square by merely mentioning that it is a 'plane figure', and you would need pretty precise differentiae before you could be certain you were only dealing with a square, and not a parallelogram.
Whiteness can only belong to man because an individual like Callias happens to be white [Aristotle]
     Full Idea: If Callias is a white man, then whiteness belongs in a way to Callias, or to man, in as much as Callias, to whom it is accidental here to be a man, is white.
     From: Aristotle (Metaphysics [c.324 BCE], 1030b20)
     A reaction: The point here is that 'white' can only belong to 'man' because some individual man happens to be white.
A definition is of the universal and of the kind [Aristotle]
     Full Idea: A definition is of the universal [tou katholou] and the form [tou eidous, kind, species].
     From: Aristotle (Metaphysics [c.324 BCE], 1036a28)
     A reaction: [Alternative translations by Vasilis Politis] Since the essence of a thing is a particular (Idea 11382), this seems to mean that the definition is NOT giving the essence, contrary to the account of Kit Fine. I take the essence to be explanatory.
Definition by division is into genus and differentiae [Aristotle]
     Full Idea: The contents of definition by division are the so-called primary genus (such as 'animal') and the differentiae. ...It should always be prosecuted until the level of non-differentiation is reached, ...and the last differentia will be the substance.
     From: Aristotle (Metaphysics [c.324 BCE], 1037b30)
     A reaction: [Second half at 1038a14] Note that this is only one type of Aristotelian definition, the 'definition by division'. The aim of this type of definition is to analyse down to substance. Presumably you can't ignore crucial features found on the way?
If the genus is just its constitutive forms (or matter), then the definition is the account of the differentiae [Aristotle]
     Full Idea: If the genus simpliciter does not exist over and above the specific forms constitutive of it, alternatively if it exists just as matter, it is evident what the definition is, the account derived just from the differentiae.
     From: Aristotle (Metaphysics [c.324 BCE], 1038a05-)
     A reaction: This is how I understand an Aristotelian definition - as a lengthy and fine-grained account of the details which pick out some individual within the main genus which constitutes it.
If I define you, I have to use terms which are all true of other things too [Aristotle]
     Full Idea: Suppose I was trying to define you. I would say you are an animal that is lean or white or some such, all of which also apply to other things.
     From: Aristotle (Metaphysics [c.324 BCE], 1040a13)
     A reaction: Commentators have taken this to mean that Aristotle is only interested in kinds and not individuals, but recent thinking says this is wrong. Universals prevent you from really getting at the thing you want to define. Definitions are limited.
Species and genera are largely irrelevant in 'Metaphysics' [Aristotle, by Wedin]
     Full Idea: Species and genera are largely irrelevant to the program of 'Metaphysics'.
     From: report of Aristotle (Metaphysics [c.324 BCE], kind) by Michael V. Wedin - Aristotle's Theory of Substance III.10
     A reaction: The idea seems to be that Aristotle is seeking tools for getting at the primary being of a thing, and the notion of 'form' strikes him as a better account, because it explains the genera and species, rather than just naming them.
Aristotle's definitions are not unique, but apply to a range of individuals [Aristotle, by Witt]
     Full Idea: I take Aristotle to be arguing that no definition applies uniquely to an individual - it is always potentially applicable to a range of individuals.
     From: report of Aristotle (Metaphysics [c.324 BCE], defs) by Charlotte Witt - Substance and Essence in Aristotle 4.2 n7
     A reaction: So much the worse for Aristotle, I think. Surely unique entities can be defined? No one thinks their pet dog is just any dog, even after the age and breed have been identified.
2. Reason / D. Definition / 6. Definition by Essence
A definition is an account of a what-it-was-to-be-that-thing [Aristotle]
     Full Idea: A definition is an account of a what-it-was-to-be-that-thing.
     From: Aristotle (Metaphysics [c.324 BCE], 1031a12)
     A reaction: This is cited by Kit Fine, as expounding his view that essence is definition. He gives this text as "definition is the formula of the essence". Is the account the 'logos', I wonder? I like this view.
Essence is not all the necessary properties, since these extend beyond the definition [Aristotle, by Witt]
     Full Idea: Aristotle never thought of an essence as comprising all the necessary properties of an object. In Met VII.4 he limits per se predication appropriate to essences to the definition, and in Topics he distinguishes definition from the 'proprium'.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Charlotte Witt - Substance and Essence in Aristotle 4.1
     A reaction: [Topics 102a20-25] There seems to be consensus among scholars about this, and only a few misguided modern metaphysicians identify essences with the necessary properties (or maybe the non-trivial necessary properties).
2. Reason / E. Argument / 3. Analogy
Some things cannot be defined, and only an analogy can be given [Aristotle]
     Full Idea: It is not right to seek a definition for everything - for some things an overview is to be had by analogy.
     From: Aristotle (Metaphysics [c.324 BCE], 1048a33)
     A reaction: This is what David Lewis called the 'way of example' in defining what is meant by 'abstract objects'.
2. Reason / F. Fallacies / 2. Infinite Regress
Not everything can be proven, because that would lead to an infinite regress [Aristotle]
     Full Idea: It must be true, quite generally, that not everything can be proven, on pain of an infinite regress.
     From: Aristotle (Metaphysics [c.324 BCE], 1006a09)
     A reaction: Compare Idea 1672, where the possibility of a circular set of mutual proofs is considered. Aristotle seems committed to the present idea.
3. Truth / A. Truth Problems / 1. Truth
Truth is a matter of asserting correct combinations and separations [Aristotle]
     Full Idea: That which is as being true (and that which is not as being false) have to do with composition and division, ... (for truth involves assertion in the case of combination and denial in the case of a separation).
     From: Aristotle (Metaphysics [c.324 BCE], 1027b22)
     A reaction: This remark has the prospect of being spelled out precisely in terms of predication in modern logic
Simple and essential truth seems to be given, with further truth arising in thinking [Aristotle]
     Full Idea: It is not in states of affairs that truth and falsity arise but in thinking. And for things that are simple and for essences, truth and falsity do not even arise in thinking.
     From: Aristotle (Metaphysics [c.324 BCE], 1027b27)
     A reaction: This might be viewed in the light of Tarski's theory, and the distinction between atomic sentences, which are just accepted, with a recursive account of more complex statements. Aristotle seems to have two theories of truth here (Cf. Idea 10916).
Truth is either intuiting a way of being, or a putting together [Aristotle]
     Full Idea: Truth is either a putting-together or, if the thing has being, it has it in a certain way. Truth for these things is intuiting them.
     From: Aristotle (Metaphysics [c.324 BCE], 1051b30)
     A reaction: This seems to confirm what Aristotle says in Idea 10914, that there are two aspects to truth - the immediate grasp of atomic facts, and the assembling of complex facts. This resembles Tarski's construction of truth for complex sentences.
3. Truth / A. Truth Problems / 6. Verisimilitude
If one error is worse than another, it must be because it is further from the truth [Aristotle]
     Full Idea: The man who mistakes a tetrad for a pentad is not as erroneous as he who takes it for a chiliad. But then, if they are not equally erroneous, this can only mean that one has less, and so one more, of the truth.
     From: Aristotle (Metaphysics [c.324 BCE], 1008b32)
3. Truth / B. Truthmakers / 1. For Truthmakers
Truth-thinking does not make it so; it being so is what makes it true [Aristotle]
     Full Idea: It is not on account of our truly thinking that you are white that you are white; rather it is on account of your being white that we who assert as much are telling the truth.
     From: Aristotle (Metaphysics [c.324 BCE], 1051b10)
     A reaction: Some philosophers say this makes truth a derivative property, and is central to truth-maker theories. Kit Fine claims the reverse - that things exist because of the truths - but I don't really understand that (or agree with it).
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
The truth or falsity of a belief will be in terms of something that is always this way not that [Aristotle]
     Full Idea: The truth or falsity of a belief will be in terms of something that is always this way not that.
     From: Aristotle (Metaphysics [c.324 BCE], 1052a12)
     A reaction: Aristotle seems to take 'beliefs' to be the truth-bearers.
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Falsity says that which is isn't, and that which isn't is; truth says that which is is, and that which isn't isn't [Aristotle]
     Full Idea: Falsity is the assertion that that which is is not or that that which is not is, and truth is the assertion that that which is is and that that which is not is not.
     From: Aristotle (Metaphysics [c.324 BCE], 1011b20)
     A reaction: It was very startling to discover Plato's Idea 13776, and realise that this famous and much-quoted idea of Aristotle's was not original to him. I find it very hard to disagree with any aspect of the idea.
Aristotle's truth formulation concerns referring parts of sentences, not sentences as wholes [Aristotle, by Davidson]
     Full Idea: Aristotle's formulation postulates no entities like facts. The things of which we say that they are or that they are not are the entities adverted to by the referring parts of sentences, not by sentences as wholes.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1011b21) by Donald Davidson - Truth and Predication 6
     A reaction: Aristotle seems to refer to the existences or non-existences of things. Presumably this would mean referring not to an apple, but to a red apple or a green apple, seen as two different things, even though they were the 'same' apple?
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Axioms are the underlying principles of everything, and who but the philosopher can assess their truth? [Aristotle]
     Full Idea: Axioms are more general, and the principles of all things. If this does not belong to the philosopher, who else will have the job of considering truth and falsity in their case?
     From: Aristotle (Metaphysics [c.324 BCE], 0997a09)
The axioms of mathematics are part of philosophy [Aristotle]
     Full Idea: A single science, that of the philosopher, also covers the axioms of mathematics.
     From: Aristotle (Metaphysics [c.324 BCE], 1005a15)
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Kripke's modal semantics presupposes certain facts about possible worlds [Kripke, by Zalta]
     Full Idea: Kripke's modal semantics presupposes that worlds are maximal and consistent, that there is a unique actual world, and that worlds are coherent (e.g. lack contradiction, obey conjunction).
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Edward N. Zalta - Deriving Kripkean Claims with Abstract Objects
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
For Aristotle bivalence is a feature of reality [Aristotle, by Boulter]
     Full Idea: For Aristotle the principle of bivalence is primarily a principle of metaphysics, not logic. It applies to entities in the real order first, and to propositions in the rational order second.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Stephen Boulter - Why Medieval Philosophy Matters 5
     A reaction: This is because nothing is vague. Boulter says this is also the case with non-contradiction. I like this idea very much. I reject the Fregean picture of the autonomy of the rational order. Logic is powerful because it reflects reality.
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K]
     Full Idea: Because there cannot be relations without terms, in a meta-physic that makes first-order tropes the terms of all relations, relational tropes must belong to a second, derivative order.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §8)
     A reaction: The admission that there could be a 'derivative order' may lead to trouble for trope theory. Ostrich Nominalists could say that properties themselves are derivative second-order abstractions from indivisible particulars. Russell makes them first-order.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Names are rigid, making them unlike definite descriptions [Kripke, by Sainsbury]
     Full Idea: It was important to Kripke to contrast the rigidity of names with the non-rigidity of many or most definite descriptions.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Mark Sainsbury - The Essence of Reference 18.6
     A reaction: Philosophers always want sharp distinctions, but there are tricky names like 'Homer' and 'Jack the Ripper' where the name is stable, but its referent wobbles.
Names are rigid designators, which designate the same object in all possible worlds [Kripke]
     Full Idea: I will call something a 'rigid designator' if in every possible world it designates the same object, ..and I will maintain the intuitive thesis that names are rigid designators.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: The immediate problem seems to be objects that change across possible worlds. Did nature rigidly designate Aristotle (e.g. by his DNA)? Could Aristotle have been shorter, female, cleverer, his own twin? Is the River Thames rigid?
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
A bundle of qualities is a collection of abstractions, so it can't be a particular [Kripke]
     Full Idea: I deny that a particular is nothing but a 'bundle of qualities', whatever that may mean. If a quality is an abstract object, a bundle of qualities is an object of an even higher degree of abstraction, not a particular.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: Supports the 'baptism' view of reference, rather than Searle's bundle of descriptions. It shows that theories of reference must tie in with theories of universals, and that Searle is a nominalist. Is Kripke trying to duck metaphysical responsibility?
A name can still refer even if it satisfies none of its well-known descriptions [Kripke]
     Full Idea: Suppose the vote yields no object, that nothing satisfies most, or even any, substantial number, of the φ's. Does that mean the name doesn't refer? No.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: As example he gives the case of 'Gödel' referring to the famous man, even if none of the descriptions of him are true. In Note 42 he blames the descriptivists for relying too much on famous people.
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Some references, such as 'Neptune', have to be fixed by description rather than baptism [Kripke, by Szabó]
     Full Idea: Kripke explicitly allows for the introduction of names through initial reference-fixing via descriptions. Versions of the causal theory of reference that disallow this would have a difficult time explaining how the name 'Neptune' came to refer.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Zoltán Gendler Szabó - Nominalism 4.2 n35
     A reaction: The initial reference to Neptune has to be by description, but you could still give a baptismal account once it is discovered. The direct contact now takes precedence. Suppose another similar planet was found nearby...
Proper names must have referents, because they are not descriptive [Kripke, by Sainsbury]
     Full Idea: A common source of the view that proper names must have referents is that they are not descriptive (as expressed by Kripke).
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Mark Sainsbury - The Essence of Reference 18.2
     A reaction: Sainsbury observes that there might be some other way for a name to be intelligible, with describing or referring.
A name's reference is not fixed by any marks or properties of the referent [Kripke]
     Full Idea: It is in general not the case that the reference of a name is determined by some uniquely identifying marks, some unique properties satisfied by the referent and known or believed to be true of that referent by the speaker.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: He is proposing, instead, his historical/causal theory. There does seem to be a problem with objects which have a historical 'baptism', and then entirely change their properties. Kripke us desperate for a simple account of reference.
5. Theory of Logic / L. Paradox / 2. Aporiai
Aporia 3: Does one science investigate all being, or does each kind of being have a science? [Aristotle, by Politis]
     Full Idea: Aporia 3: Is it the task of a single science to investigate all beings, or is it the task of fundamentally different sciences to investigate different kinds of being?
     From: report of Aristotle (Metaphysics [c.324 BCE], 0997a15-25) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: One might ask whether neuroscience is entirely distinct from psychology, or partical physics from biology.
We must start with our puzzles, and progress by solving them, as they reveal the real difficulty [Aristotle]
     Full Idea: We should first address those puzzles ('aporiai') that first arise. ..Subsequent progress depends on the resolution of the first puzzles, and one cannot solve these without knowing the difficulty, and our confusion shows this to be the case.
     From: Aristotle (Metaphysics [c.324 BCE], 0995a27-)
     A reaction: This stands in nice opposition to the Wittgenstein view, that confusion is largely a self-inflicted wound arising from our language, having little to do with reality. For Aristotle it is reality which is the source of our mental confusion. He's right.
Aporia 4: Does metaphysics just investigate pure being, or also the characteristics of being? [Aristotle, by Politis]
     Full Idea: Aporia 4: Is the task of metaphysics only to investigate the (primary) beings or also to investigate the common characteristics of the (primary) beings?
     From: report of Aristotle (Metaphysics [c.324 BCE], 0997a25-34) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: Politis points out that metaphysics would then be in danger of collapsing into all sorts of special sciences.
Aporia 1: is there one science of explanation, or many? [Aristotle, by Politis]
     Full Idea: Aporia 1: Is it the task of a single science to investigate all the different causes and explanations of things, or is this the task of fundamentally different sciences?
     From: report of Aristotle (Metaphysics [c.324 BCE], 0996a18-b26) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: [This is the 10,000th idea to be entered into this database - 1st February 2010, at 7:21pm] I think there are two sorts of philosopher - those, like myself, who cling on to the idea of one science, and the pluralists, perfectly happy with many.
Aporia 2: Does one science investigate both ultimate and basic principles of being? [Aristotle, by Politis]
     Full Idea: Aporia 2: Is it the task of a single science to investigate both the ultimate principles of being and the basic principles of reasoning (e.g. non-contradiction)? Or is this the task of fundamentally different sciences?
     From: report of Aristotle (Metaphysics [c.324 BCE], 0996b26-997a15) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: Although I favour the dream of one science dealing with everything, I hesitate over this aporia. I like the unity of modern science and metaphysics, but maybe logic precedes them both and has a different basis. Nice question!
Aporia 5: Do other things exist besides what is perceptible by the senses? [Aristotle, by Politis]
     Full Idea: Aporia 5: Do only sense-perceptible things exist or do non-sense-perceptible things exist, too, in addition to or besides (para) sense-perceptible ones?
     From: report of Aristotle (Metaphysics [c.324 BCE], 0997a34-998a19) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: Nowadays we have discovered so much that is beyond our natural perceptions that it is obvious that there may be stuff we can never detect. ...And yet if 'to exist is to have causal powers' then everything would be detectable in principle. Hm.
Aporia 9: Is there one principle, or one kind of principle? [Aristotle, by Politis]
     Full Idea: Aporia 9: Are principles one in kind, or one in number?
     From: report of Aristotle (Metaphysics [c.324 BCE], 0999b24-1000a04) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: A key aporia, which can be answered in both directions. In what respects are the essences of two different human beings identical? It is a key question for any essentialist.
Aporia 6: Are the basic principles of a thing the kinds to which it belongs, or its components? [Aristotle, by Politis]
     Full Idea: Aporia 6: Are the principles of a thing the kinds to which the thing belongs or are they rather the ultimate elements that are present in the thing and compose the thing?
     From: report of Aristotle (Metaphysics [c.324 BCE], 0998a20-b13) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: This is the heart of the modern debate on essentialism, between sortal essentialists (Brody and Wiggins) and those basing essences on powers and basic stuff (Ellis, Fine). I say the sortal bunch are wrong, wrong, wrong.
Aporia 7: Is a thing's kind the most general one, or the most specific one? [Aristotle, by Politis]
     Full Idea: Aporia 7: If a thing's principle is its general kind, is that the most general kind to which it belongs, or the least general kind to which it belongs?
     From: report of Aristotle (Metaphysics [c.324 BCE], 0998b13-999a23) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: This is a question for the sortal essentialists. I think it amounts to an argument against sortal essentialism, because there are nested kinds, and nothing to decide which one of them matters,
Aporia 8: Are there general kinds, or merely particulars? [Aristotle, by Politis]
     Full Idea: Aporia 8: Do general kinds exist at all, in addition to the sense-perceptible particulars?
     From: report of Aristotle (Metaphysics [c.324 BCE], 0999a24-b24) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: Aristotle is beginning to confront the whole issue of natural kinds. It seems OK to say that the elements are natural kinds, but things get more difficult when you talk about 'planets' or 'tigers'. Aristotle decides there are natural kinds.
Aporia 10: Do perishables and imperishables have the same principle? [Aristotle, by Politis]
     Full Idea: Aporia 10: Are the principles of perishable and imperishable things the same, or different?
     From: report of Aristotle (Metaphysics [c.324 BCE], 1000a05-1001a03) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: Locke proposed that having a 'life' was an essential distinction between these two, but this has been rather undermined by modern biochemistry. Aristotle wants to know if nature is a unity.
Aporia 11: Are primary being and unity distinct, or only in the things that are? [Aristotle, by Politis]
     Full Idea: Aporia 11: Is primary being simply being itself and unity itself, or is primary being rather things that are and are one?
     From: report of Aristotle (Metaphysics [c.324 BCE], 1001a04--b25) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: I can't make sense of 'being' in itself, though Heidegger seems to have devoted his life to the idea. It appears that Aristotle agrees with me.
Aporia 12: Do mathematical entities exist independently, or only in objects? [Aristotle, by Politis]
     Full Idea: Aporia 12: Are numbers, solids, surfaces and points themselves the primary beings or are they primary beings only because other things (e.g. this horse) have such geometrical and in general mathematical properties?
     From: report of Aristotle (Metaphysics [c.324 BCE], 1001b26-1002b11) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: The thinking of Pythagoras and Plato hovers behind this question. Aristotle seems to be groping for a compromise view.
Aporia 13: Are there kinds, as well as particulars and mathematical entities? [Aristotle, by Politis]
     Full Idea: Aporia 13: Are there kinds ('eidé') in addition to or besides both sense-perceptible things and the entities postulated by mathematics?
     From: report of Aristotle (Metaphysics [c.324 BCE], 1002b12-32) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: This seems close to Aporia 8 (Idea 11269). I can't make sense of a kind which has no particulars, except as a fond memory, like the dodo, and a fictional entity like the gryphon. ...Or perhaps something we aim to bio-engineer.
Aporia 15: Are the causes of things universals or particulars? [Aristotle, by Politis]
     Full Idea: Aporia 15: Are the principles of things universals or particulars?
     From: report of Aristotle (Metaphysics [c.324 BCE], 1003a05-17) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: Aristotle seems to be groping for a compromise answer. Explanations must be universal, but primary being seems to reside in the particulars. The modern idea of Aristotelianism is universals-only-in-particulars.
Aporia 14: Are ultimate causes of things potentialities, or must they be actual? [Aristotle, by Politis]
     Full Idea: Aporia 14: Are the elements of things potentialities and capacities for causing and generating those things or are they what actually causes and generates those things?
     From: report of Aristotle (Metaphysics [c.324 BCE], 1002b32-1003a05) by Vassilis Politis - Aristotle and the Metaphysics 3.4
     A reaction: We would now call this a question about 'dispositions', and the consensus seems to be that they are potential rather than actual, since a vase may be fragile without having to actually break.
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Mathematical precision is only possible in immaterial things [Aristotle]
     Full Idea: We should not see mathematical exactitude in all things, but only for things that do not have matter.
     From: Aristotle (Metaphysics [c.324 BCE], 0995a14)
Mathematics studies the domain of perceptible entities, but its subject-matter is not perceptible [Aristotle]
     Full Idea: Mathematics does not take perceptible entities as its domain just because its subject-matter is accidentally perceptible; but neither does it take as its domain some other entities separable from the perceptible ones.
     From: Aristotle (Metaphysics [c.324 BCE], 1078a03)
     A reaction: This implies a very naturalistic view of mathematics, with his very empiricist account of abstraction deriving the mathematical concepts within the process of perceiving the physical world. And quite right too.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
Perhaps numbers are substances? [Aristotle]
     Full Idea: We should consider whether there is some other sort of substance, such as, perhaps, numbers.
     From: Aristotle (Metaphysics [c.324 BCE], 1037a11)
     A reaction: I don't think Aristotle considers numbers to be substances, but Pythagoreans seem to think that way, if they think the world is literally made of numbers.
Pluralities divide into discontinous countables; magnitudes divide into continuous things [Aristotle]
     Full Idea: A plurality is a denumerable quantity, and a magnitude is a measurable quantity. A plurality is what is potentially divisible into things that are not continuous, whereas what is said to be a magnitude is divisible into continuous things.
     From: Aristotle (Metaphysics [c.324 BCE], 1020a09)
     A reaction: This illuminating distinction is basic to the Greek attitude to number, and echoes the distinction between natural and real numbers.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / m. One
The one in number just is the particular [Aristotle]
     Full Idea: It makes no difference whether we speak of the particular or the one in number. For by the one in number we mean the particular.
     From: Aristotle (Metaphysics [c.324 BCE], 0999b33)
     A reaction: This is the Greek view of 'one', quite different from the Frege or Dedekind view. I prefer the Greek view, because 'one' is the place where numbers plug into the world, and the one indispensable feature of numbers is that they can count particulars.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
The unit is stipulated to be indivisible [Aristotle]
     Full Idea: The unit is stipulated to be indivisible in every respect.
     From: Aristotle (Metaphysics [c.324 BCE], 1052b35)
If only rectilinear figures existed, then unity would be the triangle [Aristotle]
     Full Idea: Suppose that all things that are ...were rectilinear figures - they would be a number of figures, and unity the triangle.
     From: Aristotle (Metaphysics [c.324 BCE], 1054a03)
     A reaction: This is how they program graphics for computer games, with profusions of triangles. The thought that geometry might be treated numerically is an obvious glimpse of Descartes' co-ordinate geometry.
Units came about when the unequals were equalised [Aristotle]
     Full Idea: The original holder of the theory claimed ...that units came about when the unequals were equalised.
     From: Aristotle (Metaphysics [c.324 BCE], 1081a24)
     A reaction: Presumably you could count the things that were already equal. You can count days and count raindrops. The genius is to see that you can add the days to the raindrops, by treating them as equal, in respect of number.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Two men do not make one thing, as well as themselves [Aristotle]
     Full Idea: A pair of men do not make some one thing in addition to themselves.
     From: Aristotle (Metaphysics [c.324 BCE], 1082a18)
     A reaction: This seems to contrast nicely with Frege's claim about whether two boots are two things or one pair.
When we count, are we adding, or naming numbers? [Aristotle]
     Full Idea: It is a vexed question whether, when we count and say 'one, two, three…', we are doing so by addition or by separate modules. We are, of course, doing both.
     From: Aristotle (Metaphysics [c.324 BCE], 1082b32)
     A reaction: Note that this is almost Benacerraf's famous problem about whether or not 3 is a member of 4.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
Number is plurality measured by unity [Aristotle]
     Full Idea: Number is plurality as measured by unity.
     From: Aristotle (Metaphysics [c.324 BCE], 1057a04)
The idea of 'one' is the foundation of number [Aristotle]
     Full Idea: One is the principle of number qua number.
     From: Aristotle (Metaphysics [c.324 BCE], 1052b21)
Each many is just ones, and is measured by the one [Aristotle]
     Full Idea: The reason for saying of each number that it is many is just that it is ones and that each number is measured by the one.
     From: Aristotle (Metaphysics [c.324 BCE], 1056b16)
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Mathematics studies abstracted relations, commensurability and proportion [Aristotle]
     Full Idea: Mathematicians abstract perceptible features to study quantity and continuity ...and examine the mutual relations of some and the features of those relations, and commensurabilities of others, and of yet others the proportions.
     From: Aristotle (Metaphysics [c.324 BCE], 1061a32)
     A reaction: This sounds very much like the intuition of structuralism to me - that the subject is entirely about relations between things, with very little interest in the things themselves. See Aristotle on abstraction (under 'Thought').
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
It is a simple truth that the objects of mathematics have being, of some sort [Aristotle]
     Full Idea: Since there are not only separable things but also inseparable things (such as, for instance, things which are moving), it is also true to say simpliciter that the objects of mathematic have being and that they are of such a sort as is claimed.
     From: Aristotle (Metaphysics [c.324 BCE], 1077b31)
     A reaction: This is almost Aristotle's only discussion of whether mathematical entities exist. They seem to have an 'inseparable' existence (the way properties do), but he evidently regards a denial of their existence (Field-style) as daft.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Aristotle removes ontology from mathematics, and replaces the true with the beautiful [Aristotle, by Badiou]
     Full Idea: For Aristotle, the de-ontologization of mathematics draws the beautiful into the place of the true.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Alain Badiou - Briefings on Existence 14
7. Existence / A. Nature of Existence / 2. Types of Existence
Some things exist as substances, others as properties of substances [Aristotle]
     Full Idea: Some things are called things that are because they are substances, other things are called things that are because they are affections of a substance.
     From: Aristotle (Metaphysics [c.324 BCE], 1003b07)
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
There are four kinds of being: incidental, per se, potential and actual, and being as truth [Aristotle, by Wedin]
     Full Idea: In 'Metaphysics' Δ.7 Aristotle lists four kinds of being ('to on'): incidental being, per se being, potential and actual being, and being as truth.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1017a07-) by Michael V. Wedin - Aristotle's Theory of Substance III.1
     A reaction: These don't seem to be mutually exclusive, though the first two are, and potential and actual are. They look like three ways of getting at being.
Being is either what falls in the categories, or what makes propositions true [Aristotle, by Aquinas]
     Full Idea: Aristotle says there are two proper uses of the term 'being': firstly, for whatever falls into one of Aristotle's ten basic categories of thing, and secondly for whatever makes a proposition true.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1017a21-35) by Thomas Aquinas - De Ente et Essentia (Being and Essence) p.91
     A reaction: The first sounds circular, because the categories must be selected for whatever has being (see Idea 11196). The first sounds Fregean, and very congenial to modern philosophy (though you need a clear notion of 'true'). Or it is being as truth-makers.
Things are predicated of the basic thing, which isn't predicated of anything else [Aristotle]
     Full Idea: The subject [to hupokeimenon, the underlying thing] is that of which other entities are said, it itself never being said-of anything else.
     From: Aristotle (Metaphysics [c.324 BCE], 1029b36)
     A reaction: This seems to be the core or basis of being in 'Categories', which is rejected in favour of the more substantial (and determinate and explanatory) 'essence' in 'Metaphysics'.
There is only being in a certain way, and without that way there is no being [Aristotle]
     Full Idea: If the thing has being, it has it in a certain way and, if it does not have being in a certain way, it does not have being at all.
     From: Aristotle (Metaphysics [c.324 BCE], 1051b34)
     A reaction: I take this to be a key remark in ontology, and one that may not have been sufficiently heeded by Hegel and Heidegger. The only way to investigate being qua being is to investigate ways of being, which involves identity, categories etc.
Being, taken simply as being, is the domain of philosophy [Aristotle]
     Full Idea: Being qua being, taken universally and not in regard to some part of it, is the domain of the science of philosophy.
     From: Aristotle (Metaphysics [c.324 BCE], 1060b23)
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
Primary being ('proté ousia') exists in virtue of itself, not in relation to other things [Aristotle, by Politis]
     Full Idea: For something to be a primary being ('proté ousia') is for it to be a being, something that is, simply in virtue of itself ('kath' hauto') and not in virtue of its relation to other things.
     From: report of Aristotle (Metaphysics [c.324 BCE], ousia) by Vassilis Politis - Aristotle and the Metaphysics 1.3
The three main candidates for primary being are particular, universal and essence; essence is the answer [Aristotle, by Politis]
     Full Idea: Aristotle thinks there are three main candidates for primary being: the particular, the universal and the essence, and Aristotle will defend the third of these.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1028a33-6) by Vassilis Politis - Aristotle and the Metaphysics 1.4
     A reaction: If you really want to understand this idea, you must study this bit of the text carefully, and examine the translation of key terms like 'ousia'. Lawson-Tancred's translation gives a very different picture from Politis's commentary!
Primary being is either universals, or the basis of predication, or essence [Aristotle, by Politis]
     Full Idea: Aristotle distinguishes three different answers to the question 'What is primary being?'; it is universals (which he thinks is Plato's answer); or it is the ultimate subject of predication (his answer in 'Categories'); or the essence (in 'Metaphysics').
     From: report of Aristotle (Metaphysics [c.324 BCE], 1028b25-) by Vassilis Politis - Aristotle and the Metaphysics 4.4
     A reaction: I note that Michael Wedin argues that 'Metaphysics' is a development of 'Categories' rather than a change of view. The middle view has been unpacked nicely in modern discussions. The claim of essences needs more clarification.
Non-primary beings lack essence, or only have a derived essence [Aristotle, by Politis]
     Full Idea: Aristotle argues that non-primary beings either do not have an essence at all, or they have an essence only in a derived way.
     From: report of Aristotle (Metaphysics [c.324 BCE], ousia) by Vassilis Politis - Aristotle and the Metaphysics 7.5
     A reaction: While I presume that Aristotle takes 'being' to be a univocal concept, he nevertheless divides it into 'primary' (or independent) and 'non-primary' (or dependent) being. His main subject of study is the primary version.
Primary being is both the essence, and the subject of predication [Aristotle, by Politis]
     Full Idea: On any interpretation, Aristotle argues that primary being with regard to each thing is both the essence of that thing and the ultimate subject of predication with regard to that thing.
     From: report of Aristotle (Metaphysics [c.324 BCE], ousia) by Vassilis Politis - Aristotle and the Metaphysics 7.5
     A reaction: This is Politis's prelude to an account of conflicting interpretations over whether 'ousia' has one or two meanings for Aristotle.
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
If nothing exists except individuals, how can there be a science of infinity? [Aristotle]
     Full Idea: If there is nothing else besides individuals, how is it possible to have a science of infinity?
     From: Aristotle (Metaphysics [c.324 BCE], 0999a25)
Being must be understood with reference to one primary sense - the being of substance [Aristotle, by Gill,ML]
     Full Idea: In 'Metaphysics' Aristotle argues that the various senses of being must be understood with reference to being in one primary sense, the being of substance.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1 Intro) by Mary Louise Gill - Aristotle on Substance
     A reaction: This I take (with limited knowledge of such things) to be the key message that needs to be grasped by the followers of Hegel and Heidegger, who seem to think you can grasp Being either directly, or through human experience of it.
Nothing is added to a man's existence by saying he is 'one', or that 'he exists' [Aristotle]
     Full Idea: It is plausible that one man and a man in existence and a man simpliciter are the same thing. Nothing is added by extending the expression to 'He is one man' and 'He is one man that is'.
     From: Aristotle (Metaphysics [c.324 BCE], 1003b28)
     A reaction: A suggestion of a redundancy theory of truth.
The primary subject seems to be substance, to the fullest extent [Aristotle]
     Full Idea: A strong case can be made for the claim that it is the primary subject (to hupokeimenon) that is substance (ousia) to the fullest extent.
     From: Aristotle (Metaphysics [c.324 BCE], 1029a01)
     A reaction: It seems to me that 'ousia' is best translated as 'being'. Aristotle eventually rejects the view in this idea, which is roughly the idea of that being is mainly the bare substratum.
Existence requires thisness, as quantity or quality [Aristotle]
     Full Idea: That which is means a thing with thisness, a quantity or a quality.
     From: Aristotle (Metaphysics [c.324 BCE], 1030b12)
     A reaction: I'm happy with a 'quantity' to exist, either in countable or in non-countable form, but not totally convinced that we should treat 'qualities' as fully existing, given their dependence.
Other types of being all depend on the being of substance [Aristotle]
     Full Idea: The accounts of the other bearers of being depend on the account of substance.
     From: Aristotle (Metaphysics [c.324 BCE], 1045b26)
     A reaction: This is the distinctively Aristotelian approach to the problem of Being.
There is no being unless it is determinate and well-defined [Aristotle, by Politis]
     Full Idea: Apparently Aristotle thinks that if something is not a determinate and well-defined thing ..then it is not a being at all.
     From: report of Aristotle (Metaphysics [c.324 BCE], id) by Vassilis Politis - Aristotle and the Metaphysics
     A reaction: See Aristotle's account of 'matter', which seems to fit Politis's view. It is hard to go all the way with Aristotle on this, as indeterminate gunk (e.g. mud, which Plato so disliked!) seems to thoroughly exist. But for us it rests on determinate atoms.
Aristotle discusses fundamental units of being, rather than existence questions [Aristotle, by Schaffer,J]
     Full Idea: In Aristotle's 'Metaphysics' virtually no existence questions are posed, and the whole discussion is about substances (fundamental units of being).
     From: report of Aristotle (Metaphysics [c.324 BCE], id) by Jonathan Schaffer - On What Grounds What 1
     A reaction: This means that the basic metaphysical question is actually about identity, though Schaffer claims that it is about grounding. Why would we care about grounding? Aristotle cares most about what makes a thing the thing it is.
7. Existence / B. Change in Existence / 1. Nature of Change
Nature is an active principle of change, like potentiality, but it is intrinsic to things [Aristotle]
     Full Idea: Nature [phusis] is in the same genus as dunamis [power/potential], for it is an active principle of change, but not in another thing but in the thing itself qua itself.
     From: Aristotle (Metaphysics [c.324 BCE], 1049a09)
     A reaction: [Gill's translation; Lawson-Tancred refers to 'A nature' rather than 'nature', which implies an essence]. It seems like phusis is intrinsic, and dunamis is relational. Two sorts of power?
7. Existence / B. Change in Existence / 2. Processes
An actuality is usually thought to be a process [Aristotle]
     Full Idea: An actuality is thought most normally to be a process.
     From: Aristotle (Metaphysics [c.324 BCE], 1047a30)
     A reaction: He comments of this that he wishes to include entelechies (unified items) in the general account, and not just processes. To present everything as fundamentally a process is a hard story to tell with full coherence, I think.
7. Existence / B. Change in Existence / 4. Events / c. Reduction of events
Events are trope-sequences, in which tropes replace one another [Campbell,K]
     Full Idea: Events are widely acknowledged to be particulars, but they are plainly not ordinary concrete particulars. They are best viewed as trope-sequences, in which one condition gives way to another. They are changes in which tropes replace one another.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §3)
     A reaction: If nothing exists except bundles of tropes, it is worth asking WHY one trope would replace another. Some tropes are active (i.e. they are best described as 'powers').
7. Existence / C. Structure of Existence / 4. Ontological Dependence
Prior things can exist without posterior things, but not vice versa [Aristotle]
     Full Idea: Prior things can have being without posterior things, without the posterior being able to have being without the prior, to adopt Plato's distinction.
     From: Aristotle (Metaphysics [c.324 BCE], 1019a04)
     A reaction: Fine quotes this, in expounding Aristotle's account of essence.
7. Existence / D. Theories of Reality / 2. Realism
Kripke's metaphysics (essences, kinds, rigidity) blocks the slide into sociology [Kripke, by Ladyman/Ross]
     Full Idea: Kripke's metaphysics of essences, natural kinds, and rigid designation gave philosophers a means of avoiding the relativist path that was bound to end in the tears of sociology.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by J Ladyman / D Ross - Every Thing Must Go 1.2
     A reaction: They are contemptuous of Kripke's project, but this is the core of it. He was making a stand against Kuhn, and trying to build a metaphysics for realism. Good for Kripke.
7. Existence / D. Theories of Reality / 3. Reality
Knowledge of potential is universal and indefinite; of the actual it is definite and of individuals [Aristotle]
     Full Idea: Knowledge is a double thing, being both potential and actual. It is universal and indefinite and it is the potentiality of something that is universal and indefinite. But actuality is definite and of something definite, being the this-such of a this-such.
     From: Aristotle (Metaphysics [c.324 BCE], 1087a12)
     A reaction: Charlotte Witt identifies this as a key idea in 'Metaphysics', since the metaphysics is built on the epistemology, and this idea justifies the claim that Aristotle gives priority to particulars. I thoroughly approve. Not all knowledge is of the universal.
7. Existence / D. Theories of Reality / 6. Physicalism
Materialists cannot explain change [Aristotle, by Politis]
     Full Idea: Aristotle's main objection against the materialists (such as Thales and Anaximenes) is that they cannot explain why things change as they do.
     From: report of Aristotle (Metaphysics [c.324 BCE], 0988b23-) by Vassilis Politis - Aristotle and the Metaphysics 2.4
7. Existence / E. Categories / 3. Proposed Categories
The immediate divisions of that which is are genera, each with its science [Aristotle]
     Full Idea: The immediate divisions of that which is are genera, and there will be one science for each genus.
     From: Aristotle (Metaphysics [c.324 BCE], 1004a04)
     A reaction: This is robustly realist, and right at the heart of Aristotle's philosophy. It explains why essences and forms must be given through genera and differentiae, even though essences are individual. Genera are the only way to identify things.
8. Modes of Existence / B. Properties / 1. Nature of Properties
There cannot be uninstantiated properties [Aristotle, by Macdonald,C]
     Full Idea: Aristotle held that there could be no uninstantiated properties.
     From: report of Aristotle (Metaphysics [c.324 BCE], Bk 04) by Cynthia Macdonald - Varieties of Things
     A reaction: This is obviously a right hook aimed at Plato. Clearly we can think about uninstantiated properties, but the literal truth of Aristotle's view I would take to be tautological. To exist is to be instantiated.
Properties are just the ways in which forms are realised at various times [Aristotle, by Frede,M]
     Full Idea: On Aristotle's new theory it is forms that exist in their own right, whereas properties merely constitute the way forms of a certain kind are realized at some point of time in their existence.
     From: report of Aristotle (Metaphysics [c.324 BCE], props) by Michael Frede - Substance in Aristotle's 'Metaphysics' p.80
     A reaction: I'm not sure that 'merely' gives us enough of a story here. I never understand the word 'realised' (or 'instantiated', come to that). What does x have to do to realise y? Is that a relation between a real and a non-real thing?
The 'propriae' or 'necessary accidents' of a thing are separate, and derived from the essence [Aristotle, by Koslicki]
     Full Idea: Aristotle conceives of the necessary features of objects, traditionally known as the 'propria' or 'necessary accidents', as being distinct and derivate from, the essential features of objects.
     From: report of Aristotle (Metaphysics [c.324 BCE], props) by Kathrin Koslicki - Essence, Necessity and Explanation 13.1
     A reaction: This is a vague area, because Aristotle says very little about it. See Ideas 12266 and 12262. A particular shape of mole might be yours alone, but not part of your essence. That may be an 'idion' rather than a 'propria' (or are they the same?).
8. Modes of Existence / B. Properties / 2. Need for Properties
For two things to differ in some respect, they must both possess that respect [Aristotle]
     Full Idea: That which is different is different from something under some aspect, so that there must be something the same in respect of which they differ.
     From: Aristotle (Metaphysics [c.324 BCE], 1054b26)
8. Modes of Existence / B. Properties / 5. Natural Properties
For Aristotle, there are only as many properties as actually exist [Aristotle, by Jacquette]
     Full Idea: In Aristotle's metaphysics of substance, there are only as many properties as actually inhere in existent spatiotemporal particulars.
     From: report of Aristotle (Metaphysics [c.324 BCE], props) by Dale Jacquette - Ontology Ch.2
     A reaction: This would mean, oddly, that squareness ceased to be a property if the last square thing vanished. But then how do we establish the existence of unrealised properties? Is 'bigger than the biggest existent object' a property?
8. Modes of Existence / B. Properties / 8. Properties as Modes
Whiteness can be explained without man, but femaleness cannot be explained without animal [Aristotle]
     Full Idea: Whiteness can be explained without man, but femaleness cannot be explained without animal.
     From: Aristotle (Metaphysics [c.324 BCE], 1030b28)
     A reaction: This has to be a key basic distinction in any discussion of properties. But does the difference in explanation entail a difference in fundamental nature? Femaleness is structural.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
If we only saw bronze circles, would bronze be part of the concept of a circle? [Aristotle]
     Full Idea: Suppose we only ever saw bronze circles - would that make the bronze a formal part of the circle?
     From: Aristotle (Metaphysics [c.324 BCE], 1036b01)
     A reaction: This is Aristotle spotting the problem of coextensionality (the renate/cordate problem) 2300 years ago. Don't underestimate those Greeks.
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
Two red cloths are separate instances of redness, because you can dye one of them blue [Campbell,K]
     Full Idea: If we have two cloths of the very same shade of redness, we can show there are two cloths by burning one and leaving the other unaffected; we show there are two cases of redness in the same way: dye one blue, leaving the other unaffected.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §1)
     A reaction: This has to be one of the basic facts of the problem accepted by everyone. If you dye half of one of the pieces, was the original red therefore one instance or two? Has it become two? How many red tropes are there in a red cloth?
Red could only recur in a variety of objects if it was many, which makes them particulars [Campbell,K]
     Full Idea: If there are a varied group of red objects, the only element that recurs is the colour. But it must be the colour as a particular (a 'trope') that is involved in the recurrence, for only particulars can be many in the way required for recurrence.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §1)
     A reaction: This claim seems to depend on the presupposition that rednesses are countable things, but it is tricky trying to count the number of blue tropes in the sky.
Tropes solve the Companionship Difficulty, since the resemblance is only between abstract particulars [Campbell,K]
     Full Idea: The 'companionship difficulty' cannot arise if the members of the resemblance class are tropes rather than whole concrete particulars. The instances of having a heart, as abstract particulars, are quite different from instances of having a kidney.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §6)
     A reaction: The companionship difficulty seems worst if you base your account of properties just on being members of a class. Any talk of resemblance eventually has to talk about 'respects' of resemblance. Is a trope a respect? Is a mode an object?
Tropes solve the Imperfect Community problem, as they can only resemble in one respect [Campbell,K]
     Full Idea: The 'problem of imperfect community' cannot arise where our resemblance sets are sets of tropes. Tropes, by their very nature and mode of differentiation can only resemble in one respect.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §6)
     A reaction: You arrive at very different accounts of what resemblance means according to how you express the problem verbally. We can only find a solution through thinking which transcends language. Heresy!
Trope theory makes space central to reality, as tropes must have a shape and size [Campbell,K]
     Full Idea: The metaphysics of abstract particulars gives a central place to space, or space-time, as the frame of the world. ...Tropes are, of their essence, regional, which carries with it the essential presence of shape and size in any trope occurrence.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §7)
     A reaction: Trope theory has a problem with Aristotle's example (Idea 557) of what happens when white is mixed with white. Do two tropes become one trope if you paint on a second coat of white? How can particulars merge? How can abstractions merge?
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
Potentiality is a principle of change, in another thing, or as another thing [Aristotle]
     Full Idea: Potentiality [dunamis] is a principle of change either (a) for something else or (b) for the thing that it is in qua something else.
     From: Aristotle (Metaphysics [c.324 BCE], 1046a10)
     A reaction: Gill emphasises that it is partly an active principle of change. It seems like an ability to affect, or to be affected.
Active 'dunamis' is best translated as 'power' or 'ability' (rather than 'potentiality') [Aristotle, by Gill,ML]
     Full Idea: When Aristotle uses the word 'dunamis' in the active sense, we might prefer the translation 'power', 'ability', or 'capacity' to 'potentiality'. He uses the same word to indicate both active power and passive responsiveness.
     From: report of Aristotle (Metaphysics [c.324 BCE], Theta) by Mary Louise Gill - Aristotle on Substance Ch.6
     A reaction: This gives licence to a direct link between Aristotle's account of potential and modern ascriptions of powers in scientific essentialism.
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
The main characteristic of the source of change is activity [energeia] [Aristotle, by Politis]
     Full Idea: Aristotle undoubtedly considered the central characteristic of the ultimate cause of change to be activity [energeia].
     From: report of Aristotle (Metaphysics [c.324 BCE], Bk 12) by Vassilis Politis - Aristotle and the Metaphysics 8.8
     A reaction: Aristotle identifies this, of course, with his 'God', but it strikes me that the word 'power' (as in Molnar) seems to capture Aristotle's concept. We just need some fundamental active force to get the whole shebang going.
Actualities are arranged by priority, going back to what initiates process [Aristotle]
     Full Idea: One actuality always has temporal priority over another, going back to that which always, and in a primary way, initiates process.
     From: Aristotle (Metaphysics [c.324 BCE], 1050b05)
     A reaction: I am not clear from the context whether he is referring to things which have fundamental powers, or whether he is referring to the one great First Cause.
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
Giving the function of a house defines its actuality [Aristotle]
     Full Idea: Those who propose that a house is 'a receptacle to shelter chattels and living beings', or something of the sort, speak of the actuality.
     From: Aristotle (Metaphysics [c.324 BCE], 1043a16)
     A reaction: This, with Idea 16752, endorses the idea that the function is the essence of something. The eye is natural, the house is an artifact. This seems different from the concept of form implied elsewhere. He says materials of a house are just potential.
8. Modes of Existence / C. Powers and Dispositions / 5. Powers and Properties
Potentiality in geometry is metaphorical [Aristotle]
     Full Idea: Potentiality in geometry is spoken of metaphorically.
     From: Aristotle (Metaphysics [c.324 BCE], 1019b31)
     A reaction: The point here is that if one wanted to give an account of properties in an active way (perhaps in accord with causation, as Shoemaker suggests), then the properties of mathematics could also be included in this Aristotelian way.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / d. Dispositions as occurrent
The Megarans say something is only capable of something when it is actually doing it [Aristotle]
     Full Idea: There is a popular view in Megara, that x is capable of being/doing the F only when it actually is/does the F. So the non-builder is no bearer of a potentiality for building - but only when the builder is engaged in his building.
     From: Aristotle (Metaphysics [c.324 BCE], 1046b28)
     A reaction: This Megaran view is the extreme denial of dispositions are real features of the world. They seem to reduce to mere descriptions, when the reality is the actual activity itself. Megarans would now be called 'actualists'.
Megaran actualism is just scepticism about the qualities of things [Aristotle]
     Full Idea: In the Megaran view, there will be nothing cold or hot or pleasant or perceptible at all unless someone is currently observing it. So this Megaran wisdom turns out to boil down to rehashed Protagoras.
     From: Aristotle (Metaphysics [c.324 BCE], 1047a10)
     A reaction: I don't think you can defeat the rejection of modal features of reality that easily. The Megarans might, I suppose, be called verificationists. What is the semantic value of a statement about potential?
Megaran actualists prevent anything from happening, by denying a capacity for it to happen! [Aristotle]
     Full Idea: I take it that anything deprived of its potential lacks capacity. But then anything not currently happening will lack the capacity to happen. ...Our brilliant Megaran friends will now have done away with all process and generation!
     From: Aristotle (Metaphysics [c.324 BCE], 1047a15)
     A reaction: The reply, implied in Idea 15490, is that you answer this by examining more closely exactly what is meant by a 'capacity', and showing that it can only boil to down to what is actual.
8. Modes of Existence / D. Universals / 1. Universals
Substance is not a universal, as the former is particular but a universal is shared [Aristotle]
     Full Idea: The substance of each thing is something that is peculiar to each thing, not pertaining to anything else, whereas the universal is something common. Indeed, a thing is said to be a universal just if its nature pertains to a plurality.
     From: Aristotle (Metaphysics [c.324 BCE], 1038b10)
     A reaction: This should be a warning to those who talk of the 'Aristotelian' view of properties as universals instantiated in the particulars. Once one has pinpointed the substance, the subject of predication, and the essence, no room is left for universals.
Universals are indeterminate and only known in potential, because they are general [Aristotle, by Witt]
     Full Idea: The notion of generality provides an explanation for Aristotle's position that the universal - every universal - is indeterminate and, hence, the object of potential knowledge.
     From: report of Aristotle (Metaphysics [c.324 BCE], univs) by Charlotte Witt - Substance and Essence in Aristotle 5.3
     A reaction: [See Idea 12095 for knowledge of potential and actual] Now you're talking! The idea that universals are central to true knowledge seems wildly misguided. All knowledge is rooted in particulars, where the highest certainties are to be found.
8. Modes of Existence / D. Universals / 2. Need for Universals
The acquisition of scientific knowledge is impossible without universals [Aristotle]
     Full Idea: The acquisition of scientific knowledge is impossible without universals.
     From: Aristotle (Metaphysics [c.324 BCE], 1086b03)
8. Modes of Existence / D. Universals / 3. Instantiated Universals
No universals exist separately from particulars [Aristotle]
     Full Idea: No universal exists over and above, and separately from, the particulars.
     From: Aristotle (Metaphysics [c.324 BCE], 1040b27)
     A reaction: [At last I have found one of Aristotle's most famous ideas!] His hallmark of a universal is that it is found in many particulars, but then we ask whether they are identical (universals) or merely resembling (tropes).
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
Forms are said to be substances to which nothing is prior [Aristotle]
     Full Idea: Suppose that there are certain substances to which neither other substances nor other natures are prior. It is such substances that certain philosophers assert the Forms to be.
     From: Aristotle (Metaphysics [c.324 BCE], 1031a30)
     A reaction: Then there is the difficulty of explaining 'prior', which presumably must be an objective relation, not a mere priority in human understanding or explanation or definition.
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
How can the Forms both be the substance of things and exist separately from them? [Aristotle]
     Full Idea: How can the Forms, while being the substances of things, have being separately from them?
     From: Aristotle (Metaphysics [c.324 BCE], 1080a01)
If you accept Forms, you must accept the more powerful principle of 'participating' in them [Aristotle]
     Full Idea: If you accept the theory of Forms, you must allow that there is also another more powerful principle. Only thus can you answer the question why something has come to participate, or is participating.
     From: Aristotle (Metaphysics [c.324 BCE], 1075b18)
If partaking explains unity, what causes participating, and what is participating? [Aristotle]
     Full Idea: On account of the difficulty [about unity] some philosophers have espoused participation, though this plunges them into difficulties about what the cause of the participation is, or indeed what participating is anyway.
     From: Aristotle (Metaphysics [c.324 BCE], 1045b07)
     A reaction: The target here is Plato, and I agree with the criticism. Exactly the same problems face those who talk of an object 'instantiating' a property. I have no idea what such a relationship could be.
There is a confusion because Forms are said to be universal, but also some Forms are separable and particular [Aristotle]
     Full Idea: The root problem of the theory of Forms is that they posit Forms that are universal and at the same time Forms that are separable and therefore particular.
     From: Aristotle (Metaphysics [c.324 BCE], 1086a28)
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
Forms have to be their own paradigms, which seems to fuse the paradigm and the copy [Aristotle]
     Full Idea: The Forms would have to function as paradigms not just for other entities, but also for themselves. ..But this produces an absurd fusion of the paradigm and the copy.
     From: Aristotle (Metaphysics [c.324 BCE], 1079b28)
     A reaction: A nice succinct statement of the problem of self-predication (which leads to the Third Man regress, if we posit another Form as a paradigm of the Form we are interested in).
8. Modes of Existence / D. Universals / 6. Platonic Forms / d. Forms critiques
All attempts to prove the Forms are either invalid, or prove Forms where there aren't supposed to be any [Aristotle]
     Full Idea: All methods employed to demonstrate the Forms either cannot be formulated validly, or produce Forms even for those things for which there are not supposed to be any Forms.
     From: Aristotle (Metaphysics [c.324 BCE], 1079a04)
Are there forms for everything, or for negations, or for destroyed things? [Aristotle]
     Full Idea: The Argument from Sciences produces Forms for every possible object of science! One-over-many arguments produce Forms for negations! The Argument from the Thought of a Perished Object gives Forms for destroyed things!
     From: Aristotle (Metaphysics [c.324 BCE], 1079a07)
If men exist by participating in two forms (Animal and Biped), they are plural, not unities [Aristotle]
     Full Idea: Why is man not Animal and Biped together? Then it will not be by participating in Man (or any other unity) that men exist but by doing so in two things, Animal and Biped. Then man would not be a unity but a plurality.
     From: Aristotle (Metaphysics [c.324 BCE], 1045a17)
     A reaction: This is perhaps Aristotle's deepest metaphysical objection to the whole Plato programme, that it blocks a decent account of the unity of particulars, on which our whole understanding of the world rests.
Aristotle is not asserting facts about the location of properties, but about their ontological status [Aristotle, by Moreland]
     Full Idea: The debate between Platonists and Aristotelians about universals is not a debate about the 'location' of the properties, but about the ontological independence of the properties from their instances.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1082) by J.P. Moreland - Universals Ch.4
     A reaction: Of course, assertions about their location might have strong implications about whether they were ontologically independent.
If two is part of three then numbers aren't Forms, because they would all be intermingled [Aristotle]
     Full Idea: On our theory two is part of three….so it will not be possible for a number to be a Form, on pain of one Form's being present in another and all Forms turning out to be parts of some one.
     From: Aristotle (Metaphysics [c.324 BCE], 1082b29)
The Forms have to be potentialities, not actual knowledge or movement [Aristotle]
     Full Idea: If there are Forms (as the purely logical thinkers claim), there must be something which is much more knowable than the Form of Knowledge, and something more fully moved than the Form of Movement. The Forms will be mere potentialities.
     From: Aristotle (Metaphysics [c.324 BCE], 1050b32)
Predications only pick out kinds of things, not things in themselves [Aristotle]
     Full Idea: None of the things predicated in common picks out a this-thing-here, but rather such-and-such a kind.
     From: Aristotle (Metaphysics [c.324 BCE], 1039a01)
     A reaction: He is in the process of denying that predicates pick out real substances [real being, 'ousia'], but this is clearly aimed at Plato.
There is no point at all in the theory of Forms unless it contains a principle that produces movement [Aristotle]
     Full Idea: There is no advantage at all in the admission of eternal substances, as in the Theory of Forms, unless there is among them a principle capable of moving something else.
     From: Aristotle (Metaphysics [c.324 BCE], 1071b11)
What possible contribution can the Forms make to perceptible entities? [Aristotle]
     Full Idea: What possible contribution can the Forms make to perceptible entities?
     From: Aristotle (Metaphysics [c.324 BCE], 1079b08)
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
Nominalism has the problem that without humans nothing would resemble anything else [Campbell,K]
     Full Idea: The objection to nominalism is its consequence that if there were no human race (or other living things), nothing would be like anything else.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §6)
     A reaction: Anti-realists will be unflustered by this difficulty. Personally it strikes me as obvious that some aspects of resemblance are part of reality which we did not contribute. This I take to be a contingent fact, founded on the existence of natural kinds.
9. Objects / A. Existence of Objects / 1. Physical Objects
Form and matter may not make up a concrete particular, because there are also accidents like weight [Aristotle, by Frede,M]
     Full Idea: The concrete, particular object actually is a composite not just of matter and form, but also a large number of accidents, like size, weight, colour. So we should not assume that the composite of matter and form is identified with the concrete particular.
     From: report of Aristotle (Metaphysics [c.324 BCE], partic) by Michael Frede - Substance in Aristotle's 'Metaphysics' p.74
     A reaction: That gives a nice well-rounded picture of how we should understand a physical object, to fit it into the rest of our conceptual scheme, and the way we think about it.
Tropes are basic particulars, so concrete particulars are collections of co-located tropes [Campbell,K]
     Full Idea: If tropes are basic particulars, then concrete particulars count as dependent realities. They are collections of co-located tropes, depending on these tropes as a fleet does upon its component ships.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §2)
     A reaction: If I sail my yacht through a fleet, do I become part of it? Presumably trope theory could avoid a bundle view of objects. A bare substratum could be a magnet which attracts tropes.
Bundles must be unique, so the Identity of Indiscernibles is a necessity - which it isn't! [Campbell,K]
     Full Idea: Each individual is distinct from each other individual, so the bundle account of objects requires each bundle to be different from every other bundle. So the Identity of Indiscernibles must be a necessary truth, which, unfortunately, it is not.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §5)
     A reaction: Clearly the Identity of Indiscernibles is not a necessary truth (consider just two identical spheres). Location and time must enter into it. Could we not add a further individuation requirement to the necessary existence of a bundle? (Quinton)
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
Objects lacking matter are intrinsic unities [Aristotle]
     Full Idea: With things that do not have matter, they are all unities of a kind simpliciter.
     From: Aristotle (Metaphysics [c.324 BCE], 1045b24)
     A reaction: Are all abstract objects unities? Are all sets Aristotelian unities? Only the brackets unify a disparate bunch of things. Are the primes one object or many? If many, each one needs an intrinsic unity to pick it out. The group of primes lacks matter.
9. Objects / A. Existence of Objects / 4. Impossible objects
Some philosophers say that in some qualified way non-existent things 'are' [Aristotle]
     Full Idea: Some philosophers treat that is which not by making the logical point that that which is not is - not without qualification, but just that it is a thing which is not.
     From: Aristotle (Metaphysics [c.324 BCE], 1030a22)
     A reaction: He is mainly refer to the mature works of Plato, especially 'Parmenides', in which he seems to have been mesmerised by that problem of referring to what doesn't exist. Key question: is there more than one way to 'exist'?
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
To know a thing is to know its primary cause or explanation [Aristotle]
     Full Idea: Each man has knowledge when we think that he knows the primary cause or explanation ('proté aitia').
     From: Aristotle (Metaphysics [c.324 BCE], 0983a25)
     A reaction: This seems to me to be the best starting point for individuation. Finding the 'origin' is not quite the same as finding the cause, and finding the 'role' or 'function' is parasitic on the underlying explanation or cause.
Aristotle's form improves on being non-predicable as a way to identify a 'this' [Aristotle, by Wiggins]
     Full Idea: Later in 'Metaphysics' Aristotle sees form as offering better prospects of separability and being a this, and treats separability and being a 'this' as better indicators of substancehood than not being a predicable.
     From: report of Aristotle (Metaphysics [c.324 BCE], hylom) by David Wiggins - Substance 4.11.5
     A reaction: 'Form' will be the word 'eidos', which is also Plato's word for his 'Forms'. I'm thinking that form will bestow individual identity, as in the snubness of a particular nose, where merely being 'a nose' only gives general identity.
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
Kripke individuates objects by essential modal properties (and presupposes essentialism) [Kripke, by Putnam]
     Full Idea: The difficulty is that Kripke individuates objects by their modal properties, by what they (essentially) could and could not be. Kripke's ontology presupposes essentialism; it can not be used to ground it.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Hilary Putnam - Why there isn't a ready-made world 'Essences'
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
For Aristotle, things are not made individual by some essential distinguishing mark [Aristotle, by Frede,M]
     Full Idea: It just is not the case that individuals are the individuals they are by virtue of some intrinsic essential distinguishing mark.
     From: report of Aristotle (Metaphysics [c.324 BCE], id) by Michael Frede - Substance in Aristotle's 'Metaphysics' p.78
     A reaction: That invites the question what does distinguish qualitatively identical things from one another. I'm not sure if Aristotle even bothers about that question.
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Individuals within a species differ in their matter, form and motivating cause [Aristotle]
     Full Idea: Even things in the same species have different causes, differing not, evidently, by species but in as much as particular things have different causes. For instance, your matter, form and motive cause are all different from mine.
     From: Aristotle (Metaphysics [c.324 BCE], 1071a27)
     A reaction: Yes! This is the answer to my problem of the docile tiger, which has its own character, as well as the generic form of a tiger. Aristotle is firmly committed to the priority of individual over species.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Things are one numerically in matter, formally in their account, generically in predicates, and by analogy in relations [Aristotle]
     Full Idea: Things are numerically one in matter, formally one in their account, generically one in their pattern of predication [genos], and one by analogy if related to a further one.
     From: Aristotle (Metaphysics [c.324 BCE], 1016b30)
     A reaction: Very subtle distinctions. What I like is that the notion of numerical unity is comprehensively tied to the notion of individual identity. 'To be is to be countable' may be wrong, but it is better than Quine's 'to be is to be the value of a variable'
How is man a unity of animal and biped, especially if the Forms of animal and of biped exist? [Aristotle]
     Full Idea: What makes man a unity, and not a plurality of, say, animal and biped? Especially if, as some claim, Animal Itself and Biped Itself exist.
     From: Aristotle (Metaphysics [c.324 BCE], 1045a13)
Primary things just are what-it-is-to-be-that-thing [Aristotle]
     Full Idea: Our conclusion is as follows: with things that are primary and spoken of per se, the what-it-was-to-be-that-thing and the thing itself are one and the same.
     From: Aristotle (Metaphysics [c.324 BCE], 1032a05)
     A reaction: It is tantalizing to know whether or not Aristotle has really said anything here. It might be clearer if we said 'a thing is its essence', but that may not be quite what he is saying. [P.S. V.Politis translates as 'essence'!]
Things may be naturally unified because they involve an indivisible process [Aristotle]
     Full Idea: Among things naturally simple those [may] have unity and priority fully whose processes are relatively indivisible and simple.
     From: Aristotle (Metaphysics [c.324 BCE], 1052a20)
     A reaction: This is the first of four theories of unity which he offers for discussion. If the process bestows unity, you then have to judge the process as unified. If the indivisibility bestows unity, then things other than processes can be indivisible.
The formal cause may be what unifies a substance [Aristotle]
     Full Idea: A thing may be formally indivisible, something cognitively and scientifically indivisible. Hence what cause substances to be single things should be thought of as the primary unity.
     From: Aristotle (Metaphysics [c.324 BCE], 1052a31)
     A reaction: This is his fourth and final proposal for unity, and it is obviously his preferred theory, because it is the hylomorphic view, that the form or nature of the thing bestows the unity. It is sort of right, but a rather thin theory as it stands.
Aristotle says that the form is what makes an entity what it is [Aristotle, by Frede,M]
     Full Idea: In 'Metaphysics' Z it seems that it is the form that provides the object with its identity.
     From: report of Aristotle (Metaphysics [c.324 BCE], Z) by Michael Frede - Aristotle's Conception of Metaphysics
     A reaction: See Aristotle on 'Hylomorphism' for what this means. By form he means a combination of structure, dispositions and controlling principles.
A unity may just be a particular, a numerically indivisible thing [Aristotle]
     Full Idea: [A thing may be unified because it is] the numerically indivisible, the particular.
     From: Aristotle (Metaphysics [c.324 BCE], 1052a30)
     A reaction: One of four possible theories of unity. This one seems to beg the question, or only to offer unity as a primitive, unanalysable concept. Only abstract objects strike us as utterly indivisible.
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
Things are unified by contact, mixture and position [Aristotle]
     Full Idea: Some things are one by contact, some by mixture, and some by position.
     From: Aristotle (Metaphysics [c.324 BCE], 1082a16)
     A reaction: So if several things are stuck together, or mixed together, or in the same location, that can unify them? They sound rather weak modes of unification.
Indivisibility is the cause of unity, either in movement, or in the account or thought [Aristotle]
     Full Idea: The reason why all things are unities is indivisibility. In some, it is indivisibility with regard to movement, in others with regard to thought and the account.
     From: Aristotle (Metaphysics [c.324 BCE], 1052a35)
     A reaction: This is puzzling, since Aristotle wasn't an atomist, and therefore thought that everything was endlessly divisible. He might better have said that unified things 'strongly resist division'.
Things are one to the extent that they are indivisible [Aristotle]
     Full Idea: In general those things that do not admit of division [diairesis] are one insofar as they do not admit of it.
     From: Aristotle (Metaphysics [c.324 BCE], 1016b03)
     A reaction: Aristotle gives a man, an animal and a magnitude as examples. The interesting thing here is that being 'one' seems to come in degrees, where most metaphysicians long for oneness to be an absolute.
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
Some things are unified by their account, which rests on a unified thought about the thing [Aristotle]
     Full Idea: Other things get to be unities by dint of the fact that the account [logos] of them is single, ...a thought about which is a single thought, ...which is an indivisible thought, ..which is a thought about a formally or numerically indivisible object.
     From: Aristotle (Metaphysics [c.324 BCE], 1052a28)
     A reaction: This highlights the distinction between things that seem intrinsically unified, and things on which we bestow unity. But note that towards the end of the quotation Aristotle elides the two together.
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
Substance is prior in being separate, in definition, and in knowledge [Aristotle, by Witt]
     Full Idea: Aristotelian substance is prior in three ways: it is prior to nonsubstance in being separate, it is prior in definition, and it is prior in knowledge.
     From: report of Aristotle (Metaphysics [c.324 BCE], ousia) by Charlotte Witt - Substance and Essence in Aristotle 2.4
     A reaction: 'Being separate' means it doesn't dependent on anything else, so it is prior because it is fundamental, in relations of ontological dependence.
It is wrong to translate 'ousia' as 'substance' [Aristotle, by Politis]
     Full Idea: It is wrong to translate 'ousia' as 'substance', or 'proté ousia' as 'primary substance'. 'Substance' is a particular answer to the question 'What is proté ousia?' The Latin 'substantia' means 'that which lies under', translating 'to hupokeimenon'.
     From: report of Aristotle (Metaphysics [c.324 BCE], subst) by Vassilis Politis - Aristotle and the Metaphysics 7.1
     A reaction: This seems to be rather important in the exegesis of Aristotle's metaphysics, but Politis seems to hold a minority view, even though what he says here is very persuasive.
The baffling question of what exists is asking about the nature of substance [Aristotle]
     Full Idea: Philosophers have endlessly discussed and been baffled by the question 'What is that which is?' Now this question just is the question 'What is substance (ousia)?'
     From: Aristotle (Metaphysics [c.324 BCE], 1028b04)
     A reaction: Vasilis Politis says 'ousia' is 'primary being'. 'Substance' is a theory about the nature of primary being.
'Ousia' is 'primary being' not 'primary substance' [Aristotle, by Politis]
     Full Idea: We choose to translate 'proté ousia' (often simply 'ousia') as 'primary being' and not as 'primary substance'.
     From: report of Aristotle (Metaphysics [c.324 BCE], ousia) by Vassilis Politis - Aristotle and the Metaphysics 1.3
     A reaction: His point, explained later, is that the idea that 'ousia' is substance is a theory being proposed by Aristotle, not the meaning of the word.
If substance is the basis of reality, then philosophy aims to understand substance [Aristotle]
     Full Idea: If, in the case of things that are, the primary object is substance, then we can state the fundamental duty of the philosopher: it is to gain possession of the principles and causes of substances.
     From: Aristotle (Metaphysics [c.324 BCE], 1003b19)
The Pre-Socratics were studying the principles, elements and causes of substance [Aristotle]
     Full Idea: The enquiries of the pre-Socratic philosophers were really into the principles, elements and causes of substance.
     From: Aristotle (Metaphysics [c.324 BCE], 1069a20)
9. Objects / B. Unity of Objects / 2. Substance / b. Need for substance
We may have to postulate unobservable and unknowable substances [Aristotle]
     Full Idea: It may well be necessary that certain unobserved substances exist as it is, even if we cannot know which they are.
     From: Aristotle (Metaphysics [c.324 BCE], 1041a02)
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
Mature Aristotle sees organisms as the paradigm substances [Aristotle, by Pasnau]
     Full Idea: Aristotle's mature ontology takes biological organisms as its paradigm substances.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Robert Pasnau - Metaphysical Themes 1274-1671 26.1
     A reaction: 'Mature' is here to eliminate 'Categories' where, I take it, any coherent object counts as a substance, with the categories giving the essence. Organism are more clearly categorised, but that's all. Van Inwagen makes this idea a key one.
Is a primary substance a foundation of existence, or the last stage of understanding? [Aristotle, by Gill,ML]
     Full Idea: In Categories a primary substance has ontological priority, where other things depend on its existence, ..but in Metaphysics he emphasizes conceptual priority, where the primary is what is understood through itself (a definable unity).
     From: report of Aristotle (Metaphysics [c.324 BCE], book) by Mary Louise Gill - Aristotle on Substance Intro
     A reaction: Interesting for my view of essence as rooted in explanation. It is the Metaphysics version that appeals to me. A metaphysics is constructed from our modes of understanding. 'Concavity' is his example of a primary unity.
Elements and physical objects are substances, but ideas and mathematics are not so clear [Aristotle]
     Full Idea: Fire, earth, water and air, and other simple bodies are agreed to be substances, as are plants, plant parts, animals, animal parts, and the heavens and their parts. Forms and mathematicals are more controversial.
     From: Aristotle (Metaphysics [c.324 BCE], 1042a07)
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
It is matter that turns out to be substance [ousia] [Aristotle]
     Full Idea: On this account as it stands, it is matter that turns out to be substance [ousia]
     From: Aristotle (Metaphysics [c.324 BCE], 1029a10)
Substance [ousia] is the subject of predication and cause [aitia?] of something's existence [Aristotle]
     Full Idea: Things are said to be substance [ousia] because, far from being predicated of some subject, other things are predicated of them; in another way, for an intrinsic thing, it is the cause of being for it, as the soul is for the animal
     From: Aristotle (Metaphysics [c.324 BCE], 1017a13-23)
     A reaction: This passage is used by M. Woods and others to argue that Aristotle has two different meanings for 'ousia' [substance, being]. Vasilis Politis argues against this view (pp.228). Aristotle is probably making two observations about a single thing.
Essence (fixed by definition) is also 'ousia', so 'ousia' is both ultimate subject, and a this-thing [Aristotle]
     Full Idea: The essence (to ti en einai), whose account (logos) is a definition, is also said to be the substance (ousia) of the particular. So there are two accounts of 'ousia' - as ultimate subject (hupokeimenon), never predicated of others, or as a this (tode ti).
     From: Aristotle (Metaphysics [c.324 BCE], 1017a22-)
     A reaction: This slightly muddling assertion seems to be a report of how people use 'ousia', rather than Aristotle's theory. Attempts to translate this idea into English make fascinating reading! Hang on to the Greek, or you'll never get the hang of it!
A substance is what-it-is-to-be, or the universal, or the genus, or the subject of saying [Aristotle]
     Full Idea: The substance of a particular thing is variously held to be that which it was to be that thing, or the universal, or the genus, or the subject, which is that of which other entities are said, but is never itself being said-of anything else.
     From: Aristotle (Metaphysics [c.324 BCE], 1028b30)
     A reaction: This formulation sounds worryingly verbal to me, but I don't suppose Aristotle meant it entirely that way.
Matter is not substance, because substance needs separability and thisness [Aristotle]
     Full Idea: It may seem that matter is substance, but this cannot be so, because what we think to be the central features of substance are separability and thisness. Then it seems more plausible to say that the form and the composite are substance than matter is.
     From: Aristotle (Metaphysics [c.324 BCE], 1029a27)
     A reaction: This is an important basic point, because modern materialism takes matter (of some sort) to be basic, but Aristotle seems to take identity (and form and essence) to be basic, and matter to be merely at their service.
The substance is the form dwelling in the object [Aristotle]
     Full Idea: The substance is the form dwelling in the object, and from it the substance that is a composite of the form and of matter is said to be a substance. So concavity is a substance, the composite of which and of nose are snub nose and snubness.
     From: Aristotle (Metaphysics [c.324 BCE], 1037a29)
     A reaction: So there is simple substance [ousia?] and composite substance. Notice the startling example that concavity is a substance. Think hard about that. Substance, but not as we know it, Jim.
Substance is unified and universals are diverse, so universals are not substance [Aristotle, by Witt]
     Full Idea: Aristotle's argument is that if we understand the substance of a thing to be that which unifies it, and if we understand that a universal is predicated of many things, then we will see that a universal cannot be the substance of a thing.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1038b1-15) by Charlotte Witt - Substance and Essence in Aristotle
     A reaction: Presumably if universals are predicated of something, or something 'partakes' of the universal, then we want to know about the 'something', not about the universal. But do we end up with substances being 'bare particulars'?
A thing's substance is its primary cause of being [Aristotle]
     Full Idea: The substance of each thing ...is the primary cause of being for it.
     From: Aristotle (Metaphysics [c.324 BCE], 1041b27)
     A reaction: Wedin says that here Aristotle announces this 'with finality'. This is 'for each thing', and hence is essence at the level of the individual, not of the kind. Identifying the 'cause of being' of a thing is taken to be its best possible explanation.
None of the universals can be a substance [Aristotle]
     Full Idea: None of the universals can be a substance.
     From: Aristotle (Metaphysics [c.324 BCE], 1053b13)
In Aristotle, 'proté ousia' is 'primary being', and 'to hupokeimenon' is 'that which lies under' (or 'substance') [Aristotle, by Politis]
     Full Idea: The claim that 'proté ousia' is substance is a particular answer to 'What is proté ousia?', so 'substance' is not what it means. The Latin 'substantia' translates Aristotle's 'to hupokeimenon' ('that which lies under').
     From: report of Aristotle (Metaphysics [c.324 BCE], ousia) by Vassilis Politis - Aristotle and the Metaphysics 1.3
     A reaction: It seems that in 'Categories' Aristotle identified 'primary being' with 'that which lies under', but the notion of 'essence' comes into the picture in 'Metaphysics'. Big problems of textual exegesis.
Substance is distinct being because of its unity [Aristotle, by Witt]
     Full Idea: Aristotle holds that substances are distinct from other beings by virtue of their high degree of unity.
     From: report of Aristotle (Metaphysics [c.324 BCE], ousia) by Charlotte Witt - Substance and Essence in Aristotle 4
     A reaction: It seems to me that the notion of 'substance' (translating 'ousia' thus) can't mean anything more than 'being with identity'. Then 'essence' is offered as that which bestows the identity on the being.
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
The statue is not called 'stone' but 'stoney' [Aristotle]
     Full Idea: The statue is not called 'stone' but 'stoney'. ...The building is said to be 'bricked', not 'bricks'.
     From: Aristotle (Metaphysics [c.324 BCE], 1033a08)
     A reaction: We have the same distinction in English (best expressed as 'made of stone'). The point is that in thought we identify a statue as primarily something other than the stone of which it is made, though that may not prove anything about reality.
Statues depend on their bronze, but bronze doesn't depend on statues [Aristotle, by Gill,ML]
     Full Idea: The form of a statue depends upon bronze (or some similar stuff) for its existence, while the bronze has no comparable need for the form of the statue. The bronze can exist before acquiring the form, and continue after the form has been removed.
     From: report of Aristotle (Metaphysics [c.324 BCE], Z.3) by Mary Louise Gill - Aristotle on Substance Ch.1
     A reaction: Some would cite this as precisely the modal difference between them that seems to suggest they are two objects. I would say that their different status shows that they shouldn't be thought of as two 'objects'. An object with two natures?
Primary matter and form make a unity, one in potentiality, the other in actuality [Aristotle]
     Full Idea: The last [primary] matter and the shape-form [morphe] are the same and a unity, the one in potentiality and the other in actuality.
     From: Aristotle (Metaphysics [c.324 BCE], 1045b19)
     A reaction: This seems to be exactly the statue/clay problem, that they have different modal properties, although coinciding in actuality.
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
The form of a thing is its essence and its primary being [Aristotle]
     Full Idea: By form [eidos] I mean the essence [to ti en einai] of each thing and its primary being [prote ousia].
     From: Aristotle (Metaphysics [c.324 BCE], 1032b01)
     A reaction: [Tr. Vasilis Politis. Lawson-Tancred has 'what-it-was-to-be-that-thing' instead of 'essence', and 'substance' instead of 'being']. This may be the single most important sentence in 'Metaphysics' for understanding his theory of being. Cf. 'formal cause'.
Plato says changing things have no essence; Aristotle disagrees [Aristotle, by Politis]
     Full Idea: Plato argues that changing things, even if they are somehow real, do not have an essence; but Aristotle argues that changing things have a changeless essence.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Vassilis Politis - Aristotle and the Metaphysics 2.4
In 'Metaphysics' Z substantial primacy (as form) is explanatory rather than ontological [Aristotle, by Wedin]
     Full Idea: In 'Metaphysics' Z substantial primacy, in the guise of form, has an explanatory rather than an ontological role.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Michael V. Wedin - Aristotle's Theory of Substance Intro
     A reaction: I take this to be the correct way to understand Aristotle, and the correct way to understand the concept of essence. We don't observe essences, but the concept of essence is forced upon us when we seek the best explanation of things.
In 'Metaphysics' substantial forms take over from objects as primary [Aristotle, by Frede,M]
     Full Idea: Though he retains objects from the 'Categories', in 'Metaphysics' these yield their status as primary substances to their substantial forms. Concrete particulars are now secondary, and that which underlies everything is the substantial form.
     From: report of Aristotle (Metaphysics [c.324 BCE], book) by Michael Frede - Title, Unity, Authenticity of the 'Categories' V
     A reaction: Frede says he moved from realism about substances to nominalism. Presumably substances within objects are real concreta, but forms are abstract, leaving the the object as a purely material thing.
Forms of sensible substances include unrealised possibilities, so are not fully actual [Aristotle, by Frede,M]
     Full Idea: The forms of sensible substances are not pure actualities; they in part are constituted by unrealized possibilities and in that sense are not fully real.
     From: report of Aristotle (Metaphysics [c.324 BCE], Z) by Michael Frede - Aristotle's Conception of Metaphysics p.90
     A reaction: Frede suggests that the form of the Unmoved Mover is the ideal case, because it is fully actual. I like the present idea, because it includes modal truths (i.e. dispositions and powers) in the form which gives a thing its nature.
Essences are not properties (since those can't cause individual substances) [Aristotle, by Witt]
     Full Idea: An essence is not a property (or a cluster of properties) of the substance whose essence it is, ...because no property (no Aristotelian property) can be the cause of being of an actual individual substance.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Charlotte Witt - Substance and Essence in Aristotle Intro
     A reaction: This is the third of Witt's three unorthodox theses, mainly in defence of individual essences in Aristotle. The first two seem to me to be correct, and the third one is interesting. I'm inclined to think that essences are powers, found below properties.
Essential form is neither accidental nor necessary to matter, so it appears not to be a property [Aristotle, by Witt]
     Full Idea: Form is not an accidental property of matter, and it is not a necessary property of matter. These considerations make it unlikely that Aristotle holds form or essence to be a property of matter in the composite substance.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Charlotte Witt - Substance and Essence in Aristotle 4.5
     A reaction: I suppose form bestows the identity, and the identity gives rise to the properties. But you don't create identity on Monday, and add the properties on Tuesday, so forming an entity and giving it properties seem to coincide.
Aristotle's cosmos is ordered by form, and disordered by matter [Aristotle, by Gill,ML]
     Full Idea: The Aristotelian universe is a world of tension and commotion - ordered and preserved by form, disordered by matter.
     From: report of Aristotle (Metaphysics [c.324 BCE], hylom) by Mary Louise Gill - Aristotle on Substance Ch.7
     A reaction: This connects Aristotle quite strongly with presocratic predecessors like Heraclitus and Empedocles. But then it fits perfectly with modern discussions of entropy, and the forces that hold entropy back.
Aristotle moved from realism to nominalism about substances [Aristotle, by Frede,M]
     Full Idea: Aristotle's earlier 'Categories' theory of substance, and his later 'Metaphysics' theory, are radically different. The first is realistic, and the second nominalistic.
     From: report of Aristotle (Metaphysics [c.324 BCE], ousia) by Michael Frede - Title, Unity, Authenticity of the 'Categories' V
     A reaction: Frede claims that 'Categories' is clearly earlier. It is certainly profoundly different from 'Metaphysics'.
A substance is a proper subject because the matter is a property of the form, not vice versa [Aristotle, by Gill,ML]
     Full Idea: In Aristotle's theory a substantial form can count as a proper subject, since the generic matter of which the form is predicated is in fact a property of the form rather than the form's being a property of it.
     From: report of Aristotle (Metaphysics [c.324 BCE], ousia) by Mary Louise Gill - Aristotle on Substance Ch.5
     A reaction: I'm not sure if I understand the idea of matter being the 'property' of a form, but 'matter' [hule] seems to be a particular way of thinking about stuff when it participates in an object, rather than just the amorphous stuff. Just 'predicated of'?
Aristotle doesn't think essential properties are those which must belong to a thing [Aristotle, by Kung]
     Full Idea: Aristotelian essentialism is not correctly portrayed as the view that an essential property is such that it must belong to everything to which it belongs at all.
     From: report of Aristotle (Metaphysics [c.324 BCE], props) by Joan Kung - Aristotle on Essence and Explanation VII
     A reaction: The view I am arriving at is that essences are rather fluid things, which change their balance and constitution continually. Old people differ essentially from their younger selves. Chemical natural kinds have stable essences, but that is contingent.
9. Objects / C. Structure of Objects / 2. Hylomorphism / b. Form as principle
Some forms, such as the Prime Mover, are held by Aristotle to exist without matter [Aristotle, by Gill,ML]
     Full Idea: Aristotle's theory also includes a special group of forms that can exist without matter, of which the Prime Mover is an instance, and these forms are separate not only in account but also in existence.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Mary Louise Gill - Aristotle on Substance Ch 1
     A reaction: I am curious about her other examples. This must be the closest that Aristotle gets to his teacher's view of the Forms.
A true substance is constituted by some nature, which is a principle [Aristotle]
     Full Idea: Only those objects are substances which are being constituted under, and by, some nature, ..so that this nature, which is a principle rather than an element, is their substance.
     From: Aristotle (Metaphysics [c.324 BCE], 1041b31)
     A reaction: My view is that Aristotle never got to the point of articulating his hylomorphism, so this is just him fishing around, and pointing to where others should investigate. What sort of 'principle'?
9. Objects / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier
Things are a unity because there is no clash between potential matter and actual shape/form [Aristotle]
     Full Idea: The problem of unity disappears if our account is adopted. We allow a matter component and a shape/form component, one existing potentially the other in actuality. …The account is of a unity because one component is material, the other shape/form.
     From: Aristotle (Metaphysics [c.324 BCE], 1045a24)
     A reaction: It sounds as though the solution is that matter is material and form is abstract, so there is no rivalry. Elsewhere form seems more like a mechanism or a set of powers.
Aristotle's solution to the problem of unity is that form is an active cause or potentiality or nature [Aristotle, by Gill,ML]
     Full Idea: The solution to the problem of unity will finally depend upon Aristotle's doctrine of form as an active cause, or, as he refers to form within his broader theory of potentiality and actuality, an active potentiality [dunamis] or nature [phusis].
     From: report of Aristotle (Metaphysics [c.324 BCE], hylom) by Mary Louise Gill - Aristotle on Substance Intro
     A reaction: Her intermediate proposal to the solution of the problem in Idea 16083 is that matter only survives through change potentially and not actually.
9. Objects / C. Structure of Objects / 3. Matter of an Object
Every distinct thing has matter, as long as it isn't an essence or a Form [Aristotle]
     Full Idea: Everything has a sort of matter [hule], provided only that it is not a what-it-was-to-be-that-thing [ti en einai] and a per se Form Itself [eidos auto kath' auto] but a possessor of thisness [tode ti].
     From: Aristotle (Metaphysics [c.324 BCE], 1037a01)
     A reaction: Kit Fine quotes this to support the claim that Aristotelian 'matter' is not confined to physical objects. Aristotle's essence is the form which imposes identity on the matter.
In Aristotle, bronze only becomes 'matter' when it is potentially a statue [Aristotle, by Gill,ML]
     Full Idea: Aristotle implies that matter is parasitic on the being of what it potentially is. …Hence if something is treated as bronze it is regarded as a composite and not as matter; only if it is treated as potentially a statue is it regarded as matter.
     From: report of Aristotle (Metaphysics [c.324 BCE], matter) by Mary Louise Gill - Aristotle on Substance Ch.1
     A reaction: Note the distinction we should make of bronze as indeterminate 'stuff', and a lump of specific bronze, which might be a precondition for casting a statue. On Gill's reading, Greek 'matter' is much more specific than the modern word.
Aristotle's conception of matter applies to non-physical objects as well as physical objects [Aristotle, by Fine,K]
     Full Idea: Aristotle's conception of matter is comprehensive in its scope. It applies, not merely to physical, but also to non-physical objects; for they may have non-physical objects as their matter.
     From: report of Aristotle (Metaphysics [c.324 BCE], matter) by Kit Fine - Aristotle on Matter §1
     A reaction: My plea about bizarre ontological claims is always 'If you claim it exists, tell me what it is made of!' This Aristotle chap now offers them an instant answer to which I have no reply. They are made of 'matter', but not as we know it, Jim.
Aristotle's matter is something that could be the inner origin of a natural being's behaviour [Aristotle, by Witt]
     Full Idea: Aristotle's notion of matter, unlike ours, is of something that could be the inner origin of a natural being's behaviour.
     From: report of Aristotle (Metaphysics [c.324 BCE], matter) by Charlotte Witt - Substance and Essence in Aristotle 3.1
     A reaction: This conforms with my idea of matter, as something active, containing powers, not some inert stuff waiting for the hand of God to bring it into life.
Matter is secondary, because it is potential, determined by the actuality of form [Aristotle, by Witt]
     Full Idea: Aristotle's characterization of matter as potentiality and of form as actuality means that the form or essence determines what the matter is. So matter does not have any independent contribution to make to the definition and essence of the substance.
     From: report of Aristotle (Metaphysics [c.324 BCE], matter) by Charlotte Witt - Substance and Essence in Aristotle 6.2
     A reaction: We might say that of the wood which constitutes a lectern, but in the case of a magnet it seems that we are directly encountering the powers of the matter. ...though you might say that iron is the matter and magnetisation the form?
9. Objects / C. Structure of Objects / 5. Composition of an Object
Is there a house over and above its bricks? [Aristotle]
     Full Idea: Is there a house over and above its bricks?
     From: Aristotle (Metaphysics [c.324 BCE], 1033b19)
9. Objects / C. Structure of Objects / 6. Constitution of an Object
Given that a table is made of molecules, could it not be molecular and still be this table? [Kripke]
     Full Idea: This table is composed of molecules. …Could anything be this very object and not be composed of molecules? …It's hard to imagine under what circumstances you would have this very object and find that it is not composed of molecules.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This is the thesis of essentiality of constitution. Given that it is square, might it have been round? Yes. Given that it is wood, might it have been metal? No? Given that it is molecular, might it have been plasma? No. ….Maybe.
If we imagine this table made of ice or different wood, we are imagining a different table [Kripke]
     Full Idea: Though we can imagine a table identical to this one in this room, but made of ice (or different wood), it seems to me that this is not to imagine this table as made of ice, but to imagine another table, resembling this one, made of ice.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This is the Necessity of Constitution thesis, which I doubt. Might this table have had one leg different? Why not? Then you have a Ship of Theseus question. How much could be different? How much of the constitution is necessary?
9. Objects / C. Structure of Objects / 7. Substratum
It is unclear whether Aristotle believes in a propertyless subject, his 'ultimate matter' [Aristotle, by Lawson-Tancred]
     Full Idea: A subject which has no properties of its own at all is called by Aristotle 'ultimate matter', and it is hotly disputed whether Aristotle acknowledges that such matter exists.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1029a) by Hugh Lawson-Tancred - Introductions to 'Metaphysics' p.174
A substrate is either a 'this' supporting qualities, or 'matter' supporting actuality [Aristotle]
     Full Idea: There are two ways of being a substrate [to hupokeimenon], either as possessor of thisness (as the animal is a substrate for its properties) or as matter is a substrate for the actuality.
     From: Aristotle (Metaphysics [c.324 BCE], 1038b05)
     A reaction: A bit confusing, since the possessor of thisness will obviously have what we call 'identity', whereas matter cannot have identity on its own (because it also needs form).
A subject can't be nothing, so it must qualify as separate, and as having a distinct identity [Aristotle, by Gill,ML]
     Full Idea: To avoid the outcome (possible in 'Categories') that the subject might be nothing at all, Aristotle insists that a legitimate subject must be separate and a 'this' [tode ti]. Forms and composites satisfy the revised criterion in different ways.
     From: report of Aristotle (Metaphysics [c.324 BCE], Z.3) by Mary Louise Gill - Aristotle on Substance Ch.3
     A reaction: I take it that we would say that a 'this' is an entity which possesses 'identity', and is perhaps countable. For Aristotle being a 'this' seems to require a possibility of definition. This is a powerful Aristotelian thought, needed in modern metaphysics.
Something must pre-exist any new production [Aristotle]
     Full Idea: It is impossible that anything should be produced if there were nothing existing before. Obviously then some part of the result will pre-exist of necessity.
     From: Aristotle (Metaphysics [c.324 BCE], 1032b30)
     A reaction: This is arguing for a substrate on the basis of the ex nihilo principle. Creation needs raw materials as a basis. This may be the obscure 'prime matter'.
If you extract all features of the object, what is left over? [Aristotle]
     Full Idea: If you extract all other features of the object, what is revealed as being left over?
     From: Aristotle (Metaphysics [c.324 BCE], 1029a10)
     A reaction: This seems to be the key question in matters of identity, which leads us to talk of substrata, or essences, or substance, none of which seem graspable.
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
The contents of an explanatory formula are parts of the whole [Aristotle]
     Full Idea: The contents of the formula which explains a thing are parts of the whole.
     From: Aristotle (Metaphysics [c.324 BCE], 1023a24)
     A reaction: This is part of a catalogue of ways in which things can be parts [1023b08-25]. I like this, because it fits my general thesis, that the desire for explanation is the driving force behind our metaphysics.
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
A 'whole' (rather than a mere 'sum') requires an internal order which distinguishes it [Aristotle]
     Full Idea: In the case of a quantity that has a beginning, a middle and an end, there are those instances in which the order does not create a differentia, which are said to be 'sums', and those is which it does, which are said to be 'wholes'.
     From: Aristotle (Metaphysics [c.324 BCE], 1024a01-5)
     A reaction: This is the reason why Aristotle is so much better than the run-of-the-mill naďve modern metaphysician.
If a syllable is more than its elements, is the extra bit also an element? [Aristotle]
     Full Idea: The syllable is something - not only its elements (the vowel and the consonant) but also something else; ...that something must itself be either an element or composed of elements.
     From: Aristotle (Metaphysics [c.324 BCE], 1041b16-19)
     A reaction: This pinpoints the key initial question, not just about the claims of 'holism', but about the whole puzzle of what give objects their identity?
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
A syllable is something different from its component vowels and consonants [Aristotle]
     Full Idea: The syllable is something in its own right, not just a heap of vowel and consonant but something different.
     From: Aristotle (Metaphysics [c.324 BCE], 1041b16)
     A reaction: This is the classic Greek example of a whole, and a slogan for claims that wholes are not merely collections of parts.
Wholes are continuous, rigid, uniform, similar, same kind, similar matter [Aristotle, by Simons]
     Full Idea: Aristotle gives certain samples of 'hanging together', notably continuity, rigidity, uniformity, qualitative similarity, being of a like kind, being of like matter.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1015b05-) by Peter Simons - Parts 8.1
     A reaction: Families are scattered, lakes aren't rigid, cakes aren't uniform, complex gadgets have dissimilar parts, two kinds can be united, and only boring things are made of one sort of matter. Nice try, though. Simons rightly adds causation.
9. Objects / D. Essence of Objects / 1. Essences of Objects
Aristotelian essence underlies behaviour, or underlies definition, or is the source of existence [Aristotle, by Aquinas]
     Full Idea: Aristotle calls a substance a nature. This expresses essence as what underlies a thing's characteristic behaviour, whereas whatness expresses it as underlying the definition, and essence refers to it as that through which and in which it has existence.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Thomas Aquinas - De Ente et Essentia (Being and Essence) p.92
     A reaction: I don't really understand the third one, unless it is what gives something its identity, which probably then reduces to the second one. The big choice is between essence explaining behaviour and essence explaining definition. Interesting.
Aristotelian essence is retained with identity through change, and bases our scientific knowledge [Aristotle, by Copi]
     Full Idea: For Aristotle, the essential properties of an object are those which are retained by it during any change through which the object remains identifiable; and they are the properties which are most important in our scientific knowledge of it.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Irving M. Copi - Essence and Accident p.712
     A reaction: This pioneering thought of Copi's (at least, he was a pioneer in that he read Aristotle properly) strikes me as the key to understanding the concept of essence.
Aristotle says changing, material things (and not just universals) have an essence [Aristotle, by Politis]
     Full Idea: Aristotle wanted to argue (against Plato) that changing, material things, and not only universals that are true of them, have an essence.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Vassilis Politis - Aristotle and the Metaphysics 7.5
     A reaction: This is the huge idea which Aristotle contributes to our understanding of the world, and which I take to be one of the most important ideas in philosophy (though I accept that defending essences is a little precarious).
Are essences actually universals? [Aristotle, by Politis]
     Full Idea: Some critics say that Aristotle conceives of essences as universals.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Vassilis Politis - Aristotle and the Metaphysics 7.5
     A reaction: [He cites M.Woods for this view] Politis opposes this view of Aristotle, and I think I do (with limited scholarship!). It seems to be an unorthodox view when discussing Aristotelian essences, but a very common view when discussing properties.
9. Objects / D. Essence of Objects / 2. Types of Essence
Aristotelian essences are causal, not classificatory [Aristotle, by Witt]
     Full Idea: The primary role of essences in Aristotle's theory of substance is causal, rather than classificatory.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Charlotte Witt - Substance and Essence in Aristotle 5.4
     A reaction: This is the nicest summary of the view which I wish to champion. Classification results from patterns of causation, just as laws of nature result from regularities in the behaviour of causal powers.
For Kripke, essence is origin; for Putnam, essence is properties; for Wiggins, essence is membership of a kind [Kripke, by Mautner]
     Full Idea: Kripke makes the origin of an organism essential to it, according to Putnam the fundamental physical properties of a thing are essential, Wiggins sees an organism's essence in belonging to a particular kind, etc.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Thomas Mautner - Penguin Dictionary of Philosophy p.179
     A reaction: This is helpful for seeing where the problems remain, if you embrace essentialism (as I feel inclined to do). It is vital to remember Putnam's point, that we could suddenly discover that cats are alien robots. This seems to undermine Kripke and Wiggins.
9. Objects / D. Essence of Objects / 3. Individual Essences
Particulars are not definable, because they fluctuate [Aristotle]
     Full Idea: Particular perceptible substances are excluded from definition. ...An object that admits of being in a variety of states is an object of opinion, and thus incontrovertibly not of definition.
     From: Aristotle (Metaphysics [c.324 BCE], 1039b30)
     A reaction: This more or less demolishes my original reading of Aristotle, so back to the drawing board. We need to revise Aristotle. He says differentiae home in the individual but never get there. I (now) say cross-referencing of universals gets you there.
Essence is the cause of individual substance, and creates its unity [Aristotle, by Witt]
     Full Idea: Aristotle describes form or essence as the cause of there being an actual individual substance, and as the cause of its being a unity rather than a heap.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Charlotte Witt - Substance and Essence in Aristotle Intro
     A reaction: Wiggins defends the species-essence view (Idea 12068) by preferring the 'secondary substance' account in 'Categories' to Aristotle's ideas about 'form' which emerge later in 'Metaphysics'. I prefer Witt to Wiggins.
Individual essences are not universals, since those can't be substances, or cause them [Aristotle, by Witt]
     Full Idea: For Aristotle the essences of individual substances are individual rather than universal, ...since nothing universal can be a substance, nor can it be a principle or cause of a substance.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Charlotte Witt - Substance and Essence in Aristotle Intro
     A reaction: This is the second of Witt's three theses which she offers in opposition to the orthodox interpretation of Aristotle, and again I think she is right.
The essence of a single thing is the essence of a particular [Aristotle]
     Full Idea: The what-it-was-to-be-that-thing [to ti en einai] for a single thing is what-it-was-to-be-that-thing for a particular.
     From: Aristotle (Metaphysics [c.324 BCE], 1054a16)
     A reaction: This seems to give clear support for the view I favour, that Aristotle believes in individual essences, and not just generic kinds.
Aristotelian essence is not universal properties, but individual essence [Aristotle, by Witt]
     Full Idea: We should replace the traditional interpretation of Aristotelian essences - as clusters of universal properties - with an interpretation according to which an essence is an individual substance, though not a composite or sensible substance.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Charlotte Witt - Substance and Essence in Aristotle 5
     A reaction: I get the impression that this is a growing view amongst Aristotle scholars, which really ruins a widespread view which I associate with Wiggins, that essences are to do with categories, sortals and kinds. I associate essences with explanations.
Aristotle does not accept individual essences; essential properties are always general [Aristotle, by Kung]
     Full Idea: Aristotle does not label 'essential' what are now called 'individual essences'. The properties which belong essentially to an individual are always general properties, capable of belonging to more than one thing.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Joan Kung - Aristotle on Essence and Explanation IV
     A reaction: [She offers four references from 'Metaphysics' in support] I think I want to disagree with Aristotle on this one (gulp). Thus his essential properties are one-over-many - his version of universals. I say individuals explain universals, and are prior.
Aristotle's essence explains the existence of an individual substance, not its properties [Aristotle, by Witt]
     Full Idea: Aristotle's notion of form or essence is meant to explain why there is an individual substance there at all, not what features constitute the identity of a given individual substance within a domain of individual substances.
     From: report of Aristotle (Metaphysics [c.324 BCE], hylom) by Charlotte Witt - Substance and Essence in Aristotle 4.4
     A reaction: I begin to think that the notion of 'essence' is extremely useful in aiding our grasp of reality, but the notion of 'substance' is not. We can just talk of 'identity', without implying some stuff that constitutes that identity. Essence is powers.
Aristotle takes essence and form as a particular, not (as some claim) as a universal, the species [Aristotle, by Politis]
     Full Idea: It seems that Aristotle thinks that the essence and the form is a particular, ...though a very different interpretation argues that, for Aristotle, the essence and form of a changing, material thing is a universal, namely the species of the thing.
     From: report of Aristotle (Metaphysics [c.324 BCE], partic) by Vassilis Politis - Aristotle and the Metaphysics 7.5
     A reaction: I am fairly thoroughly persuaded that Politis's view (the first half of this idea) is the correct interpretation, and it is certainly the one I find more congenial. The second one I associate with the erroneous idea of sortal essentialism, as in Wiggins.
To be a subject a thing must be specifiable, with some essential properties [Aristotle, by Gill,ML]
     Full Idea: Aristotle shows that, for something to be a subject at all, it must be specifiable as something in itself, with essential properties that are mentioned in its defining account, since no subject can be the bearer of accidental properties alone.
     From: report of Aristotle (Metaphysics [c.324 BCE], Z.3) by Mary Louise Gill - Aristotle on Substance Ch.2
     A reaction: This is Aristotle supporting the very modern necessary-properties view of essentialism. Notice that it emerges from being 'specifiable' - that is, from Aristotle's requirement that a logos and definition be available. He rejects bare particulars.
9. Objects / D. Essence of Objects / 4. Essence as Definition
If definition is of universals, many individuals have no definition, and hence no essence [Aristotle, by Witt]
     Full Idea: If definition is of the universal rather than of the particular, ...it begins to appear that individual material substances do not have definitions and, hence, do not have essences at all.
     From: report of Aristotle (Metaphysics [c.324 BCE], partic) by Charlotte Witt - Substance and Essence in Aristotle 5.1
     A reaction: This is a very challenging claim against my own defence (and Witt's) of individual essences. In switching to individual essences, one has to make them unstable and variable, and lacking necessity, and hence maybe not essential.
Things have an essence if their explanation is a definition [Aristotle]
     Full Idea: A what-it-was to-be-that-thing only belongs to those things for whom an account just is a definition.
     From: Aristotle (Metaphysics [c.324 BCE], 1030a06)
     A reaction: That seems to be that 'to ti en einai' (aka essence) only has a 'logos' if it has a 'horismos'. It seems that having a definition as its account is a necessary condition for an essence, but not sufficient. It looks to me as if essence must be explanatory.
A thing's essence is what is mentioned in its definition [Aristotle, by Lawson-Tancred]
     Full Idea: Aristotle believes that the essence of a thing is those per se features of it that are mentioned in a definition.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1030a02) by Hugh Lawson-Tancred - Introductions to 'Metaphysics' p.177
     A reaction: Compare Idea 11291.
Essence is what is stated in the definition [Aristotle, by Politis]
     Full Idea: For Aristotle, the essence of a thing is what is stated in the definition of that thing.
     From: report of Aristotle (Metaphysics [c.324 BCE], defs) by Vassilis Politis - Aristotle and the Metaphysics 7.5
9. Objects / D. Essence of Objects / 5. Essence as Kind
Atomic number 79 is part of the nature of the gold we know [Kripke]
     Full Idea: It is part of the nature of gold as we have it to be an element with atomic number 79.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: The word 'nature' directly invokes Aristotle's concept of an essence. Scientific essentialism arises from the idea that by discovering the atomic number, we have somehow 'arrived' at the essence, and enquiry is reaching its terminus.
The Aristotelian view is that the essential properties are those that sort an object [Aristotle, by Marcus (Barcan)]
     Full Idea: The Aristotelian view is that essential properties sort entities in some fashion. ...Being an entity, or being self-identical, or being a unity, fail to sort Socrates from anything else, but being identical with Socrates sorted him from everything.
     From: report of Aristotle (Metaphysics [c.324 BCE], props) by Ruth Barcan Marcus - Essential Attribution p.196
     A reaction: [She cites Daniel Bennett 1969 for this] This doesn't feel right. I take it that sorting things is posterior to discovering that they have different causal powers, as with H2O and XYZ, or jadeite and nephrite.
9. Objects / D. Essence of Objects / 6. Essence as Unifier
A thing's essence is its intrinsic nature [Aristotle]
     Full Idea: The what-it-was-to-be-that-thing [to ti en einai, essence] is, for each thing, what it is taken to be [kath' hauto, in virtue of itself] per se.
     From: Aristotle (Metaphysics [c.324 BCE], 1029b13)
     A reaction: [Translations is brackets from Vasilis Politis] Aristotle's other definition of essence is in terms of definition - Idea 10963 and Idea 11292.
An essence causes both its own unity and its kind [Aristotle]
     Full Idea: The what-it-was-to-be-that-thing [to ti en einai] is a unity of a kind straight off, just as it is a being of a kind. And that is why none of these things has some other cause of their being a unity, any more than they do of their being a being of a kind.
     From: Aristotle (Metaphysics [c.324 BCE], 1045b04)
     A reaction: This seems to be the key importance of the notion of essence - it is what both bestows unity on things in the world (which is basic to ontology and epistemology), and what enables us to categorise things (basic to epistemology).
Having an essence is the criterion of being a substance [Aristotle, by Lawson-Tancred]
     Full Idea: For Aristotle, having an essence is the criterion of being a substance.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1030a) by Hugh Lawson-Tancred - Introductions to 'Metaphysics' p.178
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
An essential property is true of an object in any case where it would have existed [Kripke]
     Full Idea: When we think of a property as essential to an object we usually mean that it is true of that object in any case where it would have existed.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This seems to equate essence with necessary properties, which is the view attacked nicely be Fine in 1994. I take essence (in Aristotle's sense) to be quite different from necessary properties (in being non-trivial, for example).
De re modality is an object having essential properties [Kripke]
     Full Idea: De re modality is an object having essential properties.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: [Plucked out of context] It is because Kripke says there are necessities about things, and not just about statements about things, that he has caused a revival of essentialism. Fine has famously said modality depends on essence.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
Aristotle doesn't see essential truths or essential properties as necessary [Aristotle, by Koslicki]
     Full Idea: Aristotle did not subscribe to the modal conception of essence. The essential truths are not even included among the necessary truths; and the essential features of an object are similarly not included among its necessary features.
     From: report of Aristotle (Metaphysics [c.324 BCE]) by Kathrin Koslicki - Essence, Necessity and Explanation 13.1
     A reaction: I take this point to be hugely important. There is no real role for essences in metaphysics if they are not of the Aristotelian type. The necessities just lead you to trivialities, or to conventions. Aristotelian essences lead you to facts.
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
Metaphysics is the science of ultimate explanation, or of pure existence, or of primary existence [Aristotle, by Politis]
     Full Idea: In 'Metaphysics' Aristotle characterises metaphysics in three ways: as the science of the first or ultimate explanation of things; as the science of being qua being; and the science of primary being ('ousia').
     From: report of Aristotle (Metaphysics [c.324 BCE], book) by Vassilis Politis - Aristotle and the Metaphysics 2.1
     A reaction: I am a bit baffled about how anything worthwhile can be said about 'being qua being', but the other two seem worth pursuing, and may boil down to the same thing.
9. Objects / D. Essence of Objects / 9. Essence and Properties
It is absurd that a this and a substance should be composed of a quality [Aristotle]
     Full Idea: Is it not impossible, even outrageous, that a this and a substance (even if it can be composed of constituents) should be composed not of substances and the this-thing-here but of a quality?
     From: Aristotle (Metaphysics [c.324 BCE], 1038b25)
     A reaction: This is to show Aristotle's deep hostility to anyone who thinks an essence is just a set of special properties (and the 'anyone' means just about anyone these days).
Important properties of an object need not be essential to it [Kripke]
     Full Idea: Important properties of an object need not be essential, unless 'importance' is used as a synonym for essence.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: Kripke's examples are the writings of Aristotle and the actions of Hitler, but these don't strike me as being 'properties' of those people. They are not intrinsic. Kripke, of course, is concerned with how we identify them, not who they actually are.
9. Objects / D. Essence of Objects / 10. Essence as Species
Generalities like man and horse are not substances, but universal composites of account and matter [Aristotle]
     Full Idea: Man and horse and items similarly imposed on the particulars but themselves general are not substances but a kind of composite of the relevant account in the relevant matter, considered universally.
     From: Aristotle (Metaphysics [c.324 BCE], 1035b27)
     A reaction: Notice that these concepts are 'imposed' on particulars. This seems close to Locke's 'nominal' essence. It take this quotation to reinforce the priority of the particular in Aristotle's account.
Genera are not substances, and do not exist apart from the ingredient species [Aristotle]
     Full Idea: If 'man' and any other item similarly specified is a substance, then none of the contents of the account of man is a substance of anything. 'Animal', for instance, does not exist over and above particular animals.
     From: Aristotle (Metaphysics [c.324 BCE], 1038b31)
     A reaction: [I think 'particular animals' refers to species, not individuals, here] I take it as self-evident that this implies that species do not exist, apart from the individuals that constitute them.
'Categories' answers 'what?' with species, genus, differerentia; 'Met.' Z.17 seeks causal essence [Aristotle, by Wedin]
     Full Idea: Although what-is-it [ti esti] questions serve the classificatory project in 'Categories', they are no help in the causal enquiries of 'Metaphysics' Z.17. The essence of interest can't be the species or the differentia-cum-genus complex.
     From: report of Aristotle (Metaphysics [c.324 BCE], 1041a05-b36) by Michael V. Wedin - Aristotle's Theory of Substance X.4
     A reaction: Wedin's view is that these are compatible. The implication is that the nature of essence depends entirely on what it is you want to explain. Explain the category, or explain the behaviour?
Standardly, Aristotelian essences are taken to be universals of the species [Aristotle, by Witt]
     Full Idea: The standard interpretation holds that Aristotelian essences are species-essences, which are universal essences shared by all members of the same species.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Charlotte Witt - Substance and Essence in Aristotle Intro
     A reaction: Her aim is to refute this standard view, in defence of the view that Aristotle really wanted to pinpoint individual essences. I think Witt is correct.
In 'Met.' he says genera can't be substances or qualities, so aren't in the ontology [Aristotle, by Frede,M]
     Full Idea: In the central books of 'Metaphysics' there are no longer any genera or species. In Z.13 he argues that genera and universals can't be substances. Since genera are not qualities either, they disappear completely from the ontology.
     From: report of Aristotle (Metaphysics [c.324 BCE], Z.13) by Michael Frede - Title, Unity, Authenticity of the 'Categories' V
     A reaction: Music to my ears. It is so obvious to me that creatures are classified into genera, so genera can't exist separately, that I am bewildered anyone would believe or imply it.
Kripke says internal structure fixes species; I say it is genetic affinity and a common descent [Kripke, by Dummett]
     Full Idea: Kripke stresses that membership of a single animal species requires identity or similarity of internal structure. In my view, what matters is genetic affinity - a common descent. Internal structure is merely a clue.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Michael Dummett - Could There Be Unicorns? 2
     A reaction: The crucial test question would be whether we can make a tiger artificially (even constructing the DNA). I would say that if you make a tiger, that's a tiger, so Kripke is right and Dummett is wrong. The species is what it is, not where it came from.
Given that Nixon is indeed a human being, that he might not have been does not concern knowledge [Kripke]
     Full Idea: Suppose Nixon actually turned out to be an automaton. That might happen. But that is a question about our knowledge. The question of whether he might not have been a human being, given that he is one, is not a question about knowledge.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: Given that you are sitting, might you be standing? Yes. Given that you are human, might you be non-human? No. Maybe!
9. Objects / D. Essence of Objects / 11. Essence of Artefacts
Things are more unified if the unity comes from their own nature, not from external force [Aristotle]
     Full Idea: More unified is whatever is a whole with a certain shape and form, especially if it is by nature and not by force (e.g. by gluing or nailing or tying up), when, that is, it contains in itself the cause of its being continuous.
     From: Aristotle (Metaphysics [c.324 BCE], 1052a24)
     A reaction: [see also Phys 192b] This is about the only principle available for saying why the essence of an artefact is lesser than a natural essence. The healing of wounds shows that animals have a greater unity than tables?
The hallmark of an artefact is that its active source of maintenance is external [Aristotle, by Gill,ML]
     Full Idea: There is a critical line to be drawn between those entities whose active source of maintenance is internal and those whose source is external. This is the chief line that Aristotle draws between organisms and artefacts.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Mary Louise Gill - Aristotle on Substance Ch.7
     A reaction: Plants need water and sunlight, so I'm not sure that this marks the line quite clearly enough.
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
Aristotle claims that the individual is epistemologically prior to the universal [Aristotle, by Witt]
     Full Idea: Aristotle could have claimed that the universal is prior to the individual in the epistemic realm, but the individual is prior in the realm of being. ...Instead, he claims that the individual is epistemologically prior to the universal.
     From: report of Aristotle (Metaphysics [c.324 BCE], partic) by Charlotte Witt - Substance and Essence in Aristotle 5.1
     A reaction: This point strikes me as fairly self-evident. We only learn about the universal by induction from the individuals.
Actual knowledge is of the individual, and potential knowledge of the universal [Aristotle, by Witt]
     Full Idea: Aristotle resolves his aporia about substances and universals by distinguishing between actual knowledge, which is of the individual, and potential knowledge, which is of the universal.
     From: report of Aristotle (Metaphysics [c.324 BCE], potent) by Charlotte Witt - Substance and Essence in Aristotle
     A reaction: [See Witt 145-9 for the aporia] A vital piece in the jigsaw I am assembling. I connect this way of thinking with modern modal thinking, and actual and possible worlds. It obviously results in individual essences taking priority.
Kripke claims that some properties, only knowable posteriori, are known a priori to be essential [Kripke, by Soames]
     Full Idea: Kripke's first (good) route to the necessary a posteriori is based on the idea that certain properties of objects that they can be known to have only a posteriori, may be known a priori to be essential properties of anything that has them.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.180
     A reaction: Interesting, and a key issue. I think this is precisely where I disagree with the Kripkean view of necessities. Logicians want to know a priori what is essential for identity, but scientists want to know what makes things tick. See Kripke on pain.
An essence is the necessary properties, derived from an intuitive identity, in origin, type and material [Kripke, by Witt]
     Full Idea: For Kripke an object's essence simply consists of its necessary properties. ...His essential properties of individual objects follow from our intuitions about their identity. ...They are of three sorts: of origin, of sortals, and of material.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Charlotte Witt - Substance and Essence in Aristotle 6 n3
     A reaction: This is because Kripke is only interested in identity, whereas Aristotle is interested in explanation. The sorts are efficient, formal, material. Big Q: could Aristotle's account of essence do all the work that is required of essences by Kripke?
9. Objects / E. Objects over Time / 1. Objects over Time
No one seems to know the identity conditions for a material object (or for people) over time [Kripke]
     Full Idea: Adequate necessary and sufficient conditions for identity which do not beg the question are very rare. …I don't know of such conditions for identity of material objects over time, or for people. Everyone knows what a problem this is.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: Typical of Kripke, who only seems to commit to conclusions suggested to him by his modal logic, and is baffled by almost everything else. I think one can at least attempt an essentialist approach to this problem.
9. Objects / E. Objects over Time / 2. Objects that Change
For animate things, only the form, not the matter or properties, must persist through change [Aristotle, by Frede,M]
     Full Idea: If we analyze an ordinary physical object into matter, form and properties, the only item in the case of animate objects that has to stay the same as long as we can talk about the same thing is, on his account, the form.
     From: report of Aristotle (Metaphysics [c.324 BCE], change) by Michael Frede - Substance in Aristotle's 'Metaphysics' p.76
     A reaction: I would have thought that might work for inanimate natural things, and for artefacts, to a considerable extent. The Ship of Theseus retains its form.
9. Objects / E. Objects over Time / 12. Origin as Essential
How a thing is generated does not explain its essence [Aristotle, by Politis]
     Full Idea: Aristotle thinks that the explanation of how a thing is generated does not contribute to the explanation of why the thing is the very thing it is.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Vassilis Politis - Aristotle and the Metaphysics 7.5
     A reaction: Good for him. The origin of a thing strikes me as an entirely different matter from the intrinsic nature of the thing, and I don't see how the origin of something can be necessary, if it is in any way possible that it originated differently.
Aristotle wants definition, not identity, so origin is not essential to him [Aristotle, by Witt]
     Full Idea: Properties of origin are not essential for Aristotle, because he determines what is essential not by reflecting on the identity of an individual, but by considering how to define the individual.
     From: report of Aristotle (Metaphysics [c.324 BCE], id) by Charlotte Witt - Substance and Essence in Aristotle 6.2
     A reaction: [see also Idea 12102] This spells out my intuition, or rather my understanding of the normal usage of the word 'essence'. You can fully know the essence of something (e.g. a person), while having no knowledge of the origin.
If we lose track of origin, how do we show we are maintaining a reference? [Kripke, by Wiggins]
     Full Idea: Perhaps Kripke's argument for the necessity to a thing of its actual origin is that the speculator has to be able to rebut the charge that he has lost his grasp of his subject of discourse if he conceives of this subject with changed parents or origin.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by David Wiggins - Sameness and Substance Renewed 4.10
     A reaction: On the whole Wiggins opposes necessity of origin (cf. Forbes, who defends it). If this idea is right, then any means of ensuring reference will do the job, and it clearly wouldn't be an argument that guaranteed necessity of origin.
Kripke argues, of the Queen, that parents of an organism are essentially so [Kripke, by Forbes,G]
     Full Idea: If we generalise what Kripke says about the Queen, then he is arguing that the parents of any organism are essentially the parents of that organism.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Graeme Forbes - The Metaphysics of Modality 6.1
     A reaction: It strikes me that we have to be extremely careful in specifying what it is that Kripke is saying. I take it that either Kripke is saying something rather uninteresting, or he is saying what Forbes suggests. Parenthood is essential, not just necessary.
Could the actual Queen have been born of different parents? [Kripke]
     Full Idea: Could the Queen - could this woman herself - have been born of different parents from the parents from whom she actually came?
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: Tricky! No, because the past is fixed? Could the Queen have visited Russia when she was 20? I suppose so. Might she not have had parents, given who she is? I don't see why not. Could this desk have been made by someone else? Why not?
Socrates can't have a necessary origin, because he might have had no 'origin' [Lowe on Kripke]
     Full Idea: Against Kripke's thesis of 'necessity of origin' I will just point out the intuitive force of the claim that Socrates - that very person - could, logically, have had no beginning to his existence at all, or have come into existence ex nihilo.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970], p.110-) by E.J. Lowe - The Possibility of Metaphysics 6.5
     A reaction: It also strikes me that one base-pair difference in his DNA (by a mutation, or a fractionally different parent) would still leave him as Socrates. People are not good candidates for 'rigid' designation. Counterparts seems a better account here.
9. Objects / F. Identity among Objects / 1. Concept of Identity
Two things with the same primary being and essence are one thing [Aristotle]
     Full Idea: If any two items have a single substance [ousia, primary being] and a single what-it-is-to-be-that-thing [to ti en einai, essence], then they are themselves a single thing.
     From: Aristotle (Metaphysics [c.324 BCE], 1038b14)
     A reaction: [alternative translations by Vasilis Politis] This isn't quite the identity of indiscernibles, because it allows superficial identity along with deep difference (H2O and XYZ, for example, or jadeite and nephrite).
9. Objects / F. Identity among Objects / 4. Type Identity
Things such as two different quadrangles are alike but not wholly the same [Aristotle]
     Full Idea: Things are alike if they are not just the same simpliciter, exhibiting differences in their substrate substance but being formally the same. Examples are larger and smaller quadrangles and unequal straight lines, which are alike but not the same.
     From: Aristotle (Metaphysics [c.324 BCE], 1054b06)
9. Objects / F. Identity among Objects / 5. Self-Identity
We can't understand self-identity without a prior grasp of the object [Aristotle]
     Full Idea: To ask why a thing is identical with itself is not to ask a real question in the absence of a clear grasp of the fact ….or of the object.
     From: Aristotle (Metaphysics [c.324 BCE], 1041a12)
     A reaction: This seems a very nice response to Lewis's attempt to sweep difficulties of identity aside, when he rests identity on primitive self-identity.
You are one with yourself in form and matter [Aristotle]
     Full Idea: You are one with yourself both in form and in matter.
     From: Aristotle (Metaphysics [c.324 BCE], 1054a35)
9. Objects / F. Identity among Objects / 6. Identity between Objects
If Hesperus and Phosophorus are the same, they can't possibly be different [Kripke]
     Full Idea: If Hesperus and Phosphorus are one and the same, then in no other possible world can they be different.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: If we ask whether one object could possibly be two objects, and deny that possibility, then Kripke's novel thought seems just right and obvious.
Identity statements can be contingent if they rely on descriptions [Kripke]
     Full Idea: If the man who invented bifocals was the first Postmaster General of the United States - that they were one and the same - it's contingently true. …So when you make identity statements using descriptions, that can be a contingent fact.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
Two pure spheres in non-absolute space are identical but indiscernible [Campbell,K]
     Full Idea: The Identity of Indiscernibles is not a necessary truth. It fails in possible worlds where there are two identical spheres in a non-absolute space, or worlds without beginning or end where events are exactly cyclically repeated.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §5)
     A reaction: The principle was always very suspect, and these seem nice counterexamples. As so often, epistemology and ontology had become muddled.
10. Modality / A. Necessity / 2. Nature of Necessity
Necessity makes alternatives impossible [Aristotle]
     Full Idea: Necessity is what makes it impossible for something to be other than it is.
     From: Aristotle (Metaphysics [c.324 BCE], 1015b03)
     A reaction: Note that necessity here seems like an active force, rather than a mere description of a logical or metaphysical state of affairs. The underlying idea seems to be that essences enforce necessities, but it doesn't say that here.
Kripke says his necessary a posteriori examples are known a priori to be necessary [Kripke, by Mackie,P]
     Full Idea: Kripke claims that all of his examples of the necessary a posteriori have the characteristic that we can know a priori that if they are true, they are necessarily true.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970], 159) by Penelope Mackie - How Things Might Have Been 1.4
     A reaction: That is, it seems, that they are not really necessary a posteriori! The necessity seems to only arrive with the addition of a priori judgements, thus endorsing the traditional view that necessity is only derivable a priori. Hm.
10. Modality / A. Necessity / 6. Logical Necessity
A thing has a feature necessarily if its denial brings a contradiction [Aristotle]
     Full Idea: If anything has the property of being perishable it has it of necessity, on pain of one and the same thing being perishable and imperishable.
     From: Aristotle (Metaphysics [c.324 BCE], 1059a05)
     A reaction: Of course the perishable could become imperishable over time, without contradiction. This illustrates the foundational idea that a proposition is necessary if its negation is a contradiction. [...actually this argument is invalid as it stands!]
10. Modality / A. Necessity / 7. Natural Necessity
Instead of being regularities, maybe natural laws are the weak a posteriori necessities of Kripke [Kripke, by Psillos]
     Full Idea: By defending a posteriori necessary statements, Kripke introduced the concept of a necessity in nature that was weaker than logical necessity; ..as a result, the dominant view of laws as mere regularities started to be seriously challenged.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Stathis Psillos - Causation and Explanation §6.1
     A reaction: Most of Kripke's examples of discovered necessities seem to be identities, which seem to be as strong as any logical necessity. I'm not sure I can make sense of a 'less strong necessity'. Necessity sounds all-or-nothing to me.
Physical necessity may be necessity in the highest degree [Kripke]
     Full Idea: Physical necessity might turn out to be necessity in the highest degree. But that's a question which I don't wish to prejudge.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: Presumably necessity 'in the highest degree' is 'metaphysical' necessity, but Kripke is a bit coy about that. This is the germ of modern scientific essentialism.
10. Modality / B. Possibility / 1. Possibility
Possibility is when the necessity of the contrary is false [Aristotle]
     Full Idea: The potential occurs when it is not necessary that its contrary be false. For example, it is potential that a man should be seated, since it is not false of necessity that he is not seated.
     From: Aristotle (Metaphysics [c.324 BCE], 1019b26)
     A reaction: This is the standard point in modal logic that possibly is equivalent to not-necessarily-not (◊p → ¬□¬p).
Anything which is possible either exists or will come into existence [Aristotle]
     Full Idea: If what we have stated either is the possible or something connected to it, there can of course be no question of its being true to say that x is capable of being but will not be. ...What is not but is capable of being either is or comes into being.
     From: Aristotle (Metaphysics [c.324 BCE], 1047b05)
     A reaction: I'm a bit startled to find the great Aristotle spouting this nonsense. It's possible that every bird in England could simultaneously land in my home town, but it ain't never going to happen. Modern women could bear 50 children, but won't.
10. Modality / B. Possibility / 4. Potentiality
Potentialities are always for action, but are conditional on circumstances [Aristotle]
     Full Idea: The possession of a potentiality just is the possession of a potentiality to act, and such a potentiality is not unconditional but depends on the obtaining of propitious circumstances, which includes the satisfaction of a ceteris paribus condition.
     From: Aristotle (Metaphysics [c.324 BCE], 1048a18)
     A reaction: This seems to be pretty exactly what we mean by a 'power', as something which requires no other driving force, but which only expresses itself with the endless complexity of the rest of nature.
We recognise potentiality from actuality [Aristotle]
     Full Idea: It is from the actuality that the potentiality is recognised.
     From: Aristotle (Metaphysics [c.324 BCE], 1051a29)
     A reaction: I presume it is from this simple fact that Sider and others draw the mistaken inference that there are no potentialities in the actual world.
A 'potentiality' is a principle of change or process in a thing [Aristotle]
     Full Idea: What is a principle of change or process is said to be a 'potentiality' [dunamis], whether in something else or in the thing itself qua something else.
     From: Aristotle (Metaphysics [c.324 BCE], 1019a18)
Things are destroyed not by their powers, but by their lack of them [Aristotle]
     Full Idea: Things are broken, compressed, bent and, in a word, destroyed not by dint of having a potentiality but by dint of not having one and by missing out on something.
     From: Aristotle (Metaphysics [c.324 BCE], 1019a27)
     A reaction: Presumably an ontology entirely based on powers would not also need to catalogue absence of powers. The positive ones do the job. No power, no destruction.
10. Modality / C. Sources of Modality / 6. Necessity from Essence
Some things have external causes of their necessity; others (the simple) generate necessities [Aristotle]
     Full Idea: For some things, the cause of their necessity is something other than themselves, whereas for others there is no such external cause, but rather they are themselves the necessary cause of other things being the case. The simple is fundamentally necessary.
     From: Aristotle (Metaphysics [c.324 BCE], 1015b14)
     A reaction: What is 'simple' is what terminates an explanation, and that is what-it-is-to-be each thing (its essence). The Greek view of necessity always seems to be a power to which we submit, rather than a passive state like true-in-all-worlds.
Aristotle's says necessary truths are distinct and derive from essential truths [Aristotle, by Koslicki]
     Full Idea: Aristotle conceives of the necessary truths as being distinct and derivative from the essential truths.
     From: report of Aristotle (Metaphysics [c.324 BCE], ess) by Kathrin Koslicki - Essence, Necessity and Explanation 13.1
     A reaction: This is precisely the view promoted by Kit Fine in 1994. It seems to fragment necessity, because there are many different necessities based on many different foundations.
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
Kripke separates necessary and a priori, proposing necessary a posteriori and contingent a priori examples [Kripke, by O'Grady]
     Full Idea: It is now recognised that the apriori and the necessary don't always have to go together, ..and Kripke has suggested examples of necessary-aposteriori and contingent-apriori beliefs.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Paul O'Grady - Relativism Ch.4
     A reaction: The simple point is that whether something is necessary or contingent is a quite separate question from how we come to know that they are. There isn't a new mode of reality called 'necessary a posteriori'.
A priori = Necessary because we imagine all worlds, and we know without looking at actuality? [Kripke]
     Full Idea: People think 'necessary' and 'a priori' mean the same for two reasons: we can assess what is feasible in all possible world by running them through our heads, and something known a priori avoids looking at the world, so it must be necessary.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: [compressed] Kripke denies this doctrine, and pulls the concepts apart. Kant seems to be the chief representative of the view he is attacking. Hossack defends the older view.
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
The meter is defined necessarily, but the stick being one meter long is contingent a priori [Kripke]
     Full Idea: In 'one meter is the length of stick S at t', one designator (one meter) is rigid and the other (length of S at t) is not. 'S is one meter long at t' is contingent, as it could have a different length. In this sense, there are contingent a priori truths.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: [very compressed] Not convincing. He is proposing that a truth is knowable a priori, though knowledge of it is utterly dependent on a ceremony having taken place. It would not be true if that event hadn't taken place, so how can be it be known a priori?
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
"'Hesperus' is 'Phosphorus'" is necessarily true, if it is true, but not known a priori [Kripke]
     Full Idea: An identity statement between names (such as 'Hesperus' and 'Phosphorus'), when true at all, is necessarily true, even though one may not know it a priori.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This seems correct, but one should not read too much into it. What should we say if Venus fissions into two, one for the morning, one for the evening? That identity implies x=x doesn't prove the existence of unchanging essences.
Theoretical identities are between rigid designators, and so are necessary a posteriori [Kripke]
     Full Idea: Theoretical identities, according to the conception I advocate, are generally identities involving rigid designators and therefore are examples of the necessary a posteriori.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This doesn't open up a huge new realm of a posteriori necessity. We just cured some of our ignorance. I remain unconvinced that the Morning Star is necessarily the Evening Star, except in the boring way that if it is, it is. Venus could fission.
Kripke has demonstrated that some necessary truths are only knowable a posteriori [Kripke, by Chalmers]
     Full Idea: Kripke has demonstrated the existence of necessary truths such as "water is H2O" whose necessity is only knowable a posteriori.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by David J.Chalmers - The Conscious Mind 2.4.2
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
Kripke's essentialist necessary a posteriori opened the gap between conceivable and really possible [Soames on Kripke]
     Full Idea: With Kripke's essentialist route to the necessary a posteriori came a sharp distinction between conceivability and genuine possibility - ways things could conceivably be versus ways things could really be (or have been).
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.167
     A reaction: A key idea, for me. I love 'could there be a bonfire on the moon?' Imagining it is easy-peasy. 'Could wood combine with oxygen when there is no oxygen present?' We imagined it all right, but did we 'conceive' it?
Kripke gets to the necessary a posteriori by only allowing conceivability when combined with actuality [Kripke, by Soames]
     Full Idea: Kripke's first (superior) route to necessary a posteriori has a sharp distinction between how the universe could conceivably and really be. ..On this picture conceivability is a fallible but useful guide, when combined with knowledge of actuality.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.168
     A reaction: [compressed from p.168 and 170] To dismiss conceivability is ridiculous (see Williamson on that), and this formula of Soames sound right. To understand possibility, you have to study actuality (across time and space). Study history!
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds aren't puzzling places to learn about, but places we ourselves describe [Kripke]
     Full Idea: A possible world isn't a distant country that we are coming across, or viewing through a telescope. …A possible world is given by the descriptive conditions we associate with it. …Possible worlds are stipulated, not discovered by powerful telescopes.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: His point is that it is absurd to be puzzling over the identity of what exists in some possible world, because the world is specified by us. If I say 'Nixon might have been a frog', I must be referring to Nixon. The problem is whether it is true.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
If we discuss what might have happened to Nixon, we stipulate that it is about Nixon [Kripke]
     Full Idea: There is no reason why we cannot stipulate that, in talking about what would have happened to Nixon in a certain counterfactual situation, we are talking about what would have happened to HIM.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: For many people (including me now, I think) this lays to rest the supposed problem of 'transworld identity' wrestled with by Kaplan and Lewis.
Transworld identification is unproblematic, because we stipulate that we rigidly refer to something [Kripke]
     Full Idea: It is because we refer (rigidly) to Nixon, and stipulate that we are speaking of what might have happened to him (under certain circumstances), that 'transworld identifications' are unproblematic in such cases.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This responds to those who say you need transworld identification before you can rigidly designate something, which has 'reversed the cart and horse' says Kripke. Nice.
A table in some possible world should not even be identified by its essential properties [Kripke]
     Full Idea: A table should not be identified with the set or 'bundle' of its properties, nor with the subset of its essential properties. Don't ask: how can I identify this table in another possible world, except by its properties? I have the table in my hands.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: You identify the table by what's in front of you, but the essence might be relevant to deciding how far this table could change and remain this table.
Identification across possible worlds does not need properties, even essential ones [Kripke]
     Full Idea: Some properties of an object may be essential to it, in that it could not have failed to have them. But these properties are not used to identify the object in another possible world, for such an identification is not needed.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: So how DO you identify objects in other possible worlds, or in this one? You may say he was baptised 'Aristotle' so that's rigid, but if Athens is full of pseudo-Aristotles I want to pick out the real one. I say Kripke muddles epistemology and ontology.
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Test for rigidity by inserting into the sentence 'N might not have been N' [Kripke, by Lycan]
     Full Idea: Kripke offers an intuitive test for telling whether a term is rigid: try the term in the sentence-frame "N might not have been N". (For example, try the terms 'Nixon' and 'President of the USA').
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by William Lycan - Philosophy of Language Ch.4
     A reaction: Helpful, but if you try it, the results do not seem to be conclusive. You are left saying 'Well, it depends what you mean by...' Think of possible worlds with a crippled Nixon, twin Nixons, an honest Nixon, a robot Nixon, a dark skinned Nixon...
Kripke avoids difficulties of transworld identity by saying it is a decision, not a discovery [Kripke, by Jacquette]
     Full Idea: Objects we find in the actual world might have been so different than they actually are that it appears impossible to identify the same objects from world to world. Kripke sidesteps the problem by saying transworld identity is a decision, not a discovery.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Dale Jacquette - Ontology Ch.2
     A reaction: This is the strategy that opposes Lewis's proposal of 'counterpart' objects that have properties in common. It is also the source of Kripke's causal theory of reference, and hence a key to massive modern debates.
Saying that natural kinds are 'rigid designators' is the same as saying they are 'indexical' [Kripke, by Putnam]
     Full Idea: Kripke's doctrine that natural kind words are rigid designators and our doctrine that they are indexical are two ways of making the same point.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Hilary Putnam - Meaning and Reference p.161
     A reaction: I think I prefer Putnam's terminology, because it is more modest in its claims Kripke gets into trouble when a natural kind in some other possible world is only subtly different from the original. How 'rigid'? Putnam sticks to how the word gets started.
If Kripke names must still denote a thing in a non-actual situation, the statue isn't its clay [Gibbard on Kripke]
     Full Idea: Kripke gives an account of proper names from which it follows that Goliath (the statue) cannot be identical the lumpl (the clay), ..because if a proper name denotes a thing in the actual world, then it denotes that same thing in non-actual situations.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Allan Gibbard - Contingent Identity III
     A reaction: This strikes me as a powerful criticism of Kripke's claim - and has led to extensive discussion which I will now have to pursue. Watch this space.
A rigid expression may refer at a world to an object not existing in that world [Kripke, by Sainsbury]
     Full Idea: In the Kripkean perspective, rigidity is understood in such a way that an expression may have as referent at a world an object which does not exist at that world.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Mark Sainsbury - The Essence of Reference 18.6
     A reaction: This means that 'the present King of France' is a rigid designator.
We do not begin with possible worlds and place objects in them; we begin with objects in the real world [Kripke]
     Full Idea: We do not begin with worlds (which are supposed somehow to be real), and then ask about criteria of transworld identification; on the contrary, we begin with objects, which we have, and can identify, in the real world.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This gives us clearly Kripke's underlying empiricist metaphysics, I take it. I find the realism of it appealing, but am uneasy about the idea of an object as basic, when Heraclitus said that they tend to fluctuate. Platonism waits in the wings.
It is a necessary truth that Elizabeth II was the child of two particular parents [Kripke]
     Full Idea: How could a person originating from different parents, from a totally different sperm and egg, be this very woman (Elizabeth II)? ..It seems to me that anything coming from a different origin would not be this very object.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: Since baby Elizabeth could have been smuggled into the palace in a bedpan, it seems to me that her properties now are rather more obvious than her origin. I fear the only necessity here is that you can't change the past. An intriguing puzzle.
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
That there might have been unicorns is false; we don't know the circumstances for unicorns [Kripke]
     Full Idea: I think it is not the case that there might have been unicorns. I wouldn't say it is necessary that there are no unicorns, but that we just can't say under what circumstances there would have been unicorns.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: His point seems to be that unicorns are insufficiently individuated by the legends, whereas a typical sample of an actual creature contains everything that will individuate the species.
11. Knowledge Aims / A. Knowledge / 1. Knowledge
The ability to teach is a mark of true knowledge [Aristotle]
     Full Idea: The ability to teach is a distinguishing mark between the knowledgeable and the ignorant man.
     From: Aristotle (Metaphysics [c.324 BCE], 0981b04)
11. Knowledge Aims / A. Knowledge / 6. Knowing How
Things are produced from skill if the form of them is in the mind [Aristotle]
     Full Idea: Things are produced from skill if the form of them is in the mind.
     From: Aristotle (Metaphysics [c.324 BCE], 1032a33)
     A reaction: This resembles the legal notion of 'mens rea', the conscious intention to commit the deed.
Experience knows particulars, but only skill knows universals [Aristotle]
     Full Idea: Experience is the knowledge of particulars and skill that of universals.
     From: Aristotle (Metaphysics [c.324 BCE], 0981a14)
It takes skill to know causes, not experience [Aristotle]
     Full Idea: The skilled know the cause, whereas the experienced do not.
     From: Aristotle (Metaphysics [c.324 BCE], 0981a29)
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
Kripke has breathed new life into the a priori/a posteriori distinction [Kripke, by Lowe]
     Full Idea: The a priori/a posteriori is still taken seriously, and has had new life breathed into it by the work of Saul Kripke.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by E.J. Lowe - The Possibility of Metaphysics 1.1
     A reaction: The distinction may be a good one, despite a blurred borderline. Did Egyptian quantity surveyors begin to suspect that Pythagoras's Theorem was a necessary truth, though they couldn't prove it? A priori understanding creeps into experience.
Rather than 'a priori truth', it is best to stick to whether some person knows it on a priori evidence [Kripke]
     Full Idea: A priori is supposed to mean something which can be known independently of experience, …but possible for whom? God, or the Martians? …Instead of 'a priori truth' it is best to stick to whether some person knows it based on a priori evidence.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: [compressed] This is Kripke's famous attempt to establish that 'a priori' is strictly an epistemological term, and should not be taken as a term of metaphysics (or modal semantics?). I definitely prefer the Kripke view, though it downgrades the a priori.
A priori truths can be known independently of experience - but they don't have to be [Kripke]
     Full Idea: The traditional characterisation (since Kant) goes: a priori truths are those which can be known independently of any experience - ..but that doesn't mean they MUST be known a priori.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: You may discover through experience that nine matches can't be divided into two equal piles, but Leibniz (and others) say you will only see the necessity of this a priori. No necessity is visible in the matches.
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
Kripke was more successful in illuminating necessity than a priority (and their relations to analyticity) [Kripke, by Soames]
     Full Idea: Kripke was far more successful in illuminating the nature of necessity, and distinguishing it from both apriority and analyticity, than he was in illuminating the nature of apriority, and distinguishing that from analyticity.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.187
Analytic judgements are a priori, even when their content is empirical [Kripke]
     Full Idea: All analytic judgements are a priori even when the concepts are empirical, as, for example, 'Gold is a yellow metal'; for to know this I require no experience beyond my concept of gold as a yellow metal.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: So I relate a priori to 'turquoise is a shade of red', even though my concepts are confused? It is my concept, perhaps, but it is false. I thought a priori had something to do with knowing, not with reporting the confused nonsense in my mind?
12. Knowledge Sources / D. Empiricism / 4. Pro-Empiricism
All men long to understand, as shown by their delight in the senses [Aristotle]
     Full Idea: By nature, all men long to understand [eidenai]; an indication is their delight in the senses.
     From: Aristotle (Metaphysics [c.324 BCE], 0980a21)
     A reaction: See Idea 8331 and Idea 12038 to understand what this means. I take it to support the thesis that the aim of philosophy is explanations (at a higher level of generality than the sciences).
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Intuition is the strongest possible evidence one can have about anything [Kripke]
     Full Idea: I think something's having intuitive content is very heavy evidence in favour of it. I really don't know what more conclusive evidence one can have about anything, ultimately speaking.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This seems to me a very appealing remark, especially coming from a great logician. It seems to me, though, that some intuitions are more rational than others, and we must occasionally give up intuitions that are proved wrong.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / e. Pro-foundations
The starting point of a proof is not a proof [Aristotle]
     Full Idea: Who defines the healthy man, or who is awake or asleep? This is a pursuit of foundations, but this is seeking an account where there isn't one. The starting point of a proof is not a proof.
     From: Aristotle (Metaphysics [c.324 BCE], 1011a10)
     A reaction: a comment on Descartes
13. Knowledge Criteria / D. Scepticism / 5. Dream Scepticism
Dreams aren't a serious problem. No one starts walking round Athens next morning, having dreamt that they were there! [Aristotle]
     Full Idea: Is it really an issue whether things are true that appear to those asleep or to those awake? No one in Libya who dreamt he was in Athens, would set out for the Odeon next morning!
     From: Aristotle (Metaphysics [c.324 BCE], 1010b09)
13. Knowledge Criteria / E. Relativism / 3. Subjectivism
If relativism is individual, how can something look sweet and not taste it, or look different to our two eyes? [Aristotle]
     Full Idea: If things are true relative to an individual, how can something seem honey to the sight but not to the taste, or, given that we have two eyes, things may not seem the same to the sight of both of them.
     From: Aristotle (Metaphysics [c.324 BCE], 1011a24)
If truth is relative it is relational, and concerns appearances relative to a situation [Aristotle]
     Full Idea: The claim that all appearances are true makes all things relational. Hence the claim is shifted to all appearances being true relative to a subject, time, sense and context.
     From: Aristotle (Metaphysics [c.324 BCE], 1011a20)
     A reaction: applies to Epicurus
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
If the majority had diseased taste, and only a few were healthy, relativists would have to prefer the former [Aristotle]
     Full Idea: When two men taste the same thing one will often find it sweet and the other bitter. Suppose all men were sick, except one or two who were healthy. It would then be the latter two who would be considered sick, and the others not!
     From: Aristotle (Metaphysics [c.324 BCE], 1009b05)
14. Science / A. Basis of Science / 2. Demonstration
There cannot be a science of accidentals, but only of general truths [Aristotle]
     Full Idea: It is not even possible for there to be a science of the accidental, ...for any field of science is either 'always' or 'for the most part'.
     From: Aristotle (Metaphysics [c.324 BCE], 1065b30-)
     A reaction: His example of an accident (and thus outside of any science) is a cold spell in high summer. This leaves us trying to explain the unusually tame tiger. Copi comments (p.717), rightly I think, that modern science disagrees with Aristotle on this.
Demonstrations about particulars must be about everything of that type [Aristotle]
     Full Idea: There cannot be demonstrations that this particular triangle is equal to the sum of two right angles, except that every triangle is equal to the sum of two right angles, nor that this particular man is an animal, except that every man is an animal.
     From: Aristotle (Metaphysics [c.324 BCE], 1086b36)
     A reaction: Not quite the covering-law model, but well on the way. Why can't we demonstrate that this particular is different from the others? This tiger is docile; this butterfly stings. We just like generalisations because you know more with less effort.
14. Science / B. Scientific Theories / 1. Scientific Theory
Identities like 'heat is molecule motion' are necessary (in the highest degree), not contingent [Kripke]
     Full Idea: I hold that characteristic theoretical identifications like 'heat is the motion of molecules', are not contingent truths but necessary truths, and I don't just mean physically necessary, but necessary in the highest degree.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: This helps to keep epistemology and ontology separate. The contingency was in the epistemology. That the identity is 'physically necessary' seems obvious; that it is necessary 'in the highest degrees' implies an essentialist view of nature.
14. Science / D. Explanation / 1. Explanation / a. Explanation
Universal principles are not primary beings, but particular principles are not universally knowable [Aristotle]
     Full Idea: If the principles are universal, they will not be primary beings [ousiai], ...but if the principles are not universal but of the nature of particulars, they will not be scientifically knowable. For scientific knowledge of any thing is universal.
     From: Aristotle (Metaphysics [c.324 BCE], 1003a08)
     A reaction: Part of the fifteenth aporia (puzzle) of this book. Plato goes for the universal (and hence knowable), but Aristotle makes the particular primary, and so is left with an epistemological problem, which the rest of 'Metaphysics' is meant to solve.
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
Understanding moves from the less to the more intelligible [Aristotle]
     Full Idea: Understanding moves from things less intelligible by nature to things more so.
     From: Aristotle (Metaphysics [c.324 BCE], 1029b02)
     A reaction: The interesting phrase is 'by nature'. Whether things are intelligible or not is a feature of the natural world, and not just a feature of the mind's capacities.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Aristotelian explanations mainly divide things into natural kinds [Aristotle, by Politis]
     Full Idea: The search for explanation as Aristotle conceives it is the search for the correct way to distinguish things into natural kinds, which may involve revising our initial conceptions.
     From: report of Aristotle (Metaphysics [c.324 BCE], kind) by Vassilis Politis - Aristotle and the Metaphysics 2.2
     A reaction: Nowadays we would make the huge addition of objects and processes which are invisible to the naked eye, which Aristotle probably never envisaged. He is interested in categories, but we are also interested in mechanisms.
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
We know something when we fully know what it is, not just its quality, quantity or location [Aristotle]
     Full Idea: It is when we know what a man is or what fire is that we reckon that we know a particular item in the fullest sense, rather than when we merely know its quality, quantity or location.
     From: Aristotle (Metaphysics [c.324 BCE], 1028a36)
     A reaction: The word 'what' should usually be taken to indicate that Aristotle is talking about essence (as V. Politis confirms of this passage). This idea is a key one for the claim that Aristotelian essences are essentially (sic) explanatory.
Real enquiries seek causes, and causes are essences [Aristotle]
     Full Idea: Real enquiries stand revealed as causal enquiries (and the cause is the what-it-was-to-be-that-thing [to ti en einai]).
     From: Aristotle (Metaphysics [c.324 BCE], 1041a28)
     A reaction: As good a quotation as any for showing that Aristotelian essences exist entirely by their role in explanation.
We know a thing when we grasp its essence [Aristotle]
     Full Idea: We have knowledge of each thing when we grasp the what-it-was-to-be [to ti en einai] that thing.
     From: Aristotle (Metaphysics [c.324 BCE], 1031b08)
     A reaction: This is a key remark in my understanding of the whole business of essentialism. It really concerns the way in which we are able to grasp reality, rather than how it is in itself. It is not mere convention, because the grasping responds to the reality.
The explanation is what gives matter its state, which is the form, which is the substance [Aristotle]
     Full Idea: The explanation [aition - cause] that is the object of enquiry is that by virtue of which the matter is in the state that it is in. And this cause [explanation] is the form, and the form the substance [ousia].
     From: Aristotle (Metaphysics [c.324 BCE], 1041b08)
     A reaction: A key sentence, I think, for understanding Aristotle's whole enterprise. The explanation is the essence; the essence is what explains.
Essential properties explain in conjunction with properties shared by the same kind [Aristotle, by Kung]
     Full Idea: Aristotle makes it clear that properties which belong essentially to anything have explanatory power vis-ŕ-vis the other properties of things of that kind.
     From: report of Aristotle (Metaphysics [c.324 BCE], props) by Joan Kung - Aristotle on Essence and Explanation IV
     A reaction: This means that explanation will always occur at the level of generalisation, leading to what we call 'laws', but some events are only explicable at the level of the individual.
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
Skill comes from a general assumption obtained from thinking about similar things [Aristotle]
     Full Idea: A skill arises when from the many cases of thinking in experience a single general assumption is formed in connection with similar things.
     From: Aristotle (Metaphysics [c.324 BCE], 0981a04)
     A reaction: [He gives the administration of appropriate medicine as the example of a 'skill'] Note that it is 'thinking in' experience, rather than just the raw having of experiences. This is the intellectualist version of empirical abstractionism. I like it.
Aristotle distinguishes two different sorts of generality - kinds, and properties [Aristotle, by Frede,M]
     Full Idea: Aristotle counts as general not only properties but also the kinds, into which objects fall, i.e. the genera, species, and differentiae of substances; and these are to be differentiated strictly from properties.
     From: report of Aristotle (Metaphysics [c.324 BCE], kind) by Michael Frede - Individuals in Aristotle Intro
     A reaction: I take properties to be prior, since the kind of a thing is presumably decided by its properties. I'm increasingly thinking that 'general', 'generality' and 'generalisation' are far more useful words in philosophy than other words in that area.
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Science is more accurate when it is prior and simpler, especially without magnitude or movement [Aristotle]
     Full Idea: A scientific subject will possess more accuracy (i.e. simplicity) the more that it is about conceptually prior and simpler things, and so it will be more accurate without than with magnitude being involved, and above all being without movement.
     From: Aristotle (Metaphysics [c.324 BCE], 1078a10)
     A reaction: Aristotle is especially concerned to show how we can achieve accuracy, even while abstracting away from the details of the objects we are studying. Frege should have studied Aristotle more closely.
16. Persons / D. Continuity of the Self / 1. Identity and the Self
Is Socrates the same person when standing and when seated? [Aristotle]
     Full Idea: Who, except the philosopher, is going to ask whether Socrates and Socrates seated is the same thing?
     From: Aristotle (Metaphysics [c.324 BCE], 1004b01)
17. Mind and Body / A. Mind-Body Dualism / 7. Zombies
It seems logically possible to have the pain brain state without the actual pain [Kripke]
     Full Idea: Prima facie, it would seem that it is a least logically possible the brain state corresponding to pain should have existed (Jones's brain could have been in exactly that state at the time in question) without Jones feeling any pain at all.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This is Kripke's commitment to the possibility of zombies, which are only possible if the mind-body connection is a contingent one, and he shows that there are no contingent 'identities'. The answer is necessary identity, and no zombies.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Kripke assumes that mind-brain identity designates rigidly, which it doesn't [Armstrong on Kripke]
     Full Idea: In his attempted disproof of materialism about the mind, Kripke assumes that the physical description is a rigid designator, but this seems to be begging the question against the causal theory, which says the description is non-rigid.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by David M. Armstrong - Pref to new 'Materialist Theory' p.xiv
     A reaction: A crucial part of this is that Armstrong believes that the laws of nature are contingent, and hence mind-brain identity has to be. Personally I incline to say that the identity is rigid, but that Kripke is still wrong.
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / e. Modal argument
If consciousness could separate from brain, then it cannot be identical with brain [Kripke, by Papineau]
     Full Idea: Kripke's argument is that the possibility of conscious properties coming apart from material properties shows that they cannot be identical with material properties.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by David Papineau - Thinking about Consciousness 3.3
     A reaction: A nice clear and simple summary. How can the possibility of coming apart be demonstrated? Only, it seems, by using our imaginations. But that is quite a good guide in areas we know well, but not in recondite areas like the brain.
Kripke says pain is necessarily pain, but a brain state isn't necessarily painful [Kripke, by Rey]
     Full Idea: Kripke's argument against mind-brain identity is that a pain is necessarily pain (just as a stone is necessarily matter), but a brain state is not necessarily painful (just as a stone is not necessarily a doorstep).
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Georges Rey - Contemporary Philosophy of Mind 11.6.2
     A reaction: As with Descartes' argument from necessity for dualism, this seems to me to beg the question. It seems to me fairly self-evident that certain brain states have to be painful, just as stones always have to be hard or massive.
Identity must be necessary, but pain isn't necessarily a brain state, so they aren't identical [Kripke, by Schwartz,SP]
     Full Idea: The identity theorist, it appears, can admit that the identity is necessary if true without substantially altering his position, but Kripke argues that the identity between pain and some brain states is not necessary.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3) by Stephen P. Schwartz - Intro to Naming,Necessity and Natural Kinds §IV
     A reaction: This appears to depend on being able to imagine the pain occurring with a different brain state, or no brain state. Bad argument. See Idea 5819.
Identity theorists seem committed to no-brain-event-no-pain, and vice versa, which seems wrong [Kripke]
     Full Idea: The identity theorist is committed to the view that there could not be a C-fibre stimulation which was not a pain, nor a pain which was not a C-fibre stimulation; these consequences are certainly surprising and counterintuitive.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: If Kripke saw a glow in an area of his brain every time he felt a pain, he would cease to find it 'counterintuitive'. Far from this conclusion being 'surprising', its opposite is absurd. Pain with no brain event? C-fibres blaze away, and I feel nothing?
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
Aristotle sees reason as much more specific than our more everyday concept of it [Aristotle, by Frede,M]
     Full Idea: It seems that Aristotle does not associate reason primarily with ordinary, everyday thought and reasoning, as we do, but with a much more specific function of reason.
     From: report of Aristotle (Metaphysics [c.324 BCE], 980b) by Michael Frede - Aristotle's Rationalism p.163
     A reaction: Although Aristotle is naturalistic, he is also a bit of a dualist, and so is less keen than I am to connect human reason with sensible behaviour in animals.
18. Thought / A. Modes of Thought / 5. Rationality / c. Animal rationality
Animals live by sensations, and some have good memories, but they don't connect experiences [Aristotle]
     Full Idea: By nature animals are born with the faculty of sensation, and from sensation memory is produced in some of them, though not in others; therefore the former are more intelligent. …Animals live by appearances and memories, with little connected experience.
     From: Aristotle (Metaphysics [c.324 BCE], 980a28-)
     A reaction: I assume that larger animals make judgements, which have to rely on previous experiences, so I think he underestimates the cleverest animals. We now know about Caledonian Crows, which amaze us, and would have amazed Aristotle.
18. Thought / B. Mechanics of Thought / 5. Mental Files
Many memories make up a single experience [Aristotle]
     Full Idea: Many recollections of the same thing perform the function of a single experience.
     From: Aristotle (Metaphysics [c.324 BCE], 0980b28)
     A reaction: This beautifully simple remark seems to me to be extremely important if we are going to understand the nature of thought. Personally I think it endorses the 'database' view of how the mind works (as a set of labelled 'files'). See Fodor's 'LOT2'.
18. Thought / D. Concepts / 4. Structure of Concepts / i. Conceptual priority
It is unclear whether acute angles are prior to right angles, or fingers to men [Aristotle]
     Full Idea: Suppose parts are prior to the whole - then, since the acute angle is a part of the right angle, and a finger is part of an animal, this would mean the acute angle and the finger were prior, but received opinion says otherwise.
     From: Aristotle (Metaphysics [c.324 BCE], 1034b24)
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
Mathematicians study quantity and continuity, and remove the perceptible features of things [Aristotle]
     Full Idea: The mathematician conducts a study into things in abstraction (after the removal of all perceptible features, such as weight and hardness, leaving only quantity and continuity).
     From: Aristotle (Metaphysics [c.324 BCE], 1061a26)
     A reaction: Frege complained that there is nothing left if you remove the perceptible features, but clearly Aristotle is not an empiricist in this passage, and it is doubtful if even Mill can be totally empirical in his account. We have relations of ideas.
Mathematicians suppose inseparable aspects to be separable, and study them in isolation [Aristotle]
     Full Idea: Study things as mathematicians do. Suppose what is not separable to be separable. A man qua man is an indivisible unity, so the arithmetician supposes a man to be an indivisible unity, and investigates the accidental features of man qua indivisible.
     From: Aristotle (Metaphysics [c.324 BCE], 1078a19)
     A reaction: This is the abstractionist view of mathematics. Qua indivisible, a man will have the same properties as a toothbrush. Aristotle clearly intends the method for scientists as well. It strikes me as common sense, but there is a lot of modern caution.
Abstractions come before the mind by concentrating on a part of what is presented [Campbell,K]
     Full Idea: An item is abstract if it is got before the mind by an act of abstraction, that is, by concentrating attention on some, but not all, of what is presented.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §1)
     A reaction: I think this point is incredibly important. Pure Fregean semantics tries to leave out the psychological component, and yet all the problems in semantics concern various sorts of abstraction. Imagination is the focus of the whole operation.
18. Thought / E. Abstraction / 8. Abstractionism Critique
If health happened to be white, the science of health would not study whiteness [Aristotle]
     Full Idea: If we have a science of the healthy, and the healthy happens to be white, the science of the healthy does not deal with the white.
     From: Aristotle (Metaphysics [c.324 BCE], 1077b30)
     A reaction: Given this point, we certainly cannot think of Aristotle as believing in simple abstractionism. The problem of the coextension of renates and cordates looms here (Idea 7317). 'Relevant' similarities require extensive cross-referencing.
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
Kripke has a definitional account of kinds, but not of naming [Almog on Kripke]
     Full Idea: There seems to be an incongruity between Kripke's definitionalist account of the essence of kinds (and the induced necessities), and his definition-free account of naming.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Joseph Almog - Nature Without Essence X
     A reaction: Putnam places more emphasis on baptising a prototypical example, just as we baptise named things.
Kripke derives accounts of reference and proper names from assumptions about worlds and essences [Stalnaker on Kripke]
     Full Idea: One might think that the direction of Kripke's arguments goes the other way - that conclusions about reference and proper names were derived in part from controversial metaphysical assumptions about possible worlds and essential properties.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Robert C. Stalnaker - Reference and Necessity Intro
     A reaction: Nathan Salmon is famous for charging Kripke with trying to get a metaphysics from a semantics, but this remark of Stalnaker's seems much more accurate. Kripke certainly assumes realism, and robust identity.
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
The important cause is not between dubbing and current use, but between the item and the speaker's information [Evans on Kripke]
     Full Idea: Kripke has mislocated the important causal relation, which lies between the item's states and doings and the speaker's body of information - not between the item's being dubbed with a name and the speaker's contemporary use of it.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Gareth Evans - The Causal Theory of Names §I
     A reaction: This feels sort of right. I sympathise with the much more social view of matters like reference, which grows out of Wittgenstein's anti-private language claims. I'm not sure where 'causation' come into Evans's picture.
We may refer through a causal chain, but still change what is referred to [Kripke]
     Full Idea: There may be a causal chain from our use of the term 'Santa Claus' to a certain historical saint, but still children, when they use this, by this time probably do not refer to that saint.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: This is quite a significant concession to critics of the causal theory. I take it that community agreement is much more significant for reference than the actual causal chain, which may be riddled with errors from beginning to end, and so isn't causal.
19. Language / B. Reference / 3. Direct Reference / c. Social reference
Kripke makes reference a largely social matter, external to the mind of the speaker [Kripke, by McGinn]
     Full Idea: Kripke's theory brought a social element into the function of language: a speaker is socially connected to others who may know far more than she does about the reference of her terms, and the mechanism of reference is now not in her mind, but is external.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Colin McGinn - The Making of a Philosopher Ch. 3
     A reaction: Hence this theory of reference leads on to Putnam's 'wide content' and Twin Earth. I remain unconvinced. See ideas under 'Thought'.
Kripke's theory is important because it gives a collective account of reference [Kripke, by Putnam]
     Full Idea: What is important about Kripke's theory is not that the use of proper names is 'causal' - what is not? - but that the use of proper names is collective.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Hilary Putnam - Explanation and Reference II B
     A reaction: This is the best response to Kripke. Reference is achieved by thinkers and speakers, but it is also a team activity, as in the case of the elm, or of Amenhotep II.
We refer through the community, going back to the original referent [Kripke]
     Full Idea: It's in virtue of our connection with other speakers in the community, going back to the referent himself, that we refer to a certain man.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: There may be two theories of reference getting tangled up here. Going back to the origin is one thing, and relying on the community is another. Do I always know who I am referring to? 'The funniest man in London'.
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
Descriptive reference shows how to refer, how to identify two things, and how to challenge existence [Kripke, by PG]
     Full Idea: Summary: in favour of the descriptive theory of names are it gives you a mechanism for doing the referring (and Mill doesn't), we can identify two descriptions if there is one referent, and it allows us to question the existence of a referent.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) by PG - Db (ideas)
     A reaction: If this problem is seen in terms of mental files (with labels and contents) this whole problem becomes a lot clearer. I take reference to be the action of a thinker, not a function of language.
It can't be necessary that Aristotle had the properties commonly attributed to him [Kripke]
     Full Idea: It is just not, in any intuitive sense of necessity, a necessary truth that Aristotle had the properties commonly attributed to him.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: This replies to Searle's claim that to be Aristotle he must have a fair number of the properties. Even if Searle is right, you can hardly pick the properties out individually and claim they are necessary. Kripke pulls epistemology away from metaphysics.
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
Rigid designation creates a puzzle - why do some necessary truths appear to be contingent? [Kripke, by Maciŕ/Garcia-Carpentiro]
     Full Idea: Kripke's proposal that referential expressions like indexicals, demonstratives, proper names and natural kind terms are de jure rigid designators created a puzzle - it entails 'modal illusions', truths that are in fact necessary appear to be contingent.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970], p.143-4) by Maciŕ/Garcia-Carpentiro - Introduction to 'Two-Dimensional Semantics' 1
     A reaction: They are identifying this puzzle as the source of the need for two-dimensional semantics. Kripke notes that rigid designators may have their reference fixed by non-rigid descriptions.
21. Aesthetics / B. Nature of Art / 2. Art as Form
Beauty involves the Forms of order, symmetry and limit, which can be handled mathematically [Aristotle]
     Full Idea: The major Forms of the beautiful are order, symmetry and delimitation, and these are very much objects of the proofs of the mathematical sciences.
     From: Aristotle (Metaphysics [c.324 BCE], 1078a31)
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
The good is found in actions, but beauty can exist without movement [Aristotle]
     Full Idea: The good is always in some action, whereas the beautiful can also be in things without movement.
     From: Aristotle (Metaphysics [c.324 BCE], 1078a26)
22. Metaethics / B. Value / 2. Values / b. Successful function
A thing's active function is its end [Aristotle]
     Full Idea: A thing's active function is its end.
     From: Aristotle (Metaphysics [c.324 BCE], 1050a16)
     A reaction: This sort of remark is the basis of modern teleological functionalism about the mind. I think that is misguided. Don't define things by their function. They have functions because of intrinsic character.
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
Is the good a purpose, a source of movement, or a pure form? [Aristotle]
     Full Idea: The good is a principle for all things, and is so in the very highest degree, but in what way? As a purpose, as a source of movement, or as a form?
     From: Aristotle (Metaphysics [c.324 BCE], 1075a32)
     A reaction: I tend to think of it as an 'ideal', whatever that is, and hence an inspiration, but a rather vague one. Beauty, goodness and truth. Surely not a source of movement?
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Excellence is a sort of completion [Aristotle]
     Full Idea: Excellence is a sort of completion.
     From: Aristotle (Metaphysics [c.324 BCE], 1021b19)
23. Ethics / C. Virtue Theory / 1. Virtue Theory / b. Basis of virtue
Is excellence separate from things, or part of them, or both? [Aristotle]
     Full Idea: Does the universe possess goodness and excellence as something separated and by itself, or because of its arrangement? But why should it not be both ways?
     From: Aristotle (Metaphysics [c.324 BCE], 1075a14)
23. Ethics / C. Virtue Theory / 3. Virtues / g. Contemplation
Contemplation is a supreme pleasure and excellence [Aristotle]
     Full Idea: Contemplation is a supreme pleasure and excellence.
     From: Aristotle (Metaphysics [c.324 BCE], 1072b22)
25. Social Practice / E. Policies / 5. Education / c. Teaching
Wise men aren't instructed; they instruct [Aristotle]
     Full Idea: The wise man should not be instructed, but should instruct.
     From: Aristotle (Metaphysics [c.324 BCE], 0982a20)
     A reaction: I take this to refer to the duties of a wise man, as well as to his (or her) superior rights.
26. Natural Theory / A. Speculations on Nature / 1. Nature
Why are some things destructible and others not? [Aristotle]
     Full Idea: A basic principle of things has to explain why some things are destructible and others are not.
     From: Aristotle (Metaphysics [c.324 BCE], 1075b15)
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / a. Final purpose
Everything is arranged around a single purpose [Aristotle]
     Full Idea: All things are arranged around a single purpose.
     From: Aristotle (Metaphysics [c.324 BCE], 1075a18)
26. Natural Theory / A. Speculations on Nature / 4. Mathematical Nature
Pythagoreans say the whole universe is made of numbers [Aristotle]
     Full Idea: For Pythagoreans the entire universe is constructed from numbers.
     From: Aristotle (Metaphysics [c.324 BCE], 1080b16)
     A reaction: The original view seems to have been more extreme than the mere idea that mathematics is the guide to nature, or the language of God. Stones are made of numbers. Aristotle was unimpressed.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter
Aristotle had a hierarchical conception of matter [Aristotle, by Fine,K]
     Full Idea: Aristotle had a hierarchical conception of matter; what is matter may itself have matter.
     From: report of Aristotle (Metaphysics [c.324 BCE], matter) by Kit Fine - Aristotle on Matter §1
     A reaction: This shows that Aristotle's 'hule' is not like our word 'matter' so a real effort must be made to grasp how he is conceptualising it.
Substance must exist, because something must endure during change between opposites [Aristotle]
     Full Idea: There can be no doubt that matter is a substance. Consider all changes between opposites. In all of them there is something that underlies the change.
     From: Aristotle (Metaphysics [c.324 BCE], 1042a30)
Matter is perceptible (like bronze) or intelligible (like mathematical objects) [Aristotle]
     Full Idea: Matter divides into that which is perceptible and that which is intelligible: the former comprises bronze, wood and all process-apt matter, the latter matter is present in the perceptibles but not qua perceptible, e.g. the mathematicals.
     From: Aristotle (Metaphysics [c.324 BCE], 1036a09)
Matter is neither a particular thing nor a member of a determinate category [Aristotle]
     Full Idea: By matter I mean that which in itself is neither a particular thing nor a certain quantity nor assigned to any other of the categories by which being is determined.
     From: Aristotle (Metaphysics [c.324 BCE], 1029a20)
     A reaction: This seems to be the classic definition of matter in Aristotle. He doesn't say here that matter has an inferior mode of existence, but elsewhere he says that it is potential rather than actual, which seems to confiscate its passport.
Aristotle says matter is a lesser substance, rather than wholly denying that it is a substance [Aristotle, by Kung]
     Full Idea: Metaphysics Z.3, often read as denying that matter is a substance, can more plausibly be interpreted as claiming that matter cannot be the only and not a first-rank substance.
     From: report of Aristotle (Metaphysics [c.324 BCE], matter) by Joan Kung - Aristotle on Essence and Explanation VI
     A reaction: This certainly sounds a more plausible view, and in modern understanding some kind of elemental matter is our best candidate for what could be meant by 'substance'. Perhaps the 'fields' of modern physics play that role.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / b. Prime matter
Ultimate matter is discredited, as Aristotle merged substratum of change with bearer of properties [Simons on Aristotle]
     Full Idea: The idea of ultimate matter is discredited philosophically because of the version of the doctrine found in Aristotle, who ran together the two notions of being a substratum of change on the one hand, and being the bearer of properties on the other.
     From: comment on Aristotle (Metaphysics [c.324 BCE], Bk 06.6) by Peter Simons - Parts 6.6
     A reaction: This is an illuminating comment on Aristotle. The substratum of change seems to be a fairly substantial essence, while the bearer of properties seems to shrivel to minimal size because it can't have properties of its own.
Aristotle may only have believed in prime matter because his elements were immutable [Aristotle, by Alexander,P]
     Full Idea: It has been held that Aristotle needed the conception of prime matter only because he held that the transmutation of one element into another is impossible.
     From: report of Aristotle (Metaphysics [c.324 BCE], matter) by Peter Alexander - Ideas, Qualities and Corpuscles 01.2
The traditional view of Aristotle is God (actual form) at top and prime matter (potential matter) at bottom [Aristotle, by Gill,ML]
     Full Idea: Since antiquity prime matter has enjoyed a hallowed place in the Aristotelian system, which displays an awesome completeness, with God (pure form and actuality) at the top, and prime matter (pure matter and potentiality) at the bottom.
     From: report of Aristotle (Metaphysics [c.324 BCE], God) by Mary Louise Gill - Aristotle on Substance Ch.2
     A reaction: Gill suggests that actually the four elements should be at the bottom, with matter only coming into it when distinct objects are in the offing. The Great Chain of Being emerged as the story between the two extremes.
Primary matter is what characterises other stuffs, and it has no distinct identity [Aristotle]
     Full Idea: If earth is air-esque and earth is (not fire but) fire-esque, then it is fire that is primary matter. Such matter is not a this-something.
     From: Aristotle (Metaphysics [c.324 BCE], 1049a25)
     A reaction: For being a 'this-something' read 'having determinate identity'. Aristotle's account of 'primary matter' is controversial and much discussed.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
It doesn't explain the world to say it was originally all one. How did it acquire diversity? [Aristotle]
     Full Idea: Nor is it a sufficient explanation of the world to say just that all things were originally together. For things differ in matter. Indeed, why otherwise did an infinity of things come-to-be, and not just one?
     From: Aristotle (Metaphysics [c.324 BCE], 1069b25)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
I claim that Aristotle's foundation is the four elements, and not wholly potential prime matter [Aristotle, by Gill,ML]
     Full Idea: Tradition holds that prime matter, a subject exhausted by its potentialities, lies at the foundation. I argue that Aristotle's system is instead grounded in the four simple bodies, earth, water, air and fire, as ultimate objects.
     From: report of Aristotle (Metaphysics [c.324 BCE], matter) by Mary Louise Gill - Aristotle on Substance Ch.2
     A reaction: This seems to be a controversial view of Gill's, though I found her case persuasive. Those seeking an Aristotelianism that fits with modern science should like her reading. However, physical fields may be seen as pure potentiality.
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
Unusual kinds like mule are just a combination of two kinds [Aristotle]
     Full Idea: The kind that is common to both horse and ass and which most nearly comprises them happens not to have a name, but can safely be presumed to be both, i.e. the horse-ass or 'mule'. ...A mule does not come from a mule.
     From: Aristotle (Metaphysics [c.324 BCE], 1033b32)
     A reaction: [second part at 1034b04] Does ancient Greek have a word for 'mule' - it sounds as if it doesn't. Nice chicken-and-egg problem. Must a natural kind be derived from a natural kind? No. Gold does not derive from gold.
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
Terms for natural kinds are very close to proper names [Kripke]
     Full Idea: According to the view I advocate, terms for natural kinds are much closer to proper names than is ordinarily supposed. …'Common name' is appropriate for species …and also for certain mass terms such as 'gold' and 'water'.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
The properties that fix reference are contingent, the properties involving meaning are necessary [Kripke]
     Full Idea: Bear in mind the contrast between the a priori but perhaps contingent properties carried with a natural kind term, given by the way its reference was fixed, and the analytic (and hence necessary) properties a term may carry, given by its meaning.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: The second half of this is the 'new essentialism'. Complex. We need to distinguish 'reference' from 'definition'. The 'analytic properties' seem to be the definition, but we sometimes change our definitions (e.g. of units of time).
26. Natural Theory / B. Natural Kinds / 6. Necessity of Kinds
Gold's atomic number might not be 79, but if it is, could non-79 stuff be gold? [Kripke]
     Full Idea: Gold could turn out not to have atomic number 79. …But given that gold does have the atomic number 79, could something be gold without having the atomic number 79?
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: The question seems to be 'is atomic number 79 essential to gold?', and on p.124 Kripke seems to say 'yes'. I agree. But how do we decide which features are essential to gold? Why do we think molten gold does count as gold?
'Cats are animals' has turned out to be a necessary truth [Kripke]
     Full Idea: 'Cats are animals' has turned out to be a necessary truth.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: False! As Putnam has pointed out, we could yet discover that cats are subtly designed alien robots. This is a revealing error by Kripke, showing his desire to move from a useful logical clarification to an excessively amibitious metaphysics.
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Nominal essence may well be neither necessary nor sufficient for a natural kind [Kripke, by Bird]
     Full Idea: Kripke's tiger example shows that a nominal essence is not necessary for the existence of a natural kind; examples from Putnam show that a nominal essence is not sufficient either.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Alexander Bird - Philosophy of Science Ch.3
     A reaction: None of the characteristics of a tiger is essential to it. The appearance of water doesn't fix its reference. The move is towards an external view, that what matters for natural kinds is the real essence, not human conventions about it. I agree.
26. Natural Theory / C. Causation / 4. Naturalised causation
Is there cause outside matter, and can it be separated, and is it one or many? [Aristotle]
     Full Idea: We must especially inquire and investigate whether there is any cause beyond matter in itself or not, and whether this is separable or not, and whether it is one or many in number.
     From: Aristotle (Metaphysics [c.324 BCE], 0995b28)
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Causal conditions are particular abstract instances of properties, which makes them tropes [Campbell,K]
     Full Idea: The conditions in causal statements are usually particular cases of properties. A collapse results from the weakness of this cable (not any other). This is specific to a time and place; it is an abstract particular. It is, in short, a trope.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §3)
     A reaction: The fan of universals could counter this by saying that the collapse results from this unique combination of universals. Resemblance nominalist can equally build an account on the coincidence of certain types of concrete particulars.
Davidson can't explain causation entirely by events, because conditions are also involved [Campbell,K]
     Full Idea: Not all singular causal statements are of Davidson's event-event type. Many involve conditions, so there are condition-event (weakness/collapse), event-condition (explosion/movement), and condition-condition (hot/warming) causal connections.
     From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §3)
     A reaction: Fans of Davidson need to reduce conditions to events. The problem of individuation keeps raising its head. Davidson makes it depend on description. Kim looks good, because events, and presumably conditions, reduce to something small and precise.
26. Natural Theory / C. Causation / 8. Particular Causation / c. Conditions of causation
We exercise to be fit, but need fitness to exercise [Aristotle]
     Full Idea: Exercise is the cause of fitness, but fitness is also the cause of exercise.
     From: Aristotle (Metaphysics [c.324 BCE], 1013b10)
26. Natural Theory / C. Causation / 9. General Causation / b. Nomological causation
Pure Forms and numbers can't cause anything, and especially not movement [Aristotle]
     Full Idea: If we allow Forms or numbers, they will not be the cause of anything, or, if that is too strong, they will at any rate not be the cause of any movement.
     From: Aristotle (Metaphysics [c.324 BCE], 1075b23)
     A reaction: This is Benacerraf's famous observation (1973) that we can't accept a platonic account of numbers because, lacking causal powers, they are unknowable.
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
When a power and its object meet in the right conditions, an action necessarily follows [Aristotle]
     Full Idea: Whenever the potential active and the potentially affected items are associated in conditions propitious to the potentiality, the former must of necessity act and the latter must of necessity be affected.
     From: Aristotle (Metaphysics [c.324 BCE], 1048a08)
     A reaction: Of course the world could end between the two happenings, so this can't be full-scale metaphysical necessity. That point is not enough, though, to get rid of Aristotle's intuition here.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
The scientific discovery (if correct) that gold has atomic number 79 is a necessary truth [Kripke]
     Full Idea: Scientific discoveries about what gold is are not contingent truths, but are necessary truths in the strictest possible sense. ..If scientists are right, then it will be necessary and not contingent that gold be an element with atomic number 79.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: I think this glorious and controversial claim is correct. It is hard to find supporting arguments, but the picture of nature that emerges (where the essences of the stuffs precede the laws of their behaviour) seems to me far more coherent.
Scientific discoveries about gold are necessary truths [Kripke]
     Full Idea: Statement representing scientific discoveries about what this stuff (gold) is are not contingent truths but necessary truths in the strictest possible sense.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: People take him to mean 'metaphysically necessary' here. How do we distinguish the 'scientific' discoveries, which are necessary, from the more casual discoveries, which may not be? Presumably being yellow is also necessary?
Once we've found that heat is molecular motion, then that's what it is, in all possible worlds [Kripke]
     Full Idea: We have discovered a phenomenon (heat) which in all possible worlds will be molecular motion - which could not have failed to be molecular motion, because that's what the phenomenon is.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: He refers to the identification as an 'essential property' of the phenomenon (and not merely a necessity). For my taste, Kripke uses the word 'property' too widely.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Science searches basic structures in search of essences [Kripke]
     Full Idea: Science attempts, by investigating basic structural traits, to find the nature, and thus the essence (in the philosophical sense) of the kind.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: The 'necessity' of essences should be treated with caution, but this account of science strikes me as right, with the inbuilt assumption that the 'laws' are the consequence of the essences. A regularity becomes a law when it is explained by an essence.
27. Natural Reality / D. Time / 3. Parts of Time / a. Beginning of time
It is hard to see how either time or movement could come into existence or be destroyed [Aristotle]
     Full Idea: It is impossible that movement should either come-to-be or be destroyed. The same can be said for time itself, since it is not even possible for there to be an earlier and a later if time does not exist.
     From: Aristotle (Metaphysics [c.324 BCE], 1071b06)
27. Natural Reality / E. Cosmology / 3. The Beginning
The first mover is necessary, and because it is necessary it is good [Aristotle]
     Full Idea: The existence of the first mover is necessary, and in that it is necessary it is good.
     From: Aristotle (Metaphysics [c.324 BCE], 1072b10)
     A reaction: This is the direct antithesis of David Hume's is/ought distinction (that the universe is value-free).
Something which both moves and is moved is intermediate, so it follows that there must be an unmoved mover [Aristotle]
     Full Idea: Since that which is moved and which also moves is an intermediate, it follows that there must be something that moves without being moved.
     From: Aristotle (Metaphysics [c.324 BCE], 1072a19)
Even if the world is caused by fate, mind and nature are still prior causes [Aristotle]
     Full Idea: Even if luck or the automatic are the cause of the world, mind and nature are prior causes still.
     From: Aristotle (Metaphysics [c.324 BCE], 1065b03)
27. Natural Reality / G. Biology / 5. Species
Tigers may lack all the properties we originally used to identify them [Kripke]
     Full Idea: We might find out that tigers had none of the properties by which we originally identified them.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This sounds like a can of worms. If I baptise someone 'the tallest man in the room', and it turns out he isn't, I withdraw my baptism. Why would I never withdraw 'tiger'? I suppose Kripke is right.
The original concept of 'cat' comes from paradigmatic instances [Kripke]
     Full Idea: The original concept of cat is: that kind of thing, where the kind can be identified by paradigmatic instances.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: Kripke evokes Putnam at this point, since he is famous for this proposal. Note that Kripke uses the plural, invoking more than one instance. Presumably we must abstract the fur colours from the instances?
'Tiger' designates a species, and merely looking like the species is not enough [Kripke]
     Full Idea: We can say in advance that we use the term 'tiger' to designate a species, and that anything not of this species, even though it looks like a tiger, is not in fact a tiger.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This is the 'baptismal' direct reference theory applied to species as well as to particular names. It seem to hinge on an internal structure being baptised, despite ignorance of what that structure is. Cf nominal essence? 'Tiger' denotes their essence?
28. God / A. Divine Nature / 2. Divine Nature
There must a source of movement which is eternal, indivisible and without magnitude [Aristotle]
     Full Idea: There exists an eternal unmoved substance separate from sensible things. It can have no magnitude, and is without parts and indivisible. As the source of movement for infinite time, it must itself be infinite.
     From: Aristotle (Metaphysics [c.324 BCE], 1073a05)
28. God / A. Divine Nature / 5. God and Time
God is not a creator (involving time and change) and is not concerned with the inferior universe [Aristotle, by Armstrong,K]
     Full Idea: Aristotle's god had not created the world, since this would involve an inappropriate change and temporal activity; everything yearns towards god, but god remains indifferent, since he cannot contemplate anything inferior to himself.
     From: report of Aristotle (Metaphysics [c.324 BCE], God) by Karen Armstrong - A History of God Ch.1
     A reaction: Trust Aristotle to come up with the only rational and consistent account of a deity anyone has ever offered. Endless paradoxes and inconsistencies arise if god steps into time, makes things, changes, and responds to prayers.
28. God / B. Proving God / 1. Proof of God
For Aristotle God is defined in an axiom, for which there is no proof [Aristotle, by Frede,M]
     Full Idea: Aristotle is committed to the view that strictly speaking there is no proof of the essence and existence of God. There will be a real definition of him as an axiom of special theology, and then a deduction of theological theorems.
     From: report of Aristotle (Metaphysics [c.324 BCE], God) by Michael Frede - Aristotle's Conception of Metaphysics p.94
     A reaction: The cynical response would be 'why not start with a Great White Rabbit, then?', but I presume one must read what Aristotle says (late in 'Metaphysics') to understand why this particular axiom is chosen. Economy, power etc.?
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
The world can't be arranged at all if there is nothing eternal and separate [Aristotle]
     Full Idea: How is there to be an arrangement of the world at all, in the absence of something eternal, separable and permanent?
     From: Aristotle (Metaphysics [c.324 BCE], 1060a21)
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
There are as many eternal unmovable substances as there are movements of the stars [Aristotle]
     Full Idea: It is clearly necessary that the number of substances eternal in their nature and intrinsically unmovable (and without magnitude) should equal that of the movements of the stars.
     From: Aristotle (Metaphysics [c.324 BCE], 1073a34)
     A reaction: There are many unmoved movers! This is an important corrective to those who think Aristotle was endorsing one great Unmoved Mover, and thus founding monotheism. He was agreeing with Plato's account in 'The Laws'.