[SCL] new draft

[pat hayes]

Merry Xmas.

The newer version promised a while ago is at

http://www.ihmc.us/users/phayes/SCL_december_2.HTML

it is still highly incomplete but now has a rational way of handling 
'fit' which keeps the quantifiers sane. It also has a different way 
of presenting the ext mapping as an 'extension' of the rel mapping 
from relational names to extensions into the universe. This keeps the 
FO case completely and genuinely FO, all the way down to the 
statement of the truth-conditions: you never have to write ext(I(v)).

Although this is less elegant, I think it conforms to the intuitive 
introduction better and has the merit of being more conventional MT 
in the conventional syntax case.  Anyway, comments welcomed of course.

I'll rewrite the examples and discussion later, after Xmas shopping is done.

BTW, in case its not obvious, there isn't even a trace of free logic 
about this now, and all the usual quantification inferences apply as 
normal.

Pat

-- 
---------------------------------------------------------------------
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