From lojban@cuvmb.bitnet Tue Apr 09 22:25:23 1996 Received: from punt4.demon.co.uk by stryx.demon.co.uk with SMTP id AA11244 ; Tue, 09 Apr 96 22:25:14 BST Received: from punt-4.mail.demon.net by mailstore for ia@stryx.demon.co.uk id 828732614:22340:4; Fri, 05 Apr 96 20:30:14 BST Received: from cunyvm.cuny.edu ([128.228.1.2]) by punt-4.mail.demon.net id aa22024; 5 Apr 96 20:29 +0100 Received: from CUVMB.CC.COLUMBIA.EDU by CUNYVM.CUNY.EDU (IBM VM SMTP V2R3) with BSMTP id 9100; Fri, 05 Apr 96 14:28:54 EST Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP id 1773; Fri, 05 Apr 96 12:23:43 EDT Date: Fri, 5 Apr 1996 18:21:33 +0100 Reply-To: ucleaar Sender: Lojban list From: ucleaar Subject: Re: intensional sets of bridi To: lojban@cuvmb.cc.columbia.edu Message-ID: <828732564.22024.0@cunyvm.cuny.edu> Status: R This took a month to cross the Atlantic. Hence the late reply. Jorge: > And: > >How would one say in lojban "the set of propositions of the form > >x is broda"? > I think I would say: {lo'i du'u ke'a/ce'u broda} That's ingenious, but you lose the parallelism between "x is broda" and "for some x it is the case that x is broda". Unless, that is, we can bind ceu, as in {suo ceu zou ceu broda} or suchlike - with {ceu} equivalent to the logician's "x". > >{lo,i duu da broda} won't do, because that means > >the set of propositions of the form Ex x is broda. > A singleton, right? I believe so. > >What one needs > >is a way to cancel the default interpretation of {da} as {suo da}. > I prefer not to tamper with that. {da} is the bound variable, why > use it for the function of unbound variables? Fair enough, so long as we have a way to do unbound variables, which preferably is formally related to the way to do bound variables. > >How? Could we have cmavo (in UI) to toggle between default > >interpretations? > I thought you were against the use of UI for such things. But it would be metalinguistic, toggling between "{da} means [Ex x...]} and "{da} means [x...]". ===And