Changes

MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
486 bytes added ,  04:24, 7 December 2008
Line 307: Line 307:  
           @    =    @    =    @    =    @    =    @    =    @
 
           @    =    @    =    @    =    @    =    @    =    @
 
</pre>
 
</pre>
 +
 +
My guess as to what's going on here &mdash; why the classical and intuitional reasoners appear to be talking past each other on this score &mdash; is that they are really talking about two different domains of mathematical objects.  That is, the variables <math>p, q\!</math> range over <math>\mathbb{B}</math> in the clasical reading while they range over a space of propositions, say, <math>X \to \mathbb{B}</math> in the intuitional reading of the formulas.  Just my initial guess.
12,080

edits

Navigation menu