goi: Difference between revisions
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 [[ | 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 | * 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 | |||
* 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 ' | |||
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
 | This page contains discussions of experimental/scientific/philosophical/logical aspects of Lojban that are non-official and not for everyday usage. You've been warned. |
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.