more from this thinker | more from this text
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]
| 21718 | Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B] |
| 18144 | Neo-logicists agree that HP introduces number, but also claim that it suffices for the job [Bostock] |
| 18147 | Neo-logicists meet the Caesar problem by saying Hume's Principle is unique to number [Bostock] |
| 7804 | Wright has revived Frege's discredited logicism [Wright,C, by Benardete,JA] |
| 13899 | The Peano Axioms, and infinity of cardinal numbers, are logical consequences of how we explain cardinals [Wright,C] |
| 13896 | The aim is to follow Frege's strategy to derive the Peano Axioms, but without invoking classes [Wright,C] |
| 10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| 9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
| 13664 | Logicism is distinctive in seeking a universal language, and denying that logic is a series of abstractions [Shapiro] |
| 18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |
| 19295 | Add Hume's principle to logic, to get numbers; arithmetic truths rest on the nature of the numbers [Hale] |
| 21648 | Neo-Fregeans are dazzled by a technical result, and ignore practicalities [Hofweber] |