Combining Texts

All the ideas for 'The Nature of Things', 'Universals' and 'Remarks on the definition and nature of mathematics'

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


12 ideas

4. Formal Logic / F. Set Theory ST / 7. Natural Sets
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.
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry]
     Full Idea: In the study of formal systems we do not confine ourselves to the derivation of elementary propositions step by step. Rather we take the system, defined by its primitive frame, as datum, and then study it by any means at our command.
     From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The formalist')
     A reaction: This is what may potentially lead to an essentialist view of such things. Focusing on bricks gives formalism, focusing on buildings gives essentialism.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
It is untenable that mathematics is general physical truths, because it needs infinity [Curry]
     Full Idea: According to realism, mathematical propositions express the most general properties of our physical environment. This is the primitive view of mathematics, yet on account of the essential role played by infinity in mathematics, it is untenable today.
     From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The problem')
     A reaction: I resist this view, because Curry's view seems to imply a mad metaphysics. Hilbert resisted the role of the infinite in essential mathematics. If the physical world includes its possibilities, that might do the job. Hellman on structuralism?
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Saying mathematics is logic is merely replacing one undefined term by another [Curry]
     Full Idea: To say that mathematics is logic is merely to replace one undefined term by another.
     From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'Mathematics')
7. Existence / E. Categories / 5. Category Anti-Realism
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.
8. Modes of Existence / B. Properties / 5. Natural Properties
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?
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.
8. Modes of Existence / D. Universals / 1. Universals
The distinction between particulars and universals is a mistake made because of language [Ramsey]
     Full Idea: The whole theory of particulars and universals is due to mistaking for a fundamental characteristic of reality what is merely a characteristic of language.
     From: Frank P. Ramsey (Universals [1925], p.13)
     A reaction: [Fraser MacBride has pursued this idea] It is rather difficult to deny the existence of particulars, in the sense of actual objects, so this appears to make Ramsey a straightforward nominalist, of some sort or other.
We could make universals collections of particulars, or particulars collections of their qualities [Ramsey]
     Full Idea: The two obvious methods of abolishing the distinction between particulars and universals are by holding either that universals are collections of particulars, or that particulars are collections of their qualities.
     From: Frank P. Ramsey (Universals [1925], p.8)
     A reaction: Ramsey proposes an error theory, arising out of language. Quine seems to offer another attempt, making objects and predication unanalysable and basic. Abstract reference seems to make the strongest claim to separate out the universals.
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
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?
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
Obviously 'Socrates is wise' and 'Socrates has wisdom' express the same fact [Ramsey]
     Full Idea: It seems to me as clear as anything can be in philosophy that the two sentences 'Socrates is wise' and 'wisdom is a characteristic of Socrates' assert the same fact and express the same proposition.
     From: Frank P. Ramsey (Universals [1925], p.12)
     A reaction: Could be challenged. One says Socrates is just the way he is, the other says he is attached to an abstract entity greater than himself. The squabble over universals has become a squabble over logical form. Finding logical form needs metaphysics!
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
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.