From nobody@digitalkingdom.org Tue May 27 06:27:09 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 27 May 2008 06:27:11 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1K0zCm-0003YR-QN for lojban-list-real@lojban.org; Tue, 27 May 2008 06:27:09 -0700 Received: from narnia.blumen-schwarz.de ([80.190.195.21]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1K0zCd-0002zL-Bh for lojban-list@lojban.org; Tue, 27 May 2008 06:27:08 -0700 Received: from n5829.n.pppool.de ([89.50.88.41]) by narnia.blumen-schwarz.de with esmtpsa (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.68) (envelope-from ) id 1K0zCR-0006gL-RV for lojban-list@lojban.org; Tue, 27 May 2008 15:26:51 +0200 From: nam To: lojban-list@lojban.org Subject: [lojban] Re: Assertions of time-relations and precision of abstractions Date: Tue, 27 May 2008 14:31:36 +0200 User-Agent: KMail/1.9.6 (enterprise 0.20070907.709405) References: <200805251745.08367.eldrikdo@gmail.com> <925d17560805251311w64befd5dx7c6713e729528f5d@mail.gmail.com> <96f789a60805260917l7c06c303g13ae6954092eb26f@mail.gmail.com> In-Reply-To: <96f789a60805260917l7c06c303g13ae6954092eb26f@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200805271431.41314.eldrikdo@gmail.com> X-Spam_score: -3.4 X-Spam_score_int: -33 X-Spam_bar: --- X-Spam_report: ------------- Start der SpamAssassin Auswertung --------------- Bei Fragen dazu bitte das Forum life.d.cvmx verwenden! Details der Inhaltsanalyse: (-3.4 Punkte, 5.0 benoetigt) -1.8 ALL_TRUSTED Nachricht wurde nur über vertrauenswürdige Rechner weitergeleitet -1.1 BAYES_05 BODY: Spamwahrscheinlichkeit nach Bayes-Test: 1-5% [score: 0.0245] -0.5 AWL AWL: From: address is in the auto white-list ---------------- Ende der SpamAssassin Auswertung ----------------- X-Spam-Score: 1.2 X-Spam-Score-Int: 12 X-Spam-Bar: + X-archive-position: 14435 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: eldrikdo@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Am Montag 26 Mai 2008 18:17:55 schrieb Michael Turniansky: > What if it had instead asserted "I eat apples after Hell freezes > over/after pigs fly"? The whole sentence is still valid, and may even > be true, but that doesn't mean you've eaten any apples at all, yet. > We will have to wait and see.... Remember, the main bridi had no > tense associated with it, so it's simply asserting a fact, not > necessarily one that has come to fruition yet. So, would it be valid so sum up: If {.i broda ba lo nu brode} is given, {broda} happens iff {brode} happens? -- regards, Nam To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.