| |
| | EMail Msg <9007281049.AA03621@ash.cs.rochester.edu> |
 | | (I'll refer to the latter as "analytic definitions", for reasons to be explained.) The metasyntax for substitutional definitions is not to be confused with Mike's syntax of "metalevel knowledge", based on quotation. |
 | | The latter, insofar as it is aimed at expressing notions like necessity and belief, is part of the interlingua proper - the language used to describe the domain of discourse (which by fiat includes the entities describable using quotation, viz., expressions). |
 | | One thing that's immediately clear, if we want to match the flexibility of the logicians' definitions, is that in general we need to be able to specify not just substitutions for individual defined symbols, but for PATTERNS OF USE of defined symbols (like the use of "<=>" flanked by formulas). |
| www-ksl.stanford.edu /email-archives/interlingua.messages/21.html (2967 words) |
|