Received: from uga.cc.uga.edu by nfs1.digex.net with SMTP id AA23033 (5.67b8/IDA-1.5 for ); Fri, 9 Dec 1994 04:30:31 -0500 Message-Id: <199412090930.AA23033@nfs1.digex.net> Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2) with BSMTP id 8308; Fri, 09 Dec 94 04:30:23 EST Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 1481; Fri, 9 Dec 1994 04:30:03 -0500 Date: Fri, 9 Dec 1994 03:22:10 +0000 Reply-To: ucleaar Sender: Lojban list From: ucleaar Subject: 'metalogical descriptions' X-To: lojban@cuvmb.cc.columbia.edu To: Bob LeChevalier Status: RO X-From-Space-Date: Fri Dec 9 04:30:37 1994 X-From-Space-Address: LOJBAN%CUVMB.BITNET@uga.cc.uga.edu How do we say things like the predicate Gerku has 2 places [NB NOT the word 'gerku'] the x1 place of Gerku is a category members of x1 places are typically agents That is, we speak sort of metalinguistically, but not about linguistic objects (i.e. words) but about logical objects (individuals, categories, predicates, quantifiers, etc.) I can imagine this requiring horribly cumbersome paraphrases. On the other hand I can imagine it handled quite nicely by an analogue of "zo", meaning "the logical object" rather than "the word". Say this was "xahu". Then my examples could be rendered: xahu gerku has 2 places xahu [se se gerku] cu klesi ["se se" for want of another way to get at the x1 category] But I mainly seek to learn how to do these things, not to make any new cmavo proposal. ---- And