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.
|
15990
|
Every individual thing which exists has an essence, which is its internal constitution [Locke]
|
|
Full Idea:
I take essences to be in everything that internal constitution or frame for the modification of substance, which God in his wisdom gives to every particular creature, when he gives it a being; and such essences I grant there are in all things that exist.
|
|
From:
John Locke (Letters to Edward Stillingfleet [1695], Letter 1), quoted by Simon Blackburn - Quasi-Realism no Fictionalism
|
|
A reaction:
This is the clearest statement I have found of Locke's commitment to essences, for all his doubts about whether we can know such things. Alexander says (ch.13) Locke was reacting against scholastic essence, as pertaining to species.
|
10932
|
If it is possible 'for all I know' then it is 'epistemically possible' [Rami]
|
|
Full Idea:
There is 'epistemic possibility' when it is 'for all I know'. That is, P is epistemically possible for agent A just in case P is consistent with what A knows.
|
|
From:
Adolph Rami (Essential vs Accidental Properties [2008], §1)
|
|
A reaction:
Two problems: maybe 'we' know, and A knows we know, but A doesn't know. And maybe someone knows, but we are not sure about that, which seems to introduce a modal element into the knowing. If someone knows it's impossible, it's impossible.
|
15994
|
If it is knowledge, it is certain; if it isn't certain, it isn't knowledge [Locke]
|
|
Full Idea:
What reaches to knowledge, I think may be called certainty; and what comes short of certainty, I think cannot be knowledge.
|
|
From:
John Locke (Letters to Edward Stillingfleet [1695], Letter 2), quoted by Simon Blackburn - Quasi-Realism no Fictionalism
|
|
A reaction:
I much prefer that fallibilist approach offered by the pragmatists. Knowledge is well-supported belief which seems (and is agreed) to be true, but there is a small shadow of doubt hanging over all of it.
|
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.
|