12,080
edits
Changes
→Logical Graph Sandbox: + § [Functional Logic : Differentials, Integrals, Measures, Quantifiers]
==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>
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==