#24. 「思考は計算できるのか？」AIの原点をつくった記号化の歴史を解説【AI歴史編#4】 cover art

#24. 「思考は計算できるのか？」AIの原点をつくった記号化の歴史を解説【AI歴史編#4】

#24. 「思考は計算できるのか？」AIの原点をつくった記号化の歴史を解説【AI歴史編#4】

Listen for free

View show details

About this listen

📖 内容
今回は「AIの歴史編」第3回。テーマは思考の記号化。

アリストテレス（形式化）→スコラ哲学（普遍化）に続き、
ライプニッツが挑んだのは、思考を“計算できる形”にする前段階の設計。

自然言語の曖昧な議論を、記号とルールに置き換え、
誰でも同じ結論に到達できる思考プロセスを作ろうとした試みを解説。


① 思考の記号化とは何か

  • 推論を「言葉」→「記号＋手順」に変換

  • 目的は再現性のある思考（＝同じ結論に収束）


② ライプニッツの核心アイデア

  • 論争は言語の曖昧さで終わらない

  • → 記号操作＝計算で決着させる

③ 普遍的記号法の構造（3点）

  • 思考の同型表現：思考＝記号として一致

  • 合理的文法：曖昧さを排除した論理構造

  • 存在論的基礎：世界の構造（オントロジー）を反映

→ 現代AIの基礎設計に直結


④ なぜこの時代に生まれたか

  • 数学・自然科学の台頭

  • 「世界は数式で記述できる」という前提の成立


⑤ 限界（＝未完の理由）

  • 記号を“計算する理論”が未整備

  • 記法・表現力の不足

  • 社会的に早すぎた構想

→ 実装は19世紀（ブール・フレーゲ）へ持ち越し


⑥ 現代との接続

  • 記号化 → 論理化 → 計算化 → 学習

  • ライプニッツの構想は、現在のAIで部分的に実現


🔖 おすすめポイント

  • AIの起点を「思考の設計」という観点で理解できる

  • 哲学 → 数学 → AIの連続性が一気に見える

  • 次回「論理の数式化」への理解がスムーズになる


🎙️ パーソナリティ

ISHIKAWA　@ISHIKAWA696736

浪花祐貴　@naniwan721
No reviews yet