more on this theme
|
more from this text
Single Idea 18443
[filed under theme 8. Modes of Existence / B. Properties / 10. Properties as Predicates
]
Full Idea
The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express.
Gist of Idea
A successful predicate guarantees the existence of a property - the way of being it expresses
Source
B Hale / C Wright (The Metaontology of Abstraction [2009], §9)
Book Ref
'Metametaphysics', ed/tr. Chalmers/Manley/Wasserman [OUP 2009], p.197
A Reaction
'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties.
The
23 ideas
from B Hale / C Wright
10622
|
The neo-Fregean is more optimistic than Frege about contextual definitions of numbers
[Hale/Wright]
|
10624
|
The incompletability of formal arithmetic reveals that logic also cannot be completely characterized
[Hale/Wright]
|
10626
|
Objects just are what singular terms refer to
[Hale/Wright]
|
10630
|
Abstracted objects are not mental creations, but depend on equivalence between given entities
[Hale/Wright]
|
10631
|
If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological
[Hale/Wright]
|
10627
|
Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions
[Hale/Wright]
|
10629
|
If structures are relative, this undermines truth-value and objectivity
[Hale/Wright]
|
10628
|
The structural view of numbers doesn't fit their usage outside arithmetical contexts
[Hale/Wright]
|
8784
|
Neo-logicism founds arithmetic on Hume's Principle along with second-order logic
[Hale/Wright]
|
8786
|
One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines
[Hale/Wright]
|
8783
|
Logicism might also be revived with a quantificational approach, or an abstraction-free approach
[Hale/Wright]
|
8787
|
The Julius Caesar problem asks for a criterion for the concept of a 'number'
[Hale/Wright]
|
8788
|
Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology
[Hale/Wright]
|
12223
|
It is a fallacy to explain the obscure with the even more obscure
[Hale/Wright]
|
12224
|
Are neo-Fregeans 'maximalists' - that everything which can exist does exist?
[Hale/Wright]
|
12225
|
Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment
[Hale/Wright]
|
12226
|
The identity of Pegasus with Pegasus may be true, despite the non-existence
[Hale/Wright]
|
12227
|
Abstractionism needs existential commitment and uniform truth-conditions
[Hale/Wright]
|
12228
|
Equivalence abstraction refers to objects otherwise beyond our grasp
[Hale/Wright]
|
12231
|
Reference needs truth as well as sense
[Hale/Wright]
|
12229
|
Maybe we have abundant properties for semantics, and sparse properties for ontology
[Hale/Wright]
|
18443
|
A successful predicate guarantees the existence of a property - the way of being it expresses
[Hale/Wright]
|
12230
|
Singular terms refer if they make certain atomic statements true
[Hale/Wright]
|