Received: from mail-yw0-f61.google.com ([209.85.213.61]:50147) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RTRmc-0007hH-BF; Wed, 23 Nov 2011 21:23:43 -0800 Received: by ywp31 with SMTP id 31sf1159947ywp.16 for ; Wed, 23 Nov 2011 21:23:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version: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 :content-transfer-encoding; bh=UsINGRtdMLhymOJQg6p8PAqfUMpVNcUp9rnOsxLudSE=; b=ijgFihVMZNxkTCP57GVTq/ZQ0sZyfEMoN2bDmQ0XtYU934092KnNbrA8pjRyxL26Dq 5eCKFYSzX/jJhzdNN0H0PuJOAn8fnVjT8RRBw3OFFNwrTz6SYPwYb+dAPSEt1Ux/Q1ya SXvXtBrWF1Hmt0heYuMAlZuUSWq+Fdy73QQ8Y= Received: by 10.236.189.10 with SMTP id b10mr2828136yhn.3.1322112209178; Wed, 23 Nov 2011 21:23:29 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.101.182.17 with SMTP id j17ls6733970anp.6.gmail; Wed, 23 Nov 2011 21:23:28 -0800 (PST) Received: by 10.100.59.18 with SMTP id h18mr7883070ana.46.1322112208597; Wed, 23 Nov 2011 21:23:28 -0800 (PST) Received: by 10.100.59.18 with SMTP id h18mr7883069ana.46.1322112208579; Wed, 23 Nov 2011 21:23:28 -0800 (PST) Received: from mail-yx0-f172.google.com (mail-yx0-f172.google.com [209.85.213.172]) by gmr-mx.google.com with ESMTPS id u30si6748813yhu.7.2011.11.23.21.23.28 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 23 Nov 2011 21:23:28 -0800 (PST) Received-SPF: pass (google.com: domain of maikxlx@gmail.com designates 209.85.213.172 as permitted sender) client-ip=209.85.213.172; Received: by yenm7 with SMTP id m7so3116933yen.17 for ; Wed, 23 Nov 2011 21:23:28 -0800 (PST) MIME-Version: 1.0 Received: by 10.68.28.133 with SMTP id b5mr14366318pbh.28.1322112208332; Wed, 23 Nov 2011 21:23:28 -0800 (PST) Received: by 10.142.224.8 with HTTP; Wed, 23 Nov 2011 21:23:28 -0800 (PST) In-Reply-To: <1322084099.71575.YahooMailRC@web81302.mail.mud.yahoo.com> References: <1322084099.71575.YahooMailRC@web81302.mail.mud.yahoo.com> Date: Thu, 24 Nov 2011 00:23:28 -0500 Message-ID: Subject: Re: [lojban] No title, since the subject will have changed by the time it gets there From: maikxlx To: lojban@googlegroups.com X-Original-Sender: maikxlx@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of maikxlx@gmail.com designates 209.85.213.172 as permitted sender) smtp.mail=maikxlx@gmail.com; dkim=pass (test mode) 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: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / Good subject line! On Wed, Nov 23, 2011 at 4:34 PM, John E Clifford wro= te: > 2. {lo broda} refers to a bunch of brodas (either an L-set or a plural > reference, as your ontological conscience guides you), fixed by context b= ut > possibly not terribly specific. The bunch may have a single member or enc= ompass > all brodas that have ever been and maybe more (all in this universe of > discourse, of course, though maybe not in this world). =A0These latter, m= aximal, > bunches =A0represent brodakind for all practical purposes. Because of the > transparency of bunches, such a bunch of brodas is also a bunch of kinds = of > brodas, etc. =A0These maximal bunches might usefully have a separate gadr= i. In Montague's program, an intension is just the function that maps world-time indexes to extensions. So for a one-place predicate like {nanmu}, the intension expressed by {lo nanmu} gives you a set of mundane {nanmu}s at each word-time index. You get the extension that you want by specifying or glorking the world and time. Is this something like what you have in mind when you say "maximal bunches"? --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.