Combining Texts

All the ideas for 'Abstract Objects: a Case Study', 'Notes on Comments by Fardella' and 'Possible Worlds'

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


9 ideas

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Mathematics is both necessary and a priori because it really consists of logical truths [Yablo]
     Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10)
     A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity.
6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics
Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo]
     Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08)
     A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning.
7. Existence / A. Nature of Existence / 2. Types of Existence
Lewis's distinction of 'existing' from 'being actual' is Meinong's between 'existing' and 'subsisting' [Lycan on Lewis]
     Full Idea: I suggest that Lewis's view in fact is just Meinong's view. ...Meinong distinguishes between 'existing' and merely 'subsisting', Lewis between 'being actual' and merely 'existing'.
     From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 06
     A reaction: Lewis attempts to make actuality purely 'indexical' in character, like distinguishing the world 'here' from the world 'elsewhere', but Lycan seems right that he is committed to more than that.
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo]
     Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01)
We are thought to know concreta a posteriori, and many abstracta a priori [Yablo]
     Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02)
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
To exist and be understood, a multitude must first be reduced to a unity [Leibniz]
     Full Idea: A plurality of things can neither be understood nor can exist unless one first understands the thing that is one, that to which the multitude necessarily reduces.
     From: Gottfried Leibniz (Notes on Comments by Fardella [1690], Prop 3)
     A reaction: Notice that it is our need to understand which imposes the unity on the multitude. It is not just some random fiction, or a meaningless mechanical act of thought.
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
Substances are everywhere in matter, like points in a line [Leibniz]
     Full Idea: There are substances everywhere in matter, just as points are everywhere in a line.
     From: Gottfried Leibniz (Notes on Comments by Fardella [1690], Clarif)
     A reaction: Since Leibniz is unlikely to believe in the reality of the points, we must wonder whether he was really committed to this infinity of substances. The more traditional notion of substance is always called 'substantial form' by Leibniz.
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Lewis can't know possible worlds without first knowing what is possible or impossible [Lycan on Lewis]
     Full Idea: Lewis's knowledge of what possible worlds there are and of other general truths about worlds is posterior, not prior, to his knowledge of what things are possible and what things are impossible.
     From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 07
     A reaction: This elementary objection seems to me to destroy any attempt to explain modality in terms of possible worlds. It is a semantics for modal statements, but that doesn't make it an ontology. To assess possibilities, study actuality.
What are the ontological grounds for grouping possibilia into worlds? [Lycan on Lewis]
     Full Idea: Lewis must seek some ontological ground for the grouping of possibilia into disjoint worlds.
     From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 07
     A reaction: I do love people like Lycan who ask the simple commonsense questions about these highly sophisticated systems that students of philosophy are required to study. If a proposition is a 'set of worlds', understanding a proposition is beyond me.