|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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
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.
Bob Hale & Crispin Wright, Focus Restored Comment on John MacFarlane's “Double Vision: Two Questions About the Neo-Fregean Programme”.
Alexander Bird (1997). The Logic in Logicism. Dialogue 36 (02):341--60.
Bird Alexander (1997). The Logic in Logicism. Dialogue 36:341–60.
Added to index2009-01-28
Total downloads7 ( #133,587 of 549,224 )
Recent downloads (6 months)1 ( #63,397 of 549,224 )
How can I increase my downloads?