否定とは何か?〜中学生からの論理学入門 付録
前回の記事で、論理で重要な3つの接続詞「かつ」「または」「ならば」を含む判断について説明した。
この記事は論理学で重要な最後の接続詞「でない」について詳しく説明する。
「でない」は否定を意味する。
否定なんて簡単でしょ!
例えば「ボクは男である」の否定は「ボクは男でない」だし(ボクっ娘)、「かすみちゃんは俺のことが好きだ」の否定は「かすみちゃんは俺のことが好きでない」になる。単純な話「である」を「でない」に変えるだけでしょ?
と思ったアナタ。間違っている可能性が高い。ぜひこの記事を読んで欲しい。
否定はそんな単純ではないのだ。
否定の落とし穴
改めて、以下の定言判断の否定は何になるだろうか?
は? そんなの簡単でしょ! これに決まってるだろ!
こう思った人。
残念ながらこれは間違いだ。
間違っている理由を説明しよう。
単純判断の否定
否定の意味
「単純判断」の記事で「全称"否定"判断」「特称"否定"判断」とサラッと「否定」という言葉を登場させたが、否定とは一体なんだろうか?
否定とはズバリ、「間違いだ」と主張を打ち消すことである。また否定「Aでない」と肯定「Aである」は、同時には成り立たない(注1)。これは、「Aである」が真のとき、「Aでない」は必ず真ではない、すなわち偽である、と言うこともできる。肯定と否定は常に真偽が反転している。また、肯定と否定を同時に含む主張を矛盾と呼ぶ。
これが否定の意味である。
「否定の落とし穴」の問題の解答
では最初に挙げた
の否定がどういう意味になるか考えてみよう。
ここで注意すべきはまず、この判断は全称「全ての」が省略されているということだ。省略を補うと次のようになる。
これが最初の落とし穴である。
次に、否定は打ち消しであるということを思い出そう。「全ての犬が飼育動物である」が打ち消される場合を考えたとき、1匹でも野生の犬が存在すればよいことがわかる。よって、否定は以下のようになる。
このように「(全ての)犬は飼育動物でない」は間違いだとわかる。
否定を、安易に語尾を「〇〇である」を「〇〇でない」と変えるだけと考えると間違いを起こすので注意が必要である。
間違えないために「全称の否定は、否定の存在」と覚えておくとよいだろう。
以下にもう一度まとめておく。
否定の導入
単純判断(=定言判断)に対する否定を導入を整理しよう。
「SはPである」という定言判断をpとし、それを否定すると、
SはPでない。
となる。これは否定を意味する論理記号「¬」を用いて以下のように表せる(「¬」は他にも「〜」と表すことがある)。
¬p
複合判断の否定(ド・モルガンの定理)
単純判断の次は、連言と選言を含む複合判断に否定を導入しよう。
復習
定言判断pとqを連言「かつ」で連結した判断「pかつq」を考える。「かつ」は論理記号では「∧」と表される。
この判断の意味を考えると、「ポチは哺乳類である」と「ポチは四足歩行である」が両方とも正しいということを意味している。
一方、定言判断pとqを選言「または」で連結した判断「pまたはq」は選言判断とよばれる。「または」は論理記号では「∨」と表される。
定言判断pとqを仮言「ならば」で連結した判断「pならばq」は仮言判断とよばれる。「ならば」は論理記号では「⇒」と表される。
連言・選言・仮言についての詳細は以下の記事を参照して欲しい。
連言と選言によって連結された判断を否定するとどうなるだろうか。
連言の否定
この連言の判断「p∧q」の否定を考えよう。論理記号では以下のように表せる。
¬(p∧q)
これを具体例で変換してみよう(注1)。
ポチ=「野犬」、ポチ=「飼育している金魚」などが一例だろう。これは論理記号では以下のようになる。
¬p∨¬q
この変換は等価であるという意味の記号「⇔」を用いて
¬(p∧q) ⇔ ¬p∨¬q
と書ける。「連言の否定は否定の選言」と覚えておこう。
混乱しそうになったらベン図を描くのも方法だ。「哺乳類である」「哺乳類でない」のベン図を書いて、各領域がどのような意味になるか考えよう。
選言の否定
この選言判断「p∨q」の否定を考えよう。論理記号では以下のように書ける。
¬(p∨q)
これを具体例で変換してみよう。
これは論理記号では以下のようになる。
¬p∧¬q
この変換は等価であるという意味の記号「⇔」を用いて
¬(p∨q) ⇔ ¬p∧¬q
と書ける。選言の否定は否定の連言と覚えておこう。
このような連言と選言の判断の否定に関する法則を「ド・モルガンの定理」と呼ぶ。
ちなみに、選言の否定をさらに一段階変形する(両側に否定記号をつける)と、選言判断が以下のように表される。
p∨q ⇔ ¬(¬p∧¬q)
ド・モルガンの定理はどういうとき便利?
世の中には「かつ」「または」で複数の主張が連結された主張(複合判断)がたくさんある。その複合判断を否定したい場合にド・モルガンの定理が役に立つのだ。ド・モルガンの定理は複合判断の否定の道筋を示してくれる。
Q:主張「pまたはq」を否定するには?
A:主張pと主張qの両方を否定しないとダメ!
Q:主張「pかつq」を否定するには?
A:主張pと主張qのどちらか一方を否定すればオーケー!
具体例でいこう。
あなたは殺人の容疑をかけられてしまった! あなたはその疑いを晴らしたい。そのためには、あなたに関する事柄が犯人に関してわかっている事柄と矛盾関係、すなわち否定になっていればよい。
犯人についてわかっていることが「犯人は医師または薬剤師である」だとしよう。この場合あなたは「医者でも薬剤師でもない」ということを示さなければならない(例えば歌手とか)。
一方で「犯人は医師かつ男性である」の場合は、あなた「男性でない」か「医師でない」どちらかが示せればそれで済む(女性医師、男性教諭はセーフ)。
複合判断の否定は日常会話でも頻出する。しかも一瞬頭がこんがらがるのでド・モルガンの定理の変換には慣れておいたほうがいい。そうしないと以下のような事故が起きてしまう。
「熱くて辛いものじゃない」というのは「熱くないもの、または、辛くないもの」という意味だ。だからキムチ冷麺(辛いけど熱くない)とかハンバーグ(熱いけど辛くない)で良かったわけだ(アイスとかドン引き)。
今度はキムチ冷麺で爆死してしまった。
「熱いものか辛いものじゃない」というのは「熱くないもの、かつ、辛くないもの」という意味だ。だからキムチ冷麺は辛いのでアウト。ここはざる蕎麦やサンドイッチが正解だろう。
仮言の否定
このような仮言判断の否定はどうなるだろうか?
これは少々ややこしくなる。
ざっと思いつく否定の候補は以下のような感じだ。
否定のそもそもの意味に立ち戻ってみよう。否定は肯定と矛盾関係にある。そのため、最初の主張「かすみちゃんが失恋するならば、かすみちゃんは悲しむ」と矛盾関係にある主張を探せばよい。
まず前半の「かすみちゃんが失恋する」に着目しよう。
「かすみちゃんが失恋する」という前提が満たされた場合にしか語られていない。そのため、「かすみちゃんが失恋しない」という状況では、何があろうと矛盾は発生しない。前提が違うのだから。
そうなると答えはこうだろうか。
結論から言うとこれは間違いである。
「かすみちゃんが失恋する、ならば、かすみちゃんは悲しむ」は、最初の肯定文「かすみちゃんが失恋する、ならば、かすみちゃんは悲しまない」とは矛盾しないのである。
これは「かすみちゃんが悲しむ」という前提が偽であった。
まとめると、「p⇒q」の否定は論理記号では以下のように表せる。
¬(p⇒q) ⇔ p∧¬q
参考文献
山下正男(1985)『論理的に考えること』岩波ジュニア新書
野矢茂樹(2006)『入門!論理学』中公新書
前回:選言判断と仮言判断
次回:対偶・必要十分条件
補足
否定における暗黙の前提:排中律と矛盾律
さて、この記事では否定をテーマにして、矛盾やド・モルガンの定理などについて説明してきた。
実はここまでの説明で暗黙の前提にしていた法則がある。それは「排中律」である。排中律というのは「『Aである』か『Aでない』か必ずどちらかである。中間はない」という意味である。
当たり前すぎて考えるまでもなく、すんなり受け入れて良いように思える。筆者もそう思っていた。しかし、以下の例を知ると事はそう単純ではないと感じる。
論理学には、排中律を認めない体系も存在するようだ。
ちなみに「二重否定は肯定になる」という二重否定則も排中律を前提にしている。詳しくは野矢茂樹(2006)『入門!論理学』中公新書を参照されたい。
もう1つ前提にしていた法則が「矛盾律」である。「『Aである』と『Aでない』は同時には成り立たない」という意味だ。
排中律と矛盾律は論理学における公理のようなもので、基本となる3原則のうちの2つである。他の1つは「同一律」である。同一律は「『Aである』ならば『Aである』」という意味で、驚くべきほど当たり前のことを言っている。
論理学のような基礎学問は、このような当たり前のことを確認した上で出発する。
どこを否定するかで意味が変わる
「昨日かすみちゃんは失恋した」という主張を否定するときに、主張のどの部分を否定するかによって意味が変わってくる。
例えば、「かすみちゃんが失恋したのは、昨日ではない」という形の否定を作ることもできるし、「昨日失恋したのは、かすみちゃんではない」とか「昨年かすみちゃんがしたのは、失恋ではない」という否定を作ることもできる。
4種の定言判断の否定
この記事で定言判断には以下の4つの種類があると説明した。
(1)全てのSはPである。 (全称肯定判断)
(2)全てのSはPでない。 (全称否定判断)
(3)一部のSはPである。 (特称肯定判断)
(4)一部のSはPでない。 (特称否定判断)
これらの否定を整理しておく。
(1)の否定
これはすでに見てきた。「全称の否定は、否定の存在」なので、
となる。
(3)の否定
「存在の否定は、全称の否定」と覚えよう。
(2)の否定
二重否定則を用いれば
(2)の否定=(3)の否定の否定=(3)
とすぐにわかる。
(4)の否定
二重否定則を用いて
(4)の否定=(1)の否定の否定=(1)
ここから先は
¥ 500
この記事が気に入ったらサポートをしてみませんか?