⟨jai'a⟩ and ⟨nai'a⟩: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
 
mNo edit summary
Line 1: Line 1:


A reference to the fact that Lojban sometimes requires terminators even though the syntax seems "obvious" to a human (mostly because of the LALR(1) nature of the grammar, which can only use one token of lookahead). For example, before a particle which can join either sumti or tanru.
I've been looking for ways to say these without using experimental cmavo. But in the meantime these provide a stopgap.


This phrase derives from [http://wiw.org/~jkominek/lojban/9110/msg00033.html n article by nitcion].
p        FALSE  SORTA  TRUE


See also [[Obsolete: joiku|joiku]].
--------------------
 
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

--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 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