読者です 読者をやめる 読者になる 読者になる

Skinerrian's blog

論理学・哲学・科学史・社会学などに興味があるので、その方面のことを書きます。更新は不定期。

計算機科学と論理実証主義?

コンピュータ文化そのものが、かつては見えないものだった意味の領域をできるだけ見えるものに変え、コード化し論理化しようとする情熱を原理的に抱えている。計算機科学や情報理論とは、そもそもが、すべてが見えること、操作可能であることを理想とした学なのだ。それは思想史的には、20世紀前半の論理実証主義から引き継がれたものである。*1

うーん、計算機科学のルーツはライプニッツ(17-8世紀)の普遍言語に求められる、とよく言われるよね。論理実証主義にルーツを求めるというのはこの箇所以外では聞いたことが無い。チューリング論理実証主義者にカウントしているのだろうか。