Received: from localhost ([::1]:48903 helo=stodi.digitalkingdom.org) by stodi.digitalkingdom.org with esmtp (Exim 4.80.1) (envelope-from ) id 1VrVRU-0005Xc-ML; Fri, 13 Dec 2013 08:18:20 -0800 Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:38610 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1VrVRO-0005XV-Kv for wikichanges@lojban.org; Fri, 13 Dec 2013 08:18:19 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Fri, 13 Dec 2013 08:18:14 -0800 From: "Apache" Date: Fri, 13 Dec 2013 08:18:14 -0800 To: wikichanges@lojban.org X-PHP-Originating-Script: 48:htmlMimeMail.php MIME-Version: 1.0 Message-ID: X-Spam-Score: 2.0 (++) X-Spam_score: 2.0 X-Spam_score_int: 20 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 bu'ai and xe'u was changed by guskant at 16:18 UTC You can view the page by following this link: http://www.lojban.org/tiki/bu%27ai%20and%20xe%27u [...] Content analysis details: (2.0 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: lojban.org] 1.6 RCVD_IN_BRBL_LASTEXT RBL: RCVD_IN_BRBL_LASTEXT [173.13.139.235 listed in bb.barracudacentral.org] 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS Subject: [Wikichanges] Wiki page bu'ai and xe'u changed by guskant X-BeenThere: wikichanges@lojban.org X-Mailman-Version: 2.1.15 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 The page bu'ai and xe'u was changed by guskant at 16:18 UTC You can view the page by following this link: http://www.lojban.org/tiki/bu%27ai%20and%20xe%27u You can view a diff back to the previous version by following this link: http://www.lojban.org/tiki/tiki-pagehistory.php?page=bu%27ai%20and%20xe%27u&compare=1&oldver=1&newver=2 *********************************************************** The changes in this version follow below, followed after by the current full page text. *********************************************************** +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ @@ -Lines: 1-5 changed to +Lines: 1-5 @@ +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ;bu'ai:((BPFK Section: Abstractors|NU)) Abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. (((Experimental cmavo|experimental cmavo)) proposed by guskant.) - ((BPFK Section: Grammatical Pro-sumti|zo'e)) and ((BPFK Section: Logical Variables|da)) are free and bound variables of predicate logic of first order respectively; ((BPFK Section: Pro-bridi|co'e)) and ((BPFK Section: Pro-bridi|bu'a)) are free and bound selbri variables of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. ((BPFK Section: Abstractors|su'u)) and ''bu'ai'' in selma'o NU can compose respectively free and bound selbri variables in the domain of all selbri of second order. Higher order is also possible by nesting ''bu'ai''. + ((BPFK Section: Grammatical Pro-sumti|zo'e)) and ((BPFK Section: Logical Variables|da)) are free and bound variables of predicate logic of first order respectively; ((BPFK Section: Pro-bridi|co'e)) and ((BPFK Section: Pro-bridi|bu'a)) are free and bound selbri variables of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. ((BPFK Section: Abstractors|su'u)) and ''bu'ai'' in selma'o NU can compose respectively free and bound selbri variables in the domain of all selbri of second order. In the case that ''bu'ai'' takes plural number of selbri variables, connect them with ((BPFK Section: Non-logical Connectives|ju'e)) or something. Higher order is also possible by nesting ''bu'ai''. Example: su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a (This ''xe'u'' is an abstraction-variable-indicator-brivla used in order to put a word of selma'o NU in prenex.) *********************************************************** The new page content follows below. *********************************************************** ;bu'ai:((BPFK Section: Abstractors|NU)) Abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. (((Experimental cmavo|experimental cmavo)) proposed by guskant.) ((BPFK Section: Grammatical Pro-sumti|zo'e)) and ((BPFK Section: Logical Variables|da)) are free and bound variables of predicate logic of first order respectively; ((BPFK Section: Pro-bridi|co'e)) and ((BPFK Section: Pro-bridi|bu'a)) are free and bound selbri variables of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. ((BPFK Section: Abstractors|su'u)) and ''bu'ai'' in selma'o NU can compose respectively free and bound selbri variables in the domain of all selbri of second order. In the case that ''bu'ai'' takes plural number of selbri variables, connect them with ((BPFK Section: Non-logical Connectives|ju'e)) or something. Higher order is also possible by nesting ''bu'ai''. Example: su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a (This ''xe'u'' is an abstraction-variable-indicator-brivla used in order to put a word of selma'o NU in prenex.) See also ((BPFK Section: Abstractors|su'u)), ((BPFK Section: Pro-bridi|bu'a)); ''xe'u''. ;xe'u:((BPFK Section: Pro-bridi|GOhA)) Abstraction variable indicator brivla. (((Experimental cmavo|experimental cmavo)) proposed by guskant.) ''xe'u'' is a pro-bridi (meaning it takes the place of a fully-specified bridi). ''xe'u'' indicates that the brivla is considered to be a bridi-variable that can be filled by other bridi. ''xe'u'' makes sense only inside abstraction clauses. In particular, ''xe'u'' is almost solely used in prenex in order to put a word of selma'o NU in prenex in a statement of predicate logic of third or higher order. See ''bu'ai'' for usage. See also ((BPFK Section: Abstractors|ce'u)), ''bu'ai''. _______________________________________________ Wikichanges mailing list Wikichanges@lojban.org http://mail.lojban.org/mailman/listinfo/wikichanges