18 ideas
17311 | Real definitions don't just single out a thing; they must also explain its essence [Koslicki] |
Full Idea: A statement expressing a real definition must also accomplish more than simply to offer two different ways of singling out the same entity, since the definiens must also be explanatory of the essential nature of the definiendum. | |
From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
A reaction: This is why Aristotelian definitions are not just short lexicographical definitions, but may be quite length. Effectively, a definition IS an explanation. |
17818 | How many? must first partition an aggregate into sets, and then logic fixes its number [Yourgrau] |
Full Idea: We want to know How many what? You must first partition an aggregate into parts relevant to the question, where no partition is privileged. How the partitioned set is to be numbered is bound up with its unique members, and follows from logic alone. | |
From: Palle Yourgrau (Sets, Aggregates and Numbers [1985], 'New Problem') | |
A reaction: [Compressed wording of Yourgrau's summary of Frege's 'relativity argument'] Concepts do the partitioning. Yourgau says this fails, because the same argument applies to the sets themselves, as well as to the original aggregates. |
17822 | Nothing is 'intrinsically' numbered [Yourgrau] |
Full Idea: Nothing at all is 'intrinsically' numbered. | |
From: Palle Yourgrau (Sets, Aggregates and Numbers [1985], 'What the') | |
A reaction: Once you are faced with distinct 'objects' of some sort, they can play the role of 'unit' in counting, so his challenge is that nothing is 'intrinsically' an object, which is the nihilism explored by Unger, Van Inwagen and Merricks. Aristotle disagrees... |
17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
Full Idea: Being the successor of the successor of 0 is more explanatory than being predecessor of 3 of the nature of 2, since it mirrors more closely the method by which 2 is constructed from a basic entity, 0, and a relation (successor) taken as primitive. | |
From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
A reaction: This assumes numbers are 'constructed', which they are in the axiomatised system of Peano Arithmetic, but presumably the numbers were given in ordinary experience before 'construction' occurred to anyone. Nevertheless, I really like this. |
17817 | Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau] |
Full Idea: The Frege-Maddy definition of number (as the 'property' of being-three) explains why the definitions of Von Neumann, Zermelo and others work, by giving the 'principle of collection' that ties together all threes. | |
From: Palle Yourgrau (Sets, Aggregates and Numbers [1985], 'A Fregean') | |
A reaction: [compressed two or three sentences] I am strongly in favour of the best definition being the one which explains the target, rather than just pinning it down. I take this to be Aristotle's view. |
17815 | We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau] |
Full Idea: Sets could hardly serve as a foundation for number theory if we had to await detailed results in the upper reaches of the edifice before we could make our first move. | |
From: Palle Yourgrau (Sets, Aggregates and Numbers [1985], 'Two') |
17821 | You can ask all sorts of numerical questions about any one given set [Yourgrau] |
Full Idea: We can address a set with any question at all that admits of a numerical reply. Thus we can ask of {Carter, Reagan} 'How many feet do the members have?'. | |
From: Palle Yourgrau (Sets, Aggregates and Numbers [1985], 'On Numbering') | |
A reaction: This is his objection to the Fregean idea that once you have fixed the members of a set, you have thereby fixed the unique number that belongs with the set. |
17314 | The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki] |
Full Idea: The relata of the grounding relation are typically taken to be facts or propositions, while the relata of ontological dependence ...are objects and their characteristics, activities, constituents and so on. | |
From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.5 n25) | |
A reaction: Interesting. Good riddance to propositions here, but this seems a bit unfair to facts, since I take facts to be in the world. Audi's concept of 'worldly facts' is what we need here. |
17313 | Modern views want essences just to individuate things across worlds and times [Koslicki] |
Full Idea: According to the approach of Plantinga, Forbes and Mackie, the primary job of essences is to individuate the entities whose essences they are across worlds and times at which these entities exist. | |
From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4 n13) | |
A reaction: A helpful simplification of what is going on. I wish those authors would just say this one their first pages. They all get in a right tangle, because individuation is either too easy, or hopeless. 'Tracking' is a good word for this game. |
17309 | For Fine, essences are propositions true because of identity, so they are just real definitions [Koslicki] |
Full Idea: Fine assumes that essences can be identified with collections of propositions that are true in virtue of the identity of a particular object, or objects. ...There is not, on this approach, much of a distinction between essences and real definitions. | |
From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
A reaction: This won't do, because the essence of a physical object is not a set of propositions, it is some aspects of the object itself, which are described in a definition. Koslicki notes that psuché is an essence, and the soul is hardly a set of propositions! |
17315 | We need a less propositional view of essence, and so must distinguish it clearly from real definitions [Koslicki] |
Full Idea: To make room for a less propositional conception of essence than that assumed by Fine, I urge that we distinguish more firmly between essences and real definitions (which state these essences in the form of propositions). | |
From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.6) | |
A reaction: Yes. The idea that essence is just a verbal or conceptual entity would be utterly abhorrent to Aristotle (a hero for Fine), and it is anathema to me too. We intend essences to be in the world (even if we are deceived about that). They explain! |
17317 | A good explanation captures the real-world dependence among the phenomena [Koslicki] |
Full Idea: It is plausible to think that an explanation, when successful, captures or represents (by argument, or a why? question) an underlying real-world relation of dependence which obtains among the phenomena cited. | |
From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.6) | |
A reaction: She cites causal dependence as an example. I'm incline to think that 'grounding' is a better word for the target of good explanations than is 'dependence' (which can, surely, be mutual, where ground has the directionality needed for explanation). |
17316 | We can abstract to a dependent entity by blocking out features of its bearer [Koslicki] |
Full Idea: In 'feature dependence', the ontologically dependent entity may be thought of as the result of a process of abstraction which takes the 'bearer' as its starting point and arrives at the abstracted entity by blocking out all the irrelevant features. | |
From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.6) | |
A reaction: She seems unaware that this is traditional abstraction, found in Aristotle, and a commonplace of thought until Frege got his evil hands on abstraction and stole it for other purposes. I'm a fan. |
22445 | Morality shows murder is wrong, but not what counts as a murder [Foot] |
Full Idea: While one can determine from the concept of morality that there is an objection to murder one cannot determine completely what will count as murder. | |
From: Philippa Foot (Morality and Art [1972], p.7) | |
A reaction: She then refers to abortion, but there are military and criminal problem cases, and killings by neglect or side effect. |
22444 | A moral system must deal with the dangers and benefits of life [Foot] |
Full Idea: A moral system seems necessarily to be one aimed at removing particular dangers and securing certain benefits. | |
From: Philippa Foot (Morality and Art [1972], p.6) | |
A reaction: I thoroughly approve of this approach to morality, which anchors it in real life, rather than in ideals or principles of reason. |
22447 | Saying something 'just is' right or wrong creates an illusion of fact and objectivity [Foot] |
Full Idea: When we say that something 'just is' right or wrong we want to give the impression of some kind of fact or authority standing behind our words, ...maintaining the trappings of objectivity though the substance is not there. | |
From: Philippa Foot (Morality and Art [1972], p.9) | |
A reaction: Foot favours the idea that such a claim must depend on reasons, and that the reasons arise out of actual living. She's right. |
22448 | We sometimes just use the word 'should' to impose a rule of conduct on someone [Foot] |
Full Idea: It would be more honest to recognise that the 'should' of moral judgement is sometimes merely an instrument by which we (for our own very good reasons) try to impose a rule of conduct even on the uncaring man? | |
From: Philippa Foot (Morality and Art [1972], p.18) | |
A reaction: This is a good example, I think, of the ordinary language tradition that Foot grew up in. We load a word like 'should' with a mystical power, but the situations in which it is actually used bring us back down to earth. |
22446 | In the case of something lacking independence, calling it a human being is a matter of choice [Foot] |
Full Idea: In the problem of abortion there is a genuine choice as to whether or not to count as a human being, with the rights of a human being, what would become a human being but is not yet capable of independent life. | |
From: Philippa Foot (Morality and Art [1972], p.7) | |
A reaction: There must be some basis for the choice. We can't call a dead person a human being. Choosing to call a tiny zygote a human being seems very implausible. Pre-viability strikes me as implausible. |