Combining Texts

All the ideas for 'Physics', 'fragments/reports' and 'The Possibility of Metaphysics'

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


165 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Science needs metaphysics to weed out its presuppositions [Lowe, by Hofweber]
     Full Idea: Lowe argues that the sciences need metaphysics to discharge the assumptions that they simply made at the outset.
     From: report of E.J. Lowe (The Possibility of Metaphysics [1998]) by Thomas Hofweber - Ambitious, yet modest, Metaphysics 1.2
     A reaction: Hofweber doesn't buy this, and neither do I. I don't think science 'needs' metaphysics (or barely needs it), but I do think metaphysics needs a fair degree of science. It is high-level abstraction based on the facts.
Metaphysics is the mapping of possibilities [Lowe, by Mumford]
     Full Idea: Metaphysics can be judged as the mapping of possibilities.
     From: report of E.J. Lowe (The Possibility of Metaphysics [1998], 1) by Stephen Mumford - Laws in Nature 2.2
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Only metaphysics can decide whether identity survives through change [Lowe]
     Full Idea: Only metaphysics can vindicate a judgement that a caterpillar survives to become a butterfly, but a pig does not survive to become pork, or that water survives as ice, but that paper does not survive as ash.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 8.2)
     A reaction: The works of Lowe, and other modern heroes, have shown that these real questions can be pursued intensively into areas where no scientist, or even theologian, would dare to tread.
Metaphysics tells us what there could be, rather than what there is [Lowe]
     Full Idea: I do not claim that metaphysics on its own can, in general, tell us what there is. Rather - to a first approximation - I hold that metaphysics by itself only tells us what there could be.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 1.3)
     A reaction: If there is going to be a modern defence of metaphysics, in an age dominated by empirical science, this sounds pretty good to me. Presumably it also says what there couldn't be. The challenge is to offer authority for any claims made.
2. Reason / A. Nature of Reason / 4. Aims of Reason
Reason grasps generalities, while the senses grasp particulars [Aristotle]
     Full Idea: Reason grasps generalities, while the senses grasp particulars.
     From: Aristotle (Physics [c.337 BCE], 189a06)
     A reaction: This does not seem to be entirely true. Sherlock Holmes reasons towards the particular. Nevertheless, we see what he means. Reason deals with universals, and reason derives principles and patterns from the particulars.
2. Reason / D. Definition / 12. Paraphrase
How can a theory of meaning show the ontological commitments of two paraphrases of one idea? [Lowe]
     Full Idea: Nothing purely within the theory of meaning is capable of telling us which of two sentences which are paraphrases of one another more accurately reflects the ontological commitments of those who utter them.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 2.3)
     A reaction: This is an attack on the semantic approach to ontology, associated with Quine. Cf. Idea 7923. I have always had an aversion to that approach, and received opinion is beginning to agree. "There are more things in heaven and earth, Horatio..."
3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
Maybe facts are just true propositions [Lowe]
     Full Idea: If facts are 'proposition-like' or 'thinkable' (we speak of 'knowing' or 'understanding' facts) might they not simply be true propositions?
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 11.2)
     A reaction: They certainly can't be if we are going to use facts as what makes propositions true. The proposal would be empty without out some other account of truth (probably a dubious one). Facts are truth-makers?
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
One-to-one correspondence would need countable, individuable items [Lowe]
     Full Idea: Where there is one-to-one correspondence there must certainly be countable, and therefore individuable items of some kind.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 11.6)
     A reaction: Lowe is criticising precise notions of 'a fact'. We can respond by relaxing the notion of 'one-to-one', if critics are going to be fussy about exactly what the items are. "There is a huge wave coming" doesn't need a precise notion of a wave to be true.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
A set is a 'number of things', not a 'collection', because nothing actually collects the members [Lowe]
     Full Idea: A set is 'a number of things', not a 'collection'. Nothing literally 'collects' the members of a set, such as the set of planets of the sun, unless it be a Fregean 'concept' under which they fall.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.6)
     A reaction: I'm tempted to say that the sun has collected a set of planets (they're the ones that rotate around it). Why can't we have natural sets, which have been collected by nature? A question of the intension, as well as the extension....
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
I don't believe in the empty set, because (lacking members) it lacks identity-conditions [Lowe]
     Full Idea: It is not clear to me that the empty set has well-defined identity-conditions. A set has these only to the extent that its members do - but the empty set has none.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 12.3 n8)
     A reaction: The empty set is widely used by those who base their metaphysics of maths on sets. It defines zero, and hence is the starting poing for Peano's Postulates (Idea 5897). It might not have identity in itself, but you know where you have arrived after 2 - 2.
4. Formal Logic / G. Formal Mereology / 1. Mereology
Are a part and whole one or many? Either way, what is the cause? [Aristotle]
     Full Idea: There is a difficulty about part and whole, ...whether the part and the whole are one or more than one, and in what way they can be one or many, and, if they are more than one, in what way they are more than one.
     From: Aristotle (Physics [c.337 BCE], 185b11), quoted by Kathrin Koslicki - The Structure of Objects 6.3
     A reaction: He only states the problem here, but doesn't pursue it. I take the real question of mereology to be what makes a many into a one. I don't see a problem with a many being simultaneously a one.
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
It is better if the existential quantifier refers to 'something', rather than a 'thing' which needs individuation [Lowe]
     Full Idea: If we take the existential quantifier to mean 'there is at least one thing that' then its value must qualify as one thing, individuable in principle. ...So I propose to read it as 'there is something that', which implies nothing about individuability.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 11)
     A reaction: All sorts of doubts about the existential quantifier seem to be creeping in nowadays (e.g. Ideas 6067, 6069, 8250). Personally I am drawn to the sound of 'free logic', Idea 8250, which drops existential claims. This would reduce metaphysical confusion.
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Geometry studies naturally occurring lines, but not as they occur in nature [Aristotle]
     Full Idea: Geometry studies naturally occurring lines, but not as they occur in nature.
     From: Aristotle (Physics [c.337 BCE], 194a09)
     A reaction: What a splendid remark. If the only specimen you could find of a very rare animal was maimed, you wouldn't be particularly interested in the nature of its injury, but in the animal.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Two is the least number, but there is no least magnitude, because it is always divisible [Aristotle]
     Full Idea: The least number, without qualification, is the two. …but in magnitude there is no least number, for every line always gets divided.
     From: Aristotle (Physics [c.337 BCE], 220a27)
     A reaction: Showing the geometrical approach of the Greeks to number. Two is the last number because numbers are for counting, and picking out one thing is not counting.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Without infinity time has limits, magnitudes are indivisible, and numbers come to an end [Aristotle]
     Full Idea: If there is, unqualifiedly, no infinite, it is clear that many impossible things result. For there will be a beginning and an end of time, and magnitudes will not be divisible into magnitudes, and number will not be infinite.
     From: Aristotle (Physics [c.337 BCE], 206b09), quoted by David Bostock - Philosophy of Mathematics 1.8
     A reaction: This is a commitment to infinite time, and uncountable real numbers, and infinite ordinals. Dedekind cuts are implied. Nice.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / c. Potential infinite
Aristotle's infinity is a property of the counting process, that it has no natural limit [Aristotle, by Le Poidevin]
     Full Idea: For Aristotle infinity is not so much a property of some set of objects - the numbers - as of the process of counting, namely of its not having a natural limit. This is 'potential' infinite
     From: report of Aristotle (Physics [c.337 BCE]) by Robin Le Poidevin - Travels in Four Dimensions 06 'Illusion'
     A reaction: I increasingly favour this view. Mathematicians have foisted fictional objects on us, such as real infinities, limits and zero, because it makes their job easier, but it makes discussion of the natural world very obscure.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / j. Infinite divisibility
Lengths do not contain infinite parts; parts are created by acts of division [Aristotle, by Le Poidevin]
     Full Idea: Aristotle says that a length does not already contain, waiting to be discovered, an infinite number of parts; such parts only come into existence once they are defined by an act of division.
     From: report of Aristotle (Physics [c.337 BCE]) by Robin Le Poidevin - Travels in Four Dimensions 07 'Two'
     A reaction: If that is true of infinite parts then it must also be true of finite parts. So a cake has no parts at all until it is cut. That could play merry hell with discussions of mereology. Wholes are ontologically prior to parts.
A continuous line cannot be composed of indivisible points [Aristotle]
     Full Idea: No continuum can be composed of indivisibles: e.g. a line cannot be composed of points, the line being continuous and the points indivisibles.
     From: Aristotle (Physics [c.337 BCE], 231a23), quoted by Ian Rumfitt - The Boundary Stones of Thought 7.4
     A reaction: Rumfitt observes that ' the basic problem is to say what the ultimate parts of a continuum are, of they are not points'. Early modern philosophers had lots of proposals.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
Numbers are universals, being sets whose instances are sets of appropriate cardinality [Lowe]
     Full Idea: My view is that numbers are universals, beings kinds of sets (that is, kinds whose particular instances are individual sets of appropriate cardinality).
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10)
     A reaction: [That is, 12 is the set of all sets which have 12 members] This would mean, I take it, that if the number of objects in existence was reduced to 11, 12 would cease to exist, which sounds wrong. Or are we allowed imagined instances?
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
Simple counting is more basic than spotting that one-to-one correlation makes sets equinumerous [Lowe]
     Full Idea: That one-to-one correlated sets of objects are equinumerous is a more sophisticated achievement than the simple ability to count sets of objects.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 2.9)
     A reaction: This is an objection to Frege's way of defining numbers, in terms of equinumerous sets. I take pattern-recognition to be the foundation of number, and so spotting a pattern would have to precede spotting that two patterns were identical.
