Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

ONT Re: Inquiry Into Inquiry




¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

W.M. Jaworski wrote:
> 
> JA: |          Z
>     |          o
>     |          |\
>     |          | \
>     |          |  \
>     |          |   \
>     |          |    \  Rule
>     |          |     \
>     |          |      \
>     |          | A   > \
>     |          |  \ /   \
>     |    Fact  | <-¤-D   o Y
>     |          |  / \   /
>     |          | I   > /
>     |          |      /
>     |          |     /
>     |          |    /  Case
>     |          |   /
>     |          |  /
>     |          | /
>     |          |/
>     |          o
>     |          X
>     |
>     | Figure 1.  Basic Structure & Terminology
> 
> WMJ: What is A, I, D, ¤ ?  How this subgraph is connected to XYZ graph?
>      Probably this is explained in your other submissions or figures.
>      Classical case of logically joined but physically dis-joined.

A = Abduction
D = Deduction
I = Induction

¤ = Decoration

The arrows in the center were supposed (superimposed?) to form
what is clearly a not-so-mnemonic device to indicate this data:

| Deduction takes a Case, the minor premiss of the form X => Y,
| matches it with a Rule, the major premiss of the form Y => Z,
| then adverts to a Fact, the bound outcome of the form X => Z.
| 
| Induction takes a Case of the form X => Y,
| matches it with a Fact of the form X => Z,
| then adverts to a Rule of the form Y => Z.
|
| Abduction takes a Fact of the form X => Z,
| matches it with a Rule of the form Y => Z,
| then adverts to a Case of the form X => Y.

> When I use this ancient scheme, attaching its medieval labels
> of "Case", "Fact", "Rule", I will always try to remember to
> capitalize these quaint terms of art, so as not to confuse
> them with their more common usage.  So the points X, Y, Z
> represent 'terms', while the edges represent 'propositions',
> reading Case YX, Fact ZX, Rule ZY in the following ways as
> implications or as predications, according to one's taste.
> 
> ¤~~~~~~~~~~~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
> | Proposition       | Case YX | Fact ZX | Rule ZY |
> ¤~~~~~~~~~~~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
> | Predication       |  Y of X |  Z of X |  Z of Y |
> ¤~~~~~~~~~~~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
> | Implication       | (X (Y)) | (X (Z)) | (Y (Z)) |
> |                   |         |         |         |
> |                   |  X=>Y   |  X=>Z   |  Y=>Z   |
> ¤~~~~~~~~~~~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

Never fear -- you will get to see all of this again.

Jon Awbrey

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