On Jul 29, 2013, at 8:13 PM, Fool wrote: >> You're right, intuitionistic logic is too weird. > > Heck no. Classical logic is weird.
But classical logic is the system obeyed by truth-bearing statements! —"Of course, who cares about truth-bearing statements, anyway" Machiavelli