[Inquiry] Re: Examples! Examples! Examples!

[Jon Awbrey]

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

EEE.  Note 23

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

Let !r! (rho) be the "random interpretation" or the randomly selected
element of TLC that was generated last time.  The question now arises:
Does !r! constitute a model or a countermodel of the axiom !a! that I
took to define the intended lattice of Top Level Categories in terms
of its lexicon !TLC! = {a_1, ..., a_25}?

A question like this is called a "propositional query".
It can be addressed by conjoining to the axiom !a! the
conjunctive representation of the query !r! and asking
if the joint proposition has a model in the TLC domain.
In this particular situation, since the query !r! is a
singular proposition, there are only two possibilities:
there is just one model or none at all.

Putting the question in this way, it can be answered by the same method
of computing a DNF, or some other form of canonical expression that is
equivalent to a DNF in informational value, for the axiom plus query
combination that is shown in Table 11.

Table 11.  Conjunction of the TLC Axiom !a! with the Random Query !r!
o----------------------------------------------------------------------o
|                                                                      |
|  (( Object      ),( Process       ),( Schema      ),( Script  ),     |
|   ( Juncture    ),( Participation ),( Description ),( History ),     |
|   ( Structure   ),( Situation     ),( Reason      ),( Purpose ))     |
|                                                                      |
|  ((                                                                  |
|                                                                      |
|  ( Independent   ,( Actuality  ),( Form        ))                    |
|  ( Relative      ,( Prehension ),( Proposition ))                    |
|  ( Mediating     ,( Nexus      ),( Intention   ))                    |
|                                                                      |
|  ( Physical      ,( Actuality ),( Prehension  ),( Nexus     ))       |
|  ( Abstract      ,( Form      ),( Proposition ),( Intention ))       |
|                                                                      |
|  ( Continuant    ,( Object      ),( Schema    ),( Juncture      ),   |
|                   ( Description ),( Structure ),( Reason        ))   |
|                                                                      |
|  ( Occurrent     ,( Process     ),( Script    ),( Participation ),   |
|                   ( History     ),( Situation ),( Purpose       ))   |
|                                                                      |
|  ( Actuality     ,( Object      ),( Process       ))                 |
|  ( Form          ,( Schema      ),( Script        ))                 |
|  ( Prehension    ,( Juncture    ),( Participation ))                 |
|  ( Proposition   ,( Description ),( History       ))                 |
|  ( Nexus         ,( Structure   ),( Situation     ))                 |
|  ( Intention     ,( Reason      ),( Purpose       ))                 |
|                                                                      |
|  ))                                                                  |
|                                                                      |
|    Abstract    ( Actuality     )   Continuant    ( Description )     |
|    Form        ( History       ) ( Independent )   Intention         |
|    Juncture      Mediating       ( Nexus       ) ( Object      )     |
|  ( Occurrent ) ( Participation )   Physical        Prehension        |
|    Process       Proposition       Purpose         Reason            |
|  ( Relative  ) ( Schema        )   Script          Situation         |
|  ( Structure )                                                       |
|                                                                      |
o----------------------------------------------------------------------o

Jon Awbrey

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