display all the ideas for this combination of texts
9 ideas
13869 | Number platonism says that natural number is a sortal concept [Wright,C] |
Full Idea: Number-theoretic platonism is just the thesis that natural number is a sortal concept. | |
From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.i) | |
A reaction: See Crispin Wright on sortals to expound this. An odd way to express platonism, but he is presenting the Fregean version of it. |
16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it. | |
From: Plato (Parmenides [c.364 BCE], 144a) | |
A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed. |
13870 | We can't use empiricism to dismiss numbers, if numbers are our main evidence against empiricism [Wright,C] |
Full Idea: We may not be able to settle whether some general form of empiricism is correct independently of natural numbers. It might be precisely our grasp of the abstract sortal, natural number, which shows the hypothesis of empiricism to be wrong. | |
From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.i) | |
A reaction: A nice turning of the tables. In the end only coherence decides these things. You may accept numbers and reject empiricism, and then find you have opened the floodgates for abstracta. Excessive floodgates, or blockages of healthy streams? |
13873 | Treating numbers adjectivally is treating them as quantifiers [Wright,C] |
Full Idea: Treating numbers adjectivally is, in effect, treating the numbers as quantifiers. Frege observes that we can always parse out any apparently adjectival use of a number word in terms of substantival use. | |
From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.iii) | |
A reaction: The immediate response to this is that any substantival use can equally be expressed adjectivally. If you say 'the number of moons of Jupiter is four', I can reply 'oh, you mean Jupiter has four moons'. |
13899 | The Peano Axioms, and infinity of cardinal numbers, are logical consequences of how we explain cardinals [Wright,C] |
Full Idea: The Peano Axioms are logical consequences of a statement constituting the core of an explanation of the notion of cardinal number. The infinity of cardinal numbers emerges as a consequence of the way cardinal number is explained. | |
From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 4.xix) | |
A reaction: This, along with Idea 13896, nicely summarises the neo-logicist project. I tend to favour a strategy which starts from ordering, rather than identities (1-1), but an attraction is that this approach is closer to counting objects in its basics. |
13896 | The aim is to follow Frege's strategy to derive the Peano Axioms, but without invoking classes [Wright,C] |
Full Idea: We shall endeavour to see whether it is possible to follow through the strategy adumbrated in 'Grundlagen' for establishing the Peano Axioms without at any stage invoking classes. | |
From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 4.xvi) | |
A reaction: The key idea of neo-logicism. If you can avoid classes entirely, then set theory paradoxes become irrelevant, and classes aren't logic. Philosophers now try to derive the Peano Axioms from all sorts of things. Wright admits infinity is a problem. |
7804 | Wright has revived Frege's discredited logicism [Wright,C, by Benardete,JA] |
Full Idea: Crispin Wright has reactivated Frege's logistic program, which for decades just about everybody assumed was a lost cause. | |
From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by José A. Benardete - Logic and Ontology 3 | |
A reaction: [This opens Bernadete's section called "Back to Strong Logicism?"] |
13863 | Logicism seemed to fail by Russell's paradox, Gödel's theorems, and non-logical axioms [Wright,C] |
Full Idea: Most would cite Russell's paradox, the non-logical character of the axioms which Russell and Whitehead's reconstruction of Frege's enterprise was constrained to employ, and the incompleteness theorems of Gödel, as decisive for logicism's failure. | |
From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], Intro) |
13895 | The standard objections are Russell's Paradox, non-logical axioms, and Gödel's theorems [Wright,C] |
Full Idea: The general view is that Russell's Paradox put paid to Frege's logicist attempt, and Russell's own attempt is vitiated by the non-logical character of his axioms (esp. Infinity), and by the incompleteness theorems of Gödel. But these are bad reasons. | |
From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 4.xvi) | |
A reaction: Wright's work is the famous modern attempt to reestablish logicism, in the face of these objections. |