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