User:Ramcinfo/scope study

From Lojban
< User:Ramcinfo
Revision as of 23:10, 21 February 2015 by Ramcinfo (talk | contribs)
Jump to navigation Jump to search

Scope operators are things what modify predications as a whole (bridi operators) or predicates (selbri operators). They are: tenses, some modals, {na} negation, outer quantifiers, and connectives. They are called scope operators because when multiple are present in the same bridi, they modify the bridi in the order based on their order in the bridi text. When one operator modifies the result of another, it is said for latter to be in the scope of former.

Tenses and modals

 [va'o ti] culno fa lo kabri [se va'u mi] [ba ku]

The selbri tcita (selbri tag) is also bridi operator, but is in the scope of all other bridi operators.

 [va'o ti] ⌊ba⌋ culno fa lo kabri [se va'u mi]

Linking operator to selbri with {be} allow to incorporate it into the selbri. It acts on selbri only, producing new, modified selbri, so it scopes after all other operators (and even after regular sumti, in a way).

 [va'o ti] ⌊ba⌋ cunlo ⟨be di'a⟩ fa lo kabri [se va'u mi]

Another way to incorporate an operator into selbri is {jai}-conversion. Such a link will have scope below operatores linked with {be}, if any:

 ma [va'o ti] ⌊ba⌋ ⟨jai gau⟩ cunlo ⟨be di'a⟩ fai lo kabri [se va'u mi]

The order of bridi operators relative to other parts of bridi (being selbri and sumti) is irrelevant. Let us move them all in front of bridi. (We're adding {ku} to {ba} to turn it into sumti tcita from selbri tcita, so it could be an independent term.)

 [va'o ti] [se va'u mi] ⌊ba ku⌋ (⟨di'a ku⟩ ⟨gau ma⟩ culno) fa lo kabri

The operators modify the meaning of the sumti in this way:

 (va'o ti (se va'u mi (ba ku ((di'a ku (gau ma (culno))) fa lo kabri))))

or using composition and reverse-apply operators:

 (va'o ti ∘ se va'u mi ∘ ba ku)(d'a ku ∘ gau ma ∘ culno)(fa lo kabri)
The following happens in present context:
  The following happens for me:
    The following happens in the future:
      The thing is a cup
        This is done again:
          This is done by whom, I want to know.
            The thing is full.


It should be noted what a tense stating both direction and interval is one operator; and in fact such tenses give their component in order reverse to the order of operators, e.g. {puzi} is equivalent to {ziku puku}.

Quantifiers

{na}, absent in the example above, behaves the same way, as do outer quantifiers — except the latter create {da}* variables behind the scene:

 mi na pendo ci gerku   => [na ku] [ci da poi gerku] zo'u mi pendo da
 "It is not true what each of four dogs is my pet"
 mi pendo ci gerku naku => [ci da poi gerku] [na ku] zo'u mi pendo da
 "For each of four dogs, it is not true what it is my pet" (e.g. no one of four dogs is my pet)

Connectives

Logical connectives could be reduced to outer quantifiers, but it easier to expand them to bridi connectives. For latter, scope of operator inside first connected bridi ends at the end of the bridi, before the connective:

  (mi [na] sipta'i) .ije (mi gleki)

"I am not sleepy. And I am happy"

Scope of any operator could be extended to the connected predicates through common prenex:

  [naku] zo'u (mi sipta'i) .ije (mi gleki)

"It is not true what (I am sleepy and I am happy)"

Other connectives are expanded to bridi connectives:

  mi [na] (sipta'i) je (gleki) => [na] zo'u (mi sipta'i) .ije (mi gleki)
  mi (sipta'i) je (gleki) naku => (mi sipta'i [naku]) .ije (mi gleki [naku])
  mi [na] (sipta'i) gi'e (gleki) => (mi [na] sipta'i) .ije (mi gleki)
  mi [naku] (sipta'i) gi'e (gleki) => [naku] zo'u (mi sipta'i) .ije (mi gleki)
  mi (sipta'i) gi'e (gleki [naku]) => (mi sipta'i) .ije (mi gleki [naku])
  mi (sipta'i) gi'e (gleki vau) [naku] => (mi sipta'i [naku]) .ije (mi gleki [naku])
  mi .e do [na] sipta'i => (mi [na] sipta'i) .ije (do [na] sipta'i)
  naku mi .e do sipta'i => [naku] zo'u (mi sipta'i) .ije (mi gleki)

Todo

  • Rewrite more clearly.
  • Review with other lojbanists.

Credits

Study done with the help of omni___, xorxes, Ilmen, gleki and latro`a; and maybe someone I forgot to mention — sorry, then.