45 ideas
| 19693 | There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb] |
| Full Idea: Aristotle takes wisdom to come in two forms, the practical and the theoretical, the former of which is good judgement about how to act, and the latter of which is deep knowledge or understanding. | |
| From: report of Aristotle (works [c.330 BCE]) by Dennis Whitcomb - Wisdom Intro | |
| A reaction: The interesting question is then whether the two are connected. One might be thoroughly 'sensible' about action, without counting as 'wise', which seems to require a broader view of what is being done. Whitcomb endorses Aristotle on this idea. |
| 1575 | For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle] |
| Full Idea: For Aristotle logos is the ability to speak rationally about, with the hope of attaining knowledge, questions of value. | |
| From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.26 |
| 1589 | Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle] |
| Full Idea: Aristotle is the great theoretician who articulates a vision of a world in which natural and stable structures can be rationally discovered. His is the most optimistic and richest view of the possibilities of logos | |
| From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.95 |
| 9376 | A sentence may simultaneously define a term, and also assert a fact [Boghossian] |
| Full Idea: It doesn't follow from the fact that a given sentence is being used to implicitly define one of its ingredient terms, that it is not a factual statement. 'This stick is a meter long at t' may define an ingredient terms and express something factual. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: This looks like a rather good point, but it is tied in with a difficulty about definition, which is deciding which sentences are using a term, and which ones are defining it. If I say 'this stick in Paris is a meter long', I'm not defining it. |
| 8200 | Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine] |
| Full Idea: A real definition, according to the Aristotelian tradition, gives the essence of the kind of thing defined. Man is defined as a rational animal, and thus rationality and animality are of the essence of each of us. | |
| From: report of Aristotle (works [c.330 BCE]) by Willard Quine - Vagaries of Definition p.51 | |
| A reaction: Compare Idea 4385. Personally I prefer the Aristotelian approach, but we may have to say 'We cannot identify the essence of x, and so x cannot be defined'. Compare 'his mood was hard to define' with 'his mood was hostile'. |
| 4385 | Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson] |
| Full Idea: For Aristotle, to give a definition one must first state the genus and then the differentia of the kind of thing to be defined. | |
| From: report of Aristotle (works [c.330 BCE]) by J.O. Urmson - Aristotle's Doctrine of the Mean p.157 | |
| A reaction: Presumably a modern definition would just be a list of properties, but Aristotle seeks the substance. How does he define a genus? - by placing it in a further genus? |
| 14970 | Normal system K has five axioms and rules [Cresswell] |
| Full Idea: Normal propositional modal logics derive from the minimal system K: wffs of PC are axioms; □(p⊃q)⊃(□p⊃□q); uniform substitution; modus ponens; necessitation (α→□α). | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1) |
| 14971 | D is valid on every serial frame, but not where there are dead ends [Cresswell] |
| Full Idea: If a frame contains any dead end or blind world, then D is not valid on that frame, ...but D is valid on every serial frame. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1.1) |
| 14972 | S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell] |
| Full Idea: In S4 there are exactly 14 distinct modalities, and any modality may be reduced to one containing no more than three modal operators in sequence. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1.2) | |
| A reaction: The significance of this may be unclear, but it illustrates one of the rewards of using formal systems to think about modal problems. There is at least an appearance of precision, even if it is only conditional precision. |
| 14973 | In S5 all the long complex modalities reduce to just three, and their negations [Cresswell] |
| Full Idea: S5 contains the four main reduction laws, so the first of any pair of operators may be deleted. Hence all but the last modal operator may be deleted. This leaves six modalities: p, ◊p, □p, and their negations. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1.2) |
| 14976 | Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell] |
| Full Idea: If one wants the quantifiers in each world to range only over the things that exist in that world, and one doesn't believe that the same things exist in every world, one would probably not want the Barcan formula. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.2.2) | |
| A reaction: I haven't quite got this, but it sounds to me like I should reject the Barcan formula (but Idea 9449!). I like a metaphysics to rest on the actual world (with modal properties). I assume different things could have existed, but don't. |
| 13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
| Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity. | |
| From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12 | |
| A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit. |
| 4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
| Full Idea: Aristotle apparently believed that the subject-predicate structure of Greek reflected the substance-accident nature of reality. | |
| From: report of Aristotle (works [c.330 BCE]) by Paul O'Grady - Relativism Ch.4 | |
| A reaction: We need not assume that Aristotle is wrong. It is a chicken-and-egg. There is something obvious about subject-predicate language, if one assumes that unified objects are part of nature, and not just conventional. |
| 9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
| Full Idea: Conventualism is a factualist view: it presupposes that sentences of logic have truth values. It differs from a realist view in its conception of the source of those truth values, not on their existence. I call the denial of truths Non-Factualism. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: It barely seems to count as truth is we say 'p is true because we say so'. It is a truth about an agreement, not a truth about logic. Driving on the left isn't a truth about which side of the road is best. |
| 14974 | A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell] |
| Full Idea: A relation is 'Euclidean' if aRb and aRc imply bRc. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1.2) | |
| A reaction: If a thing has a relation to two separate things, then those two things will also have that relation between them. If I am in the same family as Jim and as Jill, then Jim and Jill are in the same family. |
| 13276 | The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki] |
| Full Idea: Aristotle's discussion of the unmoved mover and of the soul confirms the suspicion that form, when it is not thought of as the object represented in a definition, plays the role of the ultimate mereological atom within his system. | |
| From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 6.6 | |
| A reaction: Aristotle is concerned with which things are 'divisible', and he cites these two examples as indivisible, but they may be too unusual to offer an actual theory of how Aristotle builds up wholes from atoms. He denies atoms in matter. |
| 13277 | The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki] |
| Full Idea: Thus in Aristotle we may think of an object's formal components as a sort of recipe for how to build wholes of that particular kind. | |
| From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.5 | |
| A reaction: In the elusive business of pinning down what Aristotle means by the crucial idea of 'form', this analogy strikes me as being quite illuminating. It would fit DNA in living things, and the design of an artifact. |
| 14975 | A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell] |
| Full Idea: A de dicto necessary truth says that something is φ, that this proposition is a necessary truth, i.e. that in every accessible world something (but not necessarily the same thing in each world) is φ. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.2.1) | |
| A reaction: At last, a really clear and illuminating account of this term! The question is then invited of what is the truthmaker for a de dicto truth, assuming that the objects themselves are truthmakers for de re truths. |
| 5991 | For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code] |
| Full Idea: Aristotle thinks that in general we have knowledge or understanding when we grasp causes, and he distinguishes three fundamental types of knowledge - theoretical, practical and productive. | |
| From: report of Aristotle (works [c.330 BCE]) by Alan D. Code - Aristotle | |
| A reaction: Productive knowledge we tend to label as 'knowing how'. The centrality of causes for knowledge would get Aristotle nowadays labelled as a 'naturalist'. It is hard to disagree with his three types, though they may overlap. |
| 11239 | The notion of a priori truth is absent in Aristotle [Aristotle, by Politis] |
| Full Idea: The notion of a priori truth is conspicuously absent in Aristotle. | |
| From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5 | |
| A reaction: Cf. Idea 11240. |
| 9369 | 'Snow is white or it isn't' is just true, not made true by stipulation [Boghossian] |
| Full Idea: Isn't it overwhelmingly obvious that 'Either snow is white or it isn't' was true before anyone stipulated a meaning for it, and that it would have been true even if no one had thought about it, or chosen it to be expressed by one of our sentences? | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §I) | |
| A reaction: Boghossian would have to believe in propositions (unexpressed truths) to hold this - which he does. I take the notion of truth to only have relevance when there are minds around. Otherwise the so-called 'truths' are just the facts. |
| 9367 | The a priori is explained as analytic to avoid a dubious faculty of intuition [Boghossian] |
| Full Idea: The central impetus behind the analytic explanation of the a priori is a desire to explain the possibility of a priori knowledge without having to postulate a special evidence-gathering faculty of intuition. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §I) | |
| A reaction: I don't see at all why one has to postulate a 'faculty' in order to talk about intuition. I take an intuition to be an apprehension of a probable truth, combined with an inability to articulate how the conclusion was arrived at. |
| 9373 | That logic is a priori because it is analytic resulted from explaining the meaning of logical constants [Boghossian] |
| Full Idea: The analytic theory of the apriority of logic arose indirectly, as a by-product of the attempt to explain in what a grasp of the meaning of the logical constants consists. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: Preumably he is referring to Wittgenstein's anguish over the meaning of the word 'not' in his World War I notebooks. He first defined the constants by truth tables, then asserted that they were purely conventional - so logic is conventional. |
| 9380 | We can't hold a sentence true without evidence if we can't agree which sentence is definitive of it [Boghossian] |
| Full Idea: If there is no sentence I must hold true if it is to mean what it does, then there is no basis on which to argue that I am entitled to hold it true without evidence. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: He is exploring Quine's view. Truth by convention depends on agreeing which part of the usage of a term constitutes its defining sentence(s), and that may be rather tricky. Boghossian says this slides into the 'dreaded indeterminacy of meaning'. |
| 9384 | We may have strong a priori beliefs which we pragmatically drop from our best theory [Boghossian] |
| Full Idea: It is consistent with a belief's being a priori in the strong sense that we should have pragmatic reasons for dropping it from our best overall theory. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], n 6) | |
| A reaction: Does 'dropping it' from the theory mean just ignoring it, or actually denying it? C.I. Lewis is the ancestor of this view. Could it be our 'best' theory, while conflicting with beliefs that were strongly a priori? Pragmatism can embrace falsehoods. |
| 23312 | Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M] |
| Full Idea: Aristotle is a rationalist …but reason for him is a disposition which we only acquire over time. Its acquisition is made possible primarily by perception and experience. | |
| From: report of Aristotle (works [c.330 BCE]) by Michael Frede - Aristotle's Rationalism p.173 | |
| A reaction: I would describe this process as the gradual acquisition of the skill of objectivity, which needs the right knowledge and concepts to evaluate new experiences. |
| 16111 | Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML] |
| Full Idea: Since Aristotle generally prefers a metaphysical theory that accords with common intuitions, he frequently relies on facts about language to guide his metaphysical claims. | |
| From: report of Aristotle (works [c.330 BCE]) by Mary Louise Gill - Aristotle on Substance Ch.5 | |
| A reaction: I approve of his procedure. I take intuition to be largely rational justifications too complex for us to enunciate fully, and language embodies folk intuitions in its concepts (especially if the concepts occur in many languages). |
| 9374 | If we learn geometry by intuition, how could this faculty have misled us for so long? [Boghossian] |
| Full Idea: If we learn geometrical truths by intuition, how could this faculty have misled us for so long? | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: This refers to the development of non-Euclidean geometries, though the main misleading concerns parallels, which involves infinity. Boghossian cites 'distance' as a concept the Euclideans had misunderstood. Why shouldn't intuitions be wrong? |
| 16971 | Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik] |
| Full Idea: Plato's unity of science principle states that all - legitimate - sciences are ultimately about the Forms. Aristotle's principle states that all sciences must be, ultimately, about substances, or aspects of substances. | |
| From: report of Aristotle (works [c.330 BCE], 1) by Julius Moravcsik - Aristotle on Adequate Explanations 1 |
| 11243 | Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis] |
| Full Idea: For Aristotle things which explain (the explanantia) are facts, which should not be associated with the modern view that says explanations are dependent on how we conceive and describe the world (where causes are independent of us). | |
| From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.1 | |
| A reaction: There must be some room in modern thought for the Aristotelian view, if some sort of robust scientific realism is being maintained against the highly linguistic view of philosophy found in the twentieth century. |
| 3320 | Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA] |
| Full Idea: The standard Aristotelian doctrine of species and genus in the theory of anything whatever involves specifying what the thing is in terms of something more general. | |
| From: report of Aristotle (works [c.330 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.10 |
| 12000 | Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung] |
| Full Idea: The view that essential properties are those in virtue of which other significant properties of the subjects under investigation can be explained is encountered repeatedly in Aristotle's work. | |
| From: report of Aristotle (works [c.330 BCE]) by Joan Kung - Aristotle on Essence and Explanation IV | |
| A reaction: What does 'significant' mean here? I take it that the significant properties are the ones which explain the role, function and powers of the object. |
| 23300 | Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji] |
| Full Idea: Aristotle, and also the Stoics, denied rationality to animals. …The Platonists, the Pythagoreans, and some more independent Aristotelians, did grant reason and intellect to animals. | |
| From: report of Aristotle (works [c.330 BCE]) by Richard Sorabji - Rationality 'Denial' | |
| A reaction: This is not the same as affirming or denying their consciousness. The debate depends on how rationality is conceived. |
| 9378 | If meaning depends on conceptual role, what properties are needed to do the job? [Boghossian] |
| Full Idea: Conceptual Role Semantics must explain what properties an inference or sentence involving a logical constant must have, if that inference or sentence is to be constitutive of its meaning. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: This is my perennial request that if something is to be defined by its function (or role), we must try to explain what properties it has that make its function possible, and those properties will be the more basic explanation. |
| 9377 | 'Conceptual role semantics' says terms have meaning from sentences and/or inferences [Boghossian] |
| Full Idea: 'Conceptual role semantics' says the logical constants mean what they do by virtue of figuring in certain inferences and/or sentences involving them and not others, ..so some inferences and sentences are constitutive of an expression's meaning. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: If the meaning of the terms derives from the sentences in which they figure, that seems to be meaning-as-use. The view that it depends on the inferences seems very different, and is a more interesting but more risky claim. |
| 9372 | Could expressions have meaning, without two expressions possibly meaning the same? [Boghossian] |
| Full Idea: Could there be a fact of the matter about what each expression means, but no fact of the matter about whether they mean the same? | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §II) | |
| A reaction: He is discussing Quine's attack on synonymy, and his scepticism about meaning. Boghossian and I believe in propositions, so we have no trouble with two statements having the same meaning. Denial of propositions breeds trouble. |
| 17721 | There are no truths in virtue of meaning, but there is knowability in virtue of understanding [Boghossian, by Jenkins] |
| Full Idea: Boghossian distinguishes metaphysical analyticity (truth purely in virtue of meaning, debunked by Quine, he says) from epistemic analyticity (knowability purely in virtue of understanding - a notion in good standing). | |
| From: report of Paul Boghossian (Analyticity Reconsidered [1996]) by Carrie Jenkins - Grounding Concepts 2.4 | |
| A reaction: [compressed] This fits with Jenkins's claim that we have a priori knowledge just through understanding and relating our concepts. She, however, rejects that idea that a priori is analytic. |
| 11240 | The notion of analytic truth is absent in Aristotle [Aristotle, by Politis] |
| Full Idea: The notion of analytic truth is conspicuously absent in Aristotle. | |
| From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5 | |
| A reaction: Cf. Idea 11239. |
| 9368 | Epistemological analyticity: grasp of meaning is justification; metaphysical: truth depends on meaning [Boghossian] |
| Full Idea: The epistemological notion of analyticity: a statement is 'true by virtue of meaning' provided that grasp of its meaning alone suffices for justified belief in its truth; the metaphysical reading is that it owes its truth to its meaning, not to facts. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §I) | |
| A reaction: Kripke thinks it is neither, but is a purely semantic notion. How could grasp of meaning alone be a good justification if it wasn't meaning which was the sole cause of the statement's truth? I'm not convinced by his distinction. |
| 6559 | Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin] |
| Full Idea: To the best of my knowledge (and somewhat to my surprise), Aristotle never actually says that man is a rational animal; however, he all but says it. | |
| From: report of Aristotle (works [c.330 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.1 | |
| A reaction: When I read this I thought that this database would prove Fogelin wrong, but it actually supports him, as I can't find it in Aristotle either. Descartes refers to it in Med.Two. In Idea 5133 Aristotle does say that man is a 'social being'. But 22586! |
| 11150 | It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle] |
| Full Idea: It is the mark of an educated mind to be able to entertain an idea without accepting it. | |
| From: Aristotle (works [c.330 BCE]) | |
| A reaction: The epigraph on a David Chalmers website. A wonderful remark, and it should be on the wall of every beginners' philosophy class. However, while it is in the spirit of Aristotle, it appears to be a misattribution with no ancient provenance. |
| 3037 | Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius] |
| Full Idea: Aristotle was asked how much educated men were superior to those uneducated; "As much," he said, "as the living are to the dead." | |
| From: report of Aristotle (works [c.330 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 05.1.11 |
| 8660 | There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend] |
| Full Idea: Aristotle developed his own distinction between potential infinity (never running out) and actual infinity (there being a collection of an actual infinite number of things, such as places, times, objects). He decided that actual infinity was incoherent. | |
| From: report of Aristotle (works [c.330 BCE]) by Michèle Friend - Introducing the Philosophy of Mathematics 1.3 | |
| A reaction: Friend argues, plausibly, that this won't do, since potential infinity doesn't make much sense if there is not an actual infinity of things to supply the demand. It seems to just illustrate how boggling and uncongenial infinity was to Aristotle. |
| 12058 | Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins] |
| Full Idea: Aristotle's conception of matter permits any kind of matter to become any other kind of matter. | |
| From: report of Aristotle (works [c.330 BCE]) by David Wiggins - Substance 4.11.2 | |
| A reaction: This is obviously crucial background information when we read Aristotle on matter. Our 92+ elements, and fixed fundamental particles, gives a quite different picture. Aristotle would discuss form and matter quite differently now. |
| 22729 | The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus] |
| Full Idea: Aristotle said that the conception of gods arose among mankind from two originating causes, namely from events which concern the soul and from celestial phenomena. | |
| From: report of Aristotle (works [c.330 BCE], Frag 10) by Sextus Empiricus - Against the Physicists (two books) I.20 | |
| A reaction: The cosmos suggests order, and possible creation. What do events of the soul suggest? It doesn't seem to be its non-physical nature, because Aristotle is more of a functionalist. Puzzling. (It says later that gods are like the soul). |