[Inquiry] Re: Examples! Examples! Examples!

[Jon Awbrey]

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

EEE.  Note 24

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

The Theme One Program that I wrote some years ago has a function
called "Model" that takes a propositional expression !q! in the
cactus syntax and outputs a propositional expression Model(!q!)
in the same syntax.  Model(!q!) serves as a canonical form that
is more or less equivalent in informational utility to the DNF.

Table 12 displays the actual output of this Model function when it is fed
the propositional expression for the axiom plus query conjunction !a! !r!.

Table 12.  Output of the "Model" Function for the Proposition !a! !r!
o----------------------------------------------------------------------o
|                                                                      |
| Abstract                                                             |
|  Continuant                                                          |
|   Form                                                               |
|    Intention -                                                       |
|    (Intention ) -                                                    |
|   (Form ) -                                                          |
|  (Continuant ) -                                                     |
| (Abstract ) -                                                        |
|                                                                      |
o----------------------------------------------------------------------o

This says that Model finds no models for the conjunction !a! !r!, indeed,
it finds a contradiction between !a! and !r! on the path that takes the
first four positive features of !r! and tests their consistency with
the constraints of !a!.  So, given this much of a hint, let's see
if we can see for ourselves whether we believe this report.

Can there be an "Abstract Continuant Form Intention" under
the conditions that are stipulated by the TLC axiom !a!?

1.  An Abstract must be exactly one of Form, Proposition, or Intention.
2.  But the 4-fold conjunction above specifies both Form and Intention.

Therefore we have a contradiction, and !r! does not satisfy !a!.

Jon Awbrey

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