>
>The idea of a single syntax with two different incompatible semantics
>scares me. (01)
Try reading this aloud (from "Mot d'heure:
gousse, rames", which every English/French
speaker should be required to read aloud to an
audience of his or her peers): (02)
"Un petit d'un petit
S'�tonne au hall
Un petit d'un petit
Ah! degr�s de falles!
Un dol de qui ne sort cesse
Un dol de qui ne se m�ne
Qu'importe un petit d'un petit
Tout Gai de Reguennes." (03)
Pat (04)
PS. If you don't read French, see
http://en.wikipedia.org/wiki/Humpty_Dumpty#Application_in_cognitive_science (05)
PPS. More seriously, this 1-syntax 2-semantics
situation has already cropped up and caused
problems for interoperation (in the IKRIS
project). If one takes FOL (or CL) and a
syntactic extension of it to a context or modal
logic, then the extended language has a subset
which is syntactically identical to FOL but whose
meaning no longer conforms to FOL semantics. If
it were a tensed modal logic, for example, then
the non-modal syntactic subset corresponds to a
description of what is true "now", i.e. in the
temporal present of a temporal possible-world
semantics, while the original untensed FOL
describes a timeless notion of truth in a single
possible world. (06)
>K
>
>_________________________________________________________________
>Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/�
>Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/�
>Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>Shared Files: http://ontolog.cim3.net/file/
>Community Wiki: http://ontolog.cim3.net/wiki/
>To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (07)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (08)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (09)
|