Facts, semantics and intuitionism

Seiki Akama, Richard Sylvan

Abstract


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:

PDF

Refbacks

  • There are currently no refbacks.