Repository | Book | Chapter
Truth and proof in intuitionism
pp. 45-67
Abstract
Is logic in its essence epistemological or ontological? This question was the starting point of Per Martin-Löf"s lecture at the conference at which the contributions to this volume were presented. In this essay I shall limit myself to the more specific question whether the concepts of truth and proof are epistemological or ontological. That proof is an epistemic concept is of course normally not in doubt, whereas opinions differ concerning truth.
Publication details
Published in:
Dybjer P, Lindström Sten, Palmgren Erik, Sundholm Göran (2012) Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf. Dordrecht, Springer.
Pages: 45-67
DOI: 10.1007/978-94-007-4435-6_3
Full citation:
Prawitz Dag (2012) „Truth and proof in intuitionism“, In: P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, 45–67.