78 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. |
| 16227 | Philosophers are good at denying the obvious [Hawley] |
| Full Idea: Philosophers are skilled at resisting even the most inviting thoughts. | |
| From: Katherine Hawley (How Things Persist [2001], 5) | |
| A reaction: Not exactly 'despair', but it does show how far philosophers are able to stray from common sense. Monads, real possible worlds, real sets… Thomas Reid, the philosopher of common sense, might be the antidote. |
| 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 |
| 18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
| Full Idea: We are able to reason about inconsistent beliefs, stories, and theories in useful and important ways | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 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? |
| 18789 | Intuitionist logic looks best as natural deduction [Mares] |
| Full Idea: Intuitionist logic appears most attractive in the form of a natural deduction system. | |
| From: Edwin D. Mares (Negation [2014], 5.5) |
| 18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
| Full Idea: In intuitionist logic each connective has one introduction and one elimination rule attached to it, but in the classical system we have to add an extra rule for negation. | |
| From: Edwin D. Mares (Negation [2014], 5.5) | |
| A reaction: How very intriguing. Mares says there are other ways to achieve classical logic, but they all seem rather cumbersome. |
| 18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
| Full Idea: One reason for wanting a three-valued logic is to act as a basis of a theory of presupposition. | |
| From: Edwin D. Mares (Negation [2014], 3.1) | |
| A reaction: [He cites Strawson 1950] The point is that you can get a result when the presupposition does not apply, as in talk of the 'present King of France'. |
| 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. |
| 18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
| Full Idea: The problem with material implication, and classical logic more generally, is that it considers only the truth value of formulas in deciding whether to make an implication stand between them. It ignores everything else. | |
| From: Edwin D. Mares (Negation [2014], 7.1) | |
| A reaction: The obvious problem case is conditionals, and relevance is an obvious extra principle that comes to mind. |
| 18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
| Full Idea: Among the virtues of classical logic is the fact that the connectives are related to one another in elegant ways that often involved negation. For example, De Morgan's Laws, which involve negation, disjunction and conjunction. | |
| From: Edwin D. Mares (Negation [2014], 2.2) | |
| A reaction: Mares says these enable us to take disjunction or conjunction as primitive, and then define one in terms of the other, using negation as the tool. |
| 18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
| Full Idea: On its standard reading, excluded middle tells us that bivalence holds. To reject excluded middle, we must reject either non-contradiction, or ¬(A∧B) ↔ (¬A∨¬B) [De Morgan 3], or the principle of double negation. All have been tried. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
| Full Idea: If we treat disjunction in the standard way and take the negation of a statement A to mean that A is false, accepting excluded middle forces us also to accept the principle of bivalence, which is the dictum that every statement is either true or false. | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: Mates's point is to show that passively taking the normal account of negation for granted has important implications. |
| 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. |
| 18782 | The connectives are studied either through model theory or through proof theory [Mares] |
| Full Idea: In studying the logical connectives, philosophers of logic typically adopt the perspective of either model theory (givng truth conditions of various parts of the language), or of proof theory (where use in a proof system gives the connective's meaning). | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: [compressed] The commonest proof theory is natural deduction, giving rules for introduction and elimination. Mates suggests moving between the two views is illuminating. |
| 16216 | Part of the sense of a proper name is a criterion of the thing's identity [Hawley] |
| Full Idea: A Fregean dictum is that part of the sense of proper name is a criterion of identity for the thing in question. | |
| From: Katherine Hawley (How Things Persist [2001], 3.8) | |
| A reaction: [She quotes Dummett 1981:545] We are asked to choose between this and the Kripke rigid/dubbing/causal account, with effectively no content. |
| 18783 | Many-valued logics lack a natural deduction system [Mares] |
| Full Idea: Many-valued logics do not have reasonable natural deduction systems. | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
| Full Idea: Situation semantics for logics consider not what is true in worlds, but what information is contained in situations. | |
| From: Edwin D. Mares (Negation [2014], 6.2) | |
| A reaction: Since many theoretical physicists seem to think that 'information' might be the most basic concept of a natural ontology, this proposal is obviously rather appealing. Barwise and Perry are the authors of the theory. |
| 18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
| Full Idea: The difference between the principle of consistency and the principle of non-contradiction is that the former must be stated in a semantic metalanguage, whereas the latter is a thesis of logical systems. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
| Full Idea: For the intuitionist, talk of mathematical objects is rather misleading. For them, there really isn't anything that we should call the natural numbers, but instead there is counting. What intuitionists study are processes, such as counting and collecting. | |
| From: Edwin D. Mares (Negation [2014], 5.1) | |
| A reaction: That is the first time I have seen mathematical intuitionism described in a way that made it seem attractive. One might compare it to a metaphysics based on processes. Apparently intuitionists struggle with infinite sets and real numbers. |
| 16211 | A homogeneous rotating disc should be undetectable according to Humean supervenience [Hawley] |
| Full Idea: Imagine a perfectly homogeneous non-atomistic disc. A record of all the non-relational information about the world at that moment will not reveal whether the disc is rotating about a vertical axis through. This tells against Humean supervenience. | |
| From: Katherine Hawley (How Things Persist [2001], 3.2) | |
| A reaction: [Armstrong 1980 originated this, and it is famously discussed by Kripke in lectures] There will, of course, be dispositions present because of the rotation, but Lewis excludes any such modal truths. |
| 16219 | Non-linguistic things cannot be indeterminate, because they don't have truth-values at all [Hawley] |
| Full Idea: Non-linguistic objects, properties, and states of affairs cannot be indeterminate because they cannot have determinate truth-values either. No cloud is indeterminate, just as no cloud is either determinately true or determinately false. | |
| From: Katherine Hawley (How Things Persist [2001], 4.1) | |
| A reaction: If vagueness must be linguistic, this means animals can never experience it, which I doubt. Presumably 'this is a cloud' is only made vague by the vagueness of the object, rather than by the vagueness of the sentence? |
| 16223 | Maybe for the world to be vague, it must be vague in its foundations? [Hawley] |
| Full Idea: There is a question of whether there must be 'vagueness all the way down' for the world to be vague. One view is that if there is a base level of precisely describably facts, upon which all the others supervene, then the world is not really vague. | |
| From: Katherine Hawley (How Things Persist [2001], 4.5) | |
| A reaction: My understanding of the physics is that it is non-vague all the way down, and then you get to the base level which is hopelessly vague! |
| 16226 | Epistemic vagueness seems right in the case of persons [Hawley] |
| Full Idea: The epistemic account of vagueness is particularly attractive where persons are concerned. | |
| From: Katherine Hawley (How Things Persist [2001], 4.14) | |
| A reaction: You'll have to see her text for details. Interesting that there might be different views of what vagueness is for different cases. Or putting it another way, absolutely everything (said, thought, existing or done) might be vague in some way! |
| 16208 | Supervaluation refers to one vaguely specified thing, through satisfaction by everything in some range [Hawley] |
| Full Idea: Supervaluationists take a present-tense predication as concerning a single, but vaguely specified, moment. …It is indeterminate which of a range of moments enters into the truth conditions, but it is true if satisfied by every member of the range. | |
| From: Katherine Hawley (How Things Persist [2001], 2.7) | |
| A reaction: She is discussing stage theory, but this is a helpful clarification of the idea of supervaluation. Something can be satisfied by a whole bunch of values, even though you are not sure which one. |
| 16221 | Supervaluationism takes what the truth-value would have been if indecision was resolved [Hawley] |
| Full Idea: A supervaluationist approach involves consideration of what the truth value of the utterance would have been if semantic indecision had been resolved in this way or that. | |
| From: Katherine Hawley (How Things Persist [2001], 4.1) | |
| A reaction: At last, a lovely account of supervaluation in plain English that anyone can understand! Why don't they all do that? Well, done Katherine Hawley! ['semantic indecision' is uncertainty about what your words mean!] |
| 16230 | Maybe the only properties are basic ones like charge, mass and spin [Hawley] |
| Full Idea: Some philosophers suspect that properties are few and far between, that there are only properties like charge, mass, spin, and so on. | |
| From: Katherine Hawley (How Things Persist [2001], 5.1) | |
| A reaction: I think properties are very sparse, and mainly consist of physical powers, but I am not sure what I think of this. It may be 'mere semantics'. Complex properties still seem to be properties. Powers combine to make properties, I suggest. |
| 16232 | An object is 'natural' if its stages are linked by certain non-supervenient relations [Hawley] |
| Full Idea: I suggest that our distinction between natural and unnatural (gerrymandered) objects corresponds to a distinction between series of stages which are and are not linked by certain non-supervenient relations. | |
| From: Katherine Hawley (How Things Persist [2001], 5.5) | |
| A reaction: See Idea 16213 for the nature of these 'relations'. I don't understand how an abstraction (as I take it) like a relation can unify a physical object. A trout-turkey is unified by a relation of some sort. Hawley defends Stage Theory. |
| 16200 | Are sortals spatially maximal - so no cat part is allowed to be a cat? [Hawley] |
| Full Idea: Many philosophers believe that sortal predicates are spatially maximal - for example, that no cat can be a proper spatial part of a cat. | |
| From: Katherine Hawley (How Things Persist [2001], 2.1) | |
| A reaction: This sounds reasonable until you cut the tail off a cat. Presumably what remains is a cat? So presumably that smaller part was always a cat? Only essentialism can make sense of this! You can't just invent rules for sortals. |
| 16237 | The modal features of statue and lump are disputed; when does it stop being that statue? [Hawley] |
| Full Idea: It is difficult to establish a consensus about the modal features of the statue and the lump. Could that statue be made of a different lump? Could that statue of Goliath have been spherical? Not a realistic statue of Goliath, but still the same statue? | |
| From: Katherine Hawley (How Things Persist [2001], 6) | |
| A reaction: The problem is with a wild wacky sculptor, who might say it is a statue of Goliath no matter what shape the lump takes. 'Goliath had a spherical character'. Sometimes we will say (pace Evans) it is 'roughly identical' to the original statue. |
| 16238 | Perdurantists can adopt counterpart theory, to explain modal differences of identical part-sums [Hawley] |
| Full Idea: Perdurance theory claims that lumps and statues differ modally whilst always being made of the same parts. A natural way to make this less mysterious is for perdurantists to adopt counterpart theory, where objects in different worlds are never identical. | |
| From: Katherine Hawley (How Things Persist [2001], 6.2) | |
| A reaction: This, of course, is exactly the system created by David Lewis. Personally I rather like counterparts, but perdurance seems a tad crazy. |
| 16220 | Vagueness is either in our knowledge, in our talk, or in reality [Hawley] |
| Full Idea: There are three main views of vagueness: the Epistemic view says we talk precisely, but don't know what we talk precisely about; the Semantic view is that it is loose talk, or semantic indecision; the Ontic view says it is part of how the world is. | |
| From: Katherine Hawley (How Things Persist [2001], 4.1) | |
| A reaction: [My summary of two paragraphs] She associates Williamson with the first view, Lewis with the second, and Van Inwagen with the third. |
| 16222 | Indeterminacy in objects and in properties are not distinct cases [Hawley] |
| Full Idea: There is no important distinction to be drawn between cases where indeterminacy is due to the object involved and cases where indeterminacy is due to the property involved. | |
| From: Katherine Hawley (How Things Persist [2001], 4.2) | |
| A reaction: You could always paraphrase the object's situation propertywise, or the property's situation objectwise. 'His baldness is indeterminate'; 'where does the mountainous terrain end?' |
| 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. |
| 16228 | The constitution theory is endurantism plus more than one object in a place [Hawley] |
| Full Idea: Constitution theorists are endurance theorists who believe that there can be more than one object exactly occupying a spatial region at a certain moment. | |
| From: Katherine Hawley (How Things Persist [2001], 5.1) | |
| A reaction: I increasingly think that this is a ridiculous view. The constitution of an object isn't a further object. A constitution is a necessary requirement for a physical object. Hylomorphism! Constitutions can't be separate - they must constitute something! |
| 16229 | Constitution theory needs sortal properties like 'being a sweater' to distinguish it from its thread [Hawley] |
| Full Idea: Constitution theorists need to posit sortal properties of 'being a thread' or 'being a sweater', as grounds for the differences betwween the sweater and the thread that constitutes it. | |
| From: Katherine Hawley (How Things Persist [2001], 5.1) | |
| A reaction: This is further grounds for thinking the constitution view ridiculous, because there are no such properties. 'Being a sweater' is a category, which something belongs in if it has all the properties of a sweater. The final property triggers sweaterhood. |
| 14492 | If the constitution view says thread and sweater are two things, why do we talk of one thing? [Hawley] |
| Full Idea: The constitution theorists, who claim that the sweater and the thread are different things, should offer some explanation of why we tend to say that there is just one thing there. They must simply claim that we 'do not count by identity'. | |
| From: Katherine Hawley (How Things Persist [2001], 5.8) | |
| A reaction: Her example is a sweater knitted from a single piece of thread. Presumably we could count by sortal identity, so there is one thread here, and there is one sweater here. We just can't add the two together. No ontological arithmetic. |
| 16193 | 'Adverbialism' explains change by saying an object has-at-some-time a given property [Hawley] |
| Full Idea: Another strategy for the problem of change says that instantiation - the having of properties - is time-indexed, or relative to times, although properties themselves are not. This 'adverbialism' says that object has-at-t some property. | |
| From: Katherine Hawley (How Things Persist [2001], 1.5) | |
| A reaction: [She cites Johnson, Lowe and Haslanger for this] Promising. The question is whether the time index is attached to the object, to the property, or to the instantiation. The middle one is wrong. There aren't two properties - green-at-t1 and green-at-t2. |
| 16195 | Presentism solves the change problem: the green banana ceases, so can't 'relate' to the yellow one [Hawley] |
| Full Idea: Adopting presentism solves the problem of change, since it means that, once the banana is yellow, there just is no green banana, and the question of the relationship between yesterday's green banana and today's yellow one therefore does not arise. | |
| From: Katherine Hawley (How Things Persist [2001], 1.7) | |
| A reaction: Change remains kind of odd, but it is no longer the puzzlement of two things being the same when they are admitted to be different. There is only ever one thing. This is my preferred account, I think. I certainly hope past bananas don't exist. |
| 16202 | The problem of change arises if there must be 'identity' of a thing over time [Hawley] |
| Full Idea: It is the insistence on identity between objects wholly present at different times which gives rise to the problem of change. | |
| From: Katherine Hawley (How Things Persist [2001], 2.2) | |
| A reaction: My solution is to say things are the 'same', in a slightly loose non-transitive way, rather than formally identical, which is a concept from maths, not from reality. |
| 16192 | Endurance theory can relate properties to times, or timed instantiations to properties [Hawley] |
| Full Idea: Endurance theory might claim a banana stands (atemporally) in different relations to different times (being-green-at to Monday), ..or has different instantiation relations to different properties (instantiates-on-Monday to being green). | |
| From: Katherine Hawley (How Things Persist [2001], 1.3) | |
| A reaction: She suggests that the first approach is more plausible for endurantists. I think she is right (assuming these are the only two options). Monday awaits a banana, but yellow doesn't. |
| 16196 | Endurance is a sophisticated theory, covering properties, instantiation and time [Hawley] |
| Full Idea: Endurance theory is not just a default 'no-theory' theory, for it must incorporate a sophisticated account of properties and instantiation, and requires a certain view of time if it is even to be formulable. | |
| From: Katherine Hawley (How Things Persist [2001], 1.8) | |
| A reaction: A bit odd to claim it is a sophisticated theory when it is held (at least in our culture) by absolutely everyone apart from a few philosophers and physicists. The sophistication may come with trying to describe it using current metaphysical vocabulary. |
| 16197 | How does perdurance theory explain our concern for our own future selves? [Hawley] |
| Full Idea: A question for perdurance theory is whether it can account for the special concern we feel for our own future selves. | |
| From: Katherine Hawley (How Things Persist [2001], 1.8) | |
| A reaction: That is one of those questions that begins to look very mysterious whatever your theory. I favour endurantism, but me next year looks a very remote person for me to be concerned about, in comparison with the people around me now. |
| 16191 | Perdurance needs an atemporal perspective, to say that the object 'has' different temporal parts [Hawley] |
| Full Idea: Perdurance relies on our having an 'atemporal' perspective from which we can truly say a banana has both yellow and green parts, where this 'has' is not in the present tense. ..Perdurance theory cannot be expressed straightforwardly in the present tense. | |
| From: Katherine Hawley (How Things Persist [2001], 1.2) | |
| A reaction: This seems to require the tenseless B-series view of time. It seems to need a tenseless view of the past, but what does it have to say about the future? |
| 16199 | If an object is the sum of all of its temporal parts, its mass is staggeringly large! [Hawley] |
| Full Idea: The mass of an object is the sum of its nonoverlapping parts. Analogy would suggest that a persisting banana has, atemporally speaking, a mass that is the sum of all the masses of the 100g temporal parts, a worryingly large figure. | |
| From: Katherine Hawley (How Things Persist [2001], 2.1) | |
| A reaction: This is an objection to the Perdurance view that an object is the sum of all of its temporal parts. Their duration tends towards instantaneous, so the aggregate mass tends towards infinity. She says they should deny atemporal mass. |
| 16201 | Perdurance says things are sums of stages; Stage Theory says each stage is the thing [Hawley] |
| Full Idea: According to Perdurance Theory, it is long-lived sums of stages which are tennis balls, whereas according to Stage Theory, it is the stages themselves which are tennis balls. | |
| From: Katherine Hawley (How Things Persist [2001], 2.2) | |
| A reaction: These seem to be the two options if you are a four-dimensionalist, though Fine says you could be a weird three-dimensionalist and choose stage theory. |
| 16240 | If a life is essentially the sum of its temporal parts, it couldn't be shorter or longer than it was? [Hawley] |
| Full Idea: It seems that perdurance theory should identify Descartes with the sum of his temporal parts, but that means Descartes essentially lived for 54 years, which seems absurd, as he could have lived longer or less long than he in fact did. | |
| From: Katherine Hawley (How Things Persist [2001], 6.10) | |
| A reaction: [She credits Van Inwagen with this] I'm not clear why a counterpart of Descartes could not have a shorter or longer sum of parts, and still be Descartes. If the sum is rigidly designated, that is a problem for endurance too. |
| 16203 | Stage Theory seems to miss out the link between stages of the same object [Hawley] |
| Full Idea: The first worry for Stage Theory is that many present stages are bananas, and many stages tomorrow are bananas, but this seems to omit the important fact that some of those stages are intimately linked, that certain stages are the same banana. | |
| From: Katherine Hawley (How Things Persist [2001], 2.3) | |
| A reaction: Hawley has a theory to do with external relations, which I didn't find very persuasive. Just to say stages have a 'relation' seems too abstract. Stages of disparate things can also have 'relations', but presumably the wrong sort. |
| 16204 | Stage Theory says every stage is a distinct object, which gives too many objects [Hawley] |
| Full Idea: The second worry for Stage Theory is that there are far too many bananas in the world on this account. | |
| From: Katherine Hawley (How Things Persist [2001], 2.3) | |
| A reaction: The point is that each (instantaneous) stage is considered to be a whole banana (as opposed to one sum of all the stages of the banana, in the Perdurance view). A pretty serious problem, which she tries to deal with. |
| 16212 | An isolated stage can't be a banana (which involves suitable relations to other stages) [Hawley] |
| Full Idea: A single isolated stage could not be a banana, because in order to be a banana a stage must be suitably related to other stages with appropriate properties. | |
| From: Katherine Hawley (How Things Persist [2001], 3.4.1) | |
| A reaction: This seems at odds with the claim that each stage is the whole thing (rather than the long temporal 'worm' of perdurance theory). Isolated stages are instantaneous, so can't be anything, really. Her 'relations' seem hand-wavy to me. Connections? |
| 16213 | Stages of one thing are related by extrinsic counterfactual and causal relations [Hawley] |
| Full Idea: I claim that there are relations between the distinct stages of a persisting object which are not determined by the intrinsic properties of those stages. …The later stages depend, counterfactually and causally, upon the earlier stages. | |
| From: Katherine Hawley (How Things Persist [2001], 3.5) | |
| A reaction: This is the heart of her theory. How can there be a causal link between two stages which is not the result of intrinsic properties of the stages? This begins to sound like Malebranche's Occasionalism. |
| 16206 | Stages must be as fine-grained in length as change itself, so any change is a new stage [Hawley] |
| Full Idea: To account for change, stages and temporal parts must be as fine-grained as change: a material thing must have as many stages or parts as it is in incompatible states during its lifetime. | |
| From: Katherine Hawley (How Things Persist [2001], 2.4) | |
| A reaction: There seems to be a dilemma for stages here, of being so fat that they are divisible and change, or so thin that they barely exist. Lose-lose, I'd say. |
| 16205 | The stages of Stage Theory seem too thin to populate the world, or to be referred to [Hawley] |
| Full Idea: A third worry for Stage Theory is that the momentary stages themselves are just too thin to populate the world, and too thin to be the objects of reference. | |
| From: Katherine Hawley (How Things Persist [2001], 2.3) | |
| A reaction: Her three objections to her own theory add up to sufficient to refute it, in my view, though a large chunk of her book is spent trying to refute the objections. |
| 16225 | If two things might be identical, there can't be something true of one and false of the other [Hawley] |
| Full Idea: We can call the 'transference principle' the claim that if it is indeterminate whether two objects are identical, then nothing determinately true of one can be determinately false of the other. | |
| From: Katherine Hawley (How Things Persist [2001], 4.9) | |
| A reaction: The point is that Leibniz's Law could immediately be invoked to show there is no possibility of their identity. |
| 16239 | To decide whether something is a counterpart, we need to specify a relevant sortal concept [Hawley] |
| Full Idea: When asked whether a possible object is a counterpart of something, we need to specify which sortal we are interested in. | |
| From: Katherine Hawley (How Things Persist [2001], 6.2) | |
| A reaction: The compares this to the 'respect' in which two things are similar. For example, what would count as a counterpart of the current British Prime Minister? De re or de dicto reference? |
| 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. |
| 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). |
| 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. |
| 16218 | On any theory of self, it is hard to explain why we should care about our future selves [Hawley] |
| Full Idea: It is rather difficult to say why one should care about one's future self, even on an endurance theory account of the self. | |
| From: Katherine Hawley (How Things Persist [2001], 3.9) | |
| A reaction: A nice passing remark, that strikes me forcibly as one of those basic mysteries of experience that philosophers can only gawp at, and have no theory to offer. |
| 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. |
| 18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
| Full Idea: In 'situation semantics' individuals, properties, facts, and events are treated as abstractions from situations. | |
| From: Edwin D. Mares (Negation [2014], 6.1) | |
| A reaction: [Barwise and Perry 1983 are cited] Since I take the process of abstraction to be basic to thought, I am delighted to learn that someone has developed a formal theory based on it. I am immediately sympathetic to situation semantics. |
| 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. |
| 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. |
| 16215 | Causation is nothing more than the counterfactuals it grounds? [Hawley] |
| Full Idea: Counterfactual accounts of causation say that a causal connection is exhausted by the counterfactuals it appears to ground. | |
| From: Katherine Hawley (How Things Persist [2001], 3.5) | |
| A reaction: I am bewildered as to how this became a respectable view in philosophy. I quite understand that this might exhaust the 'logic' of causal relations. Presumably you can have counterfactuals in mathematics which are not causal? |
| 16207 | Time could be discrete (like integers) or dense (rationals) or continuous (reals) [Hawley] |
| Full Idea: There seem to be three possible ways for time to be fine-grained. The ordering of instants could be discrete (like the integers), dense (like the rational numbers) or continuous (like the real numbers). | |
| From: Katherine Hawley (How Things Persist [2001], 2.5) | |
| A reaction: She seems to assume that time must be 'grained', but I would take the continuous view to imply that there is no grain at all (which is bad news for her version of stage theory). |
| 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). |