RE: RE: SUO: Language & Effect of spelling on dyslexia
>Hi Linda,
> . The issue of simplified / restricted / modified /
>controlled languages was discussed at considerable length quite some time
>ago. There were some proposals to develop the SUO in one, or at least have
>such of a version of the SUO available, including Norbert Fuchs' "Attempto
>Controlled English", or a development of it. There was rampant opposition
>from various "logic" protagonists who could not conceive that any such
>language could possibly express strict logic in any reliable and unambiguous
>way.
Speaking as a "logic" protagonist, I can certainly *conceive* of it.
If anyone knows of such a 'restricted English' which has a precise
model theory (precise enough to settle the question of whether an
inference in the language is valid or not), then I would be delighted
to hear about it and would be happy to see the SUO adopt it as an
alternative notation. But without such a model theory any formalism
is worthless for machine use.
Pat Hayes
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes