MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Differential Logic (view source)

Revision as of 07:25, 4 June 2009

368 bytes added ,  07:25, 4 June 2009
→‎Note 18: edit + markup
Line 3,346: Line 3,346:  
==Note 18==
 
==Note 18==
   −
<pre>
+
'''Obstacles to Applying the Pragmatic Maxim'''
−
| Consider what effects that might 'conceivably'
  −
| have practical bearings you 'conceive' the
  −
| objects of your 'conception' to have.  Then,
  −
| your 'conception' of those effects is the
  −
| whole of your 'conception' of the object.
  −
|
  −
| Charles Sanders Peirce,
  −
| "Maxim of Pragmaticism", CP 5.438.
     −
Obstacles to Applying the Pragmatic Maxim
+
; Obstacle 2
 +
: Applying the pragmatic maxim, even with a moderate aim, can be hard.  I think that my present example, deliberately impoverished as it is, affords us with an embarrassing richness of evidence of just how complex the simple can be.
   −
Obstacle 2.  Applying the pragmatic maxim, even with a moderate aim, can be hard.
+
All the better reason for me to see if I can finish it up before moving on.
−
I think that my present example, deliberately impoverished as it is, affords us
  −
with an embarassing richness of evidence of just how complex the simple can be.
     −
All the better reason for me to see if I can finish it up before moving on.
+
Expressed most simply, the idea is to replace the question of ''what it is'', which modest people know is far too difficult for them to answer right off, with the question of ''what it does'', which most of us know a modicum about.
 +
 
 +
In the case of regular representations of groups we found a non-plussing surplus of answers to sort our way through.  So let us track back one more time to see if we can learn any lessons that might carry over to more realistic cases.
   −
Expressed most simply, the idea is to replace the question of "what it is",
+
Here is is the operation table of <math>V_4\!</math> once again:
−
which modest people know is far too difficult for them to answer right off,
  −
with the question of "what it does", which most of us know a modicum about.
     −
In the case of regular representations of groups we found
+
<br>
−
a non-plussing surplus of answers to sort our way through.
  −
So let us track back one more time to see if we can learn
  −
any lessons that might carry over to more realistic cases.
     −
Here is is the operation table of V_4 once again:
+
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:60%"
 +
|+ <math>\text{Klein Four-Group}~ V_4</math>
 +
|- style="height:50px"
 +
| width="12%" style="border-bottom:1px solid black; border-right:1px solid black" | <math>\cdot</math>
 +
| width="22%" style="border-bottom:1px solid black" |
 +
<math>\operatorname{e}</math>
 +
| width="22%" style="border-bottom:1px solid black" |
 +
<math>\operatorname{f}</math>
 +
| width="22%" style="border-bottom:1px solid black" |
 +
<math>\operatorname{g}</math>
 +
| width="22%" style="border-bottom:1px solid black" |
 +
<math>\operatorname{h}</math>
 +
|- style="height:50px"
 +
| style="border-right:1px solid black" | <math>\operatorname{e}</math>
 +
| <math>\operatorname{e}</math>
 +
| <math>\operatorname{f}</math>
 +
| <math>\operatorname{g}</math>
 +
| <math>\operatorname{h}</math>
 +
|- style="height:50px"
 +
| style="border-right:1px solid black" | <math>\operatorname{f}</math>
 +
| <math>\operatorname{f}</math>
 +
| <math>\operatorname{e}</math>
 +
| <math>\operatorname{h}</math>
 +
| <math>\operatorname{g}</math>
 +
|- style="height:50px"
 +
| style="border-right:1px solid black" | <math>\operatorname{g}</math>
 +
| <math>\operatorname{g}</math>
 +
| <math>\operatorname{h}</math>
 +
| <math>\operatorname{e}</math>
 +
| <math>\operatorname{f}</math>
 +
|- style="height:50px"
 +
| style="border-right:1px solid black" | <math>\operatorname{h}</math>
 +
| <math>\operatorname{h}</math>
 +
| <math>\operatorname{g}</math>
 +
| <math>\operatorname{f}</math>
 +
| <math>\operatorname{e}</math>
 +
|}
   −
Table 1.  Klein Four-Group V_4
+
<br>
−
o---------o---------o---------o---------o---------o
  −
|        %        |        |        |        |
  −
|    ·    %    e    |    f    |    g    |    h    |
  −
|        %        |        |        |        |
  −
o=========o=========o=========o=========o=========o
  −
|        %        |        |        |        |
  −
|    e    %    e    |    f    |    g    |    h    |
  −
|        %        |        |        |        |
  −
o---------o---------o---------o---------o---------o
  −
|        %        |        |        |        |
  −
|    f    %    f    |    e    |    h    |    g    |
  −
|        %        |        |        |        |
  −
o---------o---------o---------o---------o---------o
  −
|        %        |        |        |        |
  −
|    g    %    g    |    h    |    e    |    f    |
  −
|        %        |        |        |        |
  −
o---------o---------o---------o---------o---------o
  −
|        %        |        |        |        |
  −
|    h    %    h    |    g    |    f    |    e    |
  −
|        %        |        |        |        |
  −
o---------o---------o---------o---------o---------o
     −
A group operation table is really just a device for
+
A group operation table is really just a device for recording a certain 3-adic relation, to be specific, the set of triples of the form <math>(x, y, z)\!</math> satisfying the equation <math>x \cdot y = z.</math>
−
recording a certain 3-adic relation, to be specific,
  −
the set of triples of the form <x, y, z> satisfying
  −
the equation x·y = z where · is the group operation.
     −
In the case of V_4 = (G, ·), where G is the "underlying set"
+
In the case of <math>V_4 = (G, \cdot),</math> where <math>G\!</math> is the ''underlying set'' <math>\{ \operatorname{e}, \operatorname{f}, \operatorname{g}, \operatorname{h} \},</math> we have the 3-adic relation <math>L(V_4) \subseteq G \times G \times G</math> whose triples are listed below:
−
{e, f, g, h}, we have the 3-adic relation L(V_4) c G x G x G
  −
whose triples are listed below:
      +
<pre>
 
|  <e, e, e>
 
|  <e, e, e>
 
|  <e, f, f>
 
|  <e, f, f>
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/87663"