|論理学入門解説(5)ランキングチェッカーインサイト100ビジネスナレッジがより多くの企業に広まり、社会への提供価値が増え、社会が豊かになる。従業員もハッピーに仕事ができる。そんなビジネス社会の到来を夢見るコンサルタントがインサイトを書き連ねます。商品詳細を見るP21~23:すべては真・偽で処理されるはじめのパラグラフが、いわゆる経験科学と論理学の違いの説明ですね。経験科学は、真理とは何か?を探求します。論理学は、真理がどのような構造を持つか?を探求します。これも、世界観とは切っても切れないのですが、ここでは触れていませんが、ちょっと解説します。そもそも、経験科学が「真理」などという言葉を使って探求するのは、「神が造りし世界の真理」です。デカルト・ニュートン的世界観で行くと、神様が世界を作ったのだから、「真理」としての法則があるはずだ。いう考え方で、世界を観察し、法則を見出します。この考え方で、事象をモデル化していく。ニュートン力学も1つのモデルなわけです。神が秩序を作っていなかったら、世界に法則なんてあると思って実験・観察なんてできるか?というと、そうでもないですよね。この感覚は伝わるでしょうか?同様に、論理学では、神の存在証明がいろいろな形で試みられてきましたね。真理を証明するための道具、オルガノンとしての学ですから。はじめのパラグラフは、このような世界観と学問の関係が前提となっています。「真理の構造」の話に入ります。論理学は「ある理屈の構造が示された時に、ある部分の真偽が全体にどう影響するのか?」を把握します。下記のような三段論法があったとします。2全ての独身者は、悲しいものである。3彼は悲しいものである。これは、1と2が真ならば、3は真になりますね。論理学はこういう文と文の真偽の相互関係を知りたいのです。文と文の関係ですから、接続詞が記号として導入されます。・含意演算子「ならば」:⇒(本の記号と違います。変換で出ませんでした。)まず、この4つの記号と意味を覚えてください。例として否定演算子の真偽の関係が出ています。~P:真という関係ですね。単純な「真理表」です。いう真理の関係を表形式で記述するスタイルを真理表と言います。本の方では、真がT、偽がFという表記になっています。これは簡単なんですが、説明がまたマニアックです。「可能世界」という概念がさらっと出てきますが、こんなにさらっと説明することではありません。worldの日本語訳ですが、「可能性世界」とは訳さずに、「可能世界」と訳すならいになっています。始めに翻訳した人がそうしたので、そうなってます。まじめに解説をしだすと、様相論理学と論理学の巨人クリプキの説明をしないといけなくなりますが、ここでは割愛します。この部分の文章の解釈としては、文字通り、無数の可能性がありえる世界のありようを、真偽の2つに区分けする、と考えてください。このように、真偽の2つの値のみを考える論理学を「二値論理学」と言います。この本は入門書ですから二値論理学しか扱いません。