jai'a And nai'a

I've been looking for ways to say these without using experimental cmavo. But in the meantime these provide a stopgap.

p FALSE SORTA TRUE
--------
na p TRUE SORTA FALSE
ja'a p FALSE SORTA TRUE
nai'a p TRUE FALSE FALSE
jai'a p FALSE FALSE TRUE

xorxes has suggested that, following the pattern of JAhA + CAI, the paradigm should be completed thus:

p FALSE SORTA TRUE
--------
na cu'i p = ja'a cu'i p FALSE TRUE FALSE

--And


These are operators, functions from truth values to truth values: they read more or less like this (being placed before the core bridi):

na: it is not the case that
ja'a: it is the case that
na'a: it is false that
jai'a: it is true that
nacu'i: it is indeterminate that

Missing from this is "it is sorta the case that": SORTA TRUE SORTA (or FALSE TRUE SORTA).

  • I didn't propose those because I can't get my head round the difference from F-T-F. A full series of operators are proposed under Three-value logic (though it is incompatible with the JAhA + CAI proposal assumed by the proposal above). But the ones on this page are the ones I personally would find usable and useful. --And


Created by admin. Last Modification: Friday 30 of November, 2001 12:31:04 GMT by admin.