Fs and Gs are identical in number if they one-to-one correlate with one another [Lowe]
     Full Idea: What is now known as Hume's Principle says the number of Fs is identical with the number of Gs if and only if the Fs and the Gs are one-to-one correlated with one another.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.3)
     A reaction: This seems popular as a tool in attempts to get the concept of number off the ground. Although correlations don't seem to require numbers ('find yourself a partner'), at some point you have to count the correlations. Sets come first, to identify the Fs.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Sets are instances of numbers (rather than 'collections'); numbers explain sets, not vice versa [Lowe]
     Full Idea: I favour an account of sets which sees them as being instances of numbers, thereby avoiding the unhelpful metaphor which speaks of a set as being a 'collection' of things. This reverses the normal view, which explains numbers in terms of sets.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10)
     A reaction: Cf. Idea 8297. Either a set is basic, or a number is. We might graft onto Lowe's view an account of numbers in terms of patterns, which would give an empirical basis to the picture, and give us numbers which could be used to explain sets.
If 2 is a particular, then adding particulars to themselves does nothing, and 2+2=2 [Lowe]
     Full Idea: If 2 is a particular, 'adding' it to itself can, it would seem, only leave us with 2, not another number. (If 'Socrates + Socrates' denotes anything, it most plausibly just denotes Socrates).
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.7)
     A reaction: This suggest Kant's claim that arithmetical sums are synthetic (Idea 5558). It is a nice question why, when you put two 2s together, they come up with something new. Addition is movement. Among patterns, or along abstract sequences.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Does the existence of numbers matter, in the way space, time and persons do? [Lowe]
     Full Idea: Does it really matter whether the numbers actually exist - in anything like the way in which it matters that space and time or persons actually exist?
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.6)
     A reaction: Nice question! It might matter a lot. I take the question of numbers to be a key test case, popular with philosophers because they are the simplest and commonest candidates for abstract existence. The ontological status of values is the real issue.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Ten sheep and ten dogs are the same numerically, but it is not the same ten [Aristotle]
     Full Idea: If there are ten sheep and ten dogs, the number is the same (because it does not differ by a numerical difference), but it is not the same ten (because the objects it is predicated of are different - dogs in one instance, horses in the other).
     From: Aristotle (Physics [c.337 BCE], 224a2-14)
     A reaction: Mega! Abstract objects are unique, and can't be 'added' to themselves. I think we need 'units' here, because 2+2 adds four units, so each 2 refers to something different. '2' must refer to something other than itself.
7. Existence / A. Nature of Existence / 1. Nature of Existence
All possible worlds contain abstracta (e.g. numbers), which means they contain concrete objects [Lowe]
     Full Idea: One could argue that some abstract objects exist in all possible worlds (e.g. natural numbers) and that abstract objects always depend for their existence upon concrete objects, and conclude that some concrete objects exist in all possible worlds.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 12.1)
     A reaction: We're all in the dark on this one, but I quite like this argument. I can't conceive of a reality that lacks natural numbers, and the truths that accompany them, and I personally think that numbers arise from the patterns of physical reality.
7. Existence / A. Nature of Existence / 4. Abstract Existence
The incommensurability of the diagonal always exists, and so it is not in time [Aristotle]
     Full Idea: The incommensurability of the diagonal always exists, and so it is not in time.
     From: Aristotle (Physics [c.337 BCE], 221b36)
     A reaction: This must make Aristotle sympathetic to Platonism in mathematics, even though he rejects the full theory of Forms. Such a view is not uncommon among modern philosophers. Presumably the incommensurability is true in all possible worlds? 'In'?
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Perhaps possession of causal power is the hallmark of existence (and a reason to deny the void) [Lowe]
     Full Idea: For some metaphysicians, possession of causal power is the very hallmark of real existence (and is one reason, for instance, why some have denied the existence of the void or absolute space).
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.2)
     A reaction: You could try saying that space has the power of making movement possible. The 'hallmark' of something doesn't define what it is. Existence without causal power seems logically possible and imaginable, but unlikely. Epiphenomena have this problem.
7. Existence / B. Change in Existence / 1. Nature of Change
Change is the implied actuality of that which exists potentially [Aristotle]
     Full Idea: Change is the actuality of that which exists potentially, in so far as it is potentially this actuality. Thus, the actuality of a thing's capacity for alteration, in so far as it is a capacity for alteration, is alteration.
     From: Aristotle (Physics [c.337 BCE], 201a10)
     A reaction: Not very informative, until you add Idea 16114, telling us that potentiality is best seen as 'power'. Then we have 'all change is the active expression of powers', which strikes me as rather interesting.
Heraclitus says change is new creation, and Spinoza that it is just phases of the one substance [Lowe]
     Full Idea: The extreme views on change are the Heraclitan view - that every change brings into existence an entirely new entity, and destroys what existed before, and the Spinozan view - that all changes are phase changes within a single substance.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 8.2)
     A reaction: The views in between are that bundles of properties shift their contents, or that many substances undergo changes in their properties. The unification of physics might be aiming to vindicate Spinoza. Temporal parts (Lewis) are close to Heraclitus.
The sophists thought a man in the Lyceum is different from that man in the marketplace [Aristotle]
     Full Idea: The sophists assume that being Coriscus-in-the-Lyceum is different from being Coriscus-in-the-marketplace.
     From: Aristotle (Physics [c.337 BCE], 219b19)
     A reaction: This is what has now been called 'Cambridge change', which is merely change in relations, with no intrinsic change. It is laughed at, but it is a phenomenon worth pointing out, as long as it is not mislabelled, or misunderstood.
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
Events are changes or non-changes in properties and relations of persisting objects [Lowe]
     Full Idea: My own broadly Aristotelian view is that events are changes (and unchanges) in the properties and relations of persisting objects.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 4.4)
     A reaction: This needs an account of what it is that persists, and the philosophers' (but not physicists') concept of 'substance' fills this role. It is rather hard to give identity-conditions for an event if it is an 'unchange'. How would you count such events?
7. Existence / B. Change in Existence / 4. Events / b. Events as primitive
Events are ontologically indispensable for singular causal explanations [Lowe]
     Full Idea: We must include events in our ontology because they figure indispensably in singular causal explanations.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.5)
     A reaction: Hm. Spirits figure indispensably in supernatural explanations. It would be quite a task to prove that events really are indispensable to causal explanations. Why would nomological or counterfactual causal explanations not have the same need?
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
Aristotle's formal and material 'becauses' [aitiai] arguably involve grounding [Aristotle, by Correia/Schnieder]
     Full Idea: Aristotle's distinction between four different kinds of aitia ('becauses'?) arguably involves the recognition of grounding in the formal and material aitia.
     From: report of Aristotle (Physics [c.337 BCE], 198a24) by Correia,F/Schnieder,B - Grounding: an opinionated introduction 2
     A reaction: Insofar as the other two (efficient and final) involve explanation, one might say that they too involve a different sort of grounding. Is a statue 'grounded' in the sculptor, or in the purpose of the statue?
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
Are facts wholly abstract, or can they contain some concrete constituents? [Lowe]
     Full Idea: Philosophers who invoke facts are divided over whether facts are wholly abstract entities or are complexes capable of containing concrete objects as constituents.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 11.2)
     A reaction: If externalism about concepts was true (see Thought|Content|Broad Content), this would support the second (more concrete) view of facts. The correspondence theory of truth would love to plug belief into the concrete world. Me too.
Facts cannot be wholly abstract if they enter into causal relations [Lowe]
     Full Idea: There is a difficulty for any view of facts which sees them as being wholly abstract entities, and yet also being causal relata; for it seems that only concrete entities, existing in time and space, can enter into causal relations.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 11.3)
     A reaction: There seems a lot of ambiguity in the air here, between epistemology and ontology (surprise!). I take causation to be a physical activity in the concrete world. Our understanding of it is expressed with abstractions. 'Fact' seems to have two meanings.
The problem with the structured complex view of facts is what binds the constituents [Lowe]
     Full Idea: The most notorious problem besetting the view that facts are structured complexes of constituents is the question of what it is that binds the supposed constituents into the fact. The ordered triple doesn't make Mars red.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 11.5)
     A reaction: Lowe denies that facts are complex entities on this basis. You only have the problem if Mars and its redness are two 'things'. If redness is intrinsically a dependent item, we may escape. I wish they wouldn't use colours as examples. See Idea 5456.
It is whimsical to try to count facts - how many facts did I learn before breakfast? [Lowe]
     Full Idea: Although 'fact' is grammatically a count noun, it strikes us as being at best whimsical to talk about enumerating facts - to talk, for instance, about how many facts I learned today before breakfast.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 12.4)
     A reaction: I always liked the question 'how many facts are there in this room?' One might make a serious attempt to decide how many facts I learned before breakfast, and reach a reasonable approximation, especially if one didn't open the newspaper.
7. Existence / D. Theories of Reality / 8. Facts / e. Facts rejected
Facts are needed for truth-making and causation, but they seem to lack identity criteria [Lowe]
     Full Idea: Facts seem to be indispensable as truth-makers and perhaps as causal relata, ..but if we must only include in our ontology things for which we can state a criterion of identity (Quine), ..we seem to be faced with a dilemma.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 11)
     A reaction: Lowe proposes to relax the identification requirement (see Idea 8312). This seems a good strategy. An awful lot of strange philosophy arises from insisting on strict conditions for our understanding, and then finding everywhere failure to achieve it.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
Two of the main rivals for the foundations of ontology are substances, and facts or states-of-affairs [Lowe]
     Full Idea: One of the chief rivals to my own substance-based ontology is the view that holds facts or states of affairs to be the building-blocks of the world.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], Pref)
     A reaction: I think I side with Lowe, even though I am uneasy about the gap between the philosopher's 'substance' and the basic entities of physics. Facts are hard to individuate, and seem to be composed of more basic elements.
Some abstractions exist despite lacking causal powers, because explanation needs them [Lowe]
     Full Idea: Some abstract objects, notably certain universals, need to be invoked for explanatory purposes, even if it cannot be said that they themselves possess causal powers or enter into causal relations.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.2)
     A reaction: I am unconvinced that an entity with no causal powers could be any kind of explanation, given that, by definition, it can't do anything. You would have to think that the world of pure reason functioned without the aid of causal powers.
