[Inquiry] Re: Examples Of Inquiry -- Discussion

[Jon Awbrey]

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

EOI.  Discussion Note 14

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

JA = Jon Awbrey
TG = Tom Gollier

Re: EOI.DIS 12.  http://stderr.org/pipermail/inquiry/2004-November/001772.html
As Amended At:   http://stderr.org/pipermail/inquiry/2004-November/001773.html
In: EOI.DIS.     http://stderr.org/pipermail/inquiry/2004-November/thread.html#1707

TG: Ah hah!  At last I think I see where our disagreement is arising.  But I also think
    you're catching some of that schizo-speak that has been going around to call a fact
    that's 100% certain a "conclusion".  If it's 100% certain, we don't need any argument,
    and if it's a conclusion, it's not 100% certain.  After all, *modus tollens* is always
    just as valid as *modus ponens* in any given argument.

Yes, I was undermind by a colloquial phrasing,
but I mean that it's 100% certain relative to
the certainty of the major and minor surmises.
Incidentally, this does serve to bring up the
analogy between exact and probable deduction.

TG: But I have to admit, even though I knew it wasn't "case, rule,
    and fact", I was too lazy to look it up.  And besides, the thing
    I like about Peirce (along with Dewey) is the view that the result
    or conclusion is a fact, just a fact predicted or otherwise not
    present at the moment.  Anyway, to be clearer about the diagram,
    I think it should be more like:

o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `Air Cool ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` A ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` |\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` `\` Rule` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` Case` | ecudbA` o Rain ` ` `  ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` `/ `Result` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` |/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` C ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `Current Situation` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-----------------------------------------------------------o
Figure 7'.  Abducing a Case from a Rule and a Result

TG: I doubt if this makes it anymore agreeable to you, but it's clearer 
    vis-a-vis the texts in Peirce.  And at least this way we don't have
    to worry about those mythological facts that are not true or false,
    but certain, creeping into the analysis.

The designations Case, Fact, Rule on this stage are more like roles that
statements play than anything essential about the statements themselves,
so I often capitalize them when intended as these peculiar terms of art.
The vertical dimension of the syllogistic diagrams is meant to indicate
the comparative order, if comparable, of concepts or terms in a lattice
or "partially ordered set" (more cutely referred to as a "poset").

Read under these conventions, Figure 7' indicates that
Rain => Air Cool, which is not a hard and fast fact,
in any sense of the word.

Of course, everybody knows that you can only go so far
whith these purely propositional or syllogistic forms,
but one of the reasons that I am pushing the edge of
the envelope as far as I can is to see how Peirce
was forced to develop the logic of relatives
in order to explain how explanation works.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o