User contributions
6 December 2016
22 November 2016
21 November 2016
10 November 2016
Laws of Form
Spencer Brown, George (1969), Laws of Form, George Allen and Unwin, London, UK.
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
format
+4
9 November 2016
Peirce's logic of information
#REDIRECT Directory:Jon Awbrey/Papers/Peirce's Logic Of Information
Semiotic information
#REDIRECT Directory:Jon Awbrey/Papers/Semiotic Information
-11
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
cleanup
-15
Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
update
+327
Information = Comprehension × Extension
#REDIRECT Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
References: format
+1
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
References: format
+106
8 November 2016
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
delete note ... seems to be parsing passably enough ...
-218
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
apply fix
-15
Directory:Jon Awbrey/MathJax Problems
+ \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
+26
Directory:Jon Awbrey/MathJax Problems
+ \overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}
-41
Directory:Jon Awbrey/MathJax Problems
sub [ \~]
Directory:Jon Awbrey/MathJax Problems
+ next problem section
+60,285
Directory:Jon Awbrey/MathJax Problems
blank work page
-5,329
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
try fix
-15
Directory:Jon Awbrey/MathJax Problems
Variations on a theme of transitivity: + \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
+14
Directory:Jon Awbrey/MathJax Problems
\overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~} + \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
-29
Directory:Jon Awbrey/MathJax Problems
+ next problem piece
+2,003
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
try fix
-90
Directory:Jon Awbrey/MathJax Problems
Computation and inference as semiosis
+4
Directory:Jon Awbrey/MathJax Problems
nope
-3,363
Directory:Jon Awbrey/MathJax Problems
Computation and inference as semiosis: try another method
+3,363
Directory:Jon Awbrey/MathJax Problems
try this
-94
Directory:Jon Awbrey/MathJax Problems
+ next problem section
+3,430
Directory:Jon Awbrey/MathJax Problems
blank work page
-17,621
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: work around for MathJax's inconsistent treatment of "~" in different environments
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: MathJax treats "~" in \mathem as blank space but as printing character in \texttt
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: MathJax treats ~'s in \texttt{ } as printing character rather than blank space
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: a bare lobe expression like <math>\texttt{(} \_ \texttt{,} \_ \texttt{,} \ldots \texttt{)},\!</math>
+47
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: mathjax treats ~'s in
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: “there be oracles”
+12
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: “meaning”
+12
6 November 2016
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14 ISW.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-6 ISW.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-2 ISW.jpg
no edit summary
File:Equational Inference Bar -- Cast C ISW.jpg
no edit summary
File:Equational Inference Bar -- Domination ISW.jpg
no edit summary
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
copy fix(?) from worlk page
+87
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: see if this works
+439
Directory:Jon Awbrey/MathJax Problems
okay ... delete a bit
-343
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: try non-escaped underscore chars in \texttt
+509
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: try <math>\texttt{(_)}\!</math>
-1
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: add a bit more
+108
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: add a bit more
+177