Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET> Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0r9fZY-00007CC; Mon, 21 Nov 94 22:42 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 6491; Mon, 21 Nov 94 22:43:00 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 6488; Mon, 21 Nov 1994 22:43:00 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 5971; Mon, 21 Nov 1994 21:39:46 +0100 Date: Mon, 21 Nov 1994 20:28:01 +0000 Reply-To: ucleaar Sender: Lojban list From: ucleaar Subject: existential quantification X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 972 Lines: 24 "Mi troci lo nu mi viska do" is, I think, equivalent to "Da poi nu mi viska do zohu mi troci da". ^^^^^ [this is a guess - I don't know any other way to do it] I would translate this as "I managed to see you". The problem is how to get "I tried to see you", where the attempt is, or may be, unsuccessful, so that there is no event of me seeing you. I have been told, in the last few months, that "nu" doesn't entail its complement bridi is true, but I should have thought that the existentially quantifying preceding "lo" does require there to be an event. Have I gone wrong? What is the solution? If this sort of non-factual sumti is found only with "intentional" brivla then a solution might be to render "try" by: "Mi troci lo siho mi viska do" (where "siho" is what I think is the idea abstraction cmavo from NU). - With "troci" suitably defined so that it can accommodate such an x2 sumti. The meaning would be: x1 endeavours to realize the idea x2. --- And