|
14235
|
Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile]
|
|
Full Idea:
If the rule is asserted 'Given any well-determined objects, they can be collected into a set by an application of the 'set of' operation', then on the usual account of 'they' this is a tautology. Collection comes automatically with this form of reference.
|
|
From:
James Cargile (Paradoxes: Form and Predication [1979], p.115), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? Intro
|
|
A reaction:
Is this a problem? Given they are well-determined (presumably implying countable) there just is a set of them. That's what set theory is, I thought. Of course, the iterative view talks of 'constructing' the sets, but the construction looks unstoppable.
|
|
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.
|
|
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.
|
|
9381
|
If some inferences are needed to fix meaning, but we don't know which, they are all relevant [Fodor/Lepore, by Boghossian]
|
|
Full Idea:
The Master Argument for linguistic holism is: Some of an expression's inferences are relevant to fixing its meaning; there is no way to distinguish the inferences that are constitutive (from Quine); so all inferences are relevant to fixing meaning.
|
|
From:
report of J Fodor / E Lepore (Holism: a Shopper's Guide [1993], §III) by Paul Boghossian - Analyticity Reconsidered
|
|
A reaction:
This would only be if you thought that the pattern of inferences is what fixes the meanings, but how can you derive inferences before you have meanings? The underlying language of thought generates the inferences? Meanings are involved!
|