7. Existence / E. Categories / 1. Categories
Ontological categories are not natural kinds: the latter can only be distinguished using the former [Lowe]
     Full Idea: Ontological categories should not be confused with natural kinds: for natural kinds can only be differentiated in a principled way relative to an accepted framework of ontological categories.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 8.2)
     A reaction: I presume that the natural kinds are likely to be contingent facts about the actual world (though they may entail necessary laws), whereas I like to think, unfashionably, that categories aim at deconstructing the mind of God (roughly).
7. Existence / E. Categories / 3. Proposed Categories
The top division of categories is either abstract/concrete, or universal/particular, or necessary/contingent [Lowe]
     Full Idea: Some metaphysicians take the highest division to be between abstract and concrete entities, others take it to be between universals and particulars (my own preference, though it is not crucial), and others between necessary and contingent entities.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 8.3)
     A reaction: The first division may be blurred, and I am doubtful about universals, so I favour the third. Intuition tells me that there is nothing more basic than the distinction between what is true in all worlds and what is only true in some. The former is bedrock.
Lowe divides things into universals and particulars, then kinds and properties, and abstract/concrete [Lowe, by Westerhoff]
     Full Idea: Lowe's Ontological Categories: ENTITIES - {Universals - [Kinds - (Non-natural)(Natural)] [Properties, Relations]} {Particulars - [Abstracta - (Sets)(others)] [Concreta - (Objects)(Non-Objects)]} etc
     From: report of E.J. Lowe (The Possibility of Metaphysics [1998], p.181) by Jan Westerhoff - Ontological Categories §01
     A reaction: [my linear representation of a tree diagram; bracket-styles show levels] Lowe's levels below these divide according to whether things are 'substances' or not. I've heard Kit Fine tease Lowe for being too simplistic about ontology.
8. Modes of Existence / A. Relations / 1. Nature of Relations
The separation from here to there is not the same as the separation from there to here [Aristotle]
     Full Idea: Even though two separated things have a single interval between them, still the separation from here to there is not one and the same as the separation from there to here.
     From: Aristotle (Physics [c.337 BCE], 202b19)
     A reaction: His example is the road from Athens to Thebes. Since we tend to quantify distances between places more than Aristotle did, we are less impressed by this distinction, which seems a bit subjective. Aristotle seems to be thinking of vectors.
8. Modes of Existence / B. Properties / 8. Properties as Modes
The features of a thing (whether quality or quantity) are inseparable from their subjects [Aristotle]
     Full Idea: It is impossible to separate [affections/accidents], both in respect of quantity and of quality - of quantity, because there is no minimum magnitude, and of quality, because affections are inseparable.
     From: Aristotle (Physics [c.337 BCE], 188a11)
     A reaction: This is an aspect of his famous view that universals, if there are such, are inherent in objects, and can't float free. It was important for scholastic philosophers, who need accidents to float free for the doctrine of Transubstantiation.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Is 'the Thames is broad in London' relational, or adverbial, or segmental? [Lowe]
     Full Idea: "The Thames is broad in London" might be taken as 'The Thames is broad-in-London', or as 'The Thames is-in-London broad', or as 'The Thames-in-London is broad'. I would urge the superiority of the second one, as an analysis of the normal meaning.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 5.8)
     A reaction: He uses the example to attack the perdurance view of objects (i.e. the third analysis). I think I agree with Lowe, but I'm not sure, and I just love the example. Read the second as 'The Thames is (in London) broad'? 'Is' of existence, or predication?
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
I prefer 'modes' to 'tropes', because it emphasises their dependence [Lowe]
     Full Idea: Some philosophers call particularised properties of objects 'tropes', but I prefer the older term 'mode' (or 'individual accident'), because this term rightly has the implication that such entities are existentially dependent ones, depending on objects.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 8.3)
     A reaction: A nice illustration of the fact that philosophical terminology is not as metaphysically innocent as it sometimes pretends to be. I agree with Lowe.
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
Why cannot a trope float off and join another bundle? [Lowe]
     Full Idea: Why cannot a certain trope 'float free' of the trope-bundle to which it belongs and migrate to another bundle?
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 9.8)
     A reaction: Tropes are said to be dependent on their possessors, but at the same time to exist as particulars. Lowe's suggestion is that you can't have it both ways. A particular sphericity with no sphere does not even make sense.
Tropes cannot have clear identity-conditions, so they are not objects [Lowe]
     Full Idea: I do not believe that tropes or modes can have well-defined or fully determinate identity-conditions, and hence do not believe that they should be thought of as 'objects'.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 8.3)
     A reaction: Lowe's account would still allow them to be 'entities'. Any proposal that they have an existence of their own, apart from the objects on which they depend, sounds very misguided. We won't make progress if we don't identify the real properties.
How can tropes depend on objects for their identity, if objects are just bundles of tropes? [Lowe]
     Full Idea: It seems that tropes are identity-dependent upon their possessors, but it is difficult to square this claim with the thesis that the possessors of tropes are themselves just bundles of tropes.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 9.8)
     A reaction: This circularity in all attempts to individuate tropes is Lowe's main reason for rejecting them. It does seem that the sphericity of a ball must be either identified against other (universal) sphericities, or by the sphere that has the property.
Does a ball snug in plaster have one trope, or two which coincide? [Lowe]
     Full Idea: If a round ball fits snugly into a round piece of plaster, do they contain the same roundness trope, or do they contain numerically distinct but exactly similar and coinciding roundness tropes?
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 9.8)
     A reaction: A microscope would distinguish them, and they are made of different types of matter. Is a hole in a piece of paper a circular cut and a circular area of space? Neither example looks good for tropes.
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
Heavy and light are defined by their tendency to move down or up [Aristotle]
     Full Idea: It is the nature of light and heavy things to tend in certain directions, and this is what it is to be light or heavy; to be light is defined by an upwards tendency, and to be heavy is defined by a downwards tendency.
     From: Aristotle (Physics [c.337 BCE], 255b14)
     A reaction: The discredited 'teleological' view of gravity, and yet if we define 'heavy' in Newtonian terms we are in danger of circularity, and of proposing laws which are bafflingly imposed from outside. Hence the 'New Essentialists' prefer Aristotle's view.
8. Modes of Existence / D. Universals / 1. Universals
Sortal terms for universals involve a substance, whereas adjectival terms do not [Lowe]
     Full Idea: I want to distinguish 'substantial' universals from 'non-substantial' universals. The former are denoted by sortal terms, such as 'statue' and 'tiger', whereas the latter are denoted by adjectival terms, such as 'red' and 'spherical'.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 9.3)
     A reaction: It is an interesting question whether or not (assuming you are committed to universals) a universal necessarily implies an associated substance. If a property is a power, it must be a power of something. Nominalists will deny his distinction.
8. Modes of Existence / D. Universals / 2. Need for Universals
Real universals are needed to explain laws of nature [Lowe]
     Full Idea: I base my case for realism about universals on the need to explain the status of natural laws.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 9.6)
     A reaction: I need black magic to explain why my watch has disappeared. The key question, then, would be what we understand by the 'laws of nature'. I am inclined to think that scientific essentialism (qv) can build laws out of natural kinds. Idea 6614.
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
Particulars are instantiations, and universals are instantiables [Lowe]
     Full Idea: A particular is something (not necessarily an object) which instantiates but is not itself instantiated. Universals, on the other hand, necessarily have instances (or, at least, are instantiable).
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.4)
     A reaction: This is Lowe's proposal for distinction. It at least establishes the direction of dependency, but I find the notion of 'instantiation' to be as obscure and problematic as the Platonic notion of 'partaking' (see in Ontology|Universals|Platonic Forms).
9. Objects / A. Existence of Objects / 1. Physical Objects
To be an object at all requires identity-conditions [Lowe]
     Full Idea: The only metaphysically defensible notion of an object is precisely that of an entity which possesses determinate identity-conditions.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 1.3)
     A reaction: I think he includes abstract objects in this. I suspect this view of muddling epistemology and ontology. Or overemphasising our conventions, rather than reality.
Our commitment to the existence of objects should depend on their explanatory value [Lowe]
     Full Idea: Whether objects of a given kind should be thought actually to exist should, in general, be taken to turn on considerations of whether an inclusion of such objects in one's ontology has explanatory value.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 2.3)
     A reaction: Blatantly fictional objects, such as fairies, might have wonderful explanatory value (they place dewdrops on flowers). Our ontological commitments cannot be decided one at a time, because consistency of the whole picture is the key value.
Objects are entities with full identity-conditions, but there are entities other than objects [Lowe]
     Full Idea: I distinguish objects as those entities - whether abstract or concrete, universal or particular - which possess fully determinate identity-conditions, but there are, or may be, entities other than objects.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 7)
     A reaction: A wave on the sea is a candidate for being an entity but not an object. The distinction is probably not quite common usage, but it strikes as one which philosophers should universally adopt. Lots of entities, and some of them are objects.
Perhaps concrete objects are entities which are in space-time and subject to causality [Lowe]
     Full Idea: An obvious suggestion is that concrete objects are denizens of space-time, and hence subject to causality, though Hale objects that languages are plausibly abstract and yet undergo change and so presumably exist in time.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 2.10)
     A reaction: The identity-conditions for a language are pretty loose. Choosing a counterexample from the mental life of human beings begs a billion questions. I can't think of a problem case beyond the world of human culture.
9. Objects / A. Existence of Objects / 3. Objects in Thought
An object is an entity which has identity-conditions [Lowe]
     Full Idea: To be an object is simply to be an entity possessing determinate identity-conditions.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 2.3)
     A reaction: This is a nice clear-cut claim, which sounds good, except that there may be a blurring of ontology and epistemology. Presumably the conditions are for the concept, not for an actual act of identification. Maybe we are too stupid to conceive them.
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
Some things (such as electrons) can be countable, while lacking proper identity [Lowe]
     Full Idea: There can be determinate countability even where there is not determinate identity; it is not in dispute that there are two electrons in the shell of a neutral helium atom, even though the identity of electrons is not determinate.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 3.3)
     A reaction: If the electrons could merge like water drops, we would be unable to say when they became one object. You can roughly count waves on the sea, but when you seek an exact total, the identity problem intrudes and prevents precise counting.
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
Criteria of identity cannot individuate objects, because they are shared among different types [Lowe]
     Full Idea: Criteria of identity never unambiguously determine the kind of objects to which they apply, since many different types of objects can be governed by the same criteria. Cats and dogs share the criterion of identity for animals in general.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.3)
     A reaction: So how do you individuate the type of an object? You could identify 'the thing I dug up yesterday' without being able to individuate it. You can individuate 'the cleverest person in Britain' without being able to identify them.
