Combining Texts

All the ideas for 'The Nature of Things', 'Elements of Mathematical Logic' and 'Does Ontology Rest on a Mistake?'

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


10 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]
     Full Idea: In response to Aristotle's sea-battle problem, Lukasiewicz proposed a three-valued logic that has come to be known as L3. In addition to the values true and false (T and F), there is a third truth-value, I, meaning 'indeterminate' or 'possible'.
     From: report of Jan Lukasiewicz (Elements of Mathematical Logic [1928], 7.I) by Jennifer Fisher - On the Philosophy of Logic
     A reaction: [He originated the idea in 1917] In what sense is the third value a 'truth' value? Is 'I don't care' a truth-value? Or 'none of the above'? His idea means that formalization doesn't collapse when things get obscure. You park a few propositions under I.
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.
7. Existence / D. Theories of Reality / 7. Fictionalism
For me, fictions are internally true, without a significant internal or external truth-value [Yablo]
     Full Idea: A 'myth' or fiction for me is a true internal statement (a statement endorsed by the rules) whose external truth value is as may be, the point being that that truth value is from an internal standpoint quite irrelevant.
     From: Stephen Yablo (Does Ontology Rest on a Mistake? [1998], IX)
     A reaction: This contrasts with Carnap, for whom talk of 'ghosts' is false in an internal thing-framework. Yablo seems here to say a statement can be true while having no truth value. Presumably he is relaxing the internal rules.
Make-believe can help us to reason about facts and scientific procedures [Yablo]
     Full Idea: Make-believe games can make it easier to reason about facts, to systematize them, to visualize them, to spot connections with other facts, and to evaluate potential lines of research.
     From: Stephen Yablo (Does Ontology Rest on a Mistake? [1998], XI)
     A reaction: This is the key pragmatic defence of the fictionalist view of abstract objects. Fictions are devices to help us think better. I think a lot of ontology turns out that way.
'The clouds are angry' can only mean '...if one were attributing emotions to clouds' [Yablo]
     Full Idea: It is an open question whether the clouds that we call 'angry' are literally F, for any F other than 'such that it would be natural and proper to regard them as angry if one were going to attribute emotions to clouds'.
     From: Stephen Yablo (Does Ontology Rest on a Mistake? [1998], XII)
     A reaction: His point is that it is TRUE, in those circumstances, that the clouds are angry. Thus fictions are a valid and useful part of ordinary sensible course, giving real information. I like it.
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.