Combining Texts

All the ideas for 'Abstract Objects: a Case Study', 'Introduction to 'Modality'' and 'Precis of 'Limits of Abstraction''

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

---

9 ideas

2. Reason / D. Definition / 2. Aims of Definition

10528	Definitions concern how we should speak, not how things are [Fine,K]
	Full Idea: Our concern in giving a definition is not to say how things are by to say how we wish to speak
	From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.310)
	A reaction: This sounds like an acceptable piece of wisdom which arises out of analytical and linguistic philosophy. It puts a damper on the Socratic dream of using definition of reveal the nature of reality.

6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle

10529	If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K]
	Full Idea: Neo-Fregeans have thought that Hume's Principle, and the like, might be definitive of number and therefore not subject to the usual epistemological worries over its truth.
	From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.310)
	A reaction: This seems to be the underlying dream of logicism - that arithmetic is actually brought into existence by definitions, rather than by truths derived from elsewhere. But we must be able to count physical objects, as well as just counting numbers.

10530	Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K]
	Full Idea: The fundamental difficulty facing the neo-Fregean is to either adopt the predicative reading of Hume's Principle, defining numbers, but inadequate, or the impredicative reading, which is adequate, but not really a definition.
	From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.312)
	A reaction: I'm not sure I understand this, but the general drift is the difficulty of building a system which has been brought into existence just by definition.

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism

10580	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

10579	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 / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete

10577	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)

10578	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)

10. Modality / A. Necessity / 1. Types of Modality

14528	Maybe modal thought is unavoidable, as a priori recognition of necessary truth-preservation in reasoning [Hale/Hoffmann,A]
	Full Idea: There are 'transcendental' arguments saying that modal thought is unavoidable - recognition, a priori, of the necessarily truth-preserving character of some forms of inference is a precondition for rational thought in general, and scientific theorizing.
	From: Bob Hale/ Aviv Hoffmann (Introduction to 'Modality' [2010], 1)
	A reaction: So the debate about the status of logical truths and valid inference, are partly debates about whether out thought has to involve modality, or whether it could just be about the actual world. I take possibilities and necssities to be features of nature.

18. Thought / E. Abstraction / 7. Abstracta by Equivalence

10527	An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K]
	Full Idea: If an abstraction principle is going to be acceptable, then it should not 'inflate', i.e. it should not result in there being more abstracts than there are objects. By this mark Hume's Principle will be acceptable, but Frege's Law V will not.
	From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.307)
	A reaction: I take this to be motivated by my own intuition that abstract concepts had better be rooted in the world, or they are not worth the paper they are written on. The underlying idea this sort of abstraction is that it is 'shared' between objects.