|
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.
|
|
14288
|
'If A,B' affirms that A⊃B, and also that this wouldn't change if A were certain [Jackson, by Edgington]
|
|
Full Idea:
According to Jackson, in asserting 'If A,B' the speaker expresses his belief that A⊃B, and also indicates that this belief is 'robust' with respect to the antecedent A - the speaker would not abandon A⊃B if he were to learn that A.
|
|
From:
report of Frank Jackson (On Assertion and Indicative Conditionals [1979]) by Dorothy Edgington - Conditionals (Stanf) 4.2
|
|
A reaction:
The point is that you must not believe A⊃B solely on the dubious grounds of ¬A. This is 'to ensure an assertable conditional is fit for modus ponens' - that is, that you really will affirm B when you learn that A is true. Nice idea.
|
|
6672
|
Moore's Paradox: you can't assert 'I believe that p but p is false', but can assert 'You believe p but p is false' [Moore,GE, by Lowe]
|
|
Full Idea:
Moore's Paradox says it makes no sense to assert 'I believe that p, but p is false', even though it makes perfectly good sense to assert 'I used to believe p, but p is false' or 'You believe p, but p is false'.
|
|
From:
report of G.E. Moore (works [1905]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.10
|
|
A reaction:
I'm not sure if this really deserves the label of 'paradox'. I take it as drawing attention to the obvious fact that belief is commitment to truth. I think my assessment that p is true is correct, but your assessment is wrong. ('True' is not redundant!)
|
|
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.
|