コンピュータサイエンスは哲学を「解く」のか
ある分散システムの論文にこんな定理がある。共通知識は、有限ステップの通信では原理的に達成できない。「相手も知っているはずだ」という日常的な確信が、実は無限の情報交換を暗黙に要求している——そういう意味だ。
これは哲学の話である。同時に、純粋に計算の話でもある。
コンピュータサイエンス（CS）が哲学に何かを与えるとき、期待されがちなのは「正解を運び込む役割」だ。哲学は長く考え、CSは速く解く。そんな分業観は現代的に聞こえるが、かなりずれている。CSの価値は哲学的問いへの最終答えを出すことにない。問いに含まれる「計算できる部分」「記述できる部分」「追跡できる部分」を切り出し、何が前提され、どこまで処理可能で、どこから先が原理的な限界なのかを可視化することにある。
CSは哲学を解決する学ではない。哲学の推論空間そのものを組み替える研究プログラムだ。
まず押さえるべきは、CSはひとまとまりではないという点である。計算可能性理論や型理論といった形式的メタ理論の層は、概念分析に対して「好きに定義してよいわけではない」という不快だが有益な制約を与える。AIや機械学習のような構成的モデルは、人間の本質を定義しようとするのではなく、本質だと思われていたものの一部が意外に実装可能だと暴く。HCIや分散システムの研究は、主体を孤立した内面としてではなく、通信路やプロトコルのなかで捉え直す。シミュレーションや形式検証は、仮説の帰結と破綻条件を系統的に探る。
ただし、それぞれが哲学に同じ仕方で効くわけではない。
仕様を書いたから正義が保証されるわけではない。アルゴリズムを設計したから制度の正当性が生まれるわけでもない。形式化は曖昧さを減らし、含意を明るみに出す。しかしそれは、本質への到達と同義ではない。
この距離感が最もよく見えるのが、大規模言語モデルをめぐる議論だ。意味理解や推論に必要だと考えられてきた条件——身体性、世界モデル、単なる記号操作以上の何か——は、少なくとも再点検を迫られた。だが「予想以上にできてしまった」ことから、理解や意識や責任主体性が哲学的に決着したとは言えない。そのあいだには長い距離がある。
CSが実質的に効く典型は、規則・知識・主体性の問題である。冒頭の共通知識の話に戻れば、分散システムの認識論理は「知っている」を、頭のなかの表象としてではなく、観測可能性・同期度・通信の信頼性・プロトコルの設計に依存する概念として書き直す。知識の最終定義ではない。しかし日常の「相手も知っているはずだ」という発話が、かなり特殊な情報環境を暗黙に仮定していたことを露出させる。
自由意志や合理性についても同様だ。形而上学的な可能性だけを問うと議論は曇りがちだが、計算量と近似可能性を導入すれば、「原理的に可能」と「有限の資源しかない主体に実行可能」は明確に分かれる。対立が消えるわけではない。ただ議論の位相は変わる。
一方で、CSを万能視すれば話は急に安っぽくなる。第一人称的経験、歴史的厚みをもつ意味、実践としての規則追従は、少なくとも現在の形式体系にはきれいに収まらない。現象学や解釈学の主張は、いまも重要である。さらに、CSのモデル化は価値中立ではない。状態空間の切り方、目的関数の置き方、公平性の定義には、つねに規範的選択が埋め込まれている。モデルは中立な鏡ではなく、癖のある編集装置だ。
結局、CSの哲学的意義は「世界は情報処理である」といった派手な存在論にはない。哲学的問いのうち計算的・制度的に構造化できる部分を抽出し、その成立条件・破綻条件・適用限界を同時に可視化する、少し無愛想な批判的インフラとして理解すべきだろう。
CSは哲学の代わりにはならない。ただ、問いを精密化し、論争の前提を形式的に照らし出し、モデルに埋め込まれた規範的盲点まで示す。解答集ではなく、現代哲学の議論の地盤を組み替える共同研究基盤——それがCSの正確な立ち位置である。