否定の文法的表現は、ロジバンの言明を論理的たらしめるための決定的な部分だ。 否定の問題は、簡単に言えば、「ない」という単語の完全な定義を見つけ出すことだ。 さらに、ロジバンの曖昧性の無い文法では、文法上の作用が異なる「ない」は、異なる単語、異なる文法構造でなければならない。
論理的な言語では暗黙裡に、論理的表明 (Logical Assertions) が要求されている。 したがって、論理的表明を表す道具が、ロジバンの論理接続やその他の構造の中に組み込まれている。
インド・ヨーロッパ語族などの文法では、「主部」「述部」と呼ばれる2つの部分から成る文がある。
1.1) ジョンが店に行く。この文では「ジョン」が主部で「店に行く」が述部だ。 例 1.1の否定
1.2) ジョンが店に行かない。には、「「店に行く」という述部が「ジョン」という主部について成り立たない」ということを述べる働きがある。 例 1.2 からは、ジョンがどこか別の所に行くのか、ジョン以外の誰かが店に行くのかということについて、何もわからない。
この種の否定を「自然言語否定 (natural language negation)」と呼ぼう。 こういう否定は、必ずしも論理規則に従わないので、論理の道具で扱いにくい。 論理的否定は双極的であり、文が真か偽かのどちらかになる。 文が偽ならば、その否定は必ず真だ。 こういう否定は矛盾否定 (contradictory negation) と呼ばれる。
自然言語否定が矛盾否定の規則に反する例を見てみよう。
1.3) ある動物は白くない。 1.4) ある動物は白い。この2つの文は両方とも真だ。 しかし、形の上では、一方がもう一方の否定であるように見える。
1.5) 私はそのダンスパーティに行くべきではない。 1.6) 私はそのダンスパーティに行くべきだ。一見、 例 1.5 は 例 1.6の否定であるように見えるが、よく考えると、「私はダンスパーティに行っても良いが、行かないといけないわけではない」という、2つの文のどちらでもない状態がありうる。 従って、2つの文が両方とも偽であることがありうる。
また、語順が重要になることもある。
1.7) The falling rock didn't kill Sam. (落石はサムを殺さなかった。) 1.8) Sam wasn't killed by the falling rock. (サムは落石に殺されなかった。)この例には心理的なトリックがある。 例 1.7 は「能動態」と呼ばれる形で書かれているので、「The falling rock (落石)」という主部が「kill Sam (サムを殺した)」という述部にふさわしいかどうかという判断を強いられる。 「kill (殺す)」という語の意味には意志が含まれるが、石には意志が無い。 この混乱は銃規制反対のキャンペーンで利用されている。 「銃は人を殺さない。 人が人を殺すのだ。 」
この問題は 例 1.8では起こらない。 こちらはサムが主語になっていて、私たちは、サムが落石によって殺されたか殺されなかったかによって、文の真偽を決める。
例 1.8 によって浮上する事実はもう一つある。 この文には暗黙裡に、少なくとも2つの疑問点が含まれているのだ。 まず、サムは殺されたのかどうか。 そしてそれが真であるなら、落石が殺したのかどうか。 もしサムが殺されていなかったら、何が殺したかは未決定の問題だ。
こういう問題は、文の主語の指す対象が存在しないことがわかったとき、もっと明らかになる。
1.9) メキシコの王が夕食会に来なかった。 1.10) メキシコの王が夕食会に来た。自然言語では、この2つの文は両方とも偽だと言いたくなるかもしれない。 メキシコの王は存在しないのだから。
以下、この章では否定のロジバン型モデルについて説明する。
ロジバンの否定で、単に文が真であることを否定するという論理否定の形を「ブリディ否定 (bridi negation)」と呼ぶ。 ブリディ否定を使って、「私は妻を叩くのをやめていない」に相当する内容をロジバンで表現できる。 この場合、私がかつて妻を叩き始めたということは含意しないし、私に妻がいるということさえ含意しない。 単に「私が妻を叩くのをやめたということが真ではない」ということを意味している。 ロジバンではブリディを複文の構成要素としても使うので、ブリディ否定は、文の否定だけでなく、複文の構成要素の否定にも使える。
文のブリディ否定が真であるためには、元になる文が偽でなければならない。 ブリディ否定の主な用途は、質問に「いいえ」で答えることだ。 そういう場合の返答は、普通、矛盾否定であり、文全体の真を否定する。
2.1) あなたは店に行きましたか?という文の否定的な返答は、文全体の否定として表現される。
2.2) いいえ、私は店に行きませんでした。ブリディ否定の最も重要な規則として、ブリディが真であればその否定は偽であり、ブリディが偽であればその否定は真である。
ブリディ否定を表す最も簡単な方法は、セルマホ NA のシマヴォ「na」をブリディ肯定のセルブリの前に付けることだ。 「cu」がある場合は「cu」の後に入れる。
2.3) mi klama le zarci 私は店に行く。このブリディの否定は以下のようになる。
2.4) mi na klama le zarci 私は店に行かない。
ロジバンの内部ブリディ否定 (internal bridi negation) 「na」は、自然言語における否定と違って、常にブリディ全体に係り、常に矛盾否定である。 つまりこの否定文は、元のブリディ全体の言明と矛盾する(両立しない)。
肯定文 | ∃x(王(x)∧∀y(王(y)⇒y=x)∧禿(x)) | da ro de zo'u ge ge da ca nolraitru be le fasygu'e gi ganai de ca nolraitru be le fasygu'e gi de du da gi da krecau | 偽 |
= pa da zo'u ge da ca nolraitru be le fasygu'e gi da krecau | |||
内部否定 | ∃x(王(x)∧∀y(王(y)⇒y=x)∧¬禿(x)) | da ro de zo'u ge ge da ca nolraitru be le fasygu'e gi ganai de ca nolraitru be le fasygu'e gi de du da gi naku zo'u da krecau | 偽 |
= pa da zo'u ge da ca nolraitru be le fasygu'e gi naku zo'u da krecau | |||
外部否定 | ¬∃x(王(x)∧∀y(王(y)⇒y=x)∧禿(x)) | naku da ro de zo'u ge ge da ca nolraitru be le fasygu'e gi ganai de ca nolraitru be le fasygu'e gi de du da gi da krecau | 真 |
= no da zo'u ge da ca nolraitru be le fasygu'e gi da krecau | |||
lo ca nolraitru be le fasygu'e cu na krecauの内部ブリディ否定 na は、述語論理におけるこれらの否定と、どういう関係にあるだろうか? この文を、量化型変項を使って書き換えてみよう。 第6章第7節で説明された、デフォルトの外部数量詞をテルブリに適用すれば、
su'o lo ca nolraitru be le fasygu'e cu na krecau第16章第7節に従って、量化型変項を導入すると、
su'o da poi ca nolraitru be le fasygu'e cu na krecau第16章第5節に従って、冠頭を省略しない形に書き換えると、
su'o da poi ca nolraitru be le fasygu'e zo'u da na krecau第16章第9節に従えば、内部ブリディ否定 na は、外部ブリディ否定 naku を冠頭の左端に置いたものに等しいので、
naku su'o da poi ca nolraitru be le fasygu'e zo'u da krecauまた、同節に書かれているように、 naku su'o da は no da に等しいので、
no da poi ca nolraitru be le fasygu'e zo'u da krecau冠頭の poi 節を冠頭外に移動して、ブリディ da krecau と論理接続しても、同じ意味だ。
no da zo'u ge da ca nolraitru be le fasygu'e gi da krecauこれは上記の述語論理の「外部否定」の形に等しい。
∃x(王(x)∧∀y(王(y)⇒y=x)∧¬禿(x))のロジバン表現を見てみよう。構造を見やすくするために、論理接続表現を ( ) で区切り、インデント付きで表示すると
da ro de zo'u冠頭をブリディと区切るシマヴォ zo'u が2回使われているが、2回目の zo'u は論理接続の中にあるので、これに続くブリディにおいても、1回目の zo'u で区切られている冠頭が有効である。 従って、全体として、冠頭内の各項の出現順序は da, rode, naku という順序になっていることが見て取れる。 つまり、この naku は冠頭内で最も右に置かれている。(ge(ge da ca nolraitru be le fasygu'e)(gi(ganai de ca nolraitru be le fasygu'e)(gi de du da))(gi naku zo'u da krecau))
(1) mi su'o da do ge na dunda gi na lebnaという文を考える。これは、 na が論理接続 ge ... gi ... の内部にあるので、意味としては「少なくとも1つのものが存在し、私はそのものをあなたに与えない、しかもあなたから取らない」と解釈できそうである。ところが、これらの内部ブリディ否定の na が、冠頭で最も左の naku に等しいとしても、どのように書き換えられるのか、はっきりしない。
(2) mi su'o da do na ga dunda gi lebnaに等しい。この na も内部ブリディ否定であるから、最も外側の naku に等しいと考えると
(3) naku su'o da zo'u mi da do ga dunda gi lebnaと書き換えられる。これは「次のようなものは存在しない:私がそのものをあなたに与えるか、またはあなたから取る」という意味になる。 (3) は (1) から導き出されたのに、 (1) の解釈は、明らかに (3) と異なる。
1. 文の構成要素のうち、意味論的にブリディ全体に係るものを 「ブリディ演算子 (bridi operator)」と呼ぶ。 束縛変項 (da, de, di) に付く数量詞(formal definition に従って、束縛変項が省略された形の場合も含む)、論理接続、間制詞、法制詞、na(ku) はブリディ演算子である(参考)。 これはブリディ全体に係るものだから、名辞の形で表現できるものであれば、冠頭の名辞として置き換えても意味は変わらない。
2. 1つのブリディ内に、ブリディ演算子が2つ以上現れる場合は、先に現れるブリディ演算子の方が外側に係る。この解釈を適用すれば、
(3') naku ro da zo'u mi da do ga dunda gi lebnaこれは「すべてのものについて、次のことが成り立つわけではない:私がそのものをあなたに与えるか、またはあなたから取る」という意味になる。 これは、最初の (1) の解釈と整合性がある。
# 日本語の「ない」の意味は曖昧なので、ブリディ否定「na」は「偽」と訳す方が正確だ。 他の例をいくつか挙げよう。
2.5) mi [cu] na ca klama le zarci 私は今店に行く[偽] 2.6) lo ca nolraitru be le fasygu'e cu na krecau 現在のフランス国王は禿げている[偽] 2.7) ti na barda prenu co melbi mi これは私にとって美しい、大きい人だ[偽]
ロジバンの内部ブリディ否定と自然言語における否定は根本的に異なるが、ブリディの中に存在や量化の変項、つまりセルマホ KOhA のシマヴォ da, de, di (第16章で解説)が無い場合は「na」を「ない」と訳して良い。
ロジバンには、暗黙裡にブリディを含む構造がいくつかある。 従って、ロジバンの文の中に複数の「na」が使われることもある。 例えば
2.8) mi na gleki le nu na klama le nu dansu ダンスに行かないことについて、私は嬉しくない。
2.9) mi nelci le na melbi 私は美しくないものが好きだ。もっと極端な(そしてもっと不確定の)例は
2.10) mi nelci lo na ca nolraitru be le frasygu'e 私は現在のフランス国王ではないものが好きだ。例 2.10 の言明は、好きなものが無い者以外、誰にでもあてはまる。 スムティ内の描写「ca nolraitru be le frasygu'e」が、全てのものについて偽となるからだ。 こういう状況は日常的な# 日本語ではうまく表現できない。
「na」による否定はブリディ全体に係り、セルブリの一部分だけに係ることはない。 従って、タンルの中に「na」を入れる必要はないし、文法上もタンルの中に「na」を入れることは許されない。 例外として、ルジヴォの中、および、セルブリの前置接続詞 GUhA を使って組み立てられた構造の中では、「na」を使って良い。
文法上、複数の「na」を連続して使うことができる。 普通の論理学と同様に、偶数個の「na」を並べれば、「na」をキャンセルすることになる。
2.11) ti na na barda prenu co melbi mi これは[私にとって美しい、大きい人]でなくない。この文は以下の文と同じことだ。
2.12) ti barda prenu co melbi mi これは私にとって美しい、大きい人だ。
セルブリに間制や法制のタグが付いているとき、「na」はタグの前に置いても後に置いても良い。 前か後かによる意味の違いは定義されていない。 間制・法制とブリディ否定との相互作用は十分に調査されていないからだ。 特に、あまり使われない間制を使った文、例えば
2.13) mi [cu] ta'e klama le zarci 私は習慣的に店に行く。について、「na」が「ta'e」の前に置かれるか後に置かれるかによって意味が違うかどうかという問題が残されている。 この問題は将来の論理学者に任せよう。
自然言語の否定文をロジバンに翻訳するとき、逐語訳すると誤訳の可能性がある。 因果関係やその他の従属節のある文をロジバンに翻訳するときは、特に誤訳しやすい。
例えば
2.14) 車が壊れているから店に行かない。という文を以下のように訳すと
2.15) mi na klama le zarci ki'u lenu le karce cu spofu 「車が壊れているから店に行く」は偽だ。否定の係る範囲が広すぎてしまう。
こういう誤訳は、自然言語の雑な否定と曖昧さとが組み合わさった結果生じる。 例2.14を普通に解釈した場合の正しい訳は以下のようになる。
2.16) lenu mi na klama le zarci cu se krinu lenu le karce cu spofu 私が店に行かないことの理由は、車が壊れていることだ。例2.16では、否定の範囲がはっきりとスムティ x1 の事象抽象の中に閉じ込められていて、文全体に係ることはない。 元の日本語文でも、「~こと」という2つの事象を理由付けでつなげる形にしておけば、誤訳しなくて済んだ。
明らかな因果関係以外でも問題は起こり得る。 例えば
2.17) 私は、上院議員であるおじの助けにより、軍に徴兵されなかった。この文では、おじの助けに否定が係らないようにしたい。 そのためには、否定を事象節の中に入れるか、あるいは、2つの文に分けて表現する。 事象節を使うと以下のようになる。
2.18) 私が軍に徴兵されないことは、上院議員であるおじの助けによる。
ブリディ否定をルジヴォに組み込みたくなることもあるかもしれない。 そのため、「na」には「-nar-」というラフシが用意されている。 しかしこのラフシを使う前に、第3節で述べられている段階否定ではなくて、本当にブリディの矛盾否定をしたいのかどうか、再考して欲しい。 タンルやルジヴォで良く使われるのは段階否定の方だ。
他の種類の否定を見てみよう。
3.1) その椅子は茶色くない。この例文からは、肯定的な推定ができる。 「椅子は何か他の色だ」ということだ。 だから以下のように答えるのは理にかなっている。
3.2) それは緑色だ。椅子が茶色であるかどうかについて賛成しようとしまいと、この文が色のことを言っているという事実は、これに対する回答をどう解釈するかということに大きく影響する。
3.3) その椅子は茶色くない。 その通り。 その椅子は木でできている。という会話を聞いたら、茶色くない木なんてあるのかなと考え始めるだろう。
3.4) その椅子は茶色ですか? いいえ、それは台所にあります。という会話を聞いたら、この回答は不合理に思われるので動揺するだろう。 しかしこの返事は、命題としては真かもしれないし、少なくとも椅子についての文にはなっているから、まったく見当外れだとは言えない。
これらの文では「段階否定 (scalar negation)」というものがなされている。 その名の通り、段階否定は「段階について言っている」ということを前提としている。 このタイプの否定は、ある段階値が偽であると言うだけでなく、別の段階値が真であることを意味している。 そのせいで厄介な問題が起こりやすい。 例えば
3.5) あれは青い家ではない。 その通り。 あれは緑色の家だ。この対話はまあ自然に見える(こんなばかばかしい会話が何になるのかという点を除けば)。 それなら段階否定の存在を認めたことになる。 なぜなら、家の色として許される色の集合の中から、その家について正しくなる別の色を与えたのだから。 以下のような対話も、あまりなさそうだが、自然である。
3.6) あれは青い家ではない。 その通り。 あれは青い車だ。ここでも段階否定の存在が認められる。 青色でありうるものの議論領域 (universe of discourse) の中で、家を車に置き換えたのだ。
では、以下のような対話はどうだろう?
3.7) あれは青い家ではない。 その通り。 あれは緑色の車だ。これには混乱してしまう。 1ヶ所しか否定していないのに、2ヶ所が訂正されているからだ。 しかし文脈を離れて考えれば、「青い家」と「緑色の車」は1つの文の中で互いに置き換え可能なはずの、同等なまとまりに見える。 これは単に# 日本語の不備からくる問題だ。 つまり、
3.8) あれは「青い家」ではない。という形で、段階否定が「青い」と「家」をまとめて1個の塊にしたものに係ることを、# 日本語の音声で明確に表すことができない。
段階否定のもっと複雑な例もある。
3.9) ジョンはローマからパリに行かなかった。例3.9はジョンが別の場所からパリに行ったことを意味するのだろうか? それともローマから別の場所へ行ったのか? あるいはジョンはどこにも行かず、別の人が行ったか、誰もどこにも行かなかったか? これらの文のうちのどれか1つか2つか、あるいは全部を、聞き手が推測するかも知れないという状況を考え出すことは可能だ。
# 日本語では、命題否定(# 矛盾否定のこと)と段階否定とを区別する方法がある。 つまり、「非」を付ければ段階否定になる。 ただし、これは必ずしも良い使い方であるとは考えられていない。 「非」を付けた例として、以下のようなものが挙げられる。
3.10) あれは非青な家だ。
3.11) あれは青い非家だ。例3.10と例3.11は、否定のしるしを含んでいながら全体として肯定的表明になっているという点で有利だ。 つまり、これらの文は、偽であることについて言っているのではなく、偽である部分を除いた、真であることについて言っている。
3.12) ジョンは非パリにローマから行った。or
3.13) ジョンはパリから非ローマへ行った。このように「非」を付けると、漠然としていた否定を明確にすることができるが、# 日本語ではこういう表現をあまりしない。 他に「~以外」や「~を除いて」などの表現ができるが、「非」ほど簡潔ではない。
さて、自然言語否定にはもう一つ、対義否定 (polar negation) あるいは反対 (opposite) と呼ばれる否定がある。
3.14) ジョンは道徳的だ。 3.15) ジョンは背徳的だ。「背徳的」というのは、単に「道徳的ではない」だけではなく、その反対の状態であることを意味している。 例3.15のような文は、例3.14の真を否定するだけでなく、その反対であることを表明する、強い否定である。 したがって、「反対」は段階の一種であり、対義否定は段階否定のうちの特別な場合である。
この概念について、もっと厳密に考えるために、段階の使い方を示す線形目盛を描いてみよう。
肯定(正) 否定(負) |-----------|-----------|-----------|-----------| 全 多 幾分 少 無 優 良 可 不可 劣
図では5段階描いたが、心態詞によっては2段階しかないものもある。 例えば、「必要」の対義は「必要ではない」あるいは「不要」となる。 他に、ロジバンと特に関係の深い段階には、使用者の哲学によって異なる条件に基づいて解釈されるものがある。 例えば「非真」は、2値論理(bi-valued truth-functional logic)では「偽」に等しいものとして良いが、3値論理 (tri-valued logic) では「真」と「偽」の間に中間の値がありうるし、ファジー論理では真から偽までの連続的な値をとり得る。 「非真」の意味を決めるためには、「真理値としてどういう値をとることが想定されているのか」ということを知っている必要がある。
段階否定の最も一般的な形を、次のように定義する。
段階否定とは
「段階や範囲の中で、特定の値があてはまらない」
「その値の代わりに別の値のどれかを入れると、命題が正しくなる」
という2点だけを示すものである。
例えば「穏やかではない」という表現は、大抵の文脈で、こういう意味の段階否定を表しているだろう。
この枠組みを使うと、矛盾否定は段階否定ほど制限が強くない。 つまり矛盾否定は、そこに述べられた値の組み合わせでは、命題が偽になるということだけを意味していて、他の何らかの値に入れ替えると命題が真になるかどうかについては、何も言っていない。
段階否定は、# 日本語の「~以外」「~の真逆」「~の反対」などの意味を含む。 もっと汎用の日本語表現としては、「非~」「不~」などを語頭に付ける。 ただし、これらの否定表現がどの種類の段階否定を意味するかは、否定される語や概念の意味や、文脈に依る。
第4節の例では、段階否定の訳語として「~以外」「非~」を充てる。
第3節で説明した段階否定はすべて、ロジバンのセルマホ NAhE に属するシマヴォ「na'e」で表される。 よくあるのは、「na'e」をセルブリの直前に付ける表現である。
4.1) mi klama le zarci 私は店に行く。 4.2) mi na'e klama le zarci 私は店に非・行く。この2つの違いは、例4.2で「na'e」が使われているところだ。 「na'e」は厳密には何を否定しているのだろうか? この例文のセルブリであるギスム「klama」のみを否定しているのか、「le zarci」も否定しているのか? ロジバンでは曖昧性なく、「このギスムだけ」を否定している。 シマヴォ「na'e」は常に直後の語だけに係る。
例4.2はあたかも以下の例と相似の表現に見える。
4.3) mi na klama le zarci 私は店に偽・行く。しかし実際にはこれらの表現の間に相似性は無い。 「na」を使った否定は関係が真であることを否定するが、「na'e」を使ったセルブリの否定は、この文中のスムティの間に、ここに述べられた関係以外の関係が成り立つことを表明している。 「na'e」に割り当てられた文法によって、段階否定を、文中で係る範囲 (scope: # 文のどこからどこまでの部分を否定しているか) ・段階 (scale: # 文中の、否定される語の部分に代入される語として、納得のいく "plausible" 選択肢の集合) ・段階上の範囲 (range within the scale: # 段階の部分集合) に関して、曖昧性なく表現することができる。 段階の性質を説明する前に、「na'e」の係る範囲がどのように定義されているかを説明しよう。
タンルの中では、タンルを構成する個別の要素を否定したいとことがあり得る。 つまり、セルブリより狭い範囲に係る否定が必要だ。 この用途でも「na'e」を使うことができる。 肯定文
4.4) mi cadzu klama le zarci 私は店に徒歩で行く。では、いくつかの方法でセルブリを否定することができる。 そのうちの2つは以下のような方法である。
4.5) mi na'e cadzu klama le zarci 私は店に徒歩以外で行く。 4.6) mi cadzu na'e klama le zarci 私は店に徒歩で非・行く。これらの否定表現からわかるように、「na'e」の係る範囲は、タンル内の個別のブリヴラだけに限られる。 例4.5は、私が店に行くけれども、徒歩以外の手段を使うということだ。 (もちろんタンルの解釈は多様であり得るが、ここではこの意味として解釈する。 タンルの意味については第5章を参照。 )
例4.5でも例4.6でも、「na'e」は全セルブリを否定してはいない。 どちらの例文でも、スムティ間の特定の関係を否定しているが、その関係が成り立つような構成要素も含まれている。 例4.5では、私が店に行くことは肯定しているが、歩くことは否定している。 一方、例4.6では、歩くことを含んだ何らかの関係が私と店との間に成り立つことを言明しているが、その関係が「私が店に行く」という関係ではないことを表している。 (店のまわりを歩くとか、店の中で歩くとか。 )
ロジバンのタンルの否定における「段階」というのは、実際には「集合」であり、これはそのタンルの中で、否定されている部分に置き換えても納得できるものの集合である。 (ここで「納得できる (plausiblility) 」というのは、質問「mo」に対する回答が納得のいく形でなければならないと言う場合の意味と同じように解釈する。 置き換えの結果、場所の個数が正しく、スムティの値がその PS に適切であるというだけではなく、文脈上も適切、あるいは相応しいものでなければならない。 )
単一のブリヴラよりも広い範囲に係る段階否定も必要だ。 そのような広い範囲に係るセルブリの段階否定の形が存在する。 例えば以下のような形だ。 (2番目の行は na'e の係る範囲をカッコで明示したもの。 )
4.7) mi na'eke cadzu klama [ke'e] le zarci mi na'e (ke cadzu klama [ke'e]) le zarci 私は店に非・(徒歩で行く)。この否定文では、タンルの中で使われる境界詞 ke - ke'e が使われている。 ke'e は、セルブリの末端に付く場合には省略可能だ。 この文では明らかにセルブリ全体を否定している。 ke'e は省略してもしなくても、否定がその後に続くスムティに係らないことを示す。 スムティの PS は、最後のブリヴラの PS であると定義されているが、スムティ自体はセルブリの一部分ではないから、 na'e の否定は後続のスムティにまでは係らない。
セルブリの一部分だけを否定することも可能だ。
4.8) mi na'eke sutra cadzu ke'e klama le zarci mi na'e (ke sutra cadzu ke'e) klama le zarci 私は店に非・(速く歩いて)行く。例4.8では、「sutra cadzu」というタンルが否定されている。 つまり、話し手は店に行くが、「速く歩いて」ではない。
「na'e」や「na'eke」によるブリヴラやタンルの否定は、そのブリヴラやタンルに「be」や「bei」で接続するスムティにも係る。 これらの接続したスムティはブリヴラやタンルの一部であると見なされる。
4.9) mi na'e ke sutra cadzu be le mi birka ke'e klama le zarci 私は店に非・(腕で速く歩いて)行く。例4.10と例4.11は同じ意味ではないことに注意しよう。
4.10) mi na'eke sutra cadzu [ke'e] lemi birka mi na'e (ke sutra cadzu [ke'e]) lemi birka 私は腕で非・(速く歩く)。 4.11) mi na'eke sutra cadzu be lemi birka [ke'e] mi na'e (ke sutra cadzu be lemi birka [ke'e]) 私は非・(腕で速く歩く)。例4.10は、否定の係る範囲が例4.11より狭い。 つまり、例4.10で x1 (mi) について否定されているのは、文の中の例4.11より少ない部分だ。
論理的な係り範囲は、ロジバンの言明に曖昧性が無いようにするための重要な因子だから、「na'e」の相対的優先度を演算子として示そう。 「ke」と「ke'e」によるグループ化は、もちろん係り範囲が明白だ。 「na'e」は、それが付くブリヴラに強く結合する。 タンル内の「bo」による結合は、「na'e」による結合より弱い。 タンル内の反転演算子「co」の係る範囲は、タンル構成因子の中で最も広い範囲に係る。
要するに、「na'e」と「na'eke」は、ブリディ否定よりも狭い範囲に係り、セルブリの全体か一部に作用する否定の型を決める。 「na'e」による否定では、ある特定の部分の真を依然として表明し、別の言明の単なる否定ではない。
タンルをルジヴォにするとき「na'e」を表すラフシ「nal-」が英語の「non-」とまったく同様の形をしているということに気付くと、この類似性は衝撃的だ。 否定文をルジヴォにすると、例えば以下のようになる。
4.12) na'e klama は nalkla na'e cadzu klama は naldzukla na'e sutra cadzu klama は nalsu'adzukla na'eke sutra cadzu ke'e klama は nalsu'adzuke'ekla
ルジヴォの中の「nal-」は「非」と訳すのが最も明解だろう。 ロジバンを自然言語に翻訳するときは、否定の係る範囲が分かるようにしなければならない。
4.13) mi na'e klama le zarci 私は店に非往来する。 4.14) mi nalkla le zarci 私は店の非往来者だ。ロジバンの「klama」には名詞か動詞か形容詞かといった区別が無い。 例4.13では動詞的に、例4.14では名詞的に訳したが、ロジバンでは品詞による意味の違いは無い。
以下の文はかなり難しいが、考えてみよう。
4.15) lo ca nolraitru be le fasygu'e cu krecau 現在のフランス国王は禿だ。セルブリ「krecau」を「na'e」で否定すると
4.16) lo ca nolraitru be le fasygu'e cu na'e krecau 現在のフランス国王は禿以外のものだ。これをルジヴォで表すと
4.17) lo ca nolraitru be le fasygu'e cu nalkrecau 現在のフランス国王は非禿だ。例4.16と例4.17は、否定の語「na'e」やラフシ「nal-」を使った述語否定の形を表している。 ただし、どちらの例文も、現在のフランス国王についての、「禿以外のもの」「非禿」という肯定的表明である。 これは「na'e」がブリヴラに強く結合しているせいだ。 ルジヴォの形では、否定の標識が単語の中に吸収されているので、このことがはっきりわかる。
実際には現在のフランス国王がいないので、それについて禿だと言っても、非禿だと言っても、その他どんな肯定的な言明をしても、偽である。 現在のフランス国王に関する文が、否定としてセルブリ否定だけしか含んでいない場合、その否定が無い文と同じように偽である。 セルブリ否定の個数はこの文の真理値に影響せず、恒常的に偽である。 なぜなら、現在のフランス国王に関するいかなる肯定文も、真ではありえないからだ。 一方、ブリディ否定をすれば、真である文を作れる。
4.18) lo ca nolraitru be le fasygu'e cu na krecau 「現在のフランス国王は禿だ」は偽である。注:以上の文で「lo」が使われているのは、否定が真理条件に関係しているからだ。 描写を担う文の中で、真理条件について意味のある話をするためには、その描写が指示対象に実際に当てはまることが明らかである必要がある。 「lo」の代わりに「le」を使うと、現在のフランス国王が存在しなくても、話し手と聞き手が何かを「現在のフランス国王」として描写することに同意していれば、文が真になり得る。 (「le」の説明については第6章を参照。 )
段階否定を表す際に、1つの表明の中で扱われる段階、範囲、基準系(# Wikipedia: Linguistic frame of reference)、議論領域を示すことができる。 第4節で述べたように、デフォルトでは納得できる選択肢の集合である。 従って、もし
5.1) le stizu cu na'e xunre 椅子は非赤だ。と言うと、語用論上の (pragmatic) 解釈は色が違うということであって、
5.2) le stizu cu dzukla be le zarci 椅子は歩いて店に行く。ということではない。
しかし、聞き手が鈍感だったりひねくれていたり、あるいは単に明白な論理分析を与えたいといった理由で、もっと明示的にしたければ、色について言っているのだということを、以下のようにしてはっきりさせることができる。
5.3) le stizu cu na'e xunre skari 椅子は非赤の色だ(誰かによって、ある条件で知覚されるものとして)。
後続のスムティを明示すれば、語用論上の曖昧さを減らすこともできる。 かつては、「誰かによって」「ある条件で」という場所が「xunre」の PS として与えられていたことがあった。 しかし仮に、例5.3にこれらのPSを加えた計3つのスムティが与えられていたとしても、非常にしぶとい聞き手(人工半知能コンピュータ? )がいて、なんとか誤解しようと企んでいるとしよう。
これに対抗するには、スムティ「X」に付けて「X の段階上の」といった意味を与えるタグ(スムティ・チタ)「ci'u」を使う。 最大限に明確にするために、タグが付いたスムティを、否定されるセルブリの中に「be」によって縛り付けることができる。 例5.3をこの方法で明確化すると、以下のようになる。
5.4) le stizu cu na'e xunre be ci'u loka skari 椅子は、色という性質を段階の範囲として、非赤だ。
「ci'u」の代わりに、「ciste」から派生したスムティ・チタ「teci'e」を使っても良い。 これは議論領域を指定して「X を構成要素とする体系において」といった意味になる。 これを使うと例5.3は以下のようになる。
5.5) le stizu cu na'e xunre be teci'e le skari 椅子は、色を構成要素とする体系において、非赤だ。
「ciste」の PS の他の場所も、法制セルマホ BAI の文法に従って使うことができる。 すると、以下のように少し異なる表現ができる。
5.6) le stizu cu na'e xunre be ci'e lo'i skari 椅子は、色の集合という体系において、非赤だ。シマヴォ「le'a」もセルマホ BAI に属し、カテゴリを特定するために使える。
5.7) le stizu cu na'e xunre be le'a lo'i skari 椅子は、色の集合というカテゴリにおいて、非赤だ。これは例5.6とほとんど同じ意味だ。
セルマホ NAhE に属するシマヴォは「na'e」以外にもある。 対義の段階否定を表したいときはシマヴォ「to'e」を使う。 これの文法上の振る舞いは「na'e」に等しい。
5.8) le stizu cu to'e xunre be ci'u loka skari 椅子は、色という性質を段階の範囲として、赤の対義だ。
5.9) ta melbi それは美しい。 5.10) ta na'e melbi それは美しくない。 5.11) ta no'e melbi それは美しくも醜くもない。 5.12) ta to'e melbi それは醜い。
シマヴォ「to'e」にはラフシ「-tol-」と「-to'e-」が割り当てられている。 シマヴォ「no'e」にはラフシ「-nor-」と「-no'e-」が割り当てられている。 例5.10から例5.12に現れるセルブリは、それぞれルジヴォ「nalmle」「normle」「tolmle」に置き換えられる。
段階否定をこのように多様にしてあるのは、異なる段階には異なる性質があるからだ。 ある段階は両端が開いている。 例えば美しさについては、究極的に醜いとか美しいとかいう段階はない。 一方、温度などの段階は、片端だけ閉じていて、もう片方は開いている。 最低の温度(絶対零度)はあるが、最高の温度は無い。 他に、両端が閉じている段階もある。
これに対応して、明らかな「to'e」が無いセルブリもある。 例えば犬の対義とは何か? 逆に、「to'e」が複数あるセルブリもある。 この場合、どういう意味の対義かを特定するためには、「ci'u」が必要だ。
ロジバンでスムティを否定する方法は2つある。 スムティをゼロで量化するか、あるいは、スムティ否定「na'ebo」をスムティの前に付ける。 ゼロ量化は矛盾否定の役割を果たす。 「na'ebo」を使うと段階否定になる。
それぞれの例を見てみよう。
6.1) no lo ca nolraitru be le fasygu'e cu krecau 0人の現在のフランス国王は禿だ。
同じ文で「na'ebo」否定を使った例を見よう。
6.2) na'ebo lo ca nolraitru be le fasygu'e cu krecau 現在のフランス国王以外の何かは禿だ。例6.2は、「現在のフランス国王以外の何か」と合理的に記述されるもの(サウジアラビアの王とか、以前のフランス国王とか)が実際に禿であるから、真だ。
「na'ebo」の代わりに「no'ebo」や「to'ebo」を使う表現も可能だ。 これらを使うと、述べられているスムティの代わりにどのスムティを入れると適切であるかが、さらに特定される。 良い例はなかなか思いつかないが、以下の例は良さそうだ。
6.3) mi klama to'ebo la bastn. 私はボストンの対義(パース)に行く。(ボストンとパースはだいたい地球の反対側に位置する。 合衆国内だけという文脈だったら、ボストンの対義と言えばサンフランシスコだろう。 ) 良い例がなかなか見つからないのは、描写スムティに「to'ebo」を付けるのが、その描写のセルブリに「to'e」を付けるのと、普通は同じだからだ。
どちらの形のスムティ否定も、ブリディ否定や段階セルブリ否定に変換することはできない。 スムティの否定はロジバン会話で使われるだろう。 ロジバンではこれらの否定を論理的に変換できないようにしたことによって、自然言語がこれに対応する変換をしようとするときに起こる論理的エラーを避けることが期待される。
否定をすることができる構造は他にもいくつかあり、それらはすべて個々の単語の否定に基づく。 このような否定には、接尾辞のように連結する否定「nai」を使う。 「nai」は、否定される語にくっつけて書かれることが多い。 しかし、これは普通の独立したシマヴォであり、セルマホ NAI に属する唯一のシマヴォだ。
これらの否定の形は単純であり、否定される個々の構造の分析を踏まえて議論し解釈するべきものだ。 だからここではあまり深入りしない。
「nai」は以下のようなところで使われる。
「nai」は間制と法制の後に付くと(第10章を参照)、普通はそのタグ付きブリディの矛盾否定を表す。
7.1) mi na pu klama le zarci 私は店に行かなかった。と
7.2) mi punai klama le zarci 私は店に行かなかった。は、まったく同じことを言っている。 ただ、強調の違いはあるかもしれない。
間制と法制は論理接続できる。 その際、矛盾否定を含んだ論理接続を使っても良い。 論理接続の否定を使うと、否定が付いた間制と法制を、肯定の形に言い換えることができる。 例えば、間制を否定した形「punai je ca」を論理接続を否定した形で言い換えると「pu naje ca」となる。
特別な場合として、間隔を表すセルマホ TAhE, ROI, ZAhO (第10章で説明)に「-nai」を付けると段階否定になる。
7.3) mi paroinai dansu le bisli 私は1回を除く回数、氷の上で踊る。これは、ブリディによって述べられた適切な時間間隔内において、私が氷の上で踊ることが0回か2回以上であることを意味する。 # 例7.3は、日本語の「1回もない=0回ある」「1回ではない=複数回ある」という意味とは一致していない。
セルマホ UI と CAI の指標 (indicators) と態度 (attitudinals) に「nai」を付けると、対義否定になる。 第13章で議論したように、指標の多くには暗黙の段階があり、「nai」が付くと、段階の対義を意味する。 だから「.uinai」は不幸、「.ienai」は賛成の反対を表す。 賛成も反対もしない場合は「.iecu'i」となる。
セルマホ COI に属する、呼びかけを表すシマヴォは、指標の一種で、特に聞き手を指定する指標である。 段階の枠組を考慮すれば、意味論的には、セルマホ COI の約半数の語を使わずに済ますことができる。 例えば「co'o」の代わりに「coinai」と言っても同じ意味だ。 しかし一般的には、この表現は使われない。
COI シマヴォは、プロトコル的な場面で使われるものが多い。 これらのプロトコルは、例えば雑音の入りやすい無線通信による会話で使われる。 プロトコル的な単語の否定は、通信状態が期待と正反対の状態にあることを伝えたい場合に使われる。 したがって、プロトコル的な呼びかけのうち、「nai」に依存するのは「je'enai」だけである。 これは「了解していない」という意味だ。
態度を表す指標は、雑音の多い場面では重要視されない傾向があるが、これと違ってプロトコル的な呼びかけはそういう場面で重要になる。 雑音の多い場面でプロトコルの聞き手が「nai」とだけ言ったら、話し手は相手が了解していないと推定して、伝達を繰り返したり別の方法で応答したりして対応できる。 第13章ではこの話題についてもっと詳しく議論している。
セルマホ NU の抽象詞は間制と法制の型を踏襲する。 NU を否定抽象にすることができ、特に論理接続でつながっている複合抽象とともに使われる。 「su'ujeninai」は「「su'u jenai ni」と同じ意味だ(# 「不特定抽象であるが、数量抽象ではない」)。 ちょうど、間制において「punai je ca」が「pu naje ca」と同じ意味になるのと同様だ。 論理接続された抽象詞を使うことが多いかどうかは不明だ。 第13章を参照。
セルマホ JOI や BIhI の非論理接続に「nai」が付くと、段階否定になる。 これは、そのブリディが特定の非論理接続において偽となるが、このブリディが真となるような別の非論理接続が存在するということを表す。 非論理接続は第14章で議論されている。
否定の使い方の一つとして、真偽質問(「はい」か「いいえ」という返答を期待する質問)に対する返答が挙げられる。 真偽質問のシマヴォ「xu」はセルマホ UI に属する。 これが文頭に置かれると、この文全体が真であるか偽であるかを尋ねる疑問文になる。
8.1) xu la djan. pu klama la paris. .e la rom. 「ジョンがパリとローマに行った」は真ですか?この質問に対する回答として、これまでに議論してきた数種類の否定のそれぞれを使うことができる(それぞれの回答は、同じ文脈における同じ質問に対する回答であるとする)。
以下のような率直な否定の回答は、 go'i を元の文に展開して、「cu」の直後(そして間制・法制の前)に「na」を置いたものと文法的に等しい。
8.2) na go'i いいえ。これは以下のような意味だ。
8.3) la djan. [cu] na pu klama la paris. .e la rom. 「ジョンがパリとローマに行った」は偽です。
回答者は間制を変えることができる。 そのためには「na」を新しい間制の前か後に置けば良い。
8.4) na ba go'i (今後について)いいえ。これは以下のような意味だ。
8.5) la djan. [cu] na ba klama la paris. .e la rom. 「ジョンが今後パリとローマに行く」は偽です。この回答の代わりに、以下のように言うこともできる。
8.6) ba na go'i (今後について)いいえ。これは以下のような意味だ。
8.7) la djan. [cu] ba na klama la paris. .e la rom. 「今後ジョンがパリとローマに行く」は偽です。第3節で述べたように、例8.5と例8.7のような文は意味論的に同一だが、微妙な意味の区別は将来見つかるかもしれない。
段階否定「na'e」で回答することもできる。 この場合、間制の直後(# というより、「セルブリの直前」という方が適切だろう。間制はいつでもセルブリの直前にあるわけではないので。)に「na'eke」を置くのと等しい。
8.8) na'e go'i そうではない。これは以下のような意味だ。
8.9) la djan. [cu] pu na'eke klama [ke'e] la paris. .e la rom. ジョンはパリとローマに行ったのではない。ジョンはこれら2つの都市に「行った」のではなく「電話した」のかもしれない。 この例では「ke」と「ke'e」が不要だが、セルブリがタンルである場合には必要になる。
明示的な肯定形は、セルマホ NA (ja'a) にもセルマホ NAhE (je'a) にもある。 どちらの肯定も、文法上の位置は、これらに対応する否定が置かれる位置と同じだ。 これらを使うと、否定疑問に対する肯定的な回答や、迷いの無い文を表明することができる。 第8節と同じ文脈で、肯定を使う例を考えると、以下のようになる。
9.1) xu na go'i それは偽ですか?これは以下と同じ意味だ。
9.2) xu la djan. [cu] na pu klama la paris. .e la rom. 「「ジョンがパリとローマに行った」は偽だ」は真ですか?
この否定疑問に対する、明白であるが間違っている肯定的な回答は、以下のようになる。
9.3) go'i そうです。「go'i」だけでは、「ジョンがパリとローマに行った」という意味にはならない。 「go'i」は単に、既出の文を、否定も含めてそのまま繰り返した文の省略形だ。 だから例9.3は、「「ジョンがパリとローマに行った」は偽だ」と述べていることになる。
以下の文を考えると
9.4) na go'i それは偽です。例9.2のような否定疑問に対する回答として、ロジバン設計者は、反対の意味になる2つの同等に納得できる解釈から、1つの解釈だけを選ばなければならなかった。 例9.4は、既に「na」が含まれていた文にもう一つ「na」を加えることによって、二重否定を含む文(つまり肯定文)になるのか、それとも新たに加えた「na」は元々の「na」と置き換えられて、文全体は不変なのか?
置き換えられるとする考え、つまり後者が好ましい選択だと決められた。 そうすれば何の操作もせずに、肯定文か否定文かはっきりさせることができるからだ。 この方法は、英語ではお馴染みだが、すべての言語で同様の方法が取られるわけではない。 ロシア語、日本語、ナヴァホ語では、否定疑問に対する否定形の回答は、肯定であると解釈される。
セルマホ NA の肯定表明シマヴォは「ja'a」であり、文脈の中の「na」と同じ位置に置かれ、以下のようになる。
9.5) ja'a go'i 「ジョンがパリとローマに行った」は真だ。「ja'a」は「na」が使われるところならどこでも、「na」の代わりに使うことができる。
9.6) mi ja'a klama le zarci 私は本当に店に行く。
これとまったく同様に、「je'a」は「na'e」と同じ位置に置かれ、「段階否定が当てはまらず、テルブリ間の関係がまさに述べられているとおりである」ということを述べるために使われる。 否定の文脈が無いときは、「je'a」は肯定を強調する。
9.7) ta je'a melbi それはまさしく美しい。
真か偽かを尋ねる質問は否定と同義ではない。
10.1) 私は妻を叩くのをやめていない。という文について考えよう。 私がこういう凶悪な行為を始めたことがないなら、この文は真でも偽でもない。 こういう否定は単に、「否定を含まない文に何らかの間違いがある」と言っているにすぎない。 一般に私たちは、声の調子やその他の手段で訂正することによって、望ましい真である言明「私は妻を叩いたことがない」を表そうとする。
こういう形式に従う否定を「メタ言語否定」と呼ぶ。 自然言語では、メタ言語否定の後に、正しい文の指摘がほとんど必ず現れるので、それがメタ言語否定のしるしになる。 さらに、間違いを明らかにするために、声の調子や強調が使われることもある。
どの種類の否定もロジバンで表現可能でなければならない。 人の思考には間違いが内在し、これらの間違いはロジバンから排除されない。 間違いの否定がメタ言語否定であるとき、こういう否定を、文の真偽についての論理的言明や、望ましい真である言明を簡単には表現(あるいは含意)できないかもしれない段階否定と、区別しなければならない。 ロジバンではタンルの中で概念を自由に結合できるから、納得できることや納得できないことの境界は定義しにくい傾向がある。
自然言語の否定のごちゃ混ぜの性質をそのまま真似しようとすれば、この区別を破壊することになる。 ロジバンでは声の調子を使わないので、文中のどこが間違いなのかを、メタ言語的に示す方法が必要だ。 その文が全体的に不適切であるときは、それほど特定しないやり方で、メタ言語否定を表現できる必要がある。
以下は、いくつかの異なる種類のメタ言語否定の例文リストだ。
10.2) 私は妻を叩くのをやめていない。 (始めたことがない — 前提の誤り) 10.3) 5 は青ではない。 (色は抽象概念に適用されない — カテゴリの誤り) 10.4) 現在のフランス国王は禿ではない。 (現在のフランス国王は存在しない — 存在の誤り) 10.5) 私には3人の子供はいない。 (2人いる — 単なる量の不適当) 10.6) 私は以前に3つの仕事をしたのではなく、4つだ。 (不正確な量。 上の例との違いは、4つの仕事をした者は、すでに3つの仕事をしたという点。 ) 10.7) それは良いのではなくて悪い。 (不適当な量の否定で、述語についての段階上の量が正しくないことを表す) 10.8) 彼女はかわいいのではなく、美しい。 (不適当な量で、非数値的段階に転送されたもの) 10.9) その家は青ではなく緑だ。 (使われている段階・カテゴリは正しくないが、関連カテゴリが当てはまる)メタ言語的間違いの集合に含まれるものは、他にいくらでもありうる。# 「青さ」という段階ではなく、「緑度」という段階が当てはまる。10.10) その家は青ではないが、色が付いている。 (使われている段階・カテゴリは正しくないが、より広いカテゴリが当てはまる) 10.11) その猫は青ではないが、毛が長い。 (使われている段階・カテゴリは正しくないが、無関係のカテゴリが当てはまる) 10.12) A: 彼は今日来るない。 B: 「来るない」は単語ではない。 (文法違反、文法的に誤った用法) 10.13) 私は妻を叩くのをやえmたのではなく、やめた。 (綴りや発音の間違い) 10.14) それは単なる羊ではなく、黒い羊だ。 (矛盾否定ではない訂正)
これらの形の多くは、論理的な否定として議論してきたいろいろな例の中に、対応するものがある。 ただし、メタ言語否定は文の真偽については言明しない。 その代わり、文中に間違いがあるせいで、「真」も「偽」も実際に当てはまらないことを言明している。
私たちは、矛盾否定ではない訂正(綴りの間違いなど)をする目的で、真である文をメタ言語的に否定することができる。 だから、「na」や「na'e」などを使う論理否定の仕組みから独立した、文をメタ言語的に否定するための方法が必要だ。 シマヴォ「na'i」には、この機能が割り当てられている。 このシマヴォは、文中に現れると、この文の何かが正しくないことをメタ言語的に示す。 このメタ言語否定は、その文の論理についてのいかなる評価も無効にする。 これは肯定文にも否定文にも使える。
「na'i」は論理演算子ではないので「na'i」が重複して現れても、打ち消し合うと見なす必要はない。 実際、「na'i」の位置によって、文のどこが正しくないのかを、メタ言語的に示すことができ、それを後の文で訂正する準備とすることができる。 この理由から、「na'i」には UI の文法が与えられている。 文中のどこかに「na'i」を含むと、その文は表明文ではなくなり、真理値を割り当てるに際して、何らかの落とし穴があることを示唆する。
上記のメタ言語的な間違いがどのように特定されるかを、簡潔に示そう。 そうすれば、他のメタ言語的問題は、これらの例からの類推で、どうやって表せるかわかるだろう。
存在の誤りは、「na'i」を描写型の冠詞「lo」や、「da poi」型スムティの「poi」に付けることによって表せる。 (これらの構造の詳細については第6章と第16章を参照。 )もし「le」スムティが、存在しない指示対象を指しているように見える場合は、話し手が何を思い描いているのか、聞き手には分からないかもしれない。 その場合の適切な返事は、「na'i」ではなく「ki'a」を使って、説明を求めることである。
前提の誤りは、その前提が明白であれば、その前提に直接「na'i」を付ければ良い。 そうでない場合は、スムティ・チタ(セルマホ BAI)の単語「ji'u」を使って「模擬前提」を質問に挿入することができる。 そして「ji'uku」は説明されていない仮定を明示的に指し、「ji'una'iku」はその仮定の何かが間違っていることをメタ言語的に言っている。 (第9章を参照。# 原文では Chapter 10 となっているが、 9 が正しい。)
段階の間違いとカテゴリの間違いは、セルマホ BAI を使って同じように表現できる。 第5節で示したように(# 原文では Section 8 となっているが、 5 が正しい。)、「le'a」は「カテゴリ/クラス/タイプ X の」という意味であり、「ci'u」は「段階 X 上の」という意味であり、「ciste」から派生した「ci'e」は、要素のシステムや集合として定義される議論領域について話すのに使われる。 「kai」と「la'u」も BAI に属し、他の質や量の間違いを議論するのに使われる。
不適当な量と正しくない段階/カテゴリの領域での潜在的な問題について、特記すべきことがある。 ギスム間の関係について表明することは、ロジバンの基本的な実体に触れることになる。 従って「何かが青いならば、それは色が付いている」とか、「何かが青くないなら、それは別の色だ」ということを論理的に要求するのは不当である。 ロジバンでは「blanu」(「青」)が明示的に「skari」(「色」)として定義されてはいない。 同様に、「良い」の反対が「悪い」であることが暗黙的に決まってはいない。
ギスムがこのように相互独立であることは、単なる理想である。 語用論上は (pragmatically)、人々は自分の世界観に基づいて物事をカテゴリ化するだろう。 私たちはギスムを関連付ける辞書定義を書くつもりだが、残念ながらそれは、こうした世界観の仮定をいくつか含むことになる。 ロジバン話者は、こういう仮定を最小限に抑える努力をするべきだ。 しかしこの領域は、論理規則が破綻する(あるいはサピア=ウォーフ効果が実証される)ところであるように見える。 しかしながら、否定に関しては、前提として明白に見える段階やカテゴリの仮定を、認めない能力を明確に持ち続けることが、極めて重要だ。
文法違反、文法的な間違いや綴りの間違いについては、間違いの部分に「na'i」を付ける(セルマホ UI の他のシマヴォの使い方と同じ)。 この意味では、「na'i」はラテン語由来のメタ言語的指標「[sic]」に等しい。 潔癖家は、特にコンピュータで発話や文書を分析するときに、構文解析できない表現をまた使うことを避けるために、 ZOI や LOhU/LEhU 引用や「sa'a」付き訂正の使用を選ぶだろう。 これらの用法についての説明は第19章を参照。
まとめて言うと、メタ言語否定は典型的に「前の文を参照し、それに1個以上の「na'i」を付けて、どういうメタ言語的間違いがあったのかを示し、文を訂正して言い直す」という形を取る。 前の文の参照は、そのまま繰り返しても良いし、セルマホ GOhA に属する語を使っても良い。 文頭に「na'i」が来る場合は、何も特定せずに、その文の何かが不適切であることを言っているだけだ。
普通の使い方では、メタ言語否定は、否定された文の後に訂正された文が来ることを要求する。 しかしロジバンでは、訂正文を言わなくても、メタ言語的な間違いを完全に曖昧性なく特定することができる。 訂正なしのメタ言語否定が、ロジバンの中で受け入れられる形として残るかどうかは、いずれ分かるだろう。 そういう文の中では、メタ言語的な表現が、間制が省略された表現と同じように、訂正が省略された表現になるだろう。
メタ言語否定は「xu」疑問文に対する、もう一つの正当な否定的回答になる(第8節を参照)。 「na'i」は、質問された文について何か不適切なところがあるときに使われる。 例えば以下のような質問がなされた場合:
10.15) xu do sisti lezu'o do rapydarxi ledo fetspe あなたは奥様を繰り返し叩くことをやめますか?以下のような回答があり得る。
10.16) na'i go'i そのブリディは全体として何らかの点で不適切だ。 10.17) go'i na'i そのセルブリ (sisti) は何らかの点で不適切だ。
メタ言語否定の特定の部分を修飾することもできる。 そのためには、メタ言語否定するブリディの中の間違っている部分を明示的に繰り返すか、あるいは、上記のセルマホ BAI の修飾子の一つを追加する。
10.18) go'i ji'una'iku 先のブリディについて、何らかの前提が間違っている。
最後になるが、メタ言語的なブリディの肯定には「jo'a」が使える。 これもセルマホ UI に属するシマヴォだ。 「jo'a」の普通の使い方は、特定の構造が、珍しいものであったり、直観に反するものであったりしても、実際には正しいということを主張することだ。 別の用法として、回答者のメタ言語否定を覆し、回答者の見解に不賛成であることを伝えるのにも使えるだろう。
11.1) na go'i .ije na'e go'i .ije na'i go'i