FOM: Intuitionism

[Jesper Carlstrom]

On Fri, 17 May 2002, wiman lucas raymond wrote:

> would an intuitionist accept the statment
> "either p is provable, not-p is provable, or neither is provable"?

The principle

   If a proposition cannot be known to be true, 
   then it can be known to be false

is defended from an intuitionistic point of view in Martin-Löf
"Verificationism then and now" in W. DePauli-Schimanovich, E. Köhler, and
F. Stadler eds., The Foundational Debate: Complexity and Constructivity in
Mathematics and Physics, pp. 187-196. Kluwer Academic Publishers,
Dordrecht/Boston/London.  
http://ivc.philo.at/wk/aktivitaten/publikationen/yb3/content.html

Jesper Carlström