User:Gleki/CLL, next edition/xorlo: Difference between revisions

From Lojban
Jump to navigation Jump to search
(Created page with "== Plan == * this version of xorlo affects only '''lo'''. * the old '''lo''' is changed to '''loi'o''' everywhere in the text. * the new '''lo''': plural logic maximum-scope...")
 
No edit summary
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
== Plan ==
== Plan ==
* new section: explanations of su'oi, ro'oi, ru'oi
==doubtful==


* this version of xorlo affects only '''lo'''.
* this version of xorlo affects only '''lo'''.
Line 6: Line 10:
** a new section of CLL with a short explanation of  
** a new section of CLL with a short explanation of  
*** what plural logic is. distributivity + links to 6.3 https://lojban.org/publications/cll/cll_v1.1_xhtml-section-chunks/section-masses.html
*** what plural logic is. distributivity + links to 6.3 https://lojban.org/publications/cll/cll_v1.1_xhtml-section-chunks/section-masses.html
*** scope of '''lo''' + links to "16.7. Grouping of quantifiers" (https://lojban.org/publications/cll/cll_v1.1_xhtml-section-chunks/section-quantifier-grouping.html)
*** scope of '''lo''' + links to "16.7. Grouping of quantifiers" (https://lojban.org/publications/cll/cll_v1.1_xhtml-section-chunks/section-quantifier-grouping.html)
*** outer quantifiers. add '''lo''' to https://lojban.org/publications/cll/cll_v1.1_xhtml-section-chunks/section-quantified-descriptions.html table
*** outer quantifiers. add '''lo''' to https://lojban.org/publications/cll/cll_v1.1_xhtml-section-chunks/section-quantified-descriptions.html table
**** outer quantifier make distributive meaning
**** without outer quantifiers the only choice to make a distributive reading is to use '''lu'a'''
===contra===
* totally ugly system: '''le - lei - le'i''' but '''loi'o - loi - lo'i'''

Latest revision as of 07:35, 29 June 2019

Plan

  • new section: explanations of su'oi, ro'oi, ru'oi

doubtful

  • this version of xorlo affects only lo.
  • the old lo is changed to loi'o everywhere in the text.
  • the new lo: plural logic maximum-scope descriptor: those who individually or collectively are ... By default has no outer and inner quantifiers thus without an outer quantifier is not affected by the scope of outer quantifiers of other 'sumti-5' constructs that are children of 'sumti' constructs (only direct hierarchy 'sumti => sumti-1 => sumti-2 => sumti-3 => sumti-4 => sumti-5' is taken into account) at the same layer of formal grammar hierarchy as the 'sumti' construct, of which the current lo'o'o is a child. Nor is it affected by the scope of other direct children of 'term' rule (sumti | (tag | FA #) (sumti | /KU#/) | termset | NA KU # ). lo gerku cu citka can mean both 'Dogs eat collectively' and 'Each dog eats'.

contra

  • totally ugly system: le - lei - le'i but loi'o - loi - lo'i