Combining Texts

All the ideas for 'The Nature of Things', 'Aristotle on Matter' and 'Grundgesetze der Arithmetik 1 (Basic Laws)'

expand these ideas     |    start again     |     specify just one area for these texts

21 ideas

2. Reason / D. Definition / 4. Real Definition
12302 Definitions formed an abstract hierarchy for Aristotle, as sets do for us [Fine,K]
2. Reason / D. Definition / 5. Genus and Differentia
14266 Aristotle sees hierarchies in definitions using genus and differentia (as we see them in sets) [Fine,K]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
9406 A class is natural when everybody can spot further members of it [Quinton]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
13733 Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
9874 Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
18252 Real numbers are ratios of quantities, such as lengths or masses [Frege]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
18271 We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
10623 Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright]
9975 Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
18165 My Basic Law V is a law of pure logic [Frege]
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
14268 Maybe bottom-up grounding shows constitution, and top-down grounding shows essence [Fine,K]
7. Existence / E. Categories / 5. Category Anti-Realism
15730 Extreme nominalists say all classification is arbitrary convention [Quinton]
8. Modes of Existence / B. Properties / 5. Natural Properties
15728 The naturalness of a class depends as much on the observers as on the objects [Quinton]
9407 Properties imply natural classes which can be picked out by everybody [Quinton]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
15729 Uninstantiated properties must be defined using the instantiated ones [Quinton]
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
8520 An individual is a union of a group of qualities and a position [Quinton, by Campbell,K]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
14267 There is no distinctive idea of constitution, because you can't say constitution begins and ends [Fine,K]
14264 Is there a plausible Aristotelian notion of constitution, applicable to both physical and non-physical? [Fine,K]
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
9190 A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett]
13665 Frege took the study of concepts to be part of logic [Frege, by Shapiro]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter
14265 The components of abstract definitions could play the same role as matter for physical objects [Fine,K]