Showing posts with label
classical logic
.
Show all posts
Showing posts with label
classical logic
.
Show all posts
Tuesday, 30 October 2012
One last post on understanding
Both intuitionistic logic and classical logic are understood.
It is not the case that both intuitionistic logic and classical logic are sound.
Hence, there is something that is understood which is not true.
Older Posts
Home
Subscribe to:
Posts (Atom)