From xod@sixgirls.org Fri Apr 20 10:49:15 2001 Return-Path: X-Sender: xod@shiva.sixgirls.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_1_2); 20 Apr 2001 17:49:14 -0000 Received: (qmail 91556 invoked from network); 20 Apr 2001 17:49:14 -0000 Received: from unknown (10.1.10.27) by l8.egroups.com with QMQP; 20 Apr 2001 17:49:14 -0000 Received: from unknown (HELO shiva.sixgirls.org) (63.219.55.100) by mta2 with SMTP; 20 Apr 2001 17:49:13 -0000 Received: from localhost (localhost [[UNIX: localhost]]) by shiva.sixgirls.org (8.11.3+3.4W/8.11.1) with ESMTP id f3KHnCS19140 for ; Fri, 20 Apr 2001 13:49:12 -0400 (EDT) Date: Fri, 20 Apr 2001 13:49:12 -0400 (EDT) To: Subject: Entail, Implicate (was: not only In-Reply-To: <53.5557716.2811ca3b@aol.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII From: Value Yourself X-Yahoo-Message-Num: 6731 On Fri, 20 Apr 2001 pycyn@aol.com wrote: > In a message dated 4/20/2001 12:07:30 AM Central Daylight Time, > xod@sixgirls.org writes: > > > > > How about a definition of the differences between "implicature", > > "implication", and "entail"? The jargon is getting impossibly thick here. > > > > > > When you play these games, it helps to have all the cards. > *P entails Q*: Q follows from P by logical rules alone (assuming a complete > system -- otherwise Q is true in every model in which P is true) For the > basics we use classic bivalent first order logic with identity. After that > it is a bit less clear: the alethic modalities (necessity and possibility) > seem to be S5 (universal connections among possible worlds) with implicit > postulates for special cases (physically possible, technically possible, > humanly possible, and the like). The deontic modalities aren't clear at all > (and not just for Lojban), the temporal ones seem to be for linear dense > (maybe continuous) time without end points, unbranching to the past but > possibly branching to the future, aspects handled as intervals and points in > that time. The descriptors have a variety of rules, not all of them clearly > formulated, but we tend to err on the side of generosity for the most part. Does anybody who needs to ask what "entail" means understand "classic bivalent first order logic", "alethic modalities", "S5", or "deontic modalities"? I hope I don't need all this to be able to think clearly or use Lojban effectively. I gather that "entail" refers to logical deduction (nibli), and "implicate" refers to induction (tolsucta)? ------ 1.Why are you measuring the measure? The measure is the same. Even after Great One, the bones will be broken. I am telling you. Relic should believe me. 2.Where after religion you believe in religion and wish that to Ora. Emptiness is that what Baby God's Eye is fighting for.