9. Objects / A. Existence of Objects / 5. Individuation / c. Individuation by location
Diversity of two tigers is their difference in space-time; difference of matter is a consequence [Lowe]
     Full Idea: What really makes for the diversity of two tigers is their difference in space-time location, from which their difference in component matter at any time merely follows as a consequence.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 9.5)
     A reaction: I daresay this is how we manage to identify the diversity of a pair of tigers (epistemology), but is that what their diversity consists in (ontology)? That they employ different matter seems relevant. If you feed one, the other stays hungry (causation).
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Individuation principles identify what kind it is; identity criteria distinguish items of the same kind [Lowe]
     Full Idea: A principle of individuation tells us what is to count as one instance of a given kind, such as one ship. A criterion of identity is what makes for the identity or diversity of items of a given kind, to distinguish this ship from that ship.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 9.5)
     A reaction: So individuation picks out type/qualitative identity, and identifying picks out token/numerical identity. This agrees with Idea 7926, but is a shift from the usage Lowe mentions in Idea 8290. Common usage makes the technical terms unclear.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Natural objects include animals and their parts, plants, and the simple elements [Aristotle]
     Full Idea: Natural objects include animals and their parts, plants and simple bodies like earth, fire, air, and water.
     From: Aristotle (Physics [c.337 BCE], 192b09)
     A reaction: Interestingly, he seems to include lives, and elements, but nothing in between, like planets or stones.
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
Substance is not predicated of anything - but it still has something underlying it, that originates it [Aristotle]
     Full Idea: The only thing which is not predicated of some underlying thing is substance, while everything is predicated of it. But the same goes for substances too: there is something underlying them too, which they come from. Plants from seeds, for example.
     From: Aristotle (Physics [c.337 BCE], 190b01)
     A reaction: [compressed] I presume 'substance' here is 'ousia'. Aristotle's quest is to pin down 'that which lies under', but this shows that if he identified it, he wouldn't have located what is ultimate. The explanation of a plant extends beyond the plant.
We only infer underlying natures by analogy, observing bronze of a statue, or wood of a bed [Aristotle]
     Full Idea: The underlying nature is an object of knowledge, by an analogy. For as bronze is to a statue, wood to a bed, or matter and the formless before receiving form to any thing which has form, so is the underlying nature of substance, the 'this' or existent.
     From: Aristotle (Physics [c.337 BCE], 191a08)
     A reaction: Scholastics were perfectly aware of this cautious approach. It is only the critics who jeer at Aristotelians for claiming to know all about the essences of things. Essence is like the Unmoved Mover, inferred but unknown.
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
A 'substance' is an object which doesn't depend for existence on other objects [Lowe]
     Full Idea: A 'substance' might be defined to be an object which does not depend for its existence upon any other object (where dependency is defined in terms of necessity.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 1.3)
     A reaction: I'm inclined to leave out 'substance', which has too much historical baggage, and talk of minimal things having 'identity', and proper things having 'essence'.
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
A nature is related to a substance as shapeless matter is to something which has a shape [Aristotle]
     Full Idea: What it is to be shapeless is different from what it is to be bronze. …An underlying nature is related to substance as, in general, matter (which is to say, something shapeless), before it gains shape, is to something with shape.
     From: Aristotle (Physics [c.337 BCE], 190b39-)
     A reaction: This is an interesting take on the modern problem that the bronze seems to be a separate 'object' from the statue. If bronze is amorphous stuff, it has no shape, presumably because it has no significant shape.
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
Form, not matter, is a thing's nature, because it is actual, rather than potential [Aristotle]
     Full Idea: Form is a more plausible candidate for being nature than matter is because we speak of a thing as what it actually is at the time, rather than what it then is potentially.
     From: Aristotle (Physics [c.337 BCE], 193b07)
     A reaction: Note that matter remains potential, even when it is part of an actual thing. This seems to be the obvious point that a statue isn't potentially anything else, but its clay is potentially other objects. Does Aristotle think clay is thereby less real?
9. Objects / C. Structure of Objects / 2. Hylomorphism / c. Form as causal
A thing's form and purpose are often the same, and form can be the initiator of change too [Aristotle]
     Full Idea: In many cases, the last three of the causes [aition] come to the same thing. What a thing is and its purpose are the same, and the original source of change is, in terms of form, the same as these two. After all, it is a man who generates a man.
     From: Aristotle (Physics [c.337 BCE], 198a24)
     A reaction: One of the few illuminating remarks about what the 'form' in hylomorphism is supposed to do. This may be the key to virtue ethics - that the form of man, which we learn elsewhere is the psuché, is also man's drive and man's very purpose.
9. Objects / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier
Unity of the form is just unity of the definition [Aristotle]
     Full Idea: Being one in form is just another way of saying one 'in definition'.
     From: Aristotle (Physics [c.337 BCE], 190a16)
     A reaction: I take this to be highly significant in understanding Aristotle. The crucial notion of form is tied to the way in which we understand the world, and does not refer to some independent fact about how it might really be.
9. Objects / C. Structure of Objects / 3. Matter of an Object
In feature-generation the matter (such as bronze) endures, but in generation it doesn't [Aristotle, by Politis]
     Full Idea: There is a fundamental distinction between feature-change and generation. ..Materials such as bronze cannot by themselves explain why they are the particular material things they are. But matter which generates things does not endure.
     From: report of Aristotle (Physics [c.337 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.4
     A reaction: This very nice distinction is rather undermined by our modern understanding of generation, but it still might work at a lower level. Transmuting an element by bombarding it is different from reshaping the stuff.
9. Objects / C. Structure of Objects / 5. Composition of an Object
The identity of composite objects isn't fixed by original composition, because how do you identify the origin? [Lowe]
     Full Idea: It is not at all clear that the identity of a composite object can be fixed by the identity of its original composition, since there are good grounds for claiming that the reverse is in fact the case.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 7.5)
     A reaction: That is, how could you identify the origin if you didn't know what it was that had originated? Nice point. See also Idea 8274. Vicars must make sure they baptise the right baby.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
There is no whole except for the parts [Aristotle]
     Full Idea: There is no whole over and above the parts.
     From: Aristotle (Physics [c.337 BCE], 210a16)
     A reaction: Pasnau says Aristotle contradicts this at Met. 1041b12, where the syllable is more than its elements.
We first sense whole entities, and then move to particular parts of it [Aristotle]
     Full Idea: We have to progress from the general to the particular, because whole entities are more intelligible to the senses, and anything general is a kind of whole, in the sense that it includes a number of things which we could call its parts.
     From: Aristotle (Physics [c.337 BCE], 184a22)
     A reaction: This is the first step in the process of abstraction, which Aristotle describes further in Posterior Analytics. It is common sense that a child will be aware of a horse before it is aware of its hoof, or its colour, or its strength.
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
The four explanations are the main aspects of a thing's nature [Aristotle, by Moravcsik]
     Full Idea: Aristotle sees as the main types of aitia (explanation) those that are also to be construed as the main aspects of the physis (nature) of anything.
     From: report of Aristotle (Physics [c.337 BCE]) by Julius Moravcsik - Aristotle on Adequate Explanations 1
     A reaction: Interestingly, this suggests that having rejected the Four Causes in favour of the Four Explanations, we might even consider them as the Four Natures, which ties explanation very closely to essence.
A thing's nature is what causes its changes and stability [Aristotle]
     Full Idea: The nature of a thing is a certain principle and cause of change and stability in the thing.
     From: Aristotle (Physics [c.337 BCE], 192b20)
     A reaction: A helpful contribution to the discussion, as most thinkers just boggle when asked to specify the core of something's identity. Aristotle's proposal links identity to causation, which is very appealing to a physical account of all of reality. Cf 5086.
9. Objects / E. Objects over Time / 2. Objects that Change
Coming to be is by shape-change, addition, subtraction, composition or alteration [Aristotle]
     Full Idea: Things that come to be without further qualification do so either by change of shape (a statue) or by addition (growing things) or by subtraction (a carving) or by composition (a house) or by alteration (things changing their matter).
     From: Aristotle (Physics [c.337 BCE], 190b06)
     A reaction: [compressed] Aristotle observes that in each case there is clearly some 'underlying thing'.
Natural things are their own source of stability through change [Aristotle]
     Full Idea: The obvious difference between natural and non-natural things is that each of the natural ones contains within itself a source of change and of stability, in respect of either movement or increase and decrease or alteration.
     From: Aristotle (Physics [c.337 BCE], 192b14)
     A reaction: This is the reason why Aristotle places so much emphasis on lives, though elements also have persistence in a similar way. We now have atoms and molecules as well.
9. Objects / E. Objects over Time / 3. Three-Dimensionalism
An object 'endures' if it is always wholly present, and 'perdures' if different parts exist at different times [Lowe]
     Full Idea: The 'endurance' view is that an object persists by being 'wholly present' at more than one time, and the 'perdurance' view is that an object has different temporal parts which exist at different times.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 5)
     A reaction: It is tempting to say that only a philosopher would come up with a view as bizarre as the second one. Trying to imagine God's view of time has led to a lot of confusion. Endurance seems to need substance, so bundle views of objects encourage perdurance.
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
How can you identify temporal parts of tomatoes without referring to tomatoes? [Lowe]
     Full Idea: The temporal parts approach to identity appears to be viciously circular, for how are the 'temporal parts' of tomatoes to be individuated and identified save by reference to the very tomatoes of which they are parts?
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 5.3)
     A reaction: (This attacks the 'perdurance' view - Idea 8271) Something wrong here. Isn't Lowe begging the question, by assuming that a tomato at an instant IS the tomato? To know what a tomato is, you must spend time with it.
