Jump to ContentJump to Main Navigation
Mathematical Knowledge and the Interplay of Practices$
Users without a subscription are not able to see the full content.

José Ferreirós

Print publication date: 2015

Print ISBN-13: 9780691167510

Published to Princeton Scholarship Online: October 2017

DOI: 10.23943/princeton/9780691167510.001.0001

Show Summary Details
Page of

PRINTED FROM PRINCETON SCHOLARSHIP ONLINE (www.princeton.universitypressscholarship.com). (c) Copyright Princeton University Press, 2018. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a monograph in HSO for personal use (for details see www.princeton.universitypressscholarship.com/page/privacy-policy).date: 18 October 2018

Arithmetic Certainty

Arithmetic Certainty

Chapter:
(p.182) 7 Arithmetic Certainty
Source:
Mathematical Knowledge and the Interplay of Practices
Author(s):

José Ferreirós

Publisher:
Princeton University Press
DOI:10.23943/princeton/9780691167510.003.0007

This chapter considers the idea that we have certainty in our basic arithmetic knowledge. The claim that arithmetical knowledge enjoys certainty cannot be extended to a similar claim about number theory “as a whole.” It is thus necessary to distinguish between elementary number theory and other, more advanced, levels in the study of numbers: algebraic number theory, analytic number theory, and perhaps set-theoretic number theory. The chapter begins by arguing that the axioms of Peano Arithmetic are true of counting numbers and describing some elements found in counting practices. It then offers an account of basic arithmetic and its certainty before discussing a model theory of arithmetic and the logic of mathematics. Finally, it asks whether elementary arithmetic, built on top of the practice of counting, should be classical arithmetic or intuitionistic arithmetic.

Keywords:   certainty, basic arithmetic, arithmetical knowledge, number theory, Peano Arithmetic, counting numbers, counting practice, logic, classical arithmetic, intuitionistic arithmetic

Princeton Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us.