Combining Texts

All the ideas for 'The Metaontology of Abstraction', 'On Body and Force, Against the Cartesians' and 'Universals'

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


18 ideas

2. Reason / F. Fallacies / 1. Fallacy
It is a fallacy to explain the obscure with the even more obscure [Hale/Wright]
     Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3)
     A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses.
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
Singular terms refer if they make certain atomic statements true [Hale/Wright]
     Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9)
     A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright]
     Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19)
     A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright]
     Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4)
     A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright]
     Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5)
     A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy.
8. Modes of Existence / B. Properties / 3. Types of Properties
Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright]
     Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9)
     A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright]
     Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9)
     A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties.
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 / 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!
14. Science / D. Explanation / 2. Types of Explanation / h. Explanations by function
To explain a house we must describe its use, as well as its parts [Leibniz]
     Full Idea: A house would be badly explained if we were to describe only the arrangement of its parts, but not its use.
     From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.255)
     A reaction: This must partly fall under pragmatics (i.e. what the enquirer is interested in). But function plays a genuine role in artefacts, and also in evolved biological organs.
15. Nature of Minds / C. Capacities of Minds / 10. Conatus/Striving
Active force is not just potential for action, since it involves a real effort or striving [Leibniz]
     Full Idea: Active force should not be thought of as the simple and common potential [potentia] or receptivity to action of the schools. Rather, active force involves an effort [conatus] or striving [tendentia] toward action.
     From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.252)
     A reaction: This is why Leibniz is lured into making his active forces more and more animistic, till they end up like proto-minds (though never, remember, conscious and willing minds).
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright]
     Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5)
     A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent.
Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright]
     Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8)
     A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land.
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
Reference needs truth as well as sense [Hale/Wright]
     Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference.
     From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9)
     A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth?
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
God's laws would be meaningless without internal powers for following them [Leibniz]
     Full Idea: To say that, in creation, God gave bodies a law for acting means nothing, unless, at the same time, he gave them something by means of which it could happen that the law is followed.
     From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.253)
     A reaction: This is the beginning of the modern rebellion against the medieval view of laws as imposed from outside on passive matter. Unfortunately for Leibniz, once you have postulated active internal powers, the external laws become redundant.
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
All qualities of bodies reduce to forces [Leibniz]
     Full Idea: All qualities of bodies .....are in the end reduced [revoco] to forces.
     From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.256)
     A reaction: The dots conceal a long qualification, but he is essentially standing by this simple remark. If you substitute the word 'powers' for 'forces', I think that is just about right.
Power is passive force, which is mass, and active force, which is entelechy or form [Leibniz]
     Full Idea: The dynamicon or power [potentia] in bodies is twofold, passive and active. Passive force [vis] constitutes matter or mass [massa], and active force constitutes entelechy or form.
     From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.252)
     A reaction: This is explicitly equating the innate force understood in physics with Aristotelian form. The passive force is to explain the resistance of bodies. I like the equation of force with power. He says the entelechy is 'analogous' to a soul.