Truth and proof in intuitionism
pp. 45-67
in: P. Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (eds), Epistemology versus ontology, Berlin, Springer, 2012Abstract
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.
