Changes

MyWikiBiz, Author Your Legacy — Monday May 06, 2024
Jump to navigationJump to search
update
Line 1: Line 1:  
{{DISPLAYTITLE:Change In Logic}}
 
{{DISPLAYTITLE:Change In Logic}}
<pre>
+
'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
     −
CIL.  Change In Logic
+
==Note 1==
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
  −
 
  −
CIL.  Note 1
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      +
<pre>
 
   | The most fundamental concept in cybernetics is that of "difference",
 
   | The most fundamental concept in cybernetics is that of "difference",
 
   | either that two things are recognisably different or that one thing
 
   | either that two things are recognisably different or that one thing
Line 127: Line 121:  
the elaboration of some moderately simple applications of these
 
the elaboration of some moderately simple applications of these
 
ideas to a selection of relatively concrete examples.
 
ideas to a selection of relatively concrete examples.
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Note 2==
 
  −
CIL.  Note 2
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      +
<pre>
 
Linear Topics (cont.)
 
Linear Topics (cont.)
   Line 267: Line 259:  
|'Topobiology:  An Introduction to Molecular Embryology',
 
|'Topobiology:  An Introduction to Molecular Embryology',
 
| Basic Books, New York, NY, 1988.
 
| Basic Books, New York, NY, 1988.
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Note 3==
 
  −
CIL.  Note 3
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      +
<pre>
 
Linear Topics (cont.)
 
Linear Topics (cont.)
   Line 420: Line 410:  
features u, v, w will take us from the center cell
 
features u, v, w will take us from the center cell
 
to a cell outside the shaded region for the set Q.
 
to a cell outside the shaded region for the set Q.
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Note 4==
 
  −
CIL.  Note 4
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      +
<pre>
 
Linear Topics (cont.)
 
Linear Topics (cont.)
   Line 762: Line 750:  
Next I will discuss several applications of logical differentials,
 
Next I will discuss several applications of logical differentials,
 
developing along the way their logical and practical implications.
 
developing along the way their logical and practical implications.
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Note 5==
 
  −
CIL.  Note 5
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      +
<pre>
 
Linear Topics (cont.)
 
Linear Topics (cont.)
   Line 946: Line 932:  
under the name of the "tacit extension" of a proposition to any
 
under the name of the "tacit extension" of a proposition to any
 
universe of discourse based on a superset of its original basis.
 
universe of discourse based on a superset of its original basis.
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Note 6==
 
  −
CIL.  Note 6
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      +
<pre>
 
Linear Topics (cont.)
 
Linear Topics (cont.)
   Line 1,159: Line 1,143:  
Figure 4.  Effect of the Enlargement Operator E
 
Figure 4.  Effect of the Enlargement Operator E
 
           On the Proposition q, Evaluated at c
 
           On the Proposition q, Evaluated at c
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Note 7==
 
  −
CIL.  Note 7
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      +
<pre>
 
Linear Topics (cont.)
 
Linear Topics (cont.)
   Line 1,251: Line 1,233:  
me that it will ultimately be necessary to get clear about it,
 
me that it will ultimately be necessary to get clear about it,
 
and by this "clear" to say "marked", not merely "transparent".
 
and by this "clear" to say "marked", not merely "transparent".
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Note 8==
 
  −
CIL.  Note 8
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      +
<pre>
 
Linear Topics (cont.)
 
Linear Topics (cont.)
   Line 1,445: Line 1,425:  
Next time, I will begin to develop an alternative style of
 
Next time, I will begin to develop an alternative style of
 
diagram for depicting these types of differential settings.
 
diagram for depicting these types of differential settings.
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Note 9==
 
  −
CIL.  Note 9
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      +
<pre>
 
Linear Topics (cont.)
 
Linear Topics (cont.)
   Line 1,511: Line 1,489:     
   4.  u v w (du) dv  dw
 
   4.  u v w (du) dv  dw
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Document History==
   −
CIL.  Change In Logic
+
===Inquiry List (Nov 2004)===
   −
Inquiry List
+
* http://stderr.org/pipermail/inquiry/2004-November/thread.html#2033
 +
# http://stderr.org/pipermail/inquiry/2004-November/002033.html
 +
# http://stderr.org/pipermail/inquiry/2004-November/002034.html
 +
