Received: from localhost ([::1]:41213 helo=stodi.digitalkingdom.org) by stodi.digitalkingdom.org with esmtp (Exim 4.76) (envelope-from ) id 1RN2a3-0007xZ-1r; Sun, 06 Nov 2011 05:16:11 -0800 Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:45332 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with esmtps (TLSv1:AES256-SHA:256) (Exim 4.76) (envelope-from ) id 1RN2Zz-0007xP-Fr for wikichanges@lojban.org; Sun, 06 Nov 2011 05:16:08 -0800 Received: from jukni.digitalkingdom.org (localhost [127.0.0.1]) by jukni.digitalkingdom.org (8.14.5/8.14.5) with ESMTP id pA6DG6pA026575 for ; Sun, 6 Nov 2011 05:16:06 -0800 Received: (from apache@localhost) by jukni.digitalkingdom.org (8.14.5/8.14.5/Submit) id pA6DG678026574; Sun, 6 Nov 2011 05:16:06 -0800 Date: Sun, 6 Nov 2011 05:16:06 -0800 X-Authentication-Warning: jukni.digitalkingdom.org: apache set sender to webmaster@lojban.org using -f To: wikichanges@lojban.org X-PHP-Originating-Script: 48:htmlMimeMail.php MIME-Version: 1.0 From: webmaster@lojban.org Message-ID: X-Spam-Score: 1.0 (+) X-Spam_score: 1.0 X-Spam_score_int: 10 X-Spam_bar: + X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: The page BPFK Section: Miscellaneous Notes And To-Dos was changed by Brendan at 08:16 EST Comment: Added spelling error You can view the page by following this link: http://www.lojban.org/tiki/BPFK%20Section%3A%20Miscellaneous%20Notes%20And%20To-Dos [...] Content analysis details: (1.0 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 0.6 TO_NO_BRKTS_DYNIP To: misformatted and dynamic rDNS Subject: [Wikichanges] Wiki page BPFK Section: Miscellaneous Notes And To-Dos changed by Brendan X-BeenThere: wikichanges@lojban.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: webmaster@lojban.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: wikichanges-bounces@lojban.org Content-Length: 6380 The page BPFK Section: Miscellaneous Notes And To-Dos was changed by Brendan at 08:16 EST Comment: Added spelling error You can view the page by following this link: http://www.lojban.org/tiki/BPFK%20Section%3A%20Miscellaneous%20Notes%20And%20To-Dos You can view a diff back to the previous version by following this link: http://www.lojban.org/tiki/tiki-pagehistory.php?page=BPFK%20Section%3A%20Miscellaneous%20Notes%20And%20To-Dos&compare=1&oldver=12&newver=13 *********************************************************** The changes in this version follow below, followed after by the current full page text. *********************************************************** +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ @@ -Lines: 20-21 changed to +Lines: 20-22 @@ +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ *** An option with all of the above is to just say "numbers don't exit poi or po'u, period, and da is always distributive", so the examples mean the same thing as "da poi bakni" in most of those cases. * There's a rather large bug in the books explanation of distributivity (or is there? need to check) in as much as goatleg/numerical exactness implies that everything logically distributable distributes to actual objects with an "and no others" at the end, so {mi viska re prenu} is actually {mi viska pa da poi prenu .i je mi viska pa de poi prenu .i je ro da zo'u da na du pa de .i je ro de zo'u de na du pa di .i je ro di zo'u mi na viska di}. Or something like that; there are two particular things that I saw that are people, and they are distinct from each other, and I saw no things that aren't them. + * Replace spelling error 'elidable' with 'elidible' throughout Lojban material *********************************************************** The new page content follows below. *********************************************************** Please don't use this page unless you really have to; surely there's a better ((BPFK Sections|BPFK Section)) for it? * We really need to nail down how masses and sets interact with brivla. For example, a very non-English sentence but: "this shirt is red in a way that fits with these 4 other shirts (call them c, d, f, and g)" is ''not'' {ti jbini cy .e dy .e fy .e gy lo ka xunre}, because that distributes to {ti jbini cy lo ka xunre} ** If the group of shirts has a name, say "tibble", does {ti jbini la .tibl. lo ka xunre} work? Why or why not? ** If I point at them; {ti jbini ta lo ka xunre}, does that work? How? What have I pointed at, exactly? *** Yes, you have pointed at this shirt with "ti" and at those other shirts with "ta". ** Does a set work here? Since a basic operation on sets in a mathematical context is "for each x in X ...", it seems like it should; {ti jbini cy ce dy ce fy ce gy lo ka xunri}, if you call the set of 4 shirts X, is "for every x in X, there exists a y in X such that redness(ti) is between redness(x) and redness(y)". This is completely standard mathematical idiom, and I (rlpowell) rather like it. ***You can easily do that with plural reference: "ro da poi me ta zo'u su'o de poi me ta zo'u da ti de bancu lo ka ce'u xunre". No need to make "ta" a set. (Nice definition of "jbini", BTW. I just added it to jbovlaste.) mi'e ((xorxes)) ** Does a mass work here? It seems to me (rlpowell) that saying "no" gives us an opportunity to make sets useful and to nail down what masses are. In that way, sets become "thing that is not distributive, with the default operation upon them being 'for each x,...' with ... left to context". Masses, on the other hand, become "thing that is not distributive, with the default operation upon them being 'all of the members collectively ...'". Maybe even just "for all x, x is a participant in ...". Something that makes {lei tadni cu sruri le dinju} work, anyways. I don't think {loi ratcu cu cmalu} is in any way useful or needs to be held on to, though; that's what {lo'e} is for. Let alone the whole {loi ratcu cu bunre .i je loi ratcu cu xekri}; that shit is just silly. * It would probably be a very good idea to disambiguate "cmene" and "cmevla", renaming the CMENE rule in the morphology CMEVLA, and noting both words (and the differences among them) in the revised CLL. * Decide on what to do about "observatives". I suggest removing them completely (a bridi without an explicit x1 is no different from any other place being left as an implicit zo'e, and gets no special treatment). At the absolute least, decide among the different criteria stated. Is it "no sumti before the selbri" or "missing x1", or something else? {broda fa ko'a} and {fe ko'e broda} are test cases. * Formalize a mechanism for fu'ivla rafsi * CLL section 8.6, around examples 6.8 and 6.9 says that {lo prenu noi blabi} asserts in passing that all people are white. This is as bad as only having five cows in the universe. * More issues with masses/sets and the rest of the language; also with poi/da/po'u in general: ** What does "da po'u mu bakni" mean, if anything? Is it a mass? ** What does "da poi gunma mu bakni" mean, if anything? Is it a mass? ** Can "da" be a mass? If so, how does that interact with the rest of the logical connectives and so on? ** What does "da po'u ko'a .e ko'e" mean? ** How about "da poi mu mei fi lo bakni" (or mu bakni, whatever)? *** An option with all of the above is to just say "numbers don't exit poi or po'u, period, and da is always distributive", so the examples mean the same thing as "da poi bakni" in most of those cases. * There's a rather large bug in the books explanation of distributivity (or is there? need to check) in as much as goatleg/numerical exactness implies that everything logically distributable distributes to actual objects with an "and no others" at the end, so {mi viska re prenu} is actually {mi viska pa da poi prenu .i je mi viska pa de poi prenu .i je ro da zo'u da na du pa de .i je ro de zo'u de na du pa di .i je ro di zo'u mi na viska di}. Or something like that; there are two particular things that I saw that are people, and they are distinct from each other, and I saw no things that aren't them. * Replace spelling error 'elidable' with 'elidible' throughout Lojban material _______________________________________________ Wikichanges mailing list Wikichanges@lojban.org http://mail.lojban.org/mailman/listinfo/wikichanges