Combining Texts

All the ideas for 'The Nature of Things', 'fragments/reports' and 'On the General Idea of Proof Theory'

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


9 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 / B. Logical Consequence / 1. Logical Consequence
Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
     Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments.
     From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2)
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
     Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things.
     From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1)
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 / 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?
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.
15. Nature of Minds / A. Nature of Mind / 2. Psuche
Xenocrates held that the soul had no form or substance, but was number [Xenocrates, by Cicero]
     Full Idea: Xenocrates denied that the soul had form or any substance, but said that it was number, and the power of number, as had been held by Pythagoras long before, was the highest in nature.
     From: report of Xenocrates (fragments/reports [c.327 BCE]) by M. Tullius Cicero - Tusculan Disputations I.x.20
     A reaction: This shows how strong the Pythagorean influence was in the Academy. This is not totally stupid. Dawkins holds that the essence of DNA is information, which can be expressed mathematically. Xenocrates was a functionalist.