Received: from uga.cc.uga.edu by nfs1.digex.net with SMTP id AA01359 (5.67b8/IDA-1.5 for ); Mon, 12 Dec 1994 14:53:21 -0500 Message-Id: <199412121953.AA01359@nfs1.digex.net> Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2) with BSMTP id 4886; Mon, 12 Dec 94 14:53:12 EST Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 9226; Mon, 12 Dec 1994 13:31:39 -0500 Date: Mon, 12 Dec 1994 10:36:44 -0500 Reply-To: "Mark E. Shoulson" Sender: Lojban list From: "Mark E. Shoulson" Subject: Re: 'metalogical descriptions' X-To: lojban@cuvmb.cc.columbia.edu To: Bob LeChevalier In-Reply-To: <199412100020.TAA09190@cs.columbia.edu> (message from ucleaar on Sat, 10 Dec 1994 00:19:48 +0000) Status: RO X-From-Space-Date: Mon Dec 12 14:53:28 1994 X-From-Space-Address: LOJBAN%CUVMB.BITNET@uga.cc.uga.edu >Date: Sat, 10 Dec 1994 00:19:48 +0000 >From: ucleaar >X-To: lojban@cuvmb.cc.columbia.edu >Thanks,* Mark for dihe: >[*I daren't risk the thanks UI, because I textually confuse it with the >textual confusion UI] >> >How do we say things like >> > the predicate Gerku has 2 places [NB NOT the word 'gerku'] >> loi du'u gerku cu bridi fi reda >Isn't loi duhu gerku a predication, a bridi, rather than a predicate, >a selbri? Say we took the example "I defined the predicate Flombo": >we don't want "I defined lo duhu flombo". Um, I think you're right about loi du'u gerku (maybe loi bridi be zo gerku would be better), but it may be okay in this situation. My sentence thus says "predications over predicate "gerku" are predications among two arguments. That's pretty good for what you want, though it doesn't explicitly call "gerku" a selbri. Actually, it does; if loi du'u gerku is a bridi, then gerku must be the selbri of that bridi (moreso if I use the "loi bridi be zo gerku" construction). Did I try suggesting "reda cu sumti la'e zo gerku"? If not, think about it, too. >--- >And ~mark