Repository | Zeitschrift | Band | Artikel
In defense of epistemic arithmetic
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
Referenz:
Horsten Leon (1998) „In defense of epistemic arithmetic“. Synthese 116 (1), 1–25.