new jei

A new use for the cmavo jei, as proposed by la saski'o.

cmavo: jei (NU) Proposed Definition abstractor: truth-value abstractor; x1 is a predication representing whether [bridi] is true under epistemology x2 See Also: {jetnu} {jitfa} {du'u} Keywords Examples .i mi djuno lojei mi morsi I know if it is true that I am dead Formulae jei broda == du'u xukau jetnu fa lodu'u broda lo jei broda kei be ko'a == lo du'u xukau jetnu fa lodu'u broda kei ko'a Merits The classical interpretation of jei is such that the x1 is a number, ranging from 0 to 1. This isn't a particularly useful construct under normal usage of lojban, and seems to be a holdover from when there was some intention to introduce fuzzy logic to the language. New-jei instead focuses on conventional use of the language with the current vlaste and semantics, allowing jei to become a useful abstraction in casual conversation. While du'u allows you to talk about facts about the universe, whether they are true or false, it doesn't provide a convenient way to talk about if those predications are true; new-jei allows that. This new usage makes a few assumptions about truthiness and falsiness, namely that lojban does not have or need a primitive way to talk about true or false the way programming languages do (even English for example has the words true and false which more closely relate to loka jetnu and loka jitfa respectively, rather than a primitive representation of boolean value), but instead that truthiness and falsiness are simply properties of predications. Under that assumption, jei takes on a role of creating a predication to encapsulate the truth value of another predication.