SUO: Re: Examples! Examples! Examples!
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,
is !r! an inlaw or an outlaw, a model or a countermodel, with respect
to the law of the axiom !a! that I took to define the intended domain
of the Top Level Categories, as expressed in terms of the TLC 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:
just one model or none at all.
Putting the question this way, it can be answered by the same method
of computing a DNF, or something just like it, logically speaking,
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