MyWikiBiz, Author Your Legacy — Thursday November 14, 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 — why the classical and intuitional reasoners appear to be talking past each other on this score — 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. |