(p.24)これが論理学だと言っていいわけですが、たんにいろいろな言い方をバラバラに集めるのではなくて、一番基本的な言い方を決めておいて、それからあとはすべての正しい言い方が機械的にでてくるように、丁度、ユークリッドの幾何学が基本的な公理や規則を使って、どのような場合にも正しい定理を導出しうる公理系をなしているように、ラッセルも、左に掲げた四つの論理式を公理にして、それに代入の規則とそれから推論規則というようなものを付け加えて、命題論理学の公理系をつくったのです。
この命題論理学は、アリストテレスの論理学ではまったくふれられていなかった部分ですから、古典論理学に対して一つの大きな、進歩であったというべきでしょう。
論理的主語と述語
ところで、ラッセルの論理学上の功績というものは、命題論理学だけではないのでありまして、次に紹介しようと思いますのは、アリストテレスの論理学も全部含んでいくような、それでいてもっと広い適用範囲を持ち、しかも、命題論理学の諸原理を拡張していくことによって得られるような体系であります。私達はラッセルの論理学とアリストテレスの論理学との関係を、ニュートン、
(次のページに続く)
| |