9. Objects / E. Objects over Time / 6. Successive Things
A day, or the games, has one thing after another, actually and potentially occurring [Aristotle]
     Full Idea: When we say 'it is day' or 'it is the games', one thing after another is always coming into existence. …There are Olympic Games, both in the sense that they may occur and that they are actually occurring.
     From: Aristotle (Physics [c.337 BCE], 206a22)
     A reaction: This is, according the Pasnau, the origin of the scholastic concept of an 'entia successiva'. I haven't seen much discussion of this in modern metaphysics, but in what sense does a day exist?
9. Objects / E. Objects over Time / 10. Beginning of an Object
Coming-to-be may be from nothing in a qualified way, as arising from an absence [Aristotle]
     Full Idea: We agree that nothing can be said without qualification to come from what is not, …but it may in a qualified sense. For a thing comes to be from a privation, which in its own nature is not-being - this not surviving as a constituent in the result.
     From: Aristotle (Physics [c.337 BCE], 191b13)
     A reaction: Not sure I understand this, but it seems to say that genuine creation from nothing at all is impossible.
9. Objects / F. Identity among Objects / 3. Relative Identity
A clear idea of the kind of an object must precede a criterion of identity for it [Lowe]
     Full Idea: As Locke clearly understood, one must first have a clear conception of what kind of object one is dealing with in order to extract a criterion of identity for objects of that kind from that conception.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.3)
     A reaction: Archaeologist face objects which they can number, remember and take pride in, without having a clue what kind of thing they are dealing with. The two processes may not be entirely distinct.
9. Objects / F. Identity among Objects / 4. Type Identity
One view is that two objects of the same type are only distinguished by differing in matter [Lowe]
     Full Idea: One venerable tradition, exemplified in Aquinas, has it that matter is the 'principle of individuation', that is, that all that can be guaranteed to distinguish two concrete thing of the same kind is the different matter of which they are composed.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 9.5)
     A reaction: This seems to be 'identity-conditions' rather than 'individuation', according to Idea 7926. The problem would be how to identify that particular matter, apart from its composing that particular object. Replacing planks on a ship seems unimportant.
10. Modality / A. Necessity / 3. Types of Necessity
'Conceptual' necessity is narrow logical necessity, true because of concepts and logical laws [Lowe]
     Full Idea: I can accept 'conceptual' necessity, as long as it is only identified with 'narrow' logical necessity. For I take it that the 'conceptually' necessary is that which is true solely in virtue of concepts together with the laws of logic.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 1.4)
     A reaction: In the narrow version of logical necessity (Idea 8260) some definitions are required in addition to the mere laws of logic. This implies that the concepts are dependent of definitions, which is a bit restrictive. Aren't we allowed undefined concepts?
10. Modality / A. Necessity / 5. Metaphysical Necessity
Metaphysical necessity is logical necessity 'broadly construed' [Lowe, by Lynch/Glasgow]
     Full Idea: Lowe (1998) defines metaphysical necessity in terms of logical necessity 'broadly contrued'.
     From: report of E.J. Lowe (The Possibility of Metaphysics [1998]) by Lynch,MP/Glasgow,JM - The Impossibility of Superdupervenience n 3
     A reaction: [I seem to have missed this simple thought in Lowe 1998 - must revisit]. Both metaphysical and logical necessity can be taken as 'true in all possible worlds', but that doesn't make them the same truths.
10. Modality / A. Necessity / 6. Logical Necessity
Logical necessity can be 'strict' (laws), or 'narrow' (laws and definitions), or 'broad' (all logical worlds) [Lowe]
     Full Idea: 'Strict' logical necessity is true by the laws of logic alone; 'narrow' logical necessity is true by the laws of logic plus definitions of non-logical terms; 'broad' logical necessity is true in every possible world where the laws of logic hold.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 1.4)
     A reaction: Lowe then says the third is close to 'metaphysical' necessity. I am unable to distinguish the third from the first. You can't claim that a logical implication holds in this world, but not in another possible world which has the same rules of implication.
10. Modality / B. Possibility / 1. Possibility
The metaphysically possible is what acceptable principles and categories will permit [Lowe]
     Full Idea: What is 'metaphysically' possible hinges …on the question of whether acceptable metaphysical principles and categories permit the existence of some state of affairs.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 1.3)
     A reaction: Lowe breezes along with confident assertions like this. I once heard Kit Fine tease him for over-confidence. All you do is work out 'acceptable' principles and categories, and you've cracked it!
10. Modality / B. Possibility / 4. Potentiality
Matter is potentiality [Aristotle, by Politis]
     Full Idea: Aristotle conceives of matter (hulé) as potentiality. ...He has a process-based notion of matter. ...It is something which has the power ('dunamis') to generate a thing.
     From: report of Aristotle (Physics [c.337 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.4
     A reaction: Politis says that 'dunamis' is usually translated as 'potentiality', but he prefers to translate it as 'power'. I take this to be highly significant in connecting Aristotle to modern scientific essentialism.
10. Modality / B. Possibility / 7. Chance
Intrinsic cause is prior to coincidence, so nature and intelligence are primary causes, chance secondary [Aristotle]
     Full Idea: A cause in its own right is prior to a coincidental cause. So spontaneity and chance are posterior to intelligence and nature. Hence however much spontaneity is the cause of the universe, intelligence and nature are more primary causes.
     From: Aristotle (Physics [c.337 BCE], 198a10)
     A reaction: This seems to be Aristotle's final word on chance - that it is a genuine sort of causation, but only a secondary one. I take 'nature' to refer to the powers of essences. Aristotle does not accept meetings in the market as uncaused events.
Maybe there is no pure chance; a man's choices cause his chance meetings [Aristotle]
     Full Idea: Some people find there is no such thing as a chance event. ..If someone chanced to come into the city square and met someone he wanted to meet but had not expected, they say the cause was his wanting to go and do business in the square.
     From: Aristotle (Physics [c.337 BCE], 195b39)
     A reaction: Aristotle spends the book discussing the problem. There is a clear candidate for an uncaused event here, in the chance meeting of two people. See Idea 13108.
Chance is a coincidental cause among events involving purpose and choice [Aristotle]
     Full Idea: Clearly chance is a coincidental cause in the sphere of events which have some purpose and are the subject of choice.
     From: Aristotle (Physics [c.337 BCE], 197a05)
     A reaction: This is the culmination of his discussion of going to the market place and happening to meet your debtor (196b33). We must now decide whether a 'coincidental cause' is a true case of causation.
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Does every abstract possible world exist in every possible world? [Lowe]
     Full Idea: Possible worlds, conceived of as abstracta, surely exist 'in every possible world'.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 12)
     A reaction: A possible very infinite regress, if a particular possible world is distinguished from another only by being perceived from Actual Word 1 or Actual World 2.. How many possible worlds are there? The standard answer is 'lots', rather than infinity.
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / a. Idealism
While space may just be appearance, time and change can't be, because the appearances change [Lowe]
     Full Idea: Although the appearance of distance and so of space may conceivably be no more than an appearance (as Berkeley held), the appearance of change and so of time cannot be no more than appearance - for the appearance of change involves change (in minds).
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 7.9)
     A reaction: This would seem to place some sort of limit on idealism. Since it doesn't offer a barrier to solipsism, though, it is not much consolation. We mustn't forget that Parmenides and Zeno of Elea proved that change is just an illusion.
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / a. Qualities in perception
Properties or qualities are essentially adjectival, not objectual [Lowe]
     Full Idea: I consider properties or qualities to be essentially adjectival rather than objectual in nature (and the same applies to relations, though they are adjectival to more than one object).
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 7.1)
     A reaction: Personally I am inclined to say that properties are either real causal powers (functions of objects?), such as being sharp, or else they are subjective ways of distinguishing things (e.g. colours). Or fictions. 'Adjectival' is too vague.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
