ONT Alpha Graph Exercises

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

AGE.  Note 1

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Subj:  ( A (( (A) ( B )) ))
Date:  Wed, 18 Feb 2004 16:16:35 -0500
From:  Jon Awbrey <[email protected]>
  To:  Yeb Havinga <[email protected]>
  CC:  Gary Richmond <[email protected]>

hi yeb,

not on the peirce list,
but an old e-lumnus
just surfing by ...

A -> ~A -> B

(  A  (
( (A) ( B
))))

    A
    o
    |
    o--o B
A   |
o---o
|
@

same as A => [A or B]

i forget peirce's exact names for the rules,
but there's one that i call "weed & seed"
that lets you delete the higher A above,
in the context of the lower A, getting:

    o
    |
    o--o B
A   |
o---o
|
@

then there's one that i call "dominance"
that lets you get to here:

    o
    |
    o
A   |
o---o
|
@

cancellation (or reflexion) gets this:

A
o---o
|
@

dominance again gets this:

o---o
|
@

cancellation again gets this:

@

which is tree-form for the blank sheet of assertion,
interpreted as true in the existential interpretation.

jon awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o