MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
73 bytes added
, 17:12, 8 December 2008
Line 217: |
Line 217: |
| ==Logical Graph Sandbox== | | ==Logical Graph Sandbox== |
| | | |
− | ===More thoughts on Peirce's law=== | + | ===More Thoughts on Peirce's Law=== |
| | | |
| 1-way version: <math>((a \Rightarrow b) \Rightarrow a) \Rightarrow a</math> | | 1-way version: <math>((a \Rightarrow b) \Rightarrow a) \Rightarrow a</math> |
Line 321: |
Line 321: |
| | | |
| But the latter is not a theorem in anyone's philosophy, so there is really no disagreement here. | | But the latter is not a theorem in anyone's philosophy, so there is really no disagreement here. |
| + | |
| + | ===Functional Logic : Differentials, Integrals, Measures, Quantifiers== |