14 ideas
| 12302 | Definitions formed an abstract hierarchy for Aristotle, as sets do for us [Fine,K] |
| Full Idea: For us it is sets which constitute the most natural example of a hierarchical structure within the abstract realm; but for Aristotle it would have been definitions, via their natural division into genus and differentia. | |
| From: Kit Fine (Aristotle on Matter [1992], §1 n4) | |
| A reaction: I suppose everyone who thinks about reality in abstraction ends up with a hierarchy. Compare the hierarchy of angelic hosts, or Greek gods. Could we get back to the Aristotelian view, instead of sets, which are out of control at the top end? |
| 14266 | Aristotle sees hierarchies in definitions using genus and differentia (as we see them in sets) [Fine,K] |
| Full Idea: For us, sets constitute the most natural example of a hierarchical structure within the abstract realm. But for Aristotle it would have been definitions, via their natural division into genus and differentia. | |
| From: Kit Fine (Aristotle on Matter [1992], 1 n4) | |
| A reaction: Genus and differentia are only part of the story in Aristotle, and this remarks strikes me as perceptive. It is precisely the mapping of the explanatory hierarchy which Aristotle seeks in a good definition. |
| 9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
| Full Idea: An aggregate whose basic conception renders the arrangement of its members a matter of indifference, and whose permutation therefore produces no essential difference, I call a 'set'. | |
| From: Bernard Bolzano (Paradoxes of the Infinite [1846], §4), quoted by William W. Tait - Frege versus Cantor and Dedekind IX | |
| A reaction: The idea of 'sets' was emerging before Cantor formalised it, and clarified it by thinking about infinite sets. Nowadays we also have 'ordered' sets, which rather contradicts Bolzano, and we also expect the cardinality to be determinate. |
| 9406 | A class is natural when everybody can spot further members of it [Quinton] |
| Full Idea: To say that a class is natural is to say that when some of its members are shown to people they pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: He concedes a number of problems with his view, but I admire his attempt to at least begin to distinguish the natural (real!) classes from the ersatz ones. A mention of causal powers would greatly improve his story. |
| 10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
| Full Idea: A truly infinite quantity (for example, the length of a straight line, unbounded in either direction) does not by any means need to be a variable. | |
| From: Bernard Bolzano (Paradoxes of the Infinite [1846]), quoted by Brian Clegg - Infinity: Quest to Think the Unthinkable §10 | |
| A reaction: This is an important idea, followed up by Cantor, which relegated to the sidelines the view of infinity as simply something that could increase without limit. Personally I like the old view, but there is something mathematically stable about infinity. |
| 14268 | Maybe bottom-up grounding shows constitution, and top-down grounding shows essence [Fine,K] |
| Full Idea: It may be that the two forms of grounding have a different source; the one from the bottom up is required for the constitution of the thing to be intelligible; the one from the top down is required for the essence of the thing to be intelligible. | |
| From: Kit Fine (Aristotle on Matter [1992], 2) | |
| A reaction: [He cites Aristotle Met. 1019a8-10 in support] Close reading of Fine would be needed to elucidate this properly, but it is a suggestive line of thought about how we should approach grounding. |
| 15730 | Extreme nominalists say all classification is arbitrary convention [Quinton] |
| Full Idea: Pure, extreme nominalism sees all classification as the product of arbitrary convention. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I'm not sure what the word 'arbitrary' is doing there. Nominalists are not daft, and if they can classify any way they like, they are not likely to choose an 'arbitrary' system. Pragmatism tells the right story here. |
| 15728 | The naturalness of a class depends as much on the observers as on the objects [Quinton] |
| Full Idea: The naturalness of a class depends as essentially on the nature of the observers who classify as it does on the nature of the objects that they classify. ...It depends on our perceptual apparatus, and on our relatively mutable needs and interests. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: This seems to translate 'natural' as 'natural for us', which is not much use to scientists, who spend quite a lot of effort combating folk wisdom. Do desirable sports cars constitute a natural class? |
| 9407 | Properties imply natural classes which can be picked out by everybody [Quinton] |
| Full Idea: To say there are properties is to say there are natural classes, classes introduction to some of whose members enables people to pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: Aristotle would like this approach, but it doesn't find many friends among modern logician/philosophers. We should go on to ask why people agree on these things. Causal powers will then come into it. |
| 15729 | Uninstantiated properties must be defined using the instantiated ones [Quinton] |
| Full Idea: Properties that have no concrete instances must be defined in terms of those that have. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I wonder what the dodo used to smell like? |
| 8520 | An individual is a union of a group of qualities and a position [Quinton, by Campbell,K] |
| Full Idea: Quinton proposes that an individual is a union of a group of qualities and a position. | |
| From: report of Anthony Quinton (The Nature of Things [1973], Pt I) by Keith Campbell - The Metaphysic of Abstract Particulars §5 | |
| A reaction: This seems the obvious defence of a bundle account of objects against the charge that indiscernibles would have to be identical. It introduces, however, 'positions' into the ontology, but maybe that price must be paid. Materialism needs space. |
| 14267 | There is no distinctive idea of constitution, because you can't say constitution begins and ends [Fine,K] |
| Full Idea: If the parts of a body can constitute a man, then why should men not constitute a family? Why draw the line at the level of the man? ...Thus the idea of a distinctive notion of constitution, terminating in concrete substances, should be given up. | |
| From: Kit Fine (Aristotle on Matter [1992], 1) | |
| A reaction: This is in the context of Aristotle, but Fine's view seems to apply to Rudder Baker's distinctive approach. |
| 14264 | Is there a plausible Aristotelian notion of constitution, applicable to both physical and non-physical? [Fine,K] |
| Full Idea: There is a question of whether there is a viable conception of constitution of the sort Aristotle supposes, one which is uniformly applicable to physical and non-physical objects alike, and which is capable of hierarchical application. | |
| From: Kit Fine (Aristotle on Matter [1992], 1) | |
| A reaction: This is part of an explication of Aristotle's 'matter' [hule], which might be better translated as 'ingredients', which would fit non-physical things quite well. |
| 14265 | The components of abstract definitions could play the same role as matter for physical objects [Fine,K] |
| Full Idea: If one considers Aristotle's standard example of a definition, then it is plausible that its defining terms ('plane figure' in the case of a circle) should be constitutive of it in the same general way as physical matter constitutes something physical. | |
| From: Kit Fine (Aristotle on Matter [1992], 1) | |
| A reaction: It strikes me that an appropriate translation for the Greek 'hule' might be the English 'ingredients', since Fine seems to be right about the broad application of hule in Aristotle. |