Kripke semantics allows us to distinguish X from not-not-X, but neither represent "X is not on the list, YET". Intuitionists can't say this.
7:39 PM - 8 Feb 2015
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.