To know something we need understanding, which is grasp of the primary cause [Aristotle]
     Full Idea: The point of our investigation is to acquire knowledge, and a prerequisite for knowing [eidenai] anything is understanding why it is as it is - in other words, grasping its primary cause.
     From: Aristotle (Physics [c.337 BCE], 194b18)
     A reaction: He then proceeds to identify four types of cause (Idea 8332). I can't think of a better account of knowledge. If we want to know that cigarettes cause cancer, we must get beyond the statistical correlation, and grasp the physical mechanisms.
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
We know a thing if we grasp its first causes, principles and basic elements [Aristotle]
     Full Idea: We think we know a thing only when we have grasped its first causes and principles and have traced it back to its elements.
     From: Aristotle (Physics [c.337 BCE], 184a12)
     A reaction: A nice Aristotelian analysis. It is hard to see what else you need to know about a thunderstorm, once you know what causes it, the principles which guide its operation, and the elements of which it is composed. But doesn't Aristotle seek its purpose…?
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Four Explanations: the essence and form; the matter; the source; and the end [Aristotle, by Politis]
     Full Idea: Aristotle gives us four explanations (or causes) of things: the essence (to ti estin, to ti en einai) and the form (he morphe, to eidos); the matter (hule); the source of change and generation (to kinoun); and the end (telos) at which change is directed.
     From: report of Aristotle (Physics [c.337 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.4
     A reaction: Politis presents these as primarily the Four Explanations, rather than under the better-known label of the 'Four Causes'. It is interesting that essence and form are lumped in together, under what is normally labelled the 'formal cause'.
Aristotle's four 'causes' are four items which figure in basic explanations of nature [Aristotle, by Annas]
     Full Idea: The four so-called 'causes' are the different types of item which figure in what Aristotle thinks are the four fundamental types of explanation of nature.
     From: report of Aristotle (Physics [c.337 BCE]) by Julia Annas - Ancient Philosophy: very short introduction Ch.5
     A reaction: This interpretation now seems to be standard among modern scholars. The word 'aitia' translates as 'explanation', but it is important to remember that it also translates as 'cause'. Aristotelian explanations are essentially causal.
Science refers the question Why? to four causes/explanations: matter, form, source, purpose [Aristotle]
     Full Idea: If the natural scientist refers the question 'Why?' to this set of four causes [aition] - matter, form, source of change, purpose - he will be explaining things in the way a natural scientist should.
     From: Aristotle (Physics [c.337 BCE], 198a23)
     A reaction: This is even more conclusive than Idea 16968 in showing that we have the Four Modes of Explanation, not the so-called Four Causes.
There are as many causes/explanations as there are different types of why-question [Aristotle]
     Full Idea: There are causes [aition] and there are as many of them as we have been saying, since there are just as many different kinds of question covered by the question 'Why?'.
     From: Aristotle (Physics [c.337 BCE], 198a16)
     A reaction: He goes on to split the questions into 'what is it?' and 'what initiated the change?'. This, along with Idea 16969, is Exhibit A for saying Aristotle has the Four Explanations, not the Four Causes (which are so famous).
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
Chance is inexplicable, because we can only explain what happens always or usually [Aristotle]
     Full Idea: Chance is inexplicable, because explanations can only be given for things that happen either always or usually, but the province of chance is things which do not happen always or usually.
     From: Aristotle (Physics [c.337 BCE], 197a19)
     A reaction: This seems wrong. We can explain perfectly well a chance meeting in the market place - it is just that the explanation is not of much use in making future predictions. But we may avoid the market place because of the danger of chance meetings.
17. Mind and Body / A. Mind-Body Dualism / 1. Dualism
The idea that Cartesian souls are made of some ghostly 'immaterial' stuff is quite unwarranted [Lowe]
     Full Idea: The vulgar notion, propagated by some modern physicalist philosophers, that Cartesian souls are supposed to be made of some sort of ghostly, 'immaterial' stuff - a near contradiction in terms - is quite unwarranted.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 9.5)
     A reaction: A nice illustration of the service which can be offered by this database. See Idea 3423 for an illustration of the sort of thing which Lowe is attacking. See Idea 5011 for a quotation from Descartes on the subject. I leave the decision with my visitor...
18. Thought / E. Abstraction / 1. Abstract Thought
Abstractions are non-spatial, or dependent, or derived from concepts [Lowe]
     Full Idea: There are three conceptions of abstractness: 1) non-spatial entities, the opposite of 'concrete' (e.g. numbers and universals); 2) an entity logically incapable of a separate existence (e.g. an apple's colour); 3) Fregean abstractions from concepts.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.1)
     A reaction: [Lowe p.218 explains the third one] Lowe rejects the third one, and it is a moot point whether the second one could actually be classed as an entity (do they have identity-conditions?), so the big issue is the first one.
18. Thought / E. Abstraction / 2. Abstracta by Selection
You can't abstract natural properties to make Forms - objects and attributes are defined together [Aristotle]
     Full Idea: Those who say there are Forms abstract natural properties, even though they are less separable than mathematical properties. This is clear if you try to define both the objects themselves and their attributes.
     From: Aristotle (Physics [c.337 BCE], 193b36)
     A reaction: (Compare Idea 9788) This is Frege's black and white cats, where you cannot abstract the black without thinking of the cat, but Aristotle thinks mathematical abstraction is more feasible.
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
Mathematicians study what is conceptually separable, and doesn't lead to error [Aristotle]
     Full Idea: Mathematicians abstract properties which are conceptually separable from the world of change. It makes no difference if you treat them as separate, in the sense that it does not result in error.
     From: Aristotle (Physics [c.337 BCE], 193b33)
     A reaction: This strikes me as a crucial point to make against Frege (if Aristotle is right). Frege hates abstractionism precisely because it is psychological, and hence admits subjective error, instead of objective truth. Does 'pure' abstraction avoid error?
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
You can think of a direction without a line, but a direction existing with no lines is inconceivable [Lowe]
     Full Idea: Although one can separate 'in thought' a direction from any line of which it is the direction, one cannot conceive of a direction existing in the absence of any line possessing that direction.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.3)
     A reaction: Intriguing. If I ask you to imagine a line going in a certain direction, don't you need the direction before you can think of the line? 'That line is going in the wrong direction'. Maybe abstract ideas only exist 'in thought'. Lowe is a realist here.
19. Language / C. Assigning Meanings / 3. Predicates
Predicates are substance, quality, place, relation, quantity and action or affection [Aristotle]
     Full Idea: The categories of predication are substance, quality, place, relation, quantity and action or affection.
     From: Aristotle (Physics [c.337 BCE], 225b06)
     A reaction: A note says this omits time from the 'familiar list' of eight predicates.
20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes
We assign the cause of someone's walking when we say why they are doing it [Aristotle]
     Full Idea: Why is he going for a walk? We say 'to be healthy', and having said that we have assigned the cause.
     From: Aristotle (Physics [c.337 BCE], 194b33-5)
     A reaction: Stout gives this as the predecessor of Anscombe's account of intentions. The thought is that the explanation of the act is its purpose. Such teleology is more plausible than the Aristotelian teleology about non-human events.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
We should follow the law in public, and nature in private [Antiphon]
     Full Idea: A man can best conduct himself in harmony with justice, if when in company of witnesses he upholds the laws, and when alone without witnesses he upholds the edicts of nature.
     From: Antiphon (fragments/reports [c.439 BCE], B44), quoted by Anon (Oxy) - Oxyrhynchus Papyrus XI.1364
     A reaction: I'm not sure how you identify the 'edicts of nature', without guidance from other people or the law. Natural behaviour can be pretty grim.
To gain the greatest advantage only treat law as important when other people are present [Antiphon]
     Full Idea: The way to get maximum advantage to yourself from justice is to treat the laws as important when other people are present, but when there is nobody else with you to value the demands of nature.
     From: Antiphon (fragments/reports [c.439 BCE], B44A), quoted by Anon (Oxy) - Oxyrhynchus Papyrus 1364A
     A reaction: This looks like a pretty good description of the majority of people active in politics.
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
Goodness is when a thing (such as a circle) is complete, and conforms with its nature [Aristotle]
     Full Idea: Goodness is a kind of completion: it is when something becomes as good as it may be that we say that it is complete, because that is when it pre-eminently conforms with its nature. A circle is complete when it is as good a circle as there could be.
     From: Aristotle (Physics [c.337 BCE], 246a12)
     A reaction: This, in turn, is said by Aristotle to result from the telos (purpose) of the thing. This won't eliminate the problem of relativism, unless we say that something cannot have an evil 'nature'. Was the Black Death good, by this definition?
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
All moral virtue is concerned with bodily pleasure and pain [Aristotle]
     Full Idea: All moral virtue is concerned with bodily pleasure and pain.
     From: Aristotle (Physics [c.337 BCE], 247a08)
     A reaction: Not to be misunderstood. The 'intellectual virtues' are different, for one thing. And he is not implying hedonism, but that moral virtue concerns our judgements and habits in relation to pleasure and pain. What do we count as acceptable pleasures?
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
The way you spend your time will form your character [Antiphon]
     Full Idea: One's character must necessarily grow like that with which one spends the greater part of the day.
     From: Antiphon (fragments/reports [c.439 BCE], B62), quoted by John Stobaeus - Anthology 3.31.41
24. Political Theory / D. Ideologies / 2. Anarchism
Nothing is worse for mankind than anarchy [Antiphon]
     Full Idea: Nothing is worse for mankind than anarchy.
     From: Antiphon (fragments/reports [c.439 BCE], B61), quoted by (who?) - where?
26. Natural Theory / A. Speculations on Nature / 1. Nature
Nature is a principle of change, so we must understand change first [Aristotle]
     Full Idea: Nature is the subject of our enquiry, and nature is a principle of change, so if we do not understand the process of change, we will not understand nature either.
     From: Aristotle (Physics [c.337 BCE], 200b12)
     A reaction: This is a very distinctively Greek attitude which doesn't seem to concern us much, but perhaps it should. Movement is just as fundamental as forces, particles and the rest that physicist talk about. Why do particles respond to forces?
'Nature' refers to two things - form and matter [Aristotle]
     Full Idea: 'Nature' refers to two things - that is, both to form and to matter.
     From: Aristotle (Physics [c.337 BCE], 194a12)
     A reaction: The 'New Essentialism' (e.g. book by Brian Ellis) seems to imply that matter is basic, and that form is the result of the essence of matter. They seem to have parted company with Aristotle. Does he think matter is created on Thursday, and form on Friday?
Nothing natural is disorderly, because nature is responsible for all order [Aristotle]
     Full Idea: Nothing natural - nothing due to nature - is disorderly, because in all things nature is responsible for order.
     From: Aristotle (Physics [c.337 BCE], 252a11)
     A reaction: This sounds dangerously tautological. What is responsible for disorder? If a forest is smashed up by an earthquake, 'order' doesn't sound like a good description of the result. It is certainly no more orderly than if people smash the forest.
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / a. Final purpose
Nature has purpose, and aims at what is better. Is it coincidence that crops grow when it rains? [Aristotle]
     Full Idea: What is wrong with the idea that nature does not act purposively, and does not do things because they are better? The proper analogy is the idea that it is sheer coincidence that the crops grow when it rains.
     From: Aristotle (Physics [c.337 BCE], 198b16)
     A reaction: In this context, it simply never occurred to Aristotle to give a causal explanation instead of a purposive one. Or that he had got it the wrong way round - growth of crops is 'for the better' only because we eat them, but are we 'for the better'?
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / b. Limited purposes
Teeth and crops are predictable, so they cannot be mere chance, but must have a purpose [Aristotle]
     Full Idea: Things such as teeth and crops turn out as they do either always or usually, whereas no chance or spontaneous event does. ..So, given that these things cannot be accidents or spontaneous events, they must have some purpose.
     From: Aristotle (Physics [c.337 BCE], 199b33)
     A reaction: This is a good argument, and Darwin's theory does not destroy it. We have no idea why there is order, regularity and pattern in nature. Aristotle does not leap to a divine explanation. The 'purpose' of things might be non-conscious.
