SUO: Re: In Praise of Zeroth Order Logic
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
ZOL SIG:
I am about to put forth a claim of the following form:
| X is better than Y for the purpose Z.
I was going to leave this claim implicit, in the customary way
that all of us typically embed such claims within our conduct,
and only respond when challenged in the "Well, why would I be
doing this if I didna think it better!?" sort of way that all
of starship engineers have no doubt been trained into by now.
More specifically, I am concerned with a claim of the form:
| Language X is better than Language Y for the purpose
| of representing the 'associated domain of objects' Z.
I can declare my stake in a clain of this form by indexing
it to myself, as an agent, interpreter, observer, whatever,
perhaps in something like the following form:
| Language X is better than Language Y for the purpose
| of representing the 'associated domain of objects' Z,
| so says I.
At this point I might choose to create a specialized bit of syntax:
| [I <: Agent] :=>
| [Representing Z <: Pragma] :
| [Language X] ->[Better <: Order]-> [Language Y].
Paraphrasing:
| I, the agent of this claim, assert that
| the aim, end, or object of representing Z
| makes Language X look better than Language Y.
This is ostencilly a four-place rheme,
but there is yet another modification
that would be customary to work on it.
More abstractly, in the sense of extracting the particular measure
of order, the one that is implied or signified by the word "better",
and withdrawing it to a parametric position within the claim form,
I might choose to write this alternative form:
| [ I <: Agent,
| Better <: Order,
| Representing Z <: Pragma
| ]
| :
| [Language X] ->- [Language Y].
Of course, a lot more could be said about what we might
conceivably mean by "better", but I will leave that to
your imagination for now, though, as I imagine you can
imagine, I will have a few bits to add to the account,
but later. I just hope that my account in heaven is
not reckoned up in mod 2 arithmetic!
Many Regards,
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