78 ideas
| 17240 | Definitions are the first step in philosophy [Hobbes] |
| Full Idea: In beginning philosophy, the first beginning is from definitions. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.15) | |
| A reaction: Note that he doesn't say that definitions are the aim of philosophy, as some analysts might think. |
| 12274 | Begin examination with basics, and subdivide till you can go no further [Aristotle] |
| Full Idea: The examination must be carried on and begin from the primary classes and then go on step by step until further division is impossible. | |
| From: Aristotle (Topics [c.331 BCE], 109b17) | |
| A reaction: This is a good slogan for the analytic approach to thought. I take Aristotle (or possibly Socrates) to be the father of analysis, not Frege (though see Idea 9840). (He may be thinking of the tableau method of proof). |
| 12260 | Dialectic starts from generally accepted opinions [Aristotle] |
| Full Idea: Reasoning is dialectical which reasons from generally accepted opinions. | |
| From: Aristotle (Topics [c.331 BCE], 100a30) | |
| A reaction: This is right at the heart of Aristotle's philosophical method, and Greek thinking generally. There are nice modern debates about 'folk' understanding, derived from science (e.g. quantum theory) which suggest that starting from normal views is a bad idea. |
| 12291 | There can't be one definition of two things, or two definitions of the same thing [Aristotle] |
| Full Idea: There cannot possibly be one definition of two things, or two definitions of the same thing. | |
| From: Aristotle (Topics [c.331 BCE], 154a11) | |
| A reaction: The second half of this is much bolder and more controversial, and plenty of modern thinkers would flatly reject it. Are definitions contextual, that is, designed for some specific human purpose. Must definitions be of causes? |
| 12292 | Definitions are easily destroyed, since they can contain very many assertions [Aristotle] |
| Full Idea: A definition is the easiest of all things to destroy; for, since it contains many assertions, the opportunities which it offers are very numerous, and the more abundant the material, the more quickly the reasoning can set to work. | |
| From: Aristotle (Topics [c.331 BCE], 155a03) | |
| A reaction: I quote this to show that Aristotle expected many definitions to be very long affairs (maybe even of book length?) |
| 17237 | Definitions of things that are caused must express their manner of generation [Hobbes] |
| Full Idea: Definitions of things which may be understood to have some cause, must consist of such names as express the cause or manner of their generation, as when we define a circle to be a figure made by the circumduction of a straight line in a plane etc. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.13) | |
| A reaction: His account of the circle is based on its mode of construction, which is the preferred account of Euclid, rather than a statement of its pure nature. |
| 12272 | We describe the essence of a particular thing by means of its differentiae [Aristotle] |
| Full Idea: We usually isolate the appropriate description of the essence of a particular thing by means of the differentiae which are peculiar to it. | |
| From: Aristotle (Topics [c.331 BCE], 108b05) | |
| A reaction: I take this to be important for showing the definition is more than mere categorisation. A good definition homes in the particular, by gradually narrowing down the differentiae. |
| 12279 | The differentia indicate the qualities, but not the essence [Aristotle] |
| Full Idea: No differentia indicates the essence [ti estin], but rather some quality, such as 'pedestrian' or 'biped'. | |
| From: Aristotle (Topics [c.331 BCE], 122b17) | |
| A reaction: We must disentangle this, since essence is what is definable, and definition seems to give us the essence, and yet it appears that definition only requires genus and differentia. Differentiae seem to be both generic and fine-grained. See Idea 12280! |
| 12283 | In definitions the first term to be assigned ought to be the genus [Aristotle] |
| Full Idea: In definitions the first term to be assigned ought to be the genus. | |
| From: Aristotle (Topics [c.331 BCE], 132a12) | |
| A reaction: We mustn't be deluded into thinking that nothing else is required. I take the increasing refinement of differentiae to be where the real action is. The genus gives you 70% of the explanation. |
| 12289 | The genera and the differentiae are part of the essence [Aristotle] |
| Full Idea: The genera and the differentiae are predicated in the category of essence. | |
| From: Aristotle (Topics [c.331 BCE], 153a19) | |
| A reaction: The definition is words, and the essence is real, so our best definition might not fully attain to the essence. Aristotle has us reaching out to the world through our definitions. |
| 17239 | Definition is resolution of names into successive genera, and finally the difference [Hobbes] |
| Full Idea: The definition is nothing but a resolution of the name into its most universal parts; ...definitions of this kind always consist of genus and difference; the former names being all, till the last, general; and the last of all, difference. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.14) | |
| A reaction: This is basically the scholastic Aristotelian view of definition. Note that Hobbes explicitly denies that the last step of the definition is general in character. |
| 12261 | Differentia are generic, and belong with genus [Aristotle] |
| Full Idea: The differentia, being generic in character, should be ranged with the genus. | |
| From: Aristotle (Topics [c.331 BCE], 101b18) | |
| A reaction: This does not mean that naming the differentia amounts to mere classification. I presume we can only state individual differences by using a language which is crammed full of universals. |
| 12263 | 'Genus' is part of the essence shared among several things [Aristotle] |
| Full Idea: A 'genus' is that which is predicated in the category of essence of several things which differ in kind. | |
| From: Aristotle (Topics [c.331 BCE], 102a32) | |
| A reaction: Hence a genus is likely to be expressed by a universal, a one-over-many. A particular will be a highly individual collection of various genera, but what ensures the uniqueness of each thing, if they are indiscernible? |
| 12285 | The definition is peculiar to one thing, not common to many [Aristotle] |
| Full Idea: The definition ought to be peculiar to one thing, not common to many. | |
| From: Aristotle (Topics [c.331 BCE], 149b24) | |
| A reaction: I take this to be very important, against those who think that definition is no more than mere categorisation. To explain, you must get down to the level of the individual. We must explain that uniquely docile tiger. |
| 17241 | A defined name should not appear in the definition [Hobbes] |
| Full Idea: A defined name ought not to be repeated in the definition. ...No total can be part of itself. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.15) |
| 17242 | 'Petitio principii' is reusing the idea to be defined, in disguised words [Hobbes] |
| Full Idea: 'Petitio principii' is when the conclusion to be proved is disguised in other words, and put for the definition or principle from whence it is to be demonstrated. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.18) |
| 17879 | Axiomatising set theory makes it all relative [Skolem] |
| Full Idea: Axiomatising set theory leads to a relativity of set-theoretic notions, and this relativity is inseparably bound up with every thoroughgoing axiomatisation. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.296) |
| 17245 | A part of a part is a part of a whole [Hobbes] |
| Full Idea: A part of a part is a part of a whole. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.07.09) |
| 17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
| Full Idea: Löwenheim's theorem reads as follows: If a first-order proposition is satisfied in any domain at all, it is already satisfied in a denumerably infinite domain. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.293) |
| 11261 | Puzzles arise when reasoning seems equal on both sides [Aristotle] |
| Full Idea: The equality of opposite reasonings is the cause of aporia; for it is when we reason on both [sides of a question] and it appears to us that everything can come about either way, that we are in a state of aporia about which of the two ways to take up. | |
| From: Aristotle (Topics [c.331 BCE], 145b17), quoted by Vassilis Politis - Aristotle and the Metaphysics 3.1 | |
| A reaction: Other philosophers give up on the subject in this situation, but I love Aristotle because he takes this to be the place where philosophy begins. |
| 17258 | If we just say one, one, one, one, we don't know where we have got to [Hobbes] |
| Full Idea: By saying one, one, one, one, and so forward, we know not what number we are at beyond two or three. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.12.05) | |
| A reaction: This makes ordinals sound like meta-numbers. |
| 12273 | Unit is the starting point of number [Aristotle] |
| Full Idea: They say that the unit [monada] is the starting point of number (and the point the starting-point of a line). | |
| From: Aristotle (Topics [c.331 BCE], 108b30) | |
| A reaction: Yes, despite Frege's objections in the early part of the 'Grundlagen' (1884). I take arithmetic to be rooted in counting, despite all abstract definitions of number by Frege and Dedekind. Identity gives the unit, which is countable. See also Topics 141b9 |
| 17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
| Full Idea: The initial foundations should be immediately clear, natural and not open to question. This is satisfied by the notion of integer and by inductive inference, by it is not satisfied by the axioms of Zermelo, or anything else of that kind. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.299) | |
| A reaction: This is a plea (endorsed by Almog) that the integers themselves should be taken as primitive and foundational. I would say that the idea of successor is more primitive than the integers. |
| 17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
| Full Idea: Most mathematicians want mathematics to deal, ultimately, with performable computing operations, and not to consist of formal propositions about objects called this or that. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.300) |
| 17253 | Change is nothing but movement [Hobbes] |
| Full Idea: All mutation consists in motion only | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.09.06) | |
| A reaction: Another little gem of simplicity from Hobbes, and one with which I am inclined to agree. The value of a variable can 'change', but that may be metaphorical. |
| 12267 | There are ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity [Aristotle] |
| Full Idea: The four main types of predicates fall into ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity. | |
| From: Aristotle (Topics [c.331 BCE], 103b20) | |
| A reaction: These are the standard ten categories of Aristotle. He is notable for the divisions not being sharp, and ten being a rough total. He is well aware of the limits of precision in such matters. |
| 12282 | An individual property has to exist (in past, present or future) [Aristotle] |
| Full Idea: If it does not at present exist, or, if it has not existed in the past, or if it is not going to exist in the future, it will not be a property [idion] at all. | |
| From: Aristotle (Topics [c.331 BCE], 129a27) | |
| A reaction: This seems to cramp our style in counterfactual discussion. Can't we even mention an individual property if we believe that it will never exist. Utopian political discussion will have to cease! |
| 12264 | An 'accident' is something which may possibly either belong or not belong to a thing [Aristotle] |
| Full Idea: An 'accident' [sumbebekos] is something which may possibly either belong or not belong to any one and the self-same thing, such as 'sitting posture' or 'whiteness'. This is the best definition, because it tells us the essential meaning of the term itself. | |
| From: Aristotle (Topics [c.331 BCE], 102b07) | |
| A reaction: Thus a car could be red, or not red. Accidents are contingent. It does not follow that necessary properties are essential (see Idea 12262). There are accidents [sumbebekos], propria [idion] and essences [to ti en einai]. |
| 16670 | Accidents are just modes of thinking about bodies [Hobbes] |
| Full Idea: An accident is a mode of conceiving a body. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.02) | |
| A reaction: In contrast to the other thinkers who followed Suárez on modes in the early 17th century, Hobbes thinks they are just ways of 'conceiving' bodies, rather than actual features of them. |
| 16621 | Accidents are not parts of bodies (like blood in a cloth); they have accidents as things have a size [Hobbes] |
| Full Idea: An accident's being in a body is not to be taken as something contained in that body - as if redness were in blood like blood in a bloody cloth, as part of the whole, for then accident would be a body. It is like body having size or rest or movement. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.03) | |
| A reaction: [compressed] Hobbes is fishing for something like the Quinean view of properties, but no one seems to be able to articulate this sceptical view very well. Pasnau says he means to talk of 'the mode of conceiving a body' (De C 8.2). |
| 16734 | The complete power of an event is just the aggregate of the qualities that produced it [Hobbes] |
| Full Idea: The power of agent and patient taken together, which may be called the complete power, is the same as the complete cause, for each consists in the aggregation together of all the accidents that are required to produce an effect in both agent and patient. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.10.01) | |
| A reaction: They treat powers as macro phenomena, and don't seem to have a sense of the basic powers that build up the big picture. |
| 17247 | The only generalities or universals are names or signs [Hobbes] |
| Full Idea: Nothing is general or universal besides names or signs. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.05) | |
| A reaction: This is the perfect motto for nominalists, among which I am inclined to include myself. Hobbes had a fabulous gift for economy of phrasing. This website is dedicated to that ideal. Reality does not contain generalities (obviously!!). |
| 14960 | Bodies are independent of thought, and coincide with part of space [Hobbes] |
| Full Idea: A body is that, which having no dependence on our thought, is coincident or coextended with some part of space. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.01) | |
| A reaction: This rather Cartesian view doesn't seem to offer any distinction between empty space and space containing an 'object'. Presumably it is the ancestor of the Quinean account just in terms of space-time points. Don't like it. |
| 17250 | If you separate the two places of one thing, you will also separate the thing [Hobbes] |
| Full Idea: One body cannot be in two places at the same time, ...for the place that a body fills being divided into two, the placed body will also be divided into two; the place and the body that fills that place are divided both together. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.08) | |
| A reaction: If every time you manipulated one body it affected both of them, you might say that one body was in two places, rather like a mirror image. |
| 17249 | If you separated two things in the same place, you would also separate the places [Hobbes] |
| Full Idea: Two bodies cannot be together in the same place, ..because when a body that fills its whole place is divided into two, the place itself is divided into two also, so that there will be two places. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.08) | |
| A reaction: The wonderful things about philosophy is that you are faced with obvious truths of the world, and cannot begin to think why they are true - and then up steps a philosopher and offers you a reason. |
| 12280 | Genus gives the essence better than the differentiae do [Aristotle] |
| Full Idea: In assigning the essence [ti estin], it is more appropriate to state the genus than the differentiae; for he who describes 'man' as an 'animal' indicates his essence better than he who describes him as 'pedestrian'. | |
| From: Aristotle (Topics [c.331 BCE], 128a24) | |
| A reaction: See Idea 12279. This idea is only part of the story. My reading of this is simply that assigning a genus gives more information. We learn more about him when we say he is a man than when we say he is Socrates. |
| 17248 | If a whole body is moved, its parts must move with it [Hobbes] |
| Full Idea: How can any whole body be moved, unless all its parts be moved together with it? | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.05) | |
| A reaction: This might be a distinguishing mark for a whole physical body. I think it is probably the main mark for ordinary folk. I've never found this idea in Aristotle. |
| 16790 | A body is always the same, whether the parts are together or dispersed [Hobbes] |
| Full Idea: A body is always the same, whether the parts of it be put together or dispersed; or whether it be congealed or dissolved. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07) | |
| A reaction: This appears to be a commitment by Hobbes to what we now call 'classical' mereology - that any bunch of things can count as a whole, whether they are together or dispersed. He seems to mean more than a watch surviving dismantling. |
| 13269 | In the case of a house the parts can exist without the whole, so parts are not the whole [Aristotle] |
| Full Idea: In the case of a house, where the process of compounding the parts is obvious, though the parts exist, there is no reason why the whole should not be non-existent, and so the parts are not the same as the whole. | |
| From: Aristotle (Topics [c.331 BCE], 150a19) | |
| A reaction: Compare buying a piece of furniture, and being surprised to discover, when it is delivered, that it is self-assembly. This idea is a simple refutation of the claims of classical mereology, that wholes are just some parts. Aristotle uses modal claims. |
| 17244 | To make a whole, parts needn't be put together, but can be united in the mind [Hobbes] |
| Full Idea: In composition, it is to be understood that for the making up of a whole there is no need of putting the parts together, so as to make them touch one another, but only of collecting them into one sum in the mind. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.07.08) | |
| A reaction: This seems to the 'unrestricted composition' of classical mereology, since it appears that Hobbes offers no restriction on which parts can be united by a mind, no matter how bizarre. |
| 12284 | Everything that is has one single essence [Aristotle] |
| Full Idea: Everything that is has one single essence [en esti to einai]. | |
| From: Aristotle (Topics [c.331 BCE], 141a36) | |
| A reaction: Does this include vague objects, and abstract 'objects'? Sceptics might ask what grounds this claim. Does Dr Jeckyll have two essences? |
| 17233 | Particulars contain universal things [Hobbes] |
| Full Idea: Universal things are contained in the nature of singular things. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.04) | |
| A reaction: That is the neatest and most accurate summary of the situation I have ever read. Particulars come first, but they are all riddled with generalities (but that is not as well said as Hobbes's remark). |
| 17246 | Some accidental features are permanent, unless the object perishes [Hobbes] |
| Full Idea: There are certain accidents which can never perish except the body perish also. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.03) | |
| A reaction: He is just making an observation, and not proposing a theory about essence. |
| 12262 | An 'idion' belongs uniquely to a thing, but is not part of its essence [Aristotle] |
| Full Idea: A property [idion] is something which does not show the essence of a thing but belongs to it alone. ...No one calls anything a property which can possibly belong to something else. | |
| From: Aristotle (Topics [c.331 BCE], 102a18) | |
| A reaction: [See Charlotte Witt 106 on this] 'Property' is clearly a bad translation for such an individual item. Witt uses 'proprium', which is a necessary but nonessential property of something. Necessity is NOT the hallmark of essence. See Idea 12266. |
| 17251 | The feature which picks out or names a thing is usually called its 'essence' [Hobbes] |
| Full Idea: That accident for which we give a certain name to any body, or the accident which denominates its subject, is commonly called the essence thereof. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.23) | |
| A reaction: This is clearly a prelude to Locke's more carefully formulated 'nominal essence'. Fairly obvious, for nominalist empiricists. A bit surprising to say this was 'common'. |
| 17257 | It is the same river if it has the same source, no matter what flows in it [Hobbes] |
| Full Idea: That will be the same river which flows from one and the same fountain, whether the same water, or other water, or something other than water, flow thence. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07) | |
| A reaction: This makes the source the one necessity for a river. I think the end matters too. If the Thames reversed direction, and flowed into Wales, it would not be the Thames any more. |
| 12853 | Some individuate the ship by unity of matter, and others by unity of form [Hobbes] |
| Full Idea: In the Ship of Theseus, some place individuity in the unity of matter; others, in the unity of form. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07) | |
| A reaction: Simons raises this comment into a dogma, that there are at least two objects present in the ship. If I offered you a sum for the contents of your house, they would have a unity of monetary value. |
| 17256 | If a new ship were made of the discarded planks, would two ships be numerically the same? [Hobbes] |
| Full Idea: If some man kept the old planks as they were taken out, and by putting them afterwards together again in the same order, had again made a ship of them, ...there would have been two ships numerically the same, which is absurd. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07) | |
| A reaction: This is the origin of the famous modern problematical example of the Ship of Theseus. The ancient example is just the case of whether you step into the same river, but using an artefact with parts, to make it clearer. |
| 12290 | Destruction is dissolution of essence [Aristotle] |
| Full Idea: Destruction is a dissolution of essence. | |
| From: Aristotle (Topics [c.331 BCE], 153b30) | |
| A reaction: [plucked from context!] I can't think of a better way to define destruction, in order to distinguish it from damage. A vase is destroyed when its essential function cannot be recovered. |
| 12286 | If two things are the same, they must have the same source and origin [Aristotle] |
| Full Idea: When things are absolutely the same, their coming-into-being and destruction are also the same and so are the agents of their production and destruction. | |
| From: Aristotle (Topics [c.331 BCE], 152a02) | |
| A reaction: Thus Queen Elizabeth II has to be the result of that particular birth, and from those particular parents, as Kripke says? The inverse may not be true. Do twins have a single origin? Things that fission and then re-fuse differently? etc |
| 16794 | As an infant, Socrates was not the same body, but he was the same human being [Hobbes] |
| Full Idea: It makes a great difference to ask concerning Socrates whether he is the same human being or whether he is the same body. For his body, when he is old, cannot be the same it was when he was an infant. …He can, however, be the same human being. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.07) | |
| A reaction: This is not commitment to full (Geachian) relative identity, but it notes the problem. |
| 17255 | Two bodies differ when (at some time) you can say something of one you can't say of the other [Hobbes] |
| Full Idea: Two bodies are said to differ from one another, when something may be said of one of them, which cannot be said of the other at the same time. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.11.02) | |
| A reaction: Note the astute addition of 'at the same time'. Note also that it is couched in terms of what is true, rather than in terms of 'properties' or 'accidents'. |
| 12266 | 'Same' is mainly for names or definitions, but also for propria, and for accidents [Aristotle] |
| Full Idea: 'The same' is employed in several senses: its principal sense is for same name or same definition; a second sense occurs when sameness is applied to a property [idiu]; a third sense is applied to an accident. | |
| From: Aristotle (Topics [c.331 BCE], 103a24-33) | |
| A reaction: [compressed] 'Property' is better translated as 'proprium' - a property unique to a particular thing, but not essential - see Idea 12262. Things are made up of essence, propria and accidents, and three ways of being 'the same' are the result. |
| 12287 | Two identical things have the same accidents, they are the same; if the accidents differ, they're different [Aristotle] |
| Full Idea: If two things are the same then any accident of one must also be an accident of the other, and, if one of them is an accident of something else, so must the other be also. For, if there is any discrepancy on these points, obviously they are not the same. | |
| From: Aristotle (Topics [c.331 BCE], 152a36) | |
| A reaction: So what is always called 'Leibniz's Law' should actually be 'Aristotle's Law'! I can't see anything missing from the Aristotle version, but then, since most people think it is pretty obvious, you would expect the great stater of the obvious to get it. |
| 12288 | Numerical sameness and generic sameness are not the same [Aristotle] |
| Full Idea: Things which are the same specifically or generically are not necessarily the same or cannot possibly be the same numerically. | |
| From: Aristotle (Topics [c.331 BCE], 152b32) | |
| A reaction: See also Idea 12266. This looks to me to be a pretty precise anticipation of Peirce's type/token distinction, but without the terminology. It is reassuring that Aristotle spotted it, as that makes it more likely to be a genuine distinction. |
| 12259 | Reasoning is when some results follow necessarily from certain claims [Aristotle] |
| Full Idea: Reasoning [sullogismos] is a discussion in which, certain things having been laid down, something other than these things necessarily results through them. | |
| From: Aristotle (Topics [c.331 BCE], 100a25) | |
| A reaction: This is cited as the standard statement of the nature of logical necessity. One might challenge either the very word 'necessary', or the exact sense of the word employed here. Is it, in fact, metaphysical, or merely analytic? |
| 16582 | We can imagine a point swelling and contracting - but not how this could be done [Hobbes] |
| Full Idea: Even if we can feign in our mind that a point swells to a huge bulk and then contracts to a point - imagining something's made from nothing (ex nihilo), and nothing's made from something - still we cannot comprehend how this could be done in nature. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.20) | |
| A reaction: [compressed] Pasnau notes that this offers two sorts of conceivability, of something happening, and of a reason for it happening. A really nice idea, significant (I think) for scientific essentialists, who say possibilities are fewer than you think. |
| 12271 | Induction is the progress from particulars to universals [Aristotle] |
| Full Idea: Induction is the progress from particulars to universals; if the skilled pilot is the best pilot and the skilled charioteer the best charioteer, then, in general, the skilled man is the best man in any particular sphere. | |
| From: Aristotle (Topics [c.331 BCE], 105a15) | |
| A reaction: It is a bit unclear whether we are deriving universal concepts, or merely general truths. Need general truths be absolute or necessary truths? Presumably occasionally the best person is not the most skilled, as in playing a musical instrument. |
| 12293 | We say 'so in cases of this kind', but how do you decide what is 'of this kind'? [Aristotle] |
| Full Idea: When it is necessary to establish the universal, people use the expression 'So in all cases of this kind'; but it is one of the most difficult tasks to define which of the terms proposed are 'of this kind' and which are not. | |
| From: Aristotle (Topics [c.331 BCE], 157a25) | |
| A reaction: It is particularly hard if induction is expressed as the search for universals, since the kind presumably is the universal, so the universal must be known before the induction can apply, which really is the most frightful nuisance for truth-seekers. |
| 17238 | Science aims to show causes and generation of things [Hobbes] |
| Full Idea: The end of science is the demonstration of the causes and generation of things. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.13) |
| 17260 | Imagination is just weakened sensation [Hobbes] |
| Full Idea: Imagination is nothing else but sense decaying or weakened by the absence of the object. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 4.25.07) | |
| A reaction: This sounds more like memory than imagination. He needs to say something about unusual combinations of memories, I would have thought. |
| 19373 | A 'conatus' is an initial motion, experienced by us as desire or aversion [Hobbes, by Arthur,R] |
| Full Idea: Hobbes' notion of 'conatus' is a 'beginning of motion' - a motion through a point of space in an instant of time. In a human subject this is experience as desire or aversion. It thus forms a bridge between physics and psychology. | |
| From: report of Thomas Hobbes (De Corpore (Elements, First Section) [1655], p.178) by Richard T.W. Arthur - Leibniz 3 'Worlds' | |
| A reaction: This sounds rather like the primitive concept of a power which I like, but the term seems to be used very vaguely, and never discussed carefully. The idea provoked Leibniz to connect physical force with mental life. |
| 2948 | Sensation is merely internal motion of the sentient being [Hobbes] |
| Full Idea: Sense in the sentient, can be nothing else but motion in some of the internal parts of the sentient; and the parts so moved are parts of the organs of sense. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 3.15.02) | |
| A reaction: Amazingly bold for the time, and presumably influenced by Lucretius. I am sympathetic, but to suggest that sensation is nothing more sounds a bit like a category mistake. Has he grasped that the brain is involved? |
| 17261 | Apart from pleasure and pain, the only emotions are appetite and aversion [Hobbes] |
| Full Idea: All the passions, called passions of the mind, consist of appetite and aversion, except pure pleasure and pain. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 4.25.13) | |
| A reaction: He now faces the challenge of explaining all the many other emotions in terms of these two. Good luck with that, Thomas. |
| 17236 | Words are not for communication, but as marks for remembering what we have learned [Hobbes] |
| Full Idea: The use of words consists in this, that they may serve for marks by which whatsoever we have found out may be recalled to memory ...but not as signs by which we declare the same to others. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.11) | |
| A reaction: This exactly fits the idea of mental files, of which I am a fan. That this is the actual purpose of language is an unusual but interesting view. |
| 12277 | Friendship is preferable to money, since its excess is preferable [Aristotle] |
| Full Idea: Friendship is preferable to money; for excess of friendship is preferable to excess of money. | |
| From: Aristotle (Topics [c.331 BCE], 118b07) | |
| A reaction: Compare Idea 12276, which gives a different criterion for choosing between virtues. This idea is an interesting qualification of the doctrine of the mean. |
| 12276 | Justice and self-control are better than courage, because they are always useful [Aristotle] |
| Full Idea: Justice [dikaiosune] and self-control [sophrosune] are preferable to courage, for the first two are always useful, but courage only sometimes. | |
| From: Aristotle (Topics [c.331 BCE], 117a36) | |
| A reaction: One could challenge his criterion. What of something which is absolutely vital on occasions, against something which is very mildly useful all the time? You may survive without justice, but not without courage. Compare Idea 12277. |
| 12275 | We value friendship just for its own sake [Aristotle] |
| Full Idea: We value friendship for its own sake, even if we are not likely to get anything else from it. | |
| From: Aristotle (Topics [c.331 BCE], 117a03) | |
| A reaction: In 'Ethics' he distinguishes some friendships which don't meet this requirement. Presumably true friendships survive all vicissitudes (except betrayal), but that makes such things fairly rare. |
| 12281 | Man is intrinsically a civilized animal [Aristotle] |
| Full Idea: It is an essential [kath' auto] property of man to be 'by nature a civilized animal'. | |
| From: Aristotle (Topics [c.331 BCE], 128b17) | |
| A reaction: I take this, along with man being intrinsically rational, to be the foundation of Aristotelian ethics. Given that we are civilized, self-evident criteria emerge for how to be good at it. A good person is, above all, a good citizen. |
| 16600 | Prime matter is body considered with mere size and extension, and potential [Hobbes] |
| Full Idea: Prime matter signifies body considered without the consideration of any form or accident except only magnitude or extension, and aptness to receive form and accidents. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.24) | |
| A reaction: I take 'considered without' to indicate that he thinks of it as a psychological abstraction, rather than some actual existing thing. |
| 12265 | All water is the same, because of a certain similarity [Aristotle] |
| Full Idea: Any water is said to be specifically the same as any other water because it has a certain similarity to it. | |
| From: Aristotle (Topics [c.331 BCE], 103a20) | |
| A reaction: (Cf. Idea 8153) It take this to be the hallmark of a natural kind, and we should not lose sight of it in the midst of discussions about rigid designation and essential identity. Tigers are only a natural kind insofar as they are indistinguishable. |
| 17252 | Acting on a body is either creating or destroying a property in it [Hobbes] |
| Full Idea: A body is said to work upon or act, that is to say, do something to another body, when it either generates or destroys some accident in it. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.09.01) |
| 17254 | An effect needs a sufficient and necessary cause [Hobbes] |
| Full Idea: There can be no effect but from a sufficient and necessary cause. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.10.02) | |
| A reaction: To be compared with Mackie's subtler modern account of this matter. If two different separate causes could lead to the same result, it is hard to see how the cause must be 'necessary' (unless you say they lead to different effects). |
| 17235 | A cause is the complete sum of the features which necessitate the effect [Hobbes] |
| Full Idea: A cause it the sum or aggregate of all such accidents, both in the agents and in the patient, as concur to the producing of the effect propounded; all of which existing together, ti cannot be understood but that the effect existenth without them. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.10) | |
| A reaction: For most causes we meet, this definition will include gravity and electro-magnetism, so it doesn't help in narrowing things down. Notice that he accepts the necessity, despite his committed empiricism. |
| 17234 | Motion is losing one place and acquiring another [Hobbes] |
| Full Idea: Motion is privation of one place, and the acquisition of another. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 1.6.06) | |
| A reaction: This is basically the 'at-at' theory of motion which empiricists like, because it breaks motion down into atoms of experience. Hobbes needs an ontology which includes 'places'. |
| 17259 | 'Force' is the quantity of movement imposed on something [Hobbes] |
| Full Idea: I define 'force' to be the impetus or quickness of motion multiplied either into itself, or into the magnitude of the movent, by means of which whereof the said movent works more or less upon the body that resists it. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 3.15.02) | |
| A reaction: Not very helpful, perhaps, but it shows a view of force at quite an early date, well before Newton. |
| 17243 | Past times can't exist anywhere, apart from in our memories [Hobbes] |
| Full Idea: When people speak of the times of their predecessors, they do not think after their predecessors are gone that their times can be any where else than in the memory of those that remember. | |
| From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.07.03) |
| 12278 | 'Being' and 'oneness' are predicated of everything which exists [Aristotle] |
| Full Idea: 'Being' and 'oneness' are predicated of everything which exists. | |
| From: Aristotle (Topics [c.331 BCE], 121a18) | |
| A reaction: Is 'oneness' predicated of water? So existence always was a predicate, it seems, until Kant told us it wasn't. That existence is a quantifier, not a predicate, seems to be up for question again these days. |