A thing's purpose is ambiguous, and from one point of view we ourselves are ends [Aristotle]
     Full Idea: From one point of view we too are ends. What a thing is for is ambiguous.
     From: Aristotle (Physics [c.337 BCE], 194a35)
     A reaction: A really interesting concession from the great teleologist. This opens up what I think of as the 'existentialist' possibility - that we can invent our own purposes. If there are two types of 'telos', which one matters for morality?
The nature of a thing is its end and purpose [Aristotle]
     Full Idea: The nature of a thing is its end and purpose.
     From: Aristotle (Physics [c.337 BCE], 194a29)
     A reaction: Cf 5084. This is the teleologists' manifesto, but it is very hard to find out why Aristotle took this view. He seems to offer it as self-evident. What would he have made of the proposal that there is no ultimate purpose to anything?
26. Natural Theory / A. Speculations on Nature / 3. Natural Function
Is ceasing-to-be unnatural if it happens by force, and natural otherwise? [Aristotle]
     Full Idea: If what happens by force is unnatural, then forced ceasing-to-be is unnatural, and is opposed to natural ceasing to be.
     From: Aristotle (Physics [c.337 BCE], 230a29)
     A reaction: This is an important matter for Aristotle, who needs a concept of 'unnatural' behaviour for his ethics. Our law enshrines the idea of 'death by natural causes'. But 'force' needs discussion. Why is a hitman unnatural, and lightning natural?
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Continuity depends on infinity, because the continuous is infinitely divisible [Aristotle]
     Full Idea: In defining continuity one is almost bound to rely on the notion of infinity; it is because the continuous is what is infinitely divisible.
     From: Aristotle (Physics [c.337 BCE], 200b18)
     A reaction: Parmenides and the Achilles Paradox lie behind this view, and the fact that Aristotle was opposed to the view that some things are indivisible ('atomism'). Nice point, though - that space and time immediately imply the infinite.
The heavens seem to be infinite, because we cannot imagine their end [Aristotle]
     Full Idea: The region beyond the heavens seems to be infinite because it does not give out in our thoughts.
     From: Aristotle (Physics [c.337 BCE], 203b25)
     A reaction: An interesting case of inconceivability (of a limit) implying impossibility. But it is undeniable that the outer limit of the cosmos is unimaginable for us. Is there a 'Road Closed' sign?
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter
Matter desires form, as female desires male, and ugliness desires beauty [Aristotle]
     Full Idea: What desires the form is matter, as the female the male, and the ugly the beautiful.
     From: Aristotle (Physics [c.337 BCE], 192a22)
     A reaction: Wow! This is a very active view of matter. The drive in nature (the 'conatus' in Spinoza) can be discerned in all sorts of levels. It is Nietzsche's will to power. It seems to be the opposite of entropy.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
When Aristotle's elements compound they are stable, so why would they ever separate? [Weisberg/Needham/Hendry on Aristotle]
     Full Idea: It is not easy to understand what would induce a compound to dissociate into its elements on Aristotle's theory, which seems entirely geared to showing how a stable equilibrium results from mixing.
     From: comment on Aristotle (Physics [c.337 BCE]) by Weisberg/Needham/Hendry - Philosophy of Chemistry 1.1
