哲学者George Boole

George Boole

彼は論理学を代数として扱う。推論することが、記号による計算となるのである。

分析哲学1815 · 1864 イギリスリンカン

生涯

イギリスの数学者・論理学者。独学で学び、のちにコーク・クイーンズ・カレッジの教授となった。推論は代数として書き表せることを示し、今日の回路やコンピュータに用いられる記号論理学(ブール代数)の基礎を築いた。彼はこれらの法則を、まさに思考の法則そのものと見ていた。

主な著作

1854
思考の法則の研究

推論の法則を代数的な計算によって表現する。

1847
論理の数学的分析

彼の論理代数の最初の版。

1859
微分方程式論

微分方程式に関する標準的な教科書。

本人の言葉

« 以下の論考の目的は、推論が遂行される際の精神の働きの基本法則を探究し、それらを一つの計算の記号言語で表現し、この基礎の上に論理学という学問を確立することである。 »
An Investigation of the Laws of Thought (1854), ch. 1, p. 1

立場

行をクリックすると根拠が表示されます
神は存在するか?神
無神論有神論
主張

彼は、至高の知的原因と世界の道徳的統治者を信じることを重んじたが、自然宗教がそれを確実に証明しうるかについては疑っていた。

Boole, An Investigation of the Laws of Thought, ch. XIII (1854)