[SCL] another moderate argument

[Robert E. Kent]

Also, in the section "On being semantically first-order" there is a statement that "any expression that can be substituted for a quantified variable is required to denote something in this universe." Does this not also support the notion of a 'moderately' folded semantics? For example, since the name 'married' in the atom '(married Jack Jill)' can be substituted for the quantified variable 'm' in the sentence '(exists (m) (m Jack Jill))', should not 'married' be in object position in addition to being in relation position? More simply put, in the 'moderately' folded semantics any term in a text is in object position; that is, the terms of the text are precisely the objects in the vocabulary. This simplifies positional analysis and contextual signature construction.

Robert E. Kent
rekent at ontologos.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://philebus.tamu.edu/pipermail/scl/attachments/20040401/b828844f/attachment.html