近代論理学の成立 (ブール、フレーゲ、ラッセル、ホワイトヘッド)

近代論理学の成立は、ブールの論理代数、フレーゲの概念記法、ラッセルとホワイトヘッドの公理化などが、自然言語の推論を形式的・機械的に扱える対象へ変えた過程である。

仕組みと確認

各人物の記法、対象とした問題、後世への影響を分けて比較する。形式化の厳密さが何を可能にし、どの複雑さや基礎づけの問題を残したかを確認する。

限界と注意点

歴史を単線的な進歩として描かない。原典の文脈と現代の概念を区別し、歴史的成果からソフトウェアの保証を直接導かない。