Repository | Book | Chapter
(2009) Logicism, intuitionism, and formalism, Dordrecht, Springer.
Dag Prawitz has argued [12] that it is possible intuitionistically to prove the validity of ' A → there is a proof of ⌌A⌍' by induction over formula complexity, provided we observe an object language/meta-language distinction. In the present paper I mainly argue that if the object language with its axioms and rules can be represented as a formal system, then the proof fails. I also argue that if this restriction is lifted, at each level of the language hierarchy, then the proof can go through, but at the expense of virtually reducing the concept of a proof to that of truth in a non-constructive sense.
Publication details
DOI: 10.1007/978-1-4020-8926-8_11
Full citation:
Pagin, P. (2009)., Intuitionism and the anti-justification of bivalence, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 221-236.
This document is unfortunately not available for download at the moment.