Facts, semantics and intuitionism

Seiki Akama, Richard Sylvan


We outline an intuitive semantics for intuitionism in the light of van Fraassen's theory of facts. We regard an intuitionistic proof as the content of a positive fact. We establish an adequacy result for the given semantics. The connection with Kripke semantics is also investigated.

Full Text:



  • There are currently no refbacks.