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 m0qOUQE-000022C; Thu, 14 Jul 94 20:18 EET DST Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 6583; Thu, 14 Jul 94 20:16:42 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 6579; Thu, 14 Jul 1994 20:16:42 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 7687; Thu, 14 Jul 1994 19:15:45 +0200 Date: Thu, 14 Jul 1994 12:38:00 EST Reply-To: SLAUGHTER Sender: Lojban list From: SLAUGHTER Subject: Re: cukta X-To: nsn X-cc: lojban To: Veijo Vilva Content-Length: 2110 Lines: 33 NSN>And this one of the areas I was thinking about, when I said the other day NSN>that Lojban will probably succeed by failing in its avowed aims. Lojban NSN>(I claim) is built on a particular view of semantics: one in which {le jei NSN>da broda} is taken as 0 or 1 --- one in which you can make black or white NSN>judgements. X either is a book, or isn't. In that context, it is NSN>*meaningful* to ask "is a collection of blank pages bound together NSN>a book or not?" I just noticed that we may be confusing *semantic* truth with logical truth. I have read the introduction and first chapter of what appears to be an EXCELLENT book called "Elementary Applied Symbolic Logic", which is a college level intro textbook on logic using the formalism of symbolic predicate logic, whuch is where we Lojbanists get our grammar from. I read a definition of "predicate" which dramatically clarified for me what we mean by predicate/bridi in Lojban. The statement "I am a Klingon" is *logically* true, because it is gramatically properly formed, hence semantic input (wherther I am a Klingon or not) gives meaningful output. "I am a sleeping" is *logically* false, because it fails to parse (barring slang: "I am a-sleeping"; not what I meant). Hence it always gives 0/logical false regardless of input. Of course, the "I am a Klingon" is *semantically* false, because I am a human being. The book goes on to illustrate the difference between truth (0/1) and Truth (great cosmic understanding) I'd quote more directly, but the book is packed temporarily, as I'm moving, and I will be glad to dig it out after the move (expect it to be available early August) ************************************************************************** * Bob Slaughter * Model Railroading * * InterNet: Haldane@Pine.Circa.Ufl.Edu * is Fun!! * * * * * Bitnet: Haldane@UFPine * ask me about lojban * **************************************************************************