133 ideas
5082 | 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. |
9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
Full Idea: The standard requirement of definitions involves 'eliminability' (any defined terms must be replaceable by primitives) and 'non-creativity' (proofs of theorems should not depend on the definition). | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
A reaction: [He cites Russell and Whitehead as a source for this view] This is the austere view of the mathematician or logician. But almost every abstract concept that we use was actually defined in a creative way. |
9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
Full Idea: The set-theory account of infinity doesn't just say that we can keep on counting, but that the natural numbers are an actual infinite set. This is necessary to make sense of the powerset of ω, as the set of all its subsets, and thus even bigger. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
A reaction: I don't personally find this to be sufficient reason to commit myself to the existence of actual infinities. In fact I have growing doubts about the whole role of set theory in philosophy of mathematics. Shows how much I know. |
9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
Full Idea: In the early versions of set theory ('naïve' set theory), the axiom of comprehension assumed that for any condition there is a set of objects satisfying that condition (so P(x)↔x∈{x:P(x)}), but this led directly to Russell's Paradox. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
A reaction: How rarely any philosophers state this problem clearly (as Brown does here). This is incredibly important for our understanding of how we classify the world. I'm tempted to just ignore Russell, and treat sets in a natural and sensible way. |
9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
Full Idea: In current set theory Russell's Paradox is avoided by saying that a condition can only be defined on already existing sets. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
A reaction: A response to Idea 9613. This leaves us with no account of how sets are created, so we have the modern notion that absolutely any grouping of daft things is a perfectly good set. The logicians seem to have hijacked common sense. |
9617 | The 'iterative' view says sets start with the empty set and build up [Brown,JR] |
Full Idea: The modern 'iterative' concept of a set starts with the empty set φ (or unsetted individuals), then uses set-forming operations (characterized by the axioms) to build up ever more complex sets. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
A reaction: The only sets in our system will be those we can construct, rather than anything accepted intuitively. It is more about building an elaborate machine that works than about giving a good model of reality. |
9642 | A flock of birds is not a set, because a set cannot go anywhere [Brown,JR] |
Full Idea: Neither a flock of birds nor a pack of wolves is strictly a set, since a flock can fly south, and a pack can be on the prowl, whereas sets go nowhere and menace no one. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
A reaction: To say that the pack menaced you would presumably be to commit the fallacy of composition. Doesn't the number 64 have properties which its set-theoretic elements (whatever we decide they are) will lack? |
13270 | 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. |
9605 | If a proposition is false, then its negation is true [Brown,JR] |
Full Idea: The law of excluded middle says if a proposition is false, then its negation is true | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
A reaction: Surely that is the best statement of the law? How do you write that down? ¬(P)→¬P? No, because it is a semantic claim, not a syntactic claim, so a truth table captures it. Semantic claims are bigger than syntactic claims. |
9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
Full Idea: The three views one could adopt concerning axioms are that they are self-evident truths, or that they are arbitrary stipulations, or that they are fallible attempts to describe how things are. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
A reaction: Presumably modern platonists like the third version, with others choosing the second, and hardly anyone now having the confidence to embrace the first. |
9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
Full Idea: Berry's Paradox refers to 'the least integer not namable in fewer than nineteen syllables' - a paradox because it has just been named in eighteen syllables. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
A reaction: Apparently George Boolos used this quirky idea as a basis for a new and more streamlined proof of Gödel's Theorem. Don't tell me you don't find that impressive. |
9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
Full Idea: Mathematics seems to be the one and only place where we humans can be absolutely sure that we got it right. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
A reaction: Apart from death and taxes, that is. Personally I am more certain of the keyboard I am typing on than I am of Pythagoras's Theorem, but the experts seem pretty confident about the number stuff. |
9790 | 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. |
9622 | 'There are two apples' can be expressed logically, with no mention of numbers [Brown,JR] |
Full Idea: 'There are two apples' can be recast as 'x is an apple and y is an apple, and x isn't y, and if z is an apple it is the same as x or y', which makes no appeal at all to mathematics. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
A reaction: He cites this as the basis of Hartry Field's claim that science can be done without numbers. The logic is ∃x∃y∀z(Ax&Ay&(x¬=y)&(Az→z=x∨z=y)). |
22962 | 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. |
9648 | π is a 'transcendental' number, because it is not the solution of an equation [Brown,JR] |
Full Idea: The number π is not only irrational, but it is also (unlike √2) a 'transcendental' number, because it is not the solution of an algebraic equation. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
A reaction: So is that a superficial property, or a profound one? Answers on a post card. |
9621 | Mathematics represents the world through structurally similar models. [Brown,JR] |
Full Idea: Mathematics hooks onto the world by providing representations in the form of structurally similar models. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
A reaction: This is Brown's conclusion. It needs notions of mapping, one-to-one correspondence, and similarity. I like the idea of a 'model', as used in both logic and mathematics, and children's hobbies. The mind is a model-making machine. |
18090 | 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. |
22929 | 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. |
22930 | 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. |
18833 | 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. |
9646 | There is no limit to how many ways something can be proved in mathematics [Brown,JR] |
Full Idea: I'm tempted to say that mathematics is so rich that there are indefinitely many ways to prove anything - verbal/symbolic derivations and pictures are just two. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 9) | |
A reaction: Brown has been defending pictures as a form of proof. I wonder how long his list would be, if we challenged him to give more details? Some people have very low standards of proof. |
9647 | Computers played an essential role in proving the four-colour theorem of maps [Brown,JR] |
Full Idea: The celebrity of the famous proof in 1976 of the four-colour theorem of maps is that a computer played an essential role in the proof. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
A reaction: The problem concerns the reliability of the computers, but then all the people who check a traditional proof might also be unreliable. Quis custodet custodies? |
9643 | Set theory may represent all of mathematics, without actually being mathematics [Brown,JR] |
Full Idea: Maybe all of mathematics can be represented in set theory, but we should not think that mathematics is set theory. Functions can be represented as order pairs, but perhaps that is not what functions really are. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
A reaction: This seems to me to be the correct view of the situation. If 2 is represented as {φ,{φ}}, why is that asymmetrical? The first digit seems to be the senior and original partner, but how could the digits of 2 differ from one another? |
9644 | When graphs are defined set-theoretically, that won't cover unlabelled graphs [Brown,JR] |
Full Idea: The basic definition of a graph can be given in set-theoretic terms,...but then what could an unlabelled graph be? | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
A reaction: An unlabelled graph will at least need a verbal description for it to have any significance at all. My daily mood-swings look like this.... |
9625 | To see a structure in something, we must already have the idea of the structure [Brown,JR] |
Full Idea: Epistemology is a big worry for structuralists. ..To conjecture that something has a particular structure, we must already have conceived of the idea of the structure itself; we cannot be discovering structures by conjecturing them. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
A reaction: This has to be a crucial area of discussion. Do we have our heads full of abstract structures before we look out of the window? Externalism about the mind is important here; mind and world are not utterly distinct things. |
9628 | Sets seem basic to mathematics, but they don't suit structuralism [Brown,JR] |
Full Idea: Set theory is at the very heart of mathematics; it may even be all there is to mathematics. The notion of set, however, seems quite contrary to the spirit of structuralism. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
A reaction: So much the worse for sets, I say. You can, for example, define ordinality in terms of sets, but that is no good if ordinality is basic to the nature of numbers, rather than a later addition. |
9606 | The irrationality of root-2 was achieved by intellect, not experience [Brown,JR] |
Full Idea: We could not discover irrational numbers by physical measurement. The discovery of the irrationality of the square root of two was an intellectual achievement, not at all connected to sense experience. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
A reaction: Brown declares himself a platonist, and this is clearly a key argument for him, and rather a good one. Hm. I'll get back to you on this one... |
9974 | 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. |
9612 | There is an infinity of mathematical objects, so they can't be physical [Brown,JR] |
Full Idea: A simple argument makes it clear that all mathematical arguments are abstract: there are infinitely many numbers, but only a finite number of physical entities, so most mathematical objects are non-physical. The best assumption is that they all are. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
A reaction: This, it seems to me, is where constructivists score well (cf. Idea 9608). I don't have an infinity of bricks to build an infinity of houses, but I can imagine that the bricks just keep coming if I need them. Imagination is what is unbounded. |
9610 | Numbers are not abstracted from particulars, because each number is a particular [Brown,JR] |
Full Idea: Numbers are not 'abstract' (in the old sense, of universals abstracted from particulars), since each of the integers is a unique individual, a particular, not a universal. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
A reaction: An interesting observation which I have not seen directly stated before. Compare Idea 645. I suspect that numbers should be thought of as higher-order abstractions, which don't behave like normal universals (i.e. they're not distributed). |
9620 | Empiricists base numbers on objects, Platonists base them on properties [Brown,JR] |
Full Idea: Perhaps, instead of objects, numbers are associated with properties of objects. Basing them on objects is strongly empiricist and uses first-order logic, whereas the latter view is somewhat Platonistic, and uses second-order logic. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
A reaction: I don't seem to have a view on this. You can count tomatoes, or you can count red objects, or even 'instances of red'. Numbers refer to whatever can be individuated. No individuation, no arithmetic. (It's also Hume v Armstrong on laws on nature). |
9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
Full Idea: For the instinctive nominalist in mathematics, there are no numbers, only numerals. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
A reaction: Maybe. A numeral is a specific sign, sometimes in a specific natural language, so this seems to miss the fact that cardinality etc are features of reality, not just conventions. |
9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
Full Idea: Are there mathematical properties which can only be discovered using a particular notation? | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 6) | |
A reaction: If so, this would seem to be a serious difficulty for platonists. Brown has just been exploring the mathematical theory of knots. |
9630 | The most brilliant formalist was Hilbert [Brown,JR] |
Full Idea: In mathematics, the most brilliant formalist of all was Hilbert | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
A reaction: He seems to have developed his fully formalist views later in his career. See Mathematics|Basis of Mathematic|Formalism in our thematic section. Kreisel denies that Hilbert was a true formalist. |
9608 | There are no constructions for many highly desirable results in mathematics [Brown,JR] |
Full Idea: Constuctivists link truth with constructive proof, but necessarily lack constructions for many highly desirable results of classical mathematics, making their account of mathematical truth rather implausible. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
A reaction: The tricky word here is 'desirable', which is an odd criterion for mathematical truth. Nevertheless this sounds like a good objection. How flexible might the concept of a 'construction' be? |
9645 | Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR] |
Full Idea: If we define p as '3 if Goldbach's Conjecture is true' and '5 if Goldbach's Conjecture is false', it seems that p must be a prime number, but, amazingly, constructivists would not accept this without a proof of Goldbach's Conjecture. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 8) | |
A reaction: A very similar argument structure to Schrödinger's Cat. This seems (as Brown implies) to be a devastating knock-down argument, but I'll keep an open mind for now. |
5105 | 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'? |
22960 | 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. |
16115 | 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. |
17262 | 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? |
9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
Full Idea: David's painting of Napoleon (on a white horse) is a 'picture' of Napoleon, and a 'symbol' of leadership, courage, adventure. It manages to be about something concrete and something abstract. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 3) | |
A reaction: This strikes me as the germ of an extremely important idea - that abstraction is involved in our perception of the concrete, so that they are not two entirely separate realms. Seeing 'as' involves abstraction. |
16656 | 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. |
16644 | 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. |
5117 | 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. |
17041 | 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. |
16172 | 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. |
16623 | 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. |
16174 | 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. |
17043 | 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? |
16970 | 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. |
16104 | 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. |
11255 | 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. |
16791 | 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. |
9071 | 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. |
16972 | 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. |
5084 | 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. |
16173 | 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'. |
17042 | 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. |
16691 | 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? |
16574 | 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. |
11254 | 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. |
13106 | 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. |
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. |
13110 | 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. |
8331 | 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. |
5080 | 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…? |
16969 | 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. |
11250 | 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'. |
12045 | 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. |
16968 | 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). |
13109 | 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. |
5952 | Rather than being the whole soul, maybe I am its chief part? [Plutarch] |
Full Idea: Is each of us not the soul, but the chief part of the soul, by which we think and reason and act, all the other parts of soul as well as of body being mere instruments of its power? | |
From: Plutarch (74: Reply to Colotes [c.85], §1119) | |
A reaction: Socrates is associated with the idea that I am my whole soul (Idea 1650). Plutarch represents an interesting development, which may lead both to the Christian 'soul' and to the Cartesian 'ego'. I think Plutarch is right, but what is the 'soul'? |
5951 | If atoms have no qualities, they cannot possibly produce a mind [Plutarch] |
Full Idea: Perception, mind, intelligence and thought cannot so much as be conceived, even with the best will, as arising among void and atoms, things which taken separately have no quality. | |
From: Plutarch (74: Reply to Colotes [c.85], §1112) | |
A reaction: A nice articulation of the intuition of all anti-physicalists. Plutarch would have to rethink his position carefully if he learned of the sheer number of connections in the brain, and of the theory of natural selection. His challenge remains, though. |
9611 | 'Abstract' nowadays means outside space and time, not concrete, not physical [Brown,JR] |
Full Idea: The current usage of 'abstract' simply means outside space and time, not concrete, not physical. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
A reaction: This is in contrast to Idea 9609 (the older notion of being abstracted). It seems odd that our ancestors had a theory about where such ideas came from, but modern thinkers have no theory at all. Blame Frege for that. |
9609 | The older sense of 'abstract' is where 'redness' or 'group' is abstracted from particulars [Brown,JR] |
Full Idea: The older sense of 'abstract' applies to universals, where a universal like 'redness' is abstracted from red particulars; it is the one associated with the many. In mathematics, the notion of 'group' or 'vector space' perhaps fits this pattern. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
A reaction: I am currently investigating whether this 'older' concept is in fact dead. It seems to me that it is needed, as part of cognitive science, and as the crucial link between a materialist metaphysic and the world of ideas. |
9789 | 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. |
9788 | 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? |
9640 | A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR] |
Full Idea: In addition to the sense and reference of term, there is the 'computational' role. The name '2' has a sense (successor of 1) and a reference (the number 2). But the word 'two' has little computational power, Roman 'II' is better, and '2' is a marvel. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 6) | |
A reaction: Very interesting, and the point might transfer to natural languages. Synonymous terms carry with them not just different expressive powers, but the capacity to play different roles (e.g. slang and formal terms, gob and mouth). |
5107 | 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. |
20796 | Action needs an affinity for a presentation, and an impulse toward the affinity [Plutarch] |
Full Idea: The sceptics say there are three movements of the soul: presentation, impulse and assent. …And action requires two things: a presentation of something to which one has an affinity, and an impulse toward what is presented as an object of affinity. | |
From: Plutarch (74: Reply to Colotes [c.85], 1122c) | |
A reaction: Not much reasoning involved in this account, which the sceptics say is compatible with suspension of judgement. |
20042 | 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. |
5110 | 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? |
5111 | 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? |
5948 | The good life involves social participation, loyalty, temperance and honesty [Plutarch] |
Full Idea: To live the good life is to live a life of participation in society, of loyalty to friends, of temperance and honest dealing. | |
From: Plutarch (74: Reply to Colotes [c.85], §1108) | |
A reaction: 'Participation in society' is the interesting one. This might translate as 'doing your duty', or as 'leading a well-rounded life'. Solitude is wrong if you are indebted to others, and it is unhealthy if you are not. Is solitude really immoral, though? |
5092 | 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? |
5113 | 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. |
5085 | '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? |
5089 | 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'? |
5086 | 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? |
5087 | 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? |
5091 | 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. |
5108 | 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? |
9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |
Full Idea: There seem to be no actual infinites in the physical realm. Given the correctness of atomism, there are no infinitely small things, no infinite divisibility. And General Relativity says that the universe is only finitely large. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
A reaction: If time was infinite, you could travel round in a circle forever. An atom has size, so it has a left, middle and right to it. Etc. They seem to be physical, so we will count those too. |
5095 | 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? |
5093 | 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. |
16762 | 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. |
17464 | 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 |
5950 | If only atoms exist, how do qualities arise when the atoms come together? [Plutarch] |
Full Idea: If you accept atomism, you must show how bodies without quality have given rise to qualities of every kind by the mere fact of coming together. For example, how has the quality called 'hot' been imposed on the atoms? | |
From: Plutarch (74: Reply to Colotes [c.85], §1111) | |
A reaction: This argument is still significant in current philosophy of mind. If temperature is 'mean kinetic energy', you are left wondering where the energy came from, and why minds experience the heat. This is the 'Hard Question'. |
11252 | 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'. |
11253 | 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 |
13107 | 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. |
8332 | 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. |
9787 | 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). |
20063 | 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. |
5114 | 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. |
5116 | 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'. |
5097 | 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. |
5099 | 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? |
5098 | 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. |
20920 | 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? |
5106 | 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. |
22967 | 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. |
8590 | 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. |
22965 | 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. |
5104 | 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). |
22885 | 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? |
22959 | 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? |
22964 | 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'. |
22956 | 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. |
5102 | 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. |
5103 | 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. |
22961 | 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'. |
22916 | 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. |
16693 | 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. |
22958 | 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. |
22968 | 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. |
22963 | 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. |
22966 | 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. |
22957 | 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? |
5083 | 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. |
5119 | 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. |
5955 | No one will ever find a city that lacks religious practices [Plutarch] |
Full Idea: A city without holy places and gods, without any observance of prayers, oaths, oracles, sacrifices for blessings received or rites to avert evils, no traveller has ever seen or will ever see. | |
From: Plutarch (74: Reply to Colotes [c.85], §1125) | |
A reaction: The nearest you might get would be Soviet Moscow, but in 1973 I saw a man there jeering at a woman who was kneeling in the street outside a closed church. Plutarch would be stunned at the decline in religious practices in modern Europe. |