Received: from localhost ([::1]:60911 helo=stodi.digitalkingdom.org) by stodi.digitalkingdom.org with esmtp (Exim 4.76) (envelope-from ) id 1SnXKS-0006CH-EC; Sat, 07 Jul 2012 08:53:52 -0700 Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:38780 helo=digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.76) (envelope-from ) id 1SnXKO-0006BM-L6 for wikineurotic@lojban.org; Sat, 07 Jul 2012 08:53:50 -0700 Received: by digitalkingdom.org (sSMTP sendmail emulation); Sat, 7 Jul 2012 08:53:48 -0700 From: "Apache" Date: Sat, 7 Jul 2012 08:53:48 -0700 To: wikineurotic@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 Tsani's Type System was changed by selpa'i at 15:53 UTC You can view the page by following this link: http://www.lojban.org/tiki/Tsani%27s%20Type%20System [...] Content analysis details: (2.0 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 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: [Wikineurotic] Wiki page Tsani's Type System changed by selpa'i X-BeenThere: wikineurotic@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: wikineurotic-bounces@lojban.org The page Tsani's Type System was changed by selpa'i at 15:53 UTC You can view the page by following this link: http://www.lojban.org/tiki/Tsani%27s%20Type%20System You can view a diff back to the previous version by following this link: http://www.lojban.org/tiki/tiki-pagehistory.php?page=Tsani%27s%20Type%20System&compare=1&oldver=2&newver=3 *********************************************************** The changes in this version follow below, followed after by the current full page text. *********************************************************** +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ @@ -Lines: 1-3 changed to +Lines: 1-3 @@ +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ - It's fine and dandy to say that the small type indicators used in parentheses or square brackets in the gimste are not prescriptive, but the truth of the matter is that using some types of sumti in some places is right out wrong. This has led me (((la tsani|la tsani) to believe that it would be possible to statically type every sumti place of every gismu, defining explicit interactions of the places __in Lojban__ for the most part. + It's fine and dandy to say that the small type indicators used in parentheses or square brackets in the gimste are not prescriptive, but the truth of the matter is that using some types of sumti in some places is right out wrong. This has led me ((la tsani|la tsani)) to believe that it would be possible to statically type every sumti place of every gismu, defining explicit interactions of the places __in Lojban__ for the most part. !The types +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ @@ -Lines: 46-47 changed to +Lines: 46-51 @@ +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ * *->(presumably) text: {lu'e ko'a} * text->something useful: {la'e ko'a} + + + I started a discussion page about this ((Discussion: Type System|here)). --selpa'i + *********************************************************** The new page content follows below. *********************************************************** It's fine and dandy to say that the small type indicators used in parentheses or square brackets in the gimste are not prescriptive, but the truth of the matter is that using some types of sumti in some places is right out wrong. This has led me ((la tsani|la tsani)) to believe that it would be possible to statically type every sumti place of every gismu, defining explicit interactions of the places __in Lojban__ for the most part. !The types First and foremost, it would be necessary to produce some sort of list of the types used in this classification. Fundamentally, ''things'' can be separated into two main classes: !!The primary distinction of ''things'' * ''things'' of this world -> class A * ''things'' not of this world -> class B Class A deals with objects and events, whereas class B deals with non-physical entities, which turn out the greatly outnumber in type their physical counterparts. Class B namely encloses pure numbers, properties, predications, sequences, text, sets. !!The secondary distinctions of ''things'' Furthermore, we can further split up class A to produce a more semantic-level difference in objects. Objects tend to come in two varieties, as I see it. Objects are either volitional or non-volitional, a very distinguishing characteristics. This distinction isn't quite a ''separation'' because volitional entities can substitute for non-volitional entities in many/all circumstances, if desired, whereas the use of non-volitional entities in a volitional entity sumti place is almost always either mildly nonsensical or metaphorical. Consider {mi dunda lo plise do}, {mi dunda do lo pulji}, and {lo plise cu lebna mi}. This leads me to say that the ''volitional entities'' class is a simply a subset of the ''physical objects'' class. In brief, class A, things of this world: * Objects (tables, web sites, books, windows, smells); * (Volitional entities (people, possibly animals, possibly really smart AIs)); * Events (lo nu citka, lo balvi, lo cinri). And class B, things not of this world: * Pure numbers ({li ci}, {lo zilkancu be lo'i klama}); * Properties ({lo ka ce'u bebna}, {lo selkai be do}, {lo se kakne be do}); * Predications ({lo du'u do cilre}, {lo du'u dei na'e pluja}); * Sequences ({zo coi ce'o zo do}, {lo'u a e i le'u}, {lo porsi be fi lo'i bajra}); * Sets ({lo'i klama}, {lo simxu be lo ka ce'u cinba ce'u}; * Text ({lo se du'u xukau do mi cinri}, {lu coi rodo li'u}, {zo si}). !!!Individuals and masses The individual/mass distinction just has to do with distributivity, but for what it's worth, I strongly reject the idea that {lo} can produce a mass. !!Type conversions Given that types are static for a given place, it becomes very important to know by which means one might cast objects from one type into another. Of course, some conversions are impossible (number->event?!). Lojban text preceded by a question mark contains experimental cmavo. * individuals->set: {lu'i ko'a}; * text->predication: ?{du'au ko'a} * predication->text: {lo se du'u broda}, ?{lu'au ko'a} * predication->property: {lo selbri be ko'a} * set->sequence: {lo porsi be fi ko'a} * sequence->set: {lo te porsi be fi ko'a} * number->text: {me'o MEX} * *->(presumably) text: {lu'e ko'a} * text->something useful: {la'e ko'a} I started a discussion page about this ((Discussion: Type System|here)). --selpa'i _______________________________________________ Wikineurotic mailing list Wikineurotic@lojban.org http://mail.lojban.org/mailman/listinfo/wikineurotic