goi: Difference between revisions

From Lojban
Jump to navigation Jump to search
m (Text replace - "jbocre: ([a-z])" to "$1")
No edit summary
 
Line 1: Line 1:
 
{{jbocre/en}}
These are the rules for deciding what ''ko'a goi la djan.'' means (either can be the [[definiens|definiens]], either can be the [[definiendum|definiendum]]):
These are the rules for deciding what '''ko'a goi la djan.''' means (either can be the [[definiens]], either can be the [[definiendum]]):
 
* If you know what '''ko'a''' means, then '''la djan'''. is defined to mean whatever '''ko'a''' means.
* If you know what ''ko'a'' means, then ''la djan''. is defined to mean whatever ko'a means.
* If you know what '''la djan.''' means, then '''ko'a''' is defined to mean whatever '''la djan''' means.
* If you know what ''la djan.'' means, then ''ko'a'' is defined to mean whatever la djan. means.
* If you don't know what either means, then they mean the same, but <u>what</u> they mean will have to arrive in future -- until then neither one is usable.
 
* If you know what both mean, and they already mean the same thing, the '''goi'''-phrase is unnecessary.
* If you don't know what either means, then they mean the same, but ''what'' they mean will have to arrive in future -- until then neither one is usable.
* If you know what both mean, and they already mean the same thing, the ''goi''-phrase is unnecessary.
 
** No, then it reaffirms their sameness.
** No, then it reaffirms their sameness.
* If you know what both mean, and they mean different things, ''bzzzzzt'', semantic error.
* If you know what both mean, and they mean different things, ''bzzzzzt'', semantic error.
 
** No, then '''ko'a goi la djan.''' is asserting that John <u>is</u> '''ko'a''' - maybe wrong, but semantically feasible.
** No, then ''ko'a goi la djan.'' is asserting that John ''is'' ko'a - maybe wrong, but semantically feasible.
 
This is the algorithm called "unification" in Prolog.
This is the algorithm called "unification" in Prolog.

Latest revision as of 11:22, 30 July 2014

These are the rules for deciding what ko'a goi la djan. means (either can be the definiens, either can be the definiendum):

  • If you know what ko'a means, then la djan. is defined to mean whatever ko'a means.
  • If you know what la djan. means, then ko'a is defined to mean whatever la djan means.
  • If you don't know what either means, then they mean the same, but what they mean will have to arrive in future -- until then neither one is usable.
  • If you know what both mean, and they already mean the same thing, the goi-phrase is unnecessary.
    • No, then it reaffirms their sameness.
  • If you know what both mean, and they mean different things, bzzzzzt, semantic error.
    • No, then ko'a goi la djan. is asserting that John is ko'a - maybe wrong, but semantically feasible.

This is the algorithm called "unification" in Prolog.