Natural logicism via the logic of orderly pairing
| Abstract | The aim here is to describe how to complete the constructive logicist program, in the author’s book Anti-Realism and Logic, of deriving all the Peano-Dedekind postulates for arithmetic within a theory of natural numbers that also accounts for their applicability in counting finite collections of objects. The axioms still to be derived are those for addition and multiplication. Frege did not derive them in a fully explicit, conceptually illuminating way. Nor has any neo-Fregean done so. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
|
| Through your library | Only published papers are available at libraries |
José Ferreiros (1997). Notes on Types, Sets, and Logicism, 1930-1950. Theoria 12 (1):91-124.
Charles Sayward (2000). Remarks on Peano Arithmetic. Russell 20:27-32.
G. Aldo Antonelli (2010). Numerical Abstraction Via the Frege Quantifier. Notre Dame Journal of Formal Logic 51 (2):161-179.
Neil Tennant (2003). Review of B. Hale and C. Wright, The Reason's Proper Study. [REVIEW] Philosophia Mathematica 11 (2):226-241.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
Stewart Shapiro (2000). Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. Notre Dame Journal of Formal Logic 41 (4):335--364.
Roy T. Cook (2003). Aristotelian Logic, Axioms, and Abstraction. Philosophia Mathematica 11 (2):195-202.
Alexander Bird (1997). The Logic in Logicism. Dialogue 36 (02):341--60.
Bird Alexander (1997). The Logic in Logicism. Dialogue 36:341–60.
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,587 of 549,224 )Recent downloads (6 months)1 ( #63,397 of 549,224 )How can I increase my downloads? |

