Difference between revisions of "formal definition of moi"

From Lojban
Jump to navigation Jump to search
Line 2: Line 2:
 
There are two related ways to use '''moi''':
 
There are two related ways to use '''moi''':
 
#"numeric moi" (more common) and
 
#"numeric moi" (more common) and
*"associative moi".
+
#"associative moi".
 
For "numeric moi", there is some debate over the nature of moi3, the ordering rule.
 
For "numeric moi", there is some debate over the nature of moi3, the ordering rule.
  

Revision as of 07:32, 3 December 2014

What's the deal with moi?

There are two related ways to use moi:

  1. "numeric moi" (more common) and
  2. "associative moi".

For "numeric moi", there is some debate over the nature of moi3, the ordering rule.

Shown here are various definitions and Lojban expansions by various people.

See also the relevant BPFK section.

Numeric

Proposed definitions

  • x1 x2 x3 Nmoi = for a set x2 containing x1, and a predicate x3 associating members of the set with a numerical value, x1 measures higher than all but N-1 set elements.
    • In Lojban:
      • la durka:
        • ko'a ko'e ko'i xy zo'u lo ka ko'a xy moi ko'e ko'i cu ka ge ko'a cmima ko'e gi vei xy vu'u pa ve'o da poi cmima ko'e gi'e drata ko'a ku'o zmadu ko'a ko'i
          • mi pazemoi lo prenu lo ka clani
          • I am the seventeenth tallest person.
  • x1 x2 x3 Nmoi = for a set x2 containing x1, and a predicate x3 comparing two members of the set, x1 compares as higher than all but N-1 set elements.
    • In Lojban:
      • la durka:
        • ko'a ko'e ko'i xy zo'u lo ka ko'a xy moi ko'e ko'i cu ka ge ko'a cmima ko'e gi vei xy vu'u pa ve'o da poi cmima ko'e gi'e drata ko'a ku'o me'au ko'i ko'a
          • mi pazemoi lo prenu lo ka clamau
          • I am the seventeenth tallest person.
          • .i mi pamoi lo verba lo ka ce'u ce'u darxi
          • No other kids hit me, and I hit all the other kids.
      • la selpa'i:
        • x1 boi N moi x2 boi x3 == x1 me x2 gi'e zmadu da'a N me x2 boi x3
          • mi pa ze moi lo prenu lo ka [ma kau ni] ce'u clani == mi zmadu da'a pa ze lo prenu lo ka [ma kau ni] ce'u clani
          • I am the seventeenth tallest person.

Associative

Proposed definitions

  • la selpa'i:
    • x1 me SUMTI moi x2 boi x3 == x1 me x2 gi'e ckini SUMTI x3
      • ti me la .alis. moi lo prenu lo ka speni
      • This is Alice's of the people in that they are married.