more on this theme     |     more from this thinker


Single Idea 12225

[filed under theme 6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism ]

Full Idea

A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'.

Clarification

Quine's criterion is that ontology is what is quantified over

Gist of Idea

Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment

Source

B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19)

Book Ref

'Metametaphysics', ed/tr. Chalmers/Manley/Wasserman [OUP 2009], p.186


A Reaction

[The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements.

Related Idea

Idea 18394 In mathematics, truthmakers are possible instantiations of structures [Armstrong]


The 10 ideas from 'The Metaontology of Abstraction'

It is a fallacy to explain the obscure with the even more obscure [Hale/Wright]
Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright]
Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright]
The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright]
Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright]
Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright]
Reference needs truth as well as sense [Hale/Wright]
Singular terms refer if they make certain atomic statements true [Hale/Wright]
Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright]
A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright]