ONT Re: Model Theory
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
John Collier wrote (JC):
Jon Awbrey wrote (JA):
JA, quoting Chang & Keisler:
| We shall say that @S@ is 'inconsistent'
| iff we have @S@ |- q for all sentences q.
| Otherwise, we say that @S@ is 'consistent'.
JC: I am not going to answer this one, Jon.
I have other work to do.
I am guessing that you did not intend your remark to serve
as an example of a self-referent performative contradiction,
so I will just thank you for participating in this experiment
as long as you did. To sum it up from where I stand and look
at it, we have established that usage differs in regard to the
concept of consistency, even among those thinkers who have been
blessed to flourish in the light of Twentieth Century Mannerism,
that some people care about usage and its differentiations, that
is, so long as they have nothing better to do, and that is enough
for my purposes, since it releases our pro-academic inhibitions
against thinking for ourselves, and, well, allows us to begin
thinking for ourselves, which means, most likely, that we may
find no point of convergence within our finite lifetimes,
however much hope we may have that there might be one,
somewhere, somewhen, somehow. So goes my Canon in D.
Many Regards,
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