ent wrote:
&gt; 
&gt; John et al,
&gt; 
&gt; Attached is a PDF file giving a table
&gt; with the various syntactic and semantic
&gt; components of 1st order logic.
&gt; 
&gt; Robert E. Kent
&gt; rekent@ontologos.org

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

Robert,

I only have a moment to write, but just for the sake
of future reference and mutual undertanding, I would
describe the "semantic" component of the scheme that
you have given us as a case of a "formal semantics".
I hate having t