# http://stderr.org/pipermail/inquiry/2004-November/002035.html
 +
# http://stderr.org/pipermail/inquiry/2004-November/002036.html
 +
# http://stderr.org/pipermail/inquiry/2004-November/002037.html
 +
# http://stderr.org/pipermail/inquiry/2004-November/002038.html
 +
# http://stderr.org/pipermail/inquiry/2004-November/002039.html
 +
# http://stderr.org/pipermail/inquiry/2004-November/002040.html
 +
# http://stderr.org/pipermail/inquiry/2004-November/002041.html
   −
00.  http://stderr.org/pipermail/inquiry/2004-November/thread.html#2033
+
===NKS Forum (Nov 2004)===
01.  http://stderr.org/pipermail/inquiry/2004-November/002033.html
  −
02.  http://stderr.org/pipermail/inquiry/2004-November/002034.html
  −
03.  http://stderr.org/pipermail/inquiry/2004-November/002035.html
  −
04.  http://stderr.org/pipermail/inquiry/2004-November/002036.html
  −
05.  http://stderr.org/pipermail/inquiry/2004-November/002037.html
  −
06.  http://stderr.org/pipermail/inquiry/2004-November/002038.html
  −
07.  http://stderr.org/pipermail/inquiry/2004-November/002039.html
  −
08.  http://stderr.org/pipermail/inquiry/2004-November/002040.html
  −
09.  http://stderr.org/pipermail/inquiry/2004-November/002041.html
     −
NKS Forum
+
* http://forum.wolframscience.com/archive/topic/632.html
 +
* http://forum.wolframscience.com/printthread.php?threadid=632
 +
* http://forum.wolframscience.com/showthread.php?threadid=632
 +
# http://forum.wolframscience.com/showthread.php?postid=2133#post2133
 +
# http://forum.wolframscience.com/showthread.php?postid=2135#post2135
 +
# http://forum.wolframscience.com/showthread.php?postid=2137#post2137
 +
# http://forum.wolframscience.com/showthread.php?postid=2143#post2143
 +
# http://forum.wolframscience.com/showthread.php?postid=2144#post2144
 +
# http://forum.wolframscience.com/showthread.php?postid=2145#post2145
 +
# http://forum.wolframscience.com/showthread.php?postid=2146#post2146
 +
# http://forum.wolframscience.com/showthread.php?postid=2148#post2148
 +
# http://forum.wolframscience.com/showthread.php?postid=2150#post2150
   −
00.  http://forum.wolframscience.com/showthread.php?threadid=632
+
[[Category:Artificial Intelligence]]
01.  http://forum.wolframscience.com/showthread.php?postid=2133#post2133
+
[[Category:Boolean Algebra]]
02.  http://forum.wolframscience.com/showthread.php?postid=2135#post2135
+
[[Category:Boolean Functions]]
03.  http://forum.wolframscience.com/showthread.php?postid=2137#post2137
+
[[Category:Charles Sanders Peirce]]
04.  http://forum.wolframscience.com/showthread.php?postid=2143#post2143
+
[[Category:Combinatorics]]
05.  http://forum.wolframscience.com/showthread.php?postid=2144#post2144
+
[[Category:Computational Complexity]]
06.  http://forum.wolframscience.com/showthread.php?postid=2145#post2145
+
[[Category:Computer Science]]
07.  http://forum.wolframscience.com/showthread.php?postid=2146#post2146
+
[[Category:Cybernetics]]
08.  http://forum.wolframscience.com/showthread.php?postid=2148#post2148
+
[[Category:Differential Logic]]
09.  http://forum.wolframscience.com/showthread.php?postid=2150#post2150
+
[[Category:Equational Reasoning]]
 
+
[[Category:Formal Languages]]
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
[[Category:Formal Systems]]
</pre>
+
[[Category:Graph Theory]]
 +
[[Category:Inquiry]]
 +
[[Category:Inquiry Driven Systems]]
 +
[[Category:Knowledge Representation]]
 +
[[Category:Logic]]
 +
[[Category:Logical Graphs]]
 +
[[Category:Mathematics]]
 +
[[Category:Philosophy]]
 +
[[Category:Propositional Calculus]]
 +
[[Category:Semiotics]]
 +
[[Category:Visualization]]
12,080

edits

Navigation menu