Changes

MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
73 bytes added ,  17:12, 8 December 2008
→‎Logical Graph Sandbox: + § [Functional Logic : Differentials, Integrals, Measures, Quantifiers]
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==
12,080

edits

Navigation menu