⟨jai'a⟩ and ⟨nai'a⟩: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
mNo edit summary |
||
Line 1: | Line 1: | ||
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 | |||
[[User:xorxes|xorxes]] has suggested that, following the pattern of [[jbocre: JAhA + CAI|JAhA + CAI]], the paradigm should be completed thus: | |||
p FALSE SORTA TRUE | |||
-------------------- | |||
na cu'i p = ja'a cu'i p FALSE TRUE FALSE | |||
--[[User:And Rosta|And Rosta]] | |||
---- | |||
''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 [[jbocre: Three-value Logic|Three-value Logic]] (though it is incompatible with the [[jbocre: JAhA + CAI|JAhA + CAI]] proposal assumed by the proposal above). But the ones on this page are the ones I personally would find usable and useful. --[[User:And Rosta|And Rosta]] |
Revision as of 16:53, 4 November 2013
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
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 Rosta