1.8では起こらない。こちらはサムが主語になっていて、私たちは、サムが落石によって殺されたか殺されなかったかによって、文の真偽を決める。この違いは英語の特色であり、日本語には当てはまらない。1.7の日本語直訳と同様の問題を含んでいる。死の原因に意志を含めない日本語表現は「サムは落石で死ななかった。」であり、受動態ではない。よって浮上する事実はもう一つある。この文には暗黙裡に、少なくとも2つの疑問点が含まれているのだ。サムは殺されたのかどうか。それが真であるなら、落石が殺したのかどうか。サムが殺されていなかったら、何が殺したかは未決定の問題だ。いう問題は、文の主語の指す対象が存在しないことがわかったとき、もっと明らかになる。メキシコの王が夕食会に来なかった。メキシコの王が夕食会に来た。自然言語では、この2つの文は両方とも偽だと言いたくなるかもしれない。メキシコの王は存在しないのだから。以下、この章では否定のロジバン型モデルについて説明する。negation)」と呼ぶ。ブリディ否定を使って、「私は妻を叩くのをやめていない」に相当する内容をロジバンで表現できる。この場合、私がかつて妻を叩き始めたということは含意しないし、私に妻がいるということさえ含意しない。「私が妻を叩くのをやめたということが真ではない」ということを意味している。ロジバンではブリディを複文の構成要素としても使うので、ブリディ否定は、文の否定だけでなく、複文の構成要素の否定にも使える。文のブリディ否定が真であるためには、元になる文が偽でなければならない。ブリディ否定の主な用途は、質問に「いいえ」で答えることだ。いう場合の返答は、普通、矛盾否定であり、文全体の真を否定する。いう文の否定的な返答は、文全体の否定として表現される。いいえ、私は店に行きませんでした。ブリディ否定の最も重要な規則として、ブリディが真であればその否定は偽であり、ブリディが偽であればその否定は真である。シマヴォ「na」をブリディ肯定のセルブリの前に付けることだ。「cu」がある場合は「cu」の後に入れる。このブリディの否定は以下のようになる。「na」は、自然言語における否定と違って、常にブリディ全体に係り、常に矛盾否定である。この否定文は、元のブリディ全体の言明と矛盾する(両立しない)。ブリディに適用したものではない。第16章第9節の記述に基づけば、ロジバンの内部ブリディ否定は、述語論理における最も外側の外部否定に等しい真理値を持つ(ただし、2004年以降に提案されている意味論では、必ずしも最も外側にならない。詳しくはこの次の訳注を参照)。「現在のフランス国王は禿げている」という命題と、その否定「現在のフランス国王は禿げていない」という命題の真理値を考える。どちらかを偽とすれば、排中律により、もう一方は真となるはずだが、「現在のフランス国王」が存在しない場合、どちらも真とは言えないように見える。そこで、「現在のフランス国王は禿げている」という文の真理値を決めるために、命題自体の否定(内部否定)のほかに、「『現在のフランス国王』が存在する」という前提の否定(外部否定)を導入する。「現在のフランス国王は禿げている」を、述語論理の記号で書くと、以下のようになる(「xは現在のフランス国王である」を「王(x)」、「xは禿げている」を「禿(x)」と表している)。da(第16章で解説)を使って正確に表現できる。この文を、量化型変項を使って書き換えてみよう。論理接続しても、同じ意味だ。krecauこれは上記の述語論理の「外部否定」の形に等しい。na」は、述語論理の最も左に付く「外部否定」に等しく、述語論理の「内部否定」とは異なることに、注意しなければならない。「内部ブリディ否定」という表現は、ブリディの内部に置かれることから名付けられたもので、述語論理の用語とは直接関係ない。置いたものが、述語論理の「内部否定」に等しい。∃x(王(x)∧∀y(王(y)⇒y=x)∧¬禿(x))のロジバン表現を見てみよう。区切られている冠頭が有効である。いう順序になっていることが見て取れる。は冠頭内で最も右に置かれている。使った場合に、2種類の相容れない解釈が可能になってしまう。lebnaという文を考える。内部にあるので、意味としては「少なくとも1つのものが存在し、私はそのものをあなたに与えない、しかもあなたから取らない」と解釈できそうである。等しいとしても、どのように書き換えられるのか、はっきりしない。lebnaと書き換えられる。これは「次のようなものは存在しない:私がそのものをあなたに与えるか、またはあなたから取る」という意味になる。このような解釈の不整合を無くすために、以下の解釈を適用する。operator)」と呼ぶ。ブリディ演算子である(参考)。これはブリディ全体に係るものだから、名辞の形で表現できるものであれば、冠頭の名辞として置き換えても意味は変わらない。1つのブリディ内に、ブリディ演算子が2つ以上現れる場合は、先に現れるブリディ演算子の方が外側に係る。