26. Natural Theory / C. Causation / 2. Types of cause
The 'form' of a thing explains why the matter constitutes that particular thing [Aristotle, by Politis]
     Full Idea: By the form of a thing, such as a changing human being, Aristotle means that which explains why the matter of this particular thing constitutes the thing that it constitutes: a particular human being.
     From: report of Aristotle (Physics [c.337 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.4
     A reaction: If Politis is right then clearly the so-called 'formal cause' is much better understood as the 'formal explanation'. The Greek word for cause/explanation is 'aitia'.
A 'material' cause/explanation is the form of whatever is the source [Aristotle, by Politis]
     Full Idea: In the 'material cause/explanation', it is especially important to emphasise Aristotle's view that it is not simply the parent that generates the offspring, but the form of the parent.
     From: report of Aristotle (Physics [c.337 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.4
Causes produce a few things in their own right, and innumerable things coincidentally [Aristotle]
     Full Idea: A cause may be a cause either in its own right or coincidentally. The cause in its own right of a house is house-building ability, but a house may coincidentally be caused by something pale or educated. ..There could be infinite coincidental causes.
     From: Aristotle (Physics [c.337 BCE], 196b25)
     A reaction: If we seriously want to identify THE cause of an event, this distinction seems useful, even though a cause 'in its own right' is a rather loose locution. It leads on to analyses of necessary and sufficient conditions.
26. Natural Theory / C. Causation / 3. Final causes
The four causes are the material, the form, the source, and the end [Aristotle]
     Full Idea: The first type of cause is that from which a thing is made (bronze of a statue); the second type is the form or pattern (ratio 2:1 for the octave); the third is the source (the deviser of a plan); the fourth type is the end (as health causes walking).
     From: Aristotle (Physics [c.337 BCE], 194b23-)
     A reaction: [Compressed quotation] These four became known as the Material Cause, the Formal Cause, the Efficient Cause, and the Final Cause. For a statue they are the bronze, the shape, the sculptor, and the beauty. We now focus on the Efficient Cause.
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
To cite facts as the elements in causation is to confuse states of affairs with states of objects [Lowe]
     Full Idea: Philosophers who have advocated facts as being causal relata have confused them with states, such as a stone's being heavy; they are guilty of confusing states of affairs with states of objects.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 11.3)
     A reaction: A state of an object can be individuated rather more precisely than a fact or state of affairs. There are, of course, vast numbers of states of objects, but only a few states of affairs, involved in (say) the fall of the Berlin Wall.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Scientists must know the essential attributes of the things they study [Aristotle]
     Full Idea: It would be strange for a natural scientist to know what the sun and the moon are, but to be completely ignorant about their necessary attributes.
     From: Aristotle (Physics [c.337 BCE], 193b27)
     A reaction: This nicely captures the common sense idea of essentialism - that we must know the essential features of things, and ignore the incidental ones (like sunspots, or phases of the moon).
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
If movement can arise within an animal, why can't it also arise in the universe? [Aristotle]
     Full Idea: Movement can arise within a motionless animal out of the object itself, rather than being due to some external agent. But why should this not also be true of the universe?
     From: Aristotle (Physics [c.337 BCE], 252b24)
     A reaction: A nice objection to the Unmoved Mover concept of God. Unfortunately it is ruined by the modern realisation that an animal is never 'motionless', because brain activity is continuous, and ceases only with death.
When there is unnatural movement (e.g. fire going downwards) the cause is obvious [Aristotle]
     Full Idea: Examples of unnatural movements are something earthy moving upwards and fire moving downwards. …When they are moved unnaturally it is obvious what they are moved by, but this is not obvious in the case of their natural movements.
     From: Aristotle (Physics [c.337 BCE], 254b21)
     A reaction: Aristotle always struggles when he tries to give an account of 'unnatural' events. It is hard to see how it is unnatural when a wind blows a flame down, or volcanoes blow earth up. There is hardly a natural distinction of causes which are 'obvious'.
Motion fulfils potentiality [Aristotle]
     Full Idea: Motion is the fulfilment of what exists potentially, in so far as it exists potentially.
     From: Aristotle (Physics [c.337 BCE], 201a10-11), quoted by Rowland Stout - Action 6 'Two'
     A reaction: We might put that as 'all motion is the fulfilment of a natural power'. But that gives the source of motion, and not its intrinsic nature.
27. Natural Reality / C. Space / 3. Points in Space
Points are limits of parts of space, so parts of space cannot be aggregates of them [Lowe]
     Full Idea: Points are limits of parts of space, in which case parts of space cannot be aggregates of them.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 3.9)
     A reaction: To try to build space out of points (how many per cc?) is fairly obviously asking for trouble, but Lowe articulates nicely why it is a non-starter.
27. Natural Reality / C. Space / 4. Substantival Space
If everything has a place, this causes an infinite regress, because each place must have place [Aristotle]
     Full Idea: If place is an existing thing, then it will exist somewhere. For Zeno's puzzle needs explaining: if every existing thing is in place, an infinite regress occurs, because there will clearly have to be a place for place.
     From: Aristotle (Physics [c.337 BCE], 209a23)
     A reaction: This seems to be the basic dilemma with space. If it exists independently, it requires a location, but if it doesn't exist, how can anything have a location? Neither Newton, Leibniz nor Einstein seem to have solved the dilemma.
The universe as a whole is not anywhere [Aristotle]
     Full Idea: The universe as a whole is not anywhere.
     From: Aristotle (Physics [c.337 BCE], 212b14)
     A reaction: This is what we pay philosophers for! Point out all the things which are staring us in the face, but we have never actually noticed. 'Everything that exists must have a location'? Can this truism really be false?
27. Natural Reality / C. Space / 5. Relational Space
Place is not shape, or matter, or extension between limits; it is the limits of a body [Aristotle]
     Full Idea: Place must be one of four things: shape, or matter, or some kind of extension between the limits of the container, or the limits themselves. …The first three can evidently be ruled out…so it must be the limit of the containing body.
     From: Aristotle (Physics [c.337 BCE], 211b06)
     A reaction: As it stands this doesn't have much intuitive appeal. It is rather difficult to define a 'limit' without making some reference to 'space' and 'place'. One must read this chunk of Aristotle to see his drift.
27. Natural Reality / D. Time / 1. Nature of Time / b. Relative time
If there were many cosmoses, each would have its own time, giving many times [Aristotle]
     Full Idea: If there were a plurality of heavens, in the same way the movement of each of them would be a time, so that many times would coexist.
     From: Aristotle (Physics [c.337 BCE], 218b3)
     A reaction: I take it that for Aristotle this is an absurdity, but for a modern cosmologist this is a real possibility. So which one is fastest? Can God rank them according to speed?
27. Natural Reality / D. Time / 1. Nature of Time / c. Idealist time
It is unclear whether time depends on the existence of soul [Aristotle]
     Full Idea: One might find it a difficult question, whether if there were no soul there would be time or not.
     From: Aristotle (Physics [c.337 BCE], 223a22)
     A reaction: If only we could arrange a meeting with Kant. Personally I take it to be simple - obviously time passed before minds emerged in the universe. Our whole modern account of reality realies on it. His problem is that only souls count things.
Would there be time if there were no mind? [Aristotle]
     Full Idea: It might be wondered whether or not there would be time if there were not mind.
     From: Aristotle (Physics [c.337 BCE], 223a21)
     A reaction: I like his caution. Some people leap to the conclusion that time is a product of mind. Personally (with my strongly realist tendencies) I don't believe it.
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
For Aristotle time is not a process but a means for measuring processes [Aristotle, by Bardon]
     Full Idea: For Aristotle time is not a process: It is a kind of 'number' or unit that can be used to describe processes in nature, analagous to the way ordinary numbers can be used to count things.
     From: report of Aristotle (Physics [c.337 BCE]) by Adrian Bardon - Brief History of the Philosophy of Time 1 'Aristotle's'
     A reaction: Bardon cites this when discussing Aristotle on Zeno's paradoxes. If the equivalent idea of length is that length is merely rulers for measuring it, this sounds like a bad idea. But if processes occur in time, how could time be a process?
Time does not exist without change [Aristotle]
     Full Idea: Time does not exist without change.
     From: Aristotle (Physics [c.337 BCE], 218b32)
     A reaction: His reasons are epistemological, and are nicely attacked by Shoemaker, in 'Time without Change'. There is something intuitively wrong about Aristotle's claim. If reality freezes, then 'how long was it frozen?' is a quite reasonable question.
Time is an aspect of change [Aristotle]
     Full Idea: Time is not change, but it is an aspect of change.
     From: Aristotle (Physics [c.337 BCE], 219a09)
     A reaction: I can't think of a better definition of time. Intuition says that time could continue when all change stopped (the 'frozen worlds' thought experiment), so that we can distinguish time from the change that gave rise to it (or the idea of it).
Time measures rest, as well as change [Aristotle]
     Full Idea: Since time is the measure of change, it will be measure of rest also.
     From: Aristotle (Physics [c.337 BCE], 221b07)
     A reaction: The thought seems to be that change leads us to a system of temporal measurement, which is then available fro measurement periods of rest. But totally eventless time would be a problem. Aristotle had no clocks.
Time is not change, but the number we associate with change [Aristotle]
     Full Idea: Time is a number of change in respect of the before and after. So time is not change but in the way in which change has a number. We discern the greater and the less by number, and greater and less change by time. Hence time is a kind of number.
     From: Aristotle (Physics [c.337 BCE], 219b01)
     A reaction: This is Aristotle's firmest assertion of the nature of time. It seems to be false to say that we need number in order to discern size (e.g. seeing who was given the biggest slice of cake). Surely we discern time before we measure it?
Change only exists in time through its being temporally measure [Aristotle]
     Full Idea: Time measures at once the change and the being of change, and this is what it is, for the change, to be in time, viz. its being's being measured. …This is what it is to be in time: their being's being measured by time.
     From: Aristotle (Physics [c.337 BCE], 221a05)
     A reaction: Among other things, this would presumably mean that animals are unaware of change, which seems unlikely. He may have a relaxed and intuitive (rather than precise) concept of 'measured'.
27. Natural Reality / D. Time / 1. Nature of Time / i. Denying time
How can time exist, when it is composed of what has ceased to be and is yet to be? [Aristotle]
     Full Idea: Some of time has been and is not, some of it is to be and is not yet. …But it would seem to be impossible that what is composed of things that are not should participate in being.
     From: Aristotle (Physics [c.337 BCE], 217b33)
     A reaction: This is his opening remark in the discussion of time, and he seems to be endorsing it, since he thinks of time as a form of measurement of change.
If all of time has either ceased to exist, or has not yet happened, maybe time does not exist [Aristotle]
     Full Idea: Some suspicion arises that time does not exist, since some of it has happened and does not exist, and some of it is in the future and does not yet exist. It appears impossible for anything that consists of things that do not exist to exist itself.
     From: Aristotle (Physics [c.337 BCE], 217b34)
     A reaction: This generates the popular paradox that Socrates cannot die, because no moment exists when his death could occur. It may be (as David Marshall has pointed out) that we do not experience the present, but only a vivid memory of the immediate past.
27. Natural Reality / D. Time / 2. Passage of Time / a. Experience of time
Time is not change, but requires change in our minds to be noticed [Aristotle]
     Full Idea: Time is not change … but time is not without change, for without any change (or any noticeable change) in our minds, time does not seem to pass.
     From: Aristotle (Physics [c.337 BCE], 218b19)
     A reaction: Aristotle has spotted what seems to be a key problem in understanding time, which is disentangling what occurs in nature from what occurs in our consciousness. The extreme views (naïve realism about time, or the view that it is imaginary) both seem wrong.
27. Natural Reality / D. Time / 2. Passage of Time / e. Tensed (A) series
The present moment is obviously a necessary feature of time [Aristotle]
     Full Idea: It is manifest that if time were not, the now would not be either, and if the now were not, time would not be.
     From: Aristotle (Physics [c.337 BCE], 219b33)
     A reaction: I take this to be Aristotle's commitment to the A-series view, which needs a moving present moment. Despite Einstein and B-series eternalism, I remain in agreement with Aristotle. B-series fans struggle like theologians to explain 'now'.
27. Natural Reality / D. Time / 2. Passage of Time / h. Change in time
Unlike time, change goes at different rates, and is usually localised [Aristotle, by Le Poidevin]
     Full Idea: Aristotle says time could not be the same thing as change, for first change can go at different rates, but not so time, and secondly change is confined to a part of space whereas time is universal.
     From: report of Aristotle (Physics [c.337 BCE], 218b11-) by Robin Le Poidevin - Travels in Four Dimensions 02 'As Change'
     A reaction: The observation that the speed of change varies seems to need a belief in uniform time. Le Poidevin doubts Aristotle's objections, because the theory concerns change in general, and not particular instances of it.
27. Natural Reality / D. Time / 3. Parts of Time / b. Instants
Time has parts, but the now is not one of them, and time is not composed of nows [Aristotle]
     Full Idea: Time has parts, some of which have been, others of which are going to be, but no part of it is. The now is not a part, because a part is a measure of the whole, which must be composed of parts. Time, however, does not seem to be composed of nows.
     From: Aristotle (Physics [c.337 BCE], 218a05), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 18.1
     A reaction: As good an expression as you will ever find of the baffling nature of time. Only the past and the future seem substantial enough to exist. Only the now can be real, and yet it seems to be a nothing. In Phys IV.14 time is mind-dependent.
Nows can't be linked together, any more than points on a line [Aristotle]
     Full Idea: We take it that it is impossible for the nows to be adjoining one another, as it is for a point to be adjoining a point.
     From: Aristotle (Physics [c.337 BCE], 218a18)
     A reaction: This implies that instants are abstractions, rather than physical realities. Aristotle rejects atoms, so presumably sees prime matter as the underlying uniter of matter. Insistence on linking the smallest parts leads to modern physics.
27. Natural Reality / D. Time / 3. Parts of Time / d. Measuring time
Circular motion is the most obvious measure of time, and especially the celestial sphere [Aristotle]
     Full Idea: Uniform circular motion is most of all a measure, because the number of this is most easily known. …This is why time is thought to be the motion of the [celestial] sphere, because the other changes are measured by this one.
     From: Aristotle (Physics [c.337 BCE], 223b14)
     A reaction: This makes the year the basic unit of time for the human race. Apparently minutes only became of interest when railway timetables appeared in the 1850s.
We measure change by time, and time by change, as they are interdefined [Aristotle]
     Full Idea: Not only do we measure change by time, but time by change also, because they are defined by one another.
     From: Aristotle (Physics [c.337 BCE], 220b14)
     A reaction: He defends the idea that time is the 'number' of change, but this idea should sound a warning bell. He rejects the idea that time IS change. It is seems instrumentalist to make the existence of time depend on its measurement.
27. Natural Reality / D. Time / 3. Parts of Time / e. Present moment
We can't tell whether the changing present moment is one thing, or a succession of things [Aristotle]
     Full Idea: It is not easy to see whether the now, which appears to be the boundary between past and future, remains always one and the same or is different from time to time.
     From: Aristotle (Physics [c.337 BCE], 218a08)
     A reaction: [also 219b13] Presumably the A-series view suggests that each present moment is different, but Broad's moving spotlight analogy gives the impression of a single present instant moving through time. If the present is one, what sort of thing is it?
The present moment is a link (of past to future), and also a limit (of past and of future) [Aristotle]
     Full Idea: The now is a link of time, for it links together past and future time, and is a limit of time, since it is a beginning of one and an end of the other.
     From: Aristotle (Physics [c.337 BCE], 222a10)
     A reaction: It is not clear how a limit (such as the boundary between two overlapping bits of paper) can also be a 'link'. He noticed the problem in Idea 22958.
27. Natural Reality / E. Cosmology / 2. Eternal Universe
Do things come to be from what is, or from what is not? Both seem problematical. [Aristotle]
     Full Idea: Early thinkers made the mistake of claiming that nothing comes to be or ceases to be, on the grounds that for anything to come to be it would have to come either from what is or from what is not, but that neither of these is possible.
     From: Aristotle (Physics [c.337 BCE], 191a27)
     A reaction: Nothing in modern physics has (I think) solved this problem. On the one hand we have the conservation of energy, and on the other the Big Bang. Some talk of 'quantum fluctuations' triggering coming-to-be. Hm.
28. God / A. Divine Nature / 2. Divine Nature
The source of all movement must be indivisible and have no magnitude [Aristotle]
     Full Idea: We proved that there cannot be an infinite magnitude, and that it is impossible for something finite to have infinite power, but the first agent of movement causes eternal movement for an infinite time, so it must be indivisible and have no parts or size.
     From: Aristotle (Physics [c.337 BCE], 267b19)
     A reaction: Note that Aristotle is already attributing 'infinite power' to this special thing. It is more than just a first domino to fall over. Its having no size quickly takes it outside of space, and makes it a 'spirit'. We are watching the construction of God.