TETRA’s MATH

<< 色分けで感じる排他的論理和 | main | 論理学の幾何学的表現 >>

「量」とは別の「質」の論理学

 ブール環をほんの少しかじってみたおかげで、束の「双対原理」が以前より面白くなってきました。

 ブールは、後世のブール束の原型をつくった。
 “指数律”(ベキ等律)も見つけていた。
 しかしそこに「吸収律」はなく、束の「双対原理」がなかった。

 それというのも、“あるいは”として、排他的選言を採用していたから。ちなみに、排他的選言を採用したとしても、∪、∩に相当する概念や記号を導入していたら、双対的な構造に気づき得たとのこと(by山下正男氏)。

 なお、野矢茂樹『論理学』では∨を「両立的選言」、▽を「排反的選言」と呼んでいますが、山下正男『論理学史』では、非排他的選言・排他的選言という区別をしています。

 さて、じゃあ、“束”の双対性を発見したのはだれか?ということになるわけですが、その前段階として、ブールの体系を研究したのちに、自らの論理学の基本操作に非排他的「または」を採用したのが、ジェヴォンズという人なのだそうです。その結果、

   AA=A ・・・・・・ A+A=A
   A+AB=A ・・・・・・ A(A+B)=A

という対をなす法則を発見しました。上はベキ等律だし、下は吸収律です。(しかし、ジェヴォンズは双対的な法則をいくつか見つけ出したものの、双対性の原理そのものを確立したわけではなかった)

 ジェヴォンズは自らの体系を“類・種の代数学あるいは質の代数学”と呼んだそうです。たとえば、A+A=A は、Aが量ならば 2A=A となってしまいそうですが、Aが質であれば、「同じ質のものを加えても質そのものは変わらない」と考えることができます。

ブールは論理学の代数化を志したのであるが,数量を扱う古くからの意味での代数とのパラレリズムを追求しすぎた結果,A+A=0といった式に対しては論理的解釈を下しにくくなってしまったのであるが,ジェヴォンズははっきりと自分の代数体系は数量を扱うものではなく,したがってA+A=Aという式が出ても当然であり,むしろそこにこそ,数学とは異なる論理学の特有性があると見たのである.

(山下正男『論理学史』p.47)

 時代としてはいつごろなのかネットで調べたところ、1864年にジェヴォンズの『純粋論理学、または量とは別の質の論理学』が出版されているようです。私が生まれるちょうど100年前、たった100年前だ。ちなみに1864年はブールが亡くなった年でもあるようです。ブールとジェヴォンズは20歳差くらいだったようなので、活躍した時期はずれるのでしょうが、そんなに時代がはなれていたわけではないんだなぁ、と思いました。

 話はずれますが、こんなふうに(20世紀のすったもんだに入る前の)19世紀の半ばから終わりごろの様子を眺めてみると、遠山啓が“量”にこだわった意味がわかってくる気がしました。時代としても専門家としても、「構造(を扱う数学)」の“威力”と“新しさ”を知っている人だったから、あんなに「量」にこだわったのかもしれないな。

読書記録(論) | permalink
  
  

サイト内検索