153 ideas
| 18559 | Philosophy is empty if it does not in some way depend on matters of fact [Machery] |
| Full Idea: Save, maybe, for purely formal (e.g. logical) theories, philosophical claims whose correctness does not depend, however indirectly, on matters of fact are empty: they are neither true nor false. | |
| From: Edouard Machery (Doing Without Concepts [2009], Intro) | |
| A reaction: I subscribe to this view. I'd even say that logic is empty if it is not answerable to the facts. The facts are nature, so this is a naturalistic manifesto. |
| 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. |
| 16985 | Possible worlds allowed the application of set-theoretic models to modal logic [Kripke] |
| Full Idea: The main and the original motivation for the 'possible worlds analysis' - and the way it clarified modal logic - was that it enabled modal logic to be treated by the same set theoretic techniques of model theory used successfully in extensional logic. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.19 n18) | |
| A reaction: So they should be ascribed the same value that we attribute to classical model theory, whatever that is. |
| 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. |
| 16982 | A man has two names if the historical chains are different - even if they are the same! [Kripke] |
| Full Idea: Two totally distinct 'historical chains' that be sheer accident assign the same name to the same man should probably count as creating distinct names despite the identity of the referents. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.08 n9) | |
| A reaction: A nice puzzle for his own theory. 'What's you name?' 'Alice, and Alice!' |
| 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. |
| 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. |
| 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. |
| 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. |
| 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'? |
| 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. |
| 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. |
| 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? |
| 18564 | Do categories store causal knowledge, or typical properties, or knowledge of individuals? [Machery] |
| Full Idea: Psychologists have attempted to determine whether a concept of a category stores some causal knowledge about the members, some knowledge about their typical properties, or some knowledge about specific members. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.3.2) | |
| A reaction: I take there to be a psychological process of 'generalisation', so that knowledge of individuals is not and need not be retained. I am dubious about entities called 'properties', so I will vote for causal (including perceptual) knowledge. |
| 18604 | Are quick and slow categorisation the same process, or quite different? [Machery] |
| Full Idea: Are categorisation under time pressure and categorisation without time pressure ...two different cognitive competences? | |
| From: Edouard Machery (Doing Without Concepts [2009], 5.1.1) | |
| A reaction: This is a psychologist's question. Introspectively, they do seem to be rather different, as there is no time for theorising and explaining when you are just casting your eyes over the landscape. |
| 18573 | For each category of objects (such as 'dog') an individual seems to have several concepts [Machery] |
| Full Idea: I contend that the best available evidence suggests that for each category of objects an individual typically has several concepts. For instance, instead of having a single concept of dog, an individual has in fact several concepts of dog. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3) | |
| A reaction: Machery's book is a sustained defence of this hypothesis, with lots of examples from psychology. Any attempt by philosophers to give a neat and tidy account of categorisation looks doomed. |
| 18602 | A thing is classified if its features are likely to be generated by that category's causal laws [Machery] |
| Full Idea: A to-be-classified object is considered a category member to the extent that its features were likely to have been generated by the category's causal laws. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.4.4) | |
| A reaction: [from Bob Rehder, psychologist, 2003] This is an account of categorisation which arises from the Theory Theory view of concepts, of which I am a fan. I love this idea, which slots neatly into the account I have been defending. Locke would like this. |
| 18565 | There may be ad hoc categories, such as the things to pack in your suitcase for a trip [Machery] |
| Full Idea: There may be ad hoc categories, as when people think about the things to pack in a small suitcase for a trip abroad. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.4.1) | |
| A reaction: This seems to be obviously correct, though critics might say that 'category' is too grand a term for such a grouping. |
| 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. |
| 18570 | There may be several ways to individuate things like concepts [Machery] |
| Full Idea: Philosophers have rarely explained why they believe that there is a single correct way of individuating concepts. Many entities can be legitimately individuated in several ways. | |
| From: Edouard Machery (Doing Without Concepts [2009], 2.1.3) | |
| A reaction: I cite this under 'individuation' because I think that is a very garbled concept. I agree with this point, even though I don't really know exactly what individuation is supposed to be. |
| 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. |
| 16981 | With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke] |
| Full Idea: It is clear from (x)□(x=x) and Leibniz's Law that identity is an 'internal' relation: (x)(y)(x=y ⊃ □x=y). What pairs (w,y) could be counterexamples? Not pairs of distinct objects, …nor an object and itself. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.03) | |
| A reaction: I take 'internal' to mean that the necessity of identity is intrinsic to the item(s), and not imposed by some other force. |
| 4942 | The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke] |
| Full Idea: It seems to me that the Leibnizian principle of the indiscernibility of identicals (not to be confused with the identity of indiscernibles) is as self-evident as the law of contradiction. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.03) | |
| A reaction: This seems obviously correct, as it says no more than that a thing has whatever properties it has. If a difference is discerned, either you have made a mistake, or it isn't identical. |
| 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. |
| 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. |
| 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. |
| 16984 | I don't think possible worlds reductively reveal the natures of modal operators etc. [Kripke] |
| Full Idea: I do not think of 'possible worlds' as providing a reductive analysis in any philosophically significant sense, that is, as uncovering the ultimate nature, from either an epistemological or a metaphysical view, of modal operators, propositions etc. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.19 n18) | |
| A reaction: I think this remark opens the door for Kit Fine's approach, of showing what modality is by specifying its sources. Possible worlds model the behaviour of modal inferences. |
| 9385 | The very act of designating of an object with properties gives knowledge of a contingent truth [Kripke] |
| Full Idea: If a speaker introduced a designator into a language by a ceremony, then in virtue of his very linguistic act, he would be in a position to say 'I know that Fa', but nevertheless 'Fa' would be a contingent truth (provided F is not an essential property). | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.14) | |
| A reaction: If someone else does the designation, I seem to have contingent knowledge that the ceremony has taken place. You needn't experience the object, but you must experience the ceremony, even if you perform it. |
| 4943 | Instead of talking about possible worlds, we can always say "It is possible that.." [Kripke] |
| Full Idea: We should remind ourselves the 'possible worlds' terminology can always be replaced by modal talk, such as "It is possible that…" | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.15) | |
| A reaction: Coming from an originator of the possible worlds idea, this is a useful reminder that we don't have to get too excited about the ontological commitments involved. It may be just a 'way to talk', and hence a tool, rather than a truth about reality. |
| 16983 | Probability with dice uses possible worlds, abstractions which fictionally simplify things [Kripke] |
| Full Idea: In studying probabilities with dice, we are introduced at a tender age to a set of 36 (miniature) possible worlds, if we (fictively) ignore everything except the two dice. …The possibilities are abstract states of the dice, not physical entities. | |
| From: Saul A. Kripke (Naming and Necessity preface [1980], p.16) | |
| A reaction: Interesting for the introduction by the great man of the words 'fictional' and 'abstract' into the discussion. He says elsewhere that he takes worlds to be less than real, but more than mere technical devices. |
| 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. |
| 18616 | If a term doesn't pick out a kind, keeping it may block improvements in classification [Machery] |
| Full Idea: If a hypothesised natural kind term fails to pick out a natural kind, keeping this theoretical term is likely to prevent the development of a new classification system that would identify the relevant kinds. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.2.3) | |
| A reaction: I'm persuaded. This is why metaphysicians should stop talking about 'properties'. |
| 18614 | Vertical arguments say eliminate a term if it picks out different natural kinds in different theories [Machery] |
| Full Idea: Vertical arguments for eliminativism of theoretical terms note that distinct types of generalisation do not line up with each other. ...It is argued that the theoretical term picks out more than one natural kind. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.2.3) | |
| A reaction: He mentions 'depression', as behavioural and cognitive; the former includes apes, and the latter doesn't. It is a nice principle for tidying up theories. |
| 18615 | Horizontal arguments say eliminate a term if it fails to pick out a natural kind [Machery] |
| Full Idea: Horizontal arguments for eliminativism of theoretical terms say that some terms should be eliminated if they do not pick out a natural kind. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.2.3) | |
| A reaction: This is the one Machery likes, but I would say that it is less obvious than the 'vertical' version, since picking out a natural kind may not be the only job of a theoretical term. (p.238: Machery agrees!) |
| 18609 | Psychologists use 'induction' as generalising a property from one category to another [Machery] |
| Full Idea: Typically, psychologists use 'induction' to refer to the capacity to generalise a property from a category (the source) to another category (the target). | |
| From: Edouard Machery (Doing Without Concepts [2009], 7.1.1) | |
| A reaction: This is because psychologists are interested in the ongoing activities of thought. Philosophers step back a bit, to ask how the whole thing could get started. Philosophical induction has to start with individuals and single observations. |
| 18610 | 'Ampliative' induction infers that all members of a category have a feature found in some of them [Machery] |
| Full Idea: Induction is 'ampliative' when it infers that all or most members of a category possess a property from the fact that some of its members have this property. | |
| From: Edouard Machery (Doing Without Concepts [2009], 7.1.1) | |
| A reaction: This sounds like a simple step in reasoning, but actually it is more like explanation, and will involve overall coherence and probability, rather than a direct conclusion. This invites sceptical questions. The last one observed may be the exception. |
| 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…? |
| 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. |
| 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. |
| 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. |
| 18562 | Connectionists cannot distinguish concept-memories from their background, or the processes [Machery] |
| Full Idea: Connectionists typically do not distinguish between processes and memory stores, and, more importantly, it is unclear whether connectionists can draw a distinction between the knowledge stored in a concept and the background. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.1) | |
| A reaction: In other words connectionism fails to capture the structured nature of our thinking. There is an innate structure (which, say I, should mainly be seen as 'mental files'). |
| 18561 | We can identify a set of cognitive capacities which are 'higher order' [Machery] |
| Full Idea: Categorization, deduction, induction, analogy-making, linguistic understanding, and planning - all of these are higher cognitive capacities. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.1) | |
| A reaction: His 'lower' competences are perceptual and motor. I say the entry to the higher competences are abstraction, idealisation and generalisation. If you can't do these (chimpanzees!) you will not be admitted. |
| 18574 | Concepts for categorisation and for induction may be quite different [Machery] |
| Full Idea: In general, concepts that are used when we categorise and concepts that are used when we reason inductively could have little in common. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.2.1) | |
| A reaction: In the end he is going to reject concepts altogether, so he would say this. Friends of concepts would be very surprised if the mind were so uneconomical in its activities, given that induction seems to be up to its neck in categorisation. |
| 18588 | Concept theories aim at their knowledge, processes, format, acquisition, and location [Machery] |
| Full Idea: A theory of concepts should determine the knowledge stored in them, and the cognitive processes that use concepts. Ideally it should also characterise their format, their acquisition, and (increasingly) localise them in the brain. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4) | |
| A reaction: Machery reveals his dubious scientism in the requirement to localise them in the brain. That strikes me as entirely irrelevant to both philosophy and psychology. I want the format, acquisition and knowledge. |
| 18611 | We should abandon 'concept', and just use 'prototype', 'exemplar' and 'theory' [Machery] |
| Full Idea: The notion of 'concept' ought to be eliminated from the theoretical vocabulary of psychology, and replaced by the notions of prototype, exemplar, and theory. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8) | |
| A reaction: Machery's main thesis. I think similarly about 'property' in metaphysics. It embraces different ideas, and if we eliminated 'property' (and used predicate, class, fundamental power, complex power) we would do better. Psychologists have dropped 'memory'. |
| 18567 | In the philosophy of psychology, concepts are usually introduced as constituents of thoughts [Machery] |
| Full Idea: In the philosophy of psychology, concepts are usually introduced as constituents, components, or parts of thoughts. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.4.3) | |
| A reaction: My instincts are against this. I take the fundamentals of concepts to be mental responses to distinct individual items in the world. Thought builds up from that. He says psychologists themselves don't see it this way. Influence of Frege. |
| 18569 | In philosophy theories of concepts explain how our propositional attitudes have content [Machery] |
| Full Idea: A philosophical theory of concepts is a semantic theory for our propositional attitudes: it explains how our thoughts can have the content they have. | |
| From: Edouard Machery (Doing Without Concepts [2009], 2.1.2) | |
| A reaction: I suppose this is what I am interested in. I want to know in what way concepts form a bridge between content and world. I am more interested in the propositions, and less interested in our attitudes towards them. |
| 18563 | By 'concept' psychologists mean various sorts of representation or structure [Machery] |
| Full Idea: Psychologists use 'concept' interchangeably with 'mental representation', 'category representation', 'knowledge representation', 'knowledge structure', 'semantic representation', and 'conceptual structures'. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.1) | |
| A reaction: [Machery gives references for each of these] Machery is moving in to attack these, but we look to psychologists to give some sort of account of what a concept might consist of, such that it could be implemented by neurons. |
| 18558 | Concept theorists examine their knowledge, format, processes, acquisition and location [Machery] |
| Full Idea: Psychological theories of concepts try to describe the knowledge stored in concepts, the format of concepts, the cognitive processes that use the concepts, the acquisition of concepts, and the localization of concepts in the brain. | |
| From: Edouard Machery (Doing Without Concepts [2009], Intro) | |
| A reaction: I suppose it would the first two that are of central interest. What individuates a concept (its 'format') and what are the contents of a concept. The word 'stored' seems to imply a mental files view. |
| 18557 | Psychologists treat concepts as long-term knowledge bodies which lead to judgements [Machery] |
| Full Idea: In psychology, concepts are characterized as those bodies of knowledge that are stored in long-term memory and used most higher cognitive competences when these processes result in judgements. | |
| From: Edouard Machery (Doing Without Concepts [2009], Intro) | |
| A reaction: Machery mounts an attack on this idea. I like the 'mental files' idea, where a concept starts as a label, and then acquires core knowledge, and then further information. The 'concept' is probably no more than a label, and minimal starter information. |
| 18560 | Psychologist treat concepts as categories [Machery] |
| Full Idea: Psychologists often use 'concept' and 'category' interchangeably. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.1) | |
| A reaction: Well they shouldn't. Some concepts are no more than words, and don't categorise anything. Some things may be categorised by a complex set of concepts. |
| 18592 | The concepts OBJECT or AGENT may be innate [Machery] |
| Full Idea: Several concepts, such as OBJECT or AGENT, may be innate. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.4) | |
| A reaction: It is one thing to say that we respond to objects and agents, and another to say that we have those 'concepts'. Presumably birds, and even bees, have to relate to similar features. Add PROCESS? |
| 18566 | Concepts should contain working memory, not long-term, because they control behaviour [Machery] |
| Full Idea: We ought to reserve the term 'concept' for the bodies of knowledge in working memory, and not for our knowledge of long-term memory, because the former, and not the latter, 'control behaviour'. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.4.1) | |
| A reaction: [He cites the psychologist Barsalou 1993] Some more theoretical concepts can only be recalled with difficulty, and control our theorising rather than our behaviour. But we act on some theories, so there is no clear borderline. |
| 18584 | One hybrid theory combines a core definition with a prototype for identification [Machery] |
| Full Idea: One hybrid theory of concepts says they have both a core and an identification procedure. The core is a definition (necessary and sufficient conditions), while the identification procedure consists of a prototype (the properties typical of a category). | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.3.1) | |
| A reaction: This combines the classical and prototype theories of concepts. I like it because it fits the idea of 'mental files' nicely (see Recanati). If concepts are files (as in a database) they will have aspects like labels, basic info, and further details. |
| 18585 | Heterogeneous concepts might have conflicting judgements, where hybrid theories will not [Machery] |
| Full Idea: The Heterogeneity Hypothesis, but not the hybrid theory of concepts, predicts that the coreferential bodies of knowledge it posits will occasionally lead to conflicting outcomes, such as inconsistent judgements. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.3.2) | |
| A reaction: Machery's book champions the Heterogeneous Hypothesis. Hybrid views say the aspects of a concept are integrated, but Heterogeneity says there are separate processes. My preferred 'file' approach would favour integration. |
| 18578 | Concepts as definitions was rejected, and concepts as prototypes, exemplars or theories proposed [Machery] |
| Full Idea: Since the rejection of the classical theory of concepts (that they are definitions), three paradigms have successively emerged in the psychology of concepts: the prototype paradigm, the exemplar paradigm, and the theory paradigm. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4) | |
| A reaction: I am becoming a fan of the 'theory theory' proposal, because the concepts centre around what explains the phenomenon, which fits my explanatory account of essentialism. Not that it's right because it agrees with me, of course..... |
| 18575 | The concepts for a class typically include prototypes, and exemplars, and theories [Machery] |
| Full Idea: Across domains (such as biology and psychology) classes of physical objects, substances and events are typically represented by a prototype, by a set of exemplars, and by a theory. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.2.3) | |
| A reaction: In other words he thinks that all of the major psychological theories of concepts are partially correct, and he argues for extensive pluralism in the true picture. Bad news for neat philosophy, but real life is a right old mess. |
| 18591 | Classical theory can't explain facts like typical examples being categorised quicker [Machery] |
| Full Idea: The nail in the coffin of the classical theory is its lack of explanatory power. For example it doesn't explain the fact that typical x's are categorised more quickly and more reliably than atypical x's. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.3) | |
| A reaction: [He cites Rosch and Mervis: 1975:ch 5] This research launched the 'prototype' theory, which has since been challenged by the 'exemplar' and 'theory theory' rivals (and neo-empiricism, and idealisation). |
| 18583 | Many categories don't seem to have a definition [Machery] |
| Full Idea: For many categories there is simply no definition to learn (such as Wittgenstein's example of a 'game'). | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.4) |
| 18590 | Classical theory implies variety in processing times, but this does not generally occur [Machery] |
| Full Idea: If a concept is defined by means of another, such as MURDER by means of KILL, then processing the former concept should take longer in the classical theory, but several experiments show that this is not the case. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.3) | |
| A reaction: For the philosopher there is no escaping the findings of neuroscience when it comes to the study of concepts. This invites the question of the role, if any, of philosophy. I take philosophy to concern the big picture, or it is nothing. |
| 18594 | Knowing typical properties of things is especially useful in induction [Machery] |
| Full Idea: Knowing which properties are typical of a class is particularly useful when you have to draw inductions about the members of a class. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.2.1) |
| 18593 | The term 'prototype' is used for both typical category members, and the representation [Machery] |
| Full Idea: The term 'prototype' is used ambiguously to designate the most typical members of a category, and the representation of a category. (I use the term in the second sense). | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.2.1 n25) |
| 18595 | Prototype theories are based on computation of similarities with the prototype [Machery] |
| Full Idea: The most important property of prototype theories is that cognitive processes are assumed to involve the computation of the similarity between prototypes and other representations. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.2.3) | |
| A reaction: [He cites J.A.Hampton 1998, 2006] This presumably suits theories of the mind as largely computational (e.g. Fodor's account, based on the Turing machine). |
| 18596 | Prototype theorists don't tell us how we select the appropriate prototype [Machery] |
| Full Idea: We are typically not told how prototypes are selected, that is, what determines whether a specific prototype is retrieved from memory in order to be involved in the categorisation process. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.2.4) | |
| A reaction: One of the aims of this database is to make people aware of ideas that people have already thought of. This one was spotted 2,400 years ago. It's the Third Man problem. How do you even start to think about a particular thing? |
| 18603 | Maybe concepts are not the typical properties, but the ideal properties [Machery] |
| Full Idea: Barsalou (1983,1985) introduced the idea of ideals instead of prototypes. An ideal is a body of knowledge about the properties a thing should possess (rather than its typical actual properties). ... A 'bully' might be perfect, rather than typical. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.5.3) | |
| A reaction: [compressed] Machery offers this as an interesting minor variant, with little experimental support. I take idealisation to be one of the three key mental operations that enable us to think about the world (along with abstraction and generalisation). |
| 18605 | It is more efficient to remember the prototype, than repeatedly create it from exemplars [Machery] |
| Full Idea: Instead of regularly producing a prototype out of the exemplars stored in long-term memory, it seems more efficient to extract a prototype from category members during concept learning and to use this prototype when needed. | |
| From: Edouard Machery (Doing Without Concepts [2009], 6.3.2) | |
| A reaction: [This is a critique of Barsalou's on-the-fly proposal for prototypes] If the exemplar theory is right, then some sort of summary must occur when faced with a new instance. So this thought favours prototypes against exemplars. |
| 18606 | The prototype view predicts that typical members are easier to categorise [Machery] |
| Full Idea: The prototype paradigm of concepts makes the strong prediction that typical members should be easier to categorise than atypical members. | |
| From: Edouard Machery (Doing Without Concepts [2009], 6.4.1) | |
| A reaction: This is why philosophers should approach the topic of concepts with caution. Clearly empirical testing is going to settle this matter, not abstract theorising. |
| 18597 | Concepts as exemplars are based on the knowledge of properties of each particular [Machery] |
| Full Idea: The exemplar paradigm of concepts is built around the idea that concepts are sets of exemplars. In turn, an exemplar is a body of knowledge about the properties believed to be possessed by a particular member of a class. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.3.1) | |
| A reaction: I like the fact that this theory is rooted in particulars, where the prototype theory doesn't seem to say much about how prototypes are derived. But you have to do more than just contemplate a bunch of exemplars. |
| 18598 | Exemplar theories need to explain how the relevant properties are selected from a multitude of them [Machery] |
| Full Idea: Exemplar theories have a selection problem. Given that individuals have an infinite number of properties, they need to explain why exemplars represent such and such properties, instead of others. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.3.1) | |
| A reaction: I have the impression that this idea rests on the 'abundant' view of properties - that every true predicate embodies a property. A sparse view of properties might give a particular quite a restricted set of properties. |
| 18599 | In practice, known examples take priority over the rest of the set of exemplars [Machery] |
| Full Idea: An object that is extremely similar to a specific known category member, but only moderately similar to others, is more likely to be categorised as a category member than an object that is moderately similar to most known category members. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.3.3) | |
| A reaction: This research finding is a problem for the Exemplar Theory, in which all the exemplars have equal status. It is even a problem for the Prototype Theory, since the known member may not be like the prototype. |
| 18600 | Theory Theory says category concepts are knowledge stores explaining membership [Machery] |
| Full Idea: According to theory theorists, a concept of a category stores some knowledge that can explain the properties of the category members. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.4.1) | |
| A reaction: This is the account of essentialism which I defended in my PhD thesis. So naturally I embrace a theory of the nature of concepts which precisely dovetails with my view. I take explanation to be the central concept in metaphysics. |
| 18601 | Theory Theory says concepts are explanatory knowledge, and concepts form domains [Machery] |
| Full Idea: The two core ideas of the Theory Theory are that concepts are bodies of knowledge that underlie explanation, where explanation rests on folk examples, and concepts are organised in domains which use similar knowledge. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.4.1) | |
| A reaction: Folk explanation is opposed to scientific explanation, as expounded by Hempel etc. This sounds better and better, since the domains reflect the structure of reality. Machery defends Theory Theory as part of the right answer, but it's my favourite bit. |
| 18607 | Theory theorists rely on best explanation, rather than on similarities [Machery] |
| Full Idea: Theory theorists deny that categorisation depends on similarity; they often propose that categorisation involves some kind of inference to the best explanation. | |
| From: Edouard Machery (Doing Without Concepts [2009], 6.5.1) | |
| A reaction: Love it. Any theory of concepts should, in my view, be continuous with a plausible account of animal minds, and best explanations are not their strong suit. Maybe its explanations for slow categorising, and something else when it's quick. |
| 18608 | If categorisation is not by similarity, it seems to rely on what properties things might have [Machery] |
| Full Idea: It seems that when subjects are not categorising by similarity, they are relying on what properties objects can and cannot have - that is, on some modal knowledge. | |
| From: Edouard Machery (Doing Without Concepts [2009], 6.5.1) | |
| A reaction: I would call this essentialist categorisation, based on the inner causal powers which generate the modal profile of the thing. We categorise bullets and nails very differently, because of their modal profiles. |
| 18587 | The theory account is sometimes labelled as 'knowledge' or 'explanation' in approach [Machery] |
| Full Idea: The theory paradigm is sometimes called 'the knowledge approach' (Murphy 2002) or 'explanation-based views' (Komatsu 1992). | |
| From: Edouard Machery (Doing Without Concepts [2009], 4) | |
| A reaction: The word 'explanation' is music to my ears, so I am immediately sympathetic to the theory theory of concepts, even if it falls at the final hurdle. |
| 18577 | The word 'grandmother' may be two concepts, with a prototype and a definition [Machery] |
| Full Idea: If a prototype of grandmothers represents them as grey-haired old women, and a definition of grandmothers represents them as being necessarily the mother of a parent ....we may fail to recognise that 'grandmother' represents two distinct concepts. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.3.4) | |
| A reaction: He is referring to two distinct theories about what a concept is. He argues that both theories apply, so words do indeed represent several different concepts. Nice example. |
| 18589 | For behaviourists concepts are dispositions to link category members to names [Machery] |
| Full Idea: Behaviourists identified concepts with a mere disposition to associate category members with a given name. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.1) | |
| A reaction: This is one reason why the word 'disposition' triggers alarm bells in the immediately post-behaviourist generation of philosophers. The proposal is far too linguistic in character. |
| 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? |
| 18612 | Americans are more inclined to refer causally than the Chinese are [Machery] |
| Full Idea: Tests suggest that American subjects were significantly more likely than Chinese subjects to have intuitions in line with causal-historical theories of reference. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.1.3) | |
| A reaction: This is an example of 'experimental philosophy' in action (of which Machery is a champion). The underlying idea is that Americans are generally more disposed to think causally than the Chinese are. So more scientific? What do the Hopi do? |
| 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. |
| 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? |
| 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? |
| 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? |
| 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. |
| 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'? |
| 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. |
| 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? |
| 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? |
| 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? |
| 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. |
| 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? |
| 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 |
| 18613 | Artifacts can be natural kinds, when they are the object of historical enquiry [Machery] |
| Full Idea: Some artifacts are the objects of inquiry in the social sciences ...such as prehistoric tools ...and hence, artifacts are bona fide natural kinds. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.2.1) | |
| A reaction: Presumably if a bird's nest can be a natural kind, then so can a flint axe, but then so can a mobile phone, for an urban anthropologist. 'Natural' is, to put it mildly, a tricky word. |
| 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). |
| 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'. |
| 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. |
| 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? |
| 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. |
| 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? |
| 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. |
| 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. |
| 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? |
| 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. |
| 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). |
| 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. |
| 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. |
| 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. |
| 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. |
| 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? |
| 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. |
| 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. |