Received: from mail-pa0-f59.google.com ([209.85.220.59]:62421) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1UY5RY-0001ez-TI for lojban-list-archive@lojban.org; Thu, 02 May 2013 19:09:58 -0700 Received: by mail-pa0-f59.google.com with SMTP id hz10sf329907pad.14 for ; Thu, 02 May 2013 19:09:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-received:x-beenthere:x-received:received-spf:mime-version :x-received:in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=njHtx+g1iubgXcdcV6ZN7iDvLf5QYwHRG6Oz5XDDG9s=; b=XLmolPa/HpMYvtN7eYsLOFJNEHL6UzfURQzQ5dXbqYRQVSuojVLVUP9ZfaNa9Vq+CN 1svs/ak/gUHixzoth5v0uxPpiWhQonQOq1K045cWzuK6lOVijdOOxiw5t/2cXfgEYN5i I7Equ5O055oC+rQEPwUrKUAUIYIytVXtXE2tXBmEBHSEc0qQHuA0dQLv9UbtDGsOfhQQ jy1BECRgbprCIJ0eZBB6RIGpBnbbP9Kw4lRaDKFniMqz1ikUfvel5nWxQLzFltqA6Bms 9mXoGBkisseOcgvj1oA2nBAJY2dz8/sNy9xJ3H6T1U7twvrj9kKTl+ZAFJFn6S0frDht v77g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:x-beenthere:x-received:received-spf:mime-version :x-received:in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=njHtx+g1iubgXcdcV6ZN7iDvLf5QYwHRG6Oz5XDDG9s=; b=uFHOBFRar/pvYhsbvJYp0Yl4N+tk2L9XUsht3nES+YX2lShpZU13h7nDznX/TNFmzT juRF+YgH2L08oftJwP5Ad6Wz85IYdEACb6Rjq/nF77HcS5gSYA+nIu4lBHk2ANo39va3 TLwh029tfEJMGkFoI91MZjsTzvbcdC7xP1MDTZ/9bz8w+RsNSQchhwiKE9kHTuHJnGOn 9OKuhSUPeexiLXieMJFFlH8cDZBtPDkpMkK66alUA5Hv32AdxCJn3XF4stzEaSpsbuJb HJOQShrR8yRRPuQjt4/UKsnU642VgLQwtBkwbRgNWkLJYF1tQye8yONrEcfwV/txNqnV M0Fw== X-Received: by 10.50.82.35 with SMTP id f3mr3172885igy.0.1367546987038; Thu, 02 May 2013 19:09:47 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.157.170 with SMTP id wn10ls143562igb.31.gmail; Thu, 02 May 2013 19:09:46 -0700 (PDT) X-Received: by 10.42.93.8 with SMTP id v8mr8161841icm.31.1367546986016; Thu, 02 May 2013 19:09:46 -0700 (PDT) Received: from mail-ia0-x234.google.com (mail-ia0-x234.google.com [2607:f8b0:4001:c02::234]) by gmr-mx.google.com with ESMTPS id r16si33258ign.1.2013.05.02.19.09.46 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 02 May 2013 19:09:46 -0700 (PDT) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c02::234 as permitted sender) client-ip=2607:f8b0:4001:c02::234; Received: by mail-ia0-f180.google.com with SMTP id 21so688341iay.39 for ; Thu, 02 May 2013 19:09:45 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.50.130.83 with SMTP id oc19mr4746902igb.29.1367546985916; Thu, 02 May 2013 19:09:45 -0700 (PDT) Received: by 10.231.102.74 with HTTP; Thu, 2 May 2013 19:09:45 -0700 (PDT) In-Reply-To: <1367546638.21541.YahooMailNeo@web184405.mail.bf1.yahoo.com> References: <1367501520.18899.YahooMailNeo@web184401.mail.bf1.yahoo.com> <1367546638.21541.YahooMailNeo@web184405.mail.bf1.yahoo.com> Date: Thu, 2 May 2013 22:09:45 -0400 Message-ID: Subject: Re: [lojban] Time-(non)local sumti (was: Mixing tenses, on the beginners list) From: Ian Johnson To: lojban@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c02::234 as permitted sender) smtp.mail=blindbravado@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=047d7b418e994f315c04dbc6d815 X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --047d7b418e994f315c04dbc6d815 Content-Type: text/plain; charset=ISO-8859-1 On Thu, May 2, 2013 at 10:03 PM, John E Clifford wrote: > So, the stock loglang definition: a language (this is loaded, note) in > which each discourse has a single possible parse and that parse gives the > logical structure (as defined somehow, FOPL on steroids for the nonce) of > the discourse. > More or less, although "structural semantics" can encapsulate any number of things. The axioms are vague so that they are tolerably easy to satisfy. mi'e la latro'a mu'o -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban?hl=en. For more options, visit https://groups.google.com/groups/opt_out. --047d7b418e994f315c04dbc6d815 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Thu, May 2, 2013 at 10:03 PM, John E Clifford <kali= 9putra@yahoo.com> wrote:
So, the stock loglang de= finition: a language (this is loaded, note) in which each discourse has a s= ingle possible parse and that parse gives the logical structure (as defined= somehow, FOPL on steroids for the nonce) of the discourse. =A0
More or less, although "structural= semantics" can encapsulate any number of things. The axioms are vague= so that they are tolerably easy to satisfy.

mi'e la latro'a mu'o=A0

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban?hl=3Den.
For more options, visit https://groups.google.com/groups/opt_out.
 
 
--047d7b418e994f315c04dbc6d815--