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 m0r53AO-00004zC; Wed, 9 Nov 94 04:53 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 5245; Wed, 09 Nov 94 04:53:55 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 5242; Wed, 9 Nov 1994 04:53:46 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 3668; Wed, 9 Nov 1994 03:50:24 +0100 Date: Tue, 8 Nov 1994 16:00:42 -0500 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Truth/satisfaction conditions X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva In-Reply-To: <199411052052.AA02427@nfs1.digex.net> from "ucleaar" at Nov 5, 94 08:49:53 pm Content-Length: 1666 Lines: 44 la bob. pu cusku di'e > > If you do not eat the apple, it is false. It can only be true if you > > do eat the apple. Hence, the imperative is true if and only if the > > command is carried out. la .and. cusku di'e > This seems to contradict what pc recently said. I can't remember > his exact terms, but it was something like that imperatives have > "satisfaction conditions" rather than "truth conditions". Well, yes and no. Satisfaction is a more general notion than truth: it applies even to open sentences. For example, the open sentence: A is the mother of B is satisfied under the set of bindings {A=Marianne Cowan, B=John Cowan}, and: 2 + 2 = x is satisfied under the set of bindings {x=4}. "True" may be interpreted as "satisfied under the empty set of bindings". So it may do less violence to language to say that commands are satisfied, rather than true, iff they are obeyed. (There is a pathological case hiding in the woodwork: if I order you to "head" a football, thus: le stedu be ko cu lamji le jmabolci the head with-body you [imperative!] is-in-contact-with the foot-ball and someone else throws the ball at your head, is the imperative satisfied?) > What are the truth conditions for Lojban wh-questions? By similar reasoning, a question is true (or satisfied, at least) iff a correct answer is given. This also applies to Y/N questions. The utility of this feature is to make logical connections of imperatives and/or questions reasonable, as someone else has pointed out. -- John Cowan sharing account for now e'osai ko sarji la lojban.