Page history
Talk: Logical graph
8 December 2008
→Functional quantifiers: + link
+230
→Functional quantifiers
+114
→Functional Logic : Differentials, Integrals, Measures, Quantifiers: reorganize
-119
→Logical Graph Sandbox
+78
→Logical Graph Sandbox: add exercise
+284
→Functional Logic : Differentials, Integrals, Measures, Quantifiers: adjust head
+1
→Logical Graph Sandbox: + § [Functional Logic : Differentials, Integrals, Measures, Quantifiers]
+73
7 December 2008
→Reports of my counter-intuitiveness are greatly exaggerated
+7
→Reports of my counter-intuitiveness are greatly exaggerated: upshot
+55
→Reports of my counter-intuitiveness are greatly exaggerated: intuitionistic
+6
→Reports of my counter-intuitiveness are greatly exaggerated
+9
→Reports of my counter-intuitiveness are greatly exaggerated: another guess?
+412
→Reports of my counter-intuitiveness are greatly exaggerated: fix typos
+1
→Reports of my counter-intuitiveness are greatly exaggerated: my guess
+486
6 December 2008
→More thoughts on Peirce's law: + usual formulas
+130
→Reports of my counter-intuitiveness are greatly exaggerated: sp [intuitionistic]
+18
→Reports of my counter-intuitiveness are greatly exaggerated: cleanup typos
-4
→Reports of my counter-intuitiveness are are greatly exaggerated
+46
→The allegedly counterintuitive dichotomy law: add explanation
+334
→The allegedly counterintuitive dichotomy law: + proof
+404
→Logical Graph Sandbox: dichotomy principle
+427
→Logical Graph Sandbox: gloss [absorption law]
+3
→Logical Graph Sandbox: alternate readings
+96
5 December 2008
→Logical Graph Sandbox: comparison
+333
→Logical Graph Sandbox: More thoughts on Peirce's law …
+287
→Logical Graph Sandbox: More thoughts on Peirce's law …
+5
move sandbox to bottom
+31
4 December 2008
→Discussion: insert [hand]
+5
→Solution
-3
→Solution: sub [recasting/representing]
-3
→Solution: sub [representing/expressing]
+2
→Logical Equivalence Problem: add § for critical reflection
+53
→Discussion: + logical constants
+536
→Problem: unindent bullet
-1
indent bullets
+9
→Discussion: tweak text
+10
cleanup
-59
+ {Logical Graph Sandbox}
+62
→Discussion: condense phrasing
-42
→Discussion: insert [was]
+4
→Discussion: correction
-3
→Discussion: sum up for now
+462
3 December 2008
→Solution: cleanup
-2
→Problem: del xs space
-1
→Logical Equivalence Problem: cleanup
-3
→Solution
-4
→Logical Equivalence Problem: 2 spaces after period → 1 space after period
-1
→Logical Equivalence Problem: list FUT's
+185
→Discussion: + FUT's
+267
→Logical Equivalence Problem
+116