📖 内容今回は「AIの歴史編」第3回。テーマは思考の記号化。アリストテレス（形式化）→スコラ哲学（普遍化）に続き、ライプニッツが挑んだのは、思考を“計算できる形”にする前段階の設計。自然言語の曖昧な議論を、記号とルールに置き換え、誰でも同じ結論に到達できる思考プロセスを作ろうとした試みを解説。① 思考の記号化とは何か推論を「言葉」→「記号＋手順」に変換目的は再現性のある思考（＝同じ結論に収束）② ライプニッツの核心アイデア論争は言語の曖昧さで終わらない→ 記号操作＝計算で決着させる③ 普遍的記号法の構造（3点）思考の同型表現：思考＝記号として一致合理的文法：曖昧さを排除した論理構造存在論的基礎：世界の構造（オントロジー）を反映→ 現代AIの基礎設計に直結④ なぜこの時代に生まれたか数学・自然科学の台頭「世界は数式で記述できる」という前提の成立⑤ 限界（＝未完の理由）記号を“計算する理論”が未整備記法・表現力の不足社会的に早すぎた構想→ 実装は19世紀（ブール・フレーゲ）へ持ち越し⑥ 現代との接続記号化 → 論理化 → 計算化 → 学習ライプニッツの構想は、現在のAIで部分的に実現🔖 おすすめポイントAIの起点を「思考の設計」という観点で理解できる哲学 → 数学 → AIの連続性が一気に見える次回「論理の数式化」への理解がスムーズになる🎙️ パーソナリティISHIKAWA　@ISHIKAWA696736浪花祐貴　@naniwan721

Ask this episode

“What did the council decide on item 42?” — answered with the speaker and the moment.

Transcript

Related