ロジックのみ、噛み応えなし

ロジックのみ、噛み応えなし このラジオ局には、形式論理に関する論文のリクエストが多数寄せられています。2026年6月27日 1853 シェア 今日はロジックについて話したいのですが、その前に、なぜそうするのかを説明すべきでしょう。しかし、その前に、定義が必要かもしれません。要するに、ロジックとは前提（「事実」）から結論を導き出すシステムです。 形式論理は通常、高校では教えられません。私が知る限り、その厳密な扱いは、ほとんどのコンピュータサイエンスの学位取得の要件ですらありません。この概念は、ほとんどの数学者や、一部のエキゾチックなプログラミング言語に手を出すソフトウェアエンジニアには馴染みがあります。他の人々にとっては、AND、NOT、ORなどの演算子を含む、二進数の単純な代数である「デジタル論理」について知っているかもしれません。何が明確でないかというと、ゼロとイチからある種の人間的推論をどのように得るのかということです。 数学者の嘆き 数学者にとって、形式論理の最も一般的な役割は、証明のためにより正確な語彙を提供することです。日常会話の曖昧さの一部を説明するために、「もしAならばB」の形式の次の文を考えてみましょう。 これは親が子供に言うようなものです。この使い方では、この表現は明らかにその逆、「もしAでないならばBでない」を暗示しています。 この文は、逆（「もしBならばA」）と対偶（「もしBでないならばAでない」）を暗示するかもしれませんが、それは表現にかなりの自由を与えた場合に限られます。AとBを単純に入れ替えると、命題間の暗黙の時間的関係が崩れ、多少の無意味なものになってしまいます。 他のすべての「もしAならばB」という文も同じルールに従うのでしょうか？いいえ、違います。 今回は、この表現は逆（「もしAでないならばBでない」）を暗示しません。話し手は、ミトンズ氏が食べたいときにだけ鳴くと示唆しているわけではありません。したがって、次のことを推論することはできません。 一方、元の主張が真である場合—猫がいつも食べ物をねだる場合—、対偶（「もしBでないならばAでない」）は素直に導き出されます。 猫の論理に関する私たちの問題はここで終わりません。次を考えてみましょう。 AもBも真ですが、ほとんどの人はこの文を偽、あるいは少なくとも間違っていると考えるでしょう。真実は一致していますが、先行詞（A）と後続詞（B）が明白な形で接続されていないため、私たちはこの議論を拒否します。 しかし、もし私が毎週日曜の朝、ボブが頭痛で目覚めると言ったらどうでしょう？ 以前と同様に、私はそのつながりが何であるかを知りません。おそらくつながりはないでしょう。おそらくボブの片頭痛のタイミングは宇宙の偶然にすぎません。しかし、この文脈では、偶然の一致で主張を受け入れるのに十分です。 次の文でもう一つの主観的な問題が発生します。 それは間違っているように感じますが、私たちが反証できることは何もありません。後続詞は偽ですが、それがゲートされている先行詞も偽です。私たちはただ、この文が私たちの想像力を制限することを好みません。もしかしたら空が紫色だったら、カボチャはドーナツ形になっていたかもしれません。しかし、もし目の前のタスクが真の前提から論理的な結論を導き出すことであり、Aが真の前提ではない場合、なぜ私たちはBについて意見を形成しようとしているのでしょうか？それは存在しない宇宙であり、それを支配する公理は与えられていません。 呪われているのは「もし～ならば」という結合詞だけではありません。AとBの原子も問題を引き起こす可能性があります。私たちの例では、それらは事実の宣言のように見えますが、私たちは望むものを何でも宣言できるのでしょうか？「この文は偽である」と言うと、それは真理でしょうか、それとも虚偽でしょうか？どちらでもない？両方？ これらの意味論的な落とし穴は、オタク向けの脳トレ問題を考案する場合には素晴らしいですが、数学的な議論を記述する場合には役に立ちません。だからこそ、数学者は予測可能な基本ルールを定義するために形式論理に頼るのです。古典的なアプローチは常識にかなり近いですが、いくつかの場当たり的な判断によって曖昧さを解決します。特に： 「もしAならばB」（「A ⇒ B」）の形式の文は： * その逆（「AでないならばBでない」）を暗示しません。お腹が空くと常に鳴く猫は、餌を与えられたら黙っている必要はありません。 * その逆（「BならばA」）を暗示しません。ひいては、ミトンズ氏が鳴いているのを聞いても、彼が食事を求めているとは限りません。 * その対偶（「BでないならばAでない」）を暗示します。鳴かないことは、猫が食べ物を探していないことの確かな証拠です。 * 関連性の欠如は致命的ではありません。真の命題は、他のあらゆる真の命題を暗示します。「もし草が緑なら子猫はかわいい」という文は、AとBが同時に真であれば十分なので、何も間違っていません。 * 反事実的条件は真です。偽の先行詞は、好きなものを暗示できます。「もし空が紫色ならカボチャは四角い」という文は真であり、カボチャの形に実際の結果はありません。 * どちらか一方の立場を取らなければなりません。このシステムは、単一の二値の真理値を持つことができる文のみを扱います。それができない場合、それは有効な文ではありません。 言葉で表現された論理的な議論は理解しやすいため、素人を排除するために、数学者はしばしば記号表記に頼ります。たとえば、集合AとBが等しいのは、それらが同じ要素を含む場合のみであるという考えは、より謎めいた形で次のように表現できます。 この記事の当初の計画は、次にこの記号論に深く入り込むことでした。しかし、その前に、形式論理が証明のための便利な言語としてだけでなく、数学の源泉としてもどのように機能するかを示すことが役立つかもしれません。 本当の苦痛 算術は数学の最も古い分野であり、かなり長い間、形式化の試みに抵抗してきたことでも注目に値します。結局のところ、数や基本的な算術演算を「あなたが知っていること」以外のものとして説明するのは難しいのです。なぜリンゴが1つとリンゴが1つでリンゴが2つになるのか分かりません。おそらくそれがリンゴのあり方なのでしょう。指でもうまくいくようです。 常連読者は、自然数と実数の算術をゼロから構築するための成功した取り組みに関する以前の2つの記事を覚えているかもしれません。最終的に、私たちは空集合の存在を所与のものとし、いくつかのかなり直感的な規則の繰り返し適用によって数と演算を定義しました。 数学はなぜこんなに抽象的になったのか？ lcamtuf・2025年9月27日 全文を読む 非現実的な数字 lcamtuf・2月15日 全文を読む この方法の美しさは、私たちがすでに知っていた以上のものをもたらしたことです。たとえば、無限の数に対する演算にシームレスに一般化され、多少驚くべき結果をもたらしました。 残念ながら、数学の教科書では、直感的な説明が一般的ではありません。この分野の多くの基礎的な公理は自然界の探求に由来していますが、私たちはその技術を、あたかも現実とは何の関係もないかのように教えることを好みます。現代の学術実践では、特定のアイデアがどこから来たのか、あるいは公理が存在論的に正しいのかという問いは、空虚で範囲外であると見なされています。ほとんどの場合、あなたは他人のゲームをプレイするためのルールブックを渡されるだけです。 このセクションの残りの部分では、私はトランスします