Intuitionism - Wikipedia, the free encyclopedia
Morgan Sutherland
Info

The interpretation of negation is different in intuitionist logic than in classical logic. In classical logic, the negation of a statement asserts that the statement is false; to an intuitionist, it means the statement is refutable (e.g., that there is a counterexample). There is thus an asymmetry between a positive and negative statement in intuitionism.

Connections