Classical arithmetic as part of intuitionistic arithmetic

Grazer Philosophische Studien 55 (1):127-41 (1998)
  Copy   BIBTEX

Abstract

Argues that classical arithmetic can be viewed as a proper part of intuitionistic arithmetic. Suggests that this largely neutralizes Dummett's argument for intuitionism in the case of arithmetic.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
A note on Goodman's theorem.Ulrich Kohlenbach - 1999 - Studia Logica 63 (1):1-5.
A Realizability Interpretation for Classical Arithmetic.Jeremy Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):439-440.
Interpreting classical theories in constructive ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.

Analytics

Added to PP
2010-11-03

Downloads
95 (#165,937)

6 months
3 (#439,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Potter
Cambridge University

Citations of this work

No citations found.

Add more citations

References found in this work

Conjunction and Contonktion Revisited.A. Prior - 1964 - Analysis 24 (6):191 - 195.

Add more references