50 ideas
| 6947 | Metaphysics does not rest on facts, but on what we are inclined to believe [Peirce] |
| Full Idea: Metaphysical systems have not usually rested upon any observed facts, or not in any great degree. They are chiefly adopted because their fundamental propositions seem 'agreeable to reason', which means that which we find ourselves inclined to believe. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.15) | |
| A reaction: This leads to Peirce's key claim - that we should allow our beliefs to be formed by something outside of ourselves. I don't share Peirce's contempt for metaphysics, which I take to be about the most abstract presuppositions of our ordinary beliefs. |
| 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). |
| 6937 | Reason aims to discover the unknown by thinking about the known [Peirce] |
| Full Idea: The object of reasoning is to find out, from the consideration of what we already know, something else which we do not know. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p. 7) | |
| A reaction: I defy anyone to come up with a better definition of reasoning than that. The emphasis is on knowledge rather than truth, which you would expect from a pragmatist. …Actually the definition doesn't cover conditional reasoning terribly well. |
| 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?) |
| 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. |
| 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. |
| 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. |
| 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 |
| 21492 | Realism is basic to the scientific method [Peirce] |
| Full Idea: The fundamental hypothesis of the method of science is this: There are real things, whose characters are entirely independent of our opinion of them. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877]), quoted by Albert Atkin - Peirce 3 'method' | |
| A reaction: He admits later that this is only a commitment and not a fact. It seems to me that when you combine this idea with the huge success of science, the denial of realism is crazy. Philosophy has a lot to answer for. |
| 6949 | If someone doubted reality, they would not actually feel dissatisfaction [Peirce] |
| Full Idea: Nobody can really doubt that there are Reals, for, if he did, doubt would not be a source of dissatisfaction. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.19) | |
| A reaction: This rests on Peirce's view that all that really matters is a sense of genuine dissatisfaction, rather than a theoretical idea. So even at the end of Meditation One, Descartes isn't actually worried about whether his furniture exists. |
| 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]. |
| 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. |
| 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. |
| 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? |
| 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. |
| 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 |
| 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? |
| 6940 | The feeling of belief shows a habit which will determine our actions [Peirce] |
| Full Idea: The feeling of believing is a more or less sure indication of there being established in our nature some habit which will determine our actions. Doubt never has such an effect. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.10) | |
| A reaction: It is one thing to assert this fairly accurate observation, and another to assert that this is the essence or definition of a belief. Perhaps it is the purpose of belief, without being the phenomenological essence of it. We act in states of uncertainty. |
| 6941 | We are entirely satisfied with a firm belief, even if it is false [Peirce] |
| Full Idea: As soon as a firm belief is reached we are entirely satisfied, whether the belief be true or false. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.10) | |
| A reaction: This does not deny that the truth or falsehood of a belief is independent of whether we are satisfied with it. It is making a fair point, though, about why we believe things, and it can't be because of truth, because we don't know how to ensure that. |
| 6942 | We want true beliefs, but obviously we think our beliefs are true [Peirce] |
| Full Idea: We seek for a belief that we shall think to be true; but we think each one of our beliefs to be true, and, indeed, it is mere tautology to say so. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
| A reaction: If, as I do, you like to define belief as 'commitment to truth', Peirce makes a rather startling observation. You are rendered unable to ask whether your beliefs are true, because you have defined them as true. Nice point… |
| 6943 | A mere question does not stimulate a struggle for belief; there must be a real doubt [Peirce] |
| Full Idea: The mere putting of a proposition into the interrogative form does not stimulate the mind to any struggle after belief; there must be a real and living doubt. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
| A reaction: This the attractive aspect of Peirce's pragmatism, that he is always focusing on real life rather than abstract theory or pure logic. |
| 6598 | We need our beliefs to be determined by some external inhuman permanency [Peirce] |
| Full Idea: It is necessary that a method should be found by which our beliefs be determined by nothing human, but by some external permanency - by something upon which our thinking has no effect. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877]), quoted by Robert Fogelin - Walking the Tightrope of Reason Ch.5 | |
| A reaction: This very sensible and interesting remark hovers somewhere between empiricism and pragmatism. Fogelin very persuasively builds his account of knowledge on it. The key point is that we hardly ever choose what to believe. See Idea 2454. |
| 6944 | Demonstration does not rest on first principles of reason or sensation, but on freedom from actual doubt [Peirce] |
| Full Idea: It is a common idea that demonstration must rest on indubitable propositions, either first principles of a general nature, or first sensations; but actual demonstration is completely satisfactory if it starts from propositions free from all actual doubt. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
| A reaction: Another nice example of Peirce focusing on the practical business of thinking, rather than abstract theory. I agree with this approach, that explanation and proof do not aim at perfection and indubitability, but at what satisfies a critical mind. |
| 6948 | Doubts should be satisfied by some external permanency upon which thinking has no effect [Peirce] |
| Full Idea: To satisfy our doubts it is necessary that a method should be found by which our beliefs may be determined by nothing human, but by some external permanency - by something upon which our thinking has no effect. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.18) | |
| A reaction: This may be the single most important idea in pragmatism and in the philosophy of science. See Fodor on experiments (Idea 2455). Put the question to nature. The essential aim is to be passive in our beliefs - just let reality form them. |
| 6945 | Once doubt ceases, there is no point in continuing to argue [Peirce] |
| Full Idea: Some people seem to love to argue a point after all the world is fully convinced of it. But no further advance can be made. When doubt ceases, mental action on the subject comes to an end; and, if it did go on, it would be without purpose. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
| A reaction: This is the way Peirce's pragmatism, which deals with how real thinking actually works (rather than abstract logic), deals with scepticism. However, there is a borderline where almost everyone is satisfied, but the very wise person remains sceptical. |
| 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. |
| 3449 | If parallelism is true, how does the mind know about the body? [Crease] |
| Full Idea: In parallelism, the idea that we have a body is like an astronaut hearing shouting on the moon, and reasoning that as this is impossible he must be simultaneously imagining shouting AND there is real shouting taking place! | |
| From: Jason Crease (works [2001]), quoted by PG - Db (ideas) | |
| A reaction: This seems to capture the absurdity of Leibniz's proposal. I experience what my brain is doing, but not because my brain is doing it. I would never know if God had made a slight error in setting His two 'clocks'; their accuracy is just a pious hope. |
| 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. |
| 6939 | What is true of one piece of copper is true of another (unlike brass) [Peirce] |
| Full Idea: The guiding principle is that what is true of one piece of copper is true of another; such a guiding principle with regard to copper would be much safer than with regard to many other substances - brass, for example. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p. 8) | |
| A reaction: Peirce is so beautifully simple and sensible. This gives the essential notion of a natural kind, and is a key notion in our whole understanding of physical reality. |
| 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. |
| 6938 | Natural selection might well fill an animal's mind with pleasing thoughts rather than true ones [Peirce] |
| Full Idea: It is probably of more advantage to an animal to have his mind filled with pleasing and encouraging visions, independently of their truth; and thus, upon unpractical subjects, natural selection might occasion a fallacious tendency of thought. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p. 8) | |
| A reaction: Note that this is a pragmatist saying that a set of beliefs might work fine but be untrue. So Peirce does not have the highly relativistic notion of truth of some later pragmatists. Good for him. Note the early date to be thinking about Darwin. |
| 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. |
| 6946 | If death is annihilation, belief in heaven is a cheap pleasure with no disappointment [Peirce] |
| Full Idea: If death is annihilation, then the man who believes that he will certainly go straight to heaven when he dies, provided he have fulfilled certain simple observances in this life, has a cheap pleasure which will not be followed by the least disappointment. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.12) | |
| A reaction: This is a nicely wicked summary of one side of Pascal's options. All the problems of the argument are built into Peirce's word "cheap". Peirce goes on to talk about ostriches burying their heads. |