Max Scheler
Gesellschaft

Repository | Zeitschrift | Band | Artikel

237647

In defense of epistemic arithmetic

Leon Horsten

pp. 1-25

Abstrakt

This paper presents a defense of Epistemic Arithmetic as used for a formalization of intuitionistic arithmetic and of certain informal mathematical principles. First, objections by Allen Hazen and Craig Smorynski against Epistemic Arithmetic are discussed and found wanting. Second, positive support is given for the research program by showing that Epistemic Arithmetic can give interesting formulations of Church's Thesis.

Publication details

Published in:

(1998) Synthese 116 (1).

Seiten: 1-25

DOI: 10.1023/A:1005016405987

Referenz:

Horsten Leon (1998) „In defense of epistemic arithmetic“. Synthese 116 (1), 1–25.