Repository | Book | Chapter

186508

(2012) Epistemology versus ontology, Dordrecht, Springer.

Truth and proof in intuitionism

Dag Prawitz

pp. 45-67

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

DOI: 10.1007/978-94-007-4435-6_3

Full citation:

Prawitz, D. (2012)., Truth and proof in intuitionism, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 45-67.

This document is unfortunately not available for download at the moment.