[SCL] another moderate argument

[Pat Hayes]

>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, greetings.

Sorry about delay in responding.

Yes, the moderately folded semantics you suggest is in many ways 
simpler. This is the origianl CL semantic model developed by Chris 
Menzel, in fact, and so can be described more simply also. However, 
the purpose of the current technique is to allow conventional FOL 
interpretations to be legal SCL interpretations for the FOL syntactic 
subcase. This is more for political reasons than for technical ones, 
but I think they are important enough to keep the current design if 
SCL has any chance of being adopted as a standard logic.

Pat


>Robert E. Kent
><mailto:rekent at ontologos.org>rekent at ontologos.org
>
>_______________________________________________
>SCL mailing list
>SCL at philebus.tamu.edu
>http://philebus.tamu.edu/mailman/listinfo/scl


-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes at ihmc.us       http://www.ihmc.us/users/phayes
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://philebus.tamu.edu/pipermail/scl/attachments/20040414/76221dae/attachment.html