- 授業日時： 2026年4月21日（火）16:45〜18:15
- 教室： 京都大学 文学部第4講義室
- 担当： 矢田部俊介（西日本旅客鉄道株式会社）
-
- -
Q1. 「サルは動物である」という推論は情報が増えているか
【質問】
授業では「前提にしたことよりも強い結論を出せてしまうことがおかしい」という話があった。では「XはサルであるゆえにXは動物である」という推論はどうなるのか。動物の方が外延が広いので情報が増えているように見えるが、これはOKな推論なのか。
【解答】
外延と内包の区別に注意してください。「サル」という概念を内包的に分析すると、サルとは「動物であり、哺乳類であり、霊長類である」ものです。つまり「動物である」という性質はすでにサルの概念の中に含まれています。
したがって「サルは動物である」という推論は、A∧B∧Cという前提からAを取り出す連言除去と同じ構造であり、導入したものだけを取り出しているので調和している推論です。
確かに外延的に見ると動物の集合はサルの集合より大きく「情報が増えた」ように感じられますが、これは内包と外延が逆向きの関係にあることから来る錯覚です（内包が大きいほど外延は小さくなる）。推論における情報の増減は内包のレベルで判断します。
典型例は「存在者」という概念です。「私は存在者である」は真ですが、存在者の外延はすべてのものを含む最大集合であり、内包（情報量）はほぼゼロです。外延が大きいほど内包は小さい——ここを混同しないようにしてください。
-
- -
Q2. ライプニッツの有限性テーゼの射程
【質問】
ライプニッツが「推論の正しさは有限ステップの計算で確認できる」と言ったとき、その推論規則そのものの正しさは前提にされているのではないか。
【解答】
まったくその通りです。ここには二次元の問いがあります。
- 個別の推論のチェック：与えられた推論が特定の規則に従って正しく適用されているかを一ステップずつ確認する。これは有限ステップで可能です。
- 規則体系そのものの正しさ：使っている規則体系が矛盾していないかを問う。これはヒルベルト的な無矛盾性証明の問題であり、はるかに難しい問題です。
ライプニッツ自身はおそらくこの二次元の区別を明示的に問題にしていませんでした。現代的な観点から振り返れば、体系の無矛盾性が証明されて初めて個別の推論チェックが意味を持つということになります。現代論理学では規則体系を最初に明示的に定義した上で推論を行い、体系の無矛盾性・完全性は別途メタ理論として扱います。
-
- -
Q3. 形式的体系の出発点と「ある」の前提
【質問】
出発点となる公理・定義はどこから来るのか。「ある（存在する）」ということすら前提にしなければならず、それを選ぶのは最終的に人間の「決め」なのか。
【解答】
現代的な立場からすれば、まったくその通りです。
形式的論理体系の構成は、まず使用する記号を定め、次に公理を宣言し、その上で推論規則に従って証明を展開します。何を公理として採用するかは選択の問題であり、目的に応じて使い分けられます（ユークリッド幾何か非ユークリッド幾何か、など）。
「三角形は3つの辺を持つ」という命題もユークリッドの公理系においては定義として与えられる出発点です。形式的にはこれを単なる記号列として扱い、記号列の操作として処理しても形式的には問題ありません。
ライプニッツ自身は必然的真理の体系が唯一正しいものとして外在的に存在すると考えていたと思われますが、それは現代的な立場とは異なります。
-
- -
Q4. システム1とシステム2は不可分ではないか
【質問】
ε-δ論法を使って証明するとき、ルールをどう使うかの判断はシステム1に属する気がする。とすれば、システム1と2は不可分なのではないか。
【解答】
非常に重要な指摘で、授業のスライドでも「言語・数学＝システム2」ではないという補足をしました。
システム1・システム2の区別は「2種類の脳がある」という話ではなく、推論のモードの区別です。同じ数学的操作でも、学習前の人が一歩一歩確認しながら進めるのはシステム2的であり、習熟した数学者が「だいたいこんな感じ」と直感的に把握するのはシステム1的です。
ε-δ論法に慣れた人がほぼ自動的に証明の大枠を見通せるとすれば、システム1的に処理している部分があります。熟練した数学者が学生のレポートを見て「ここが怪しい」と瞬時に感じるのも、証明の記号列をパターン認識しているシステム1の働きです。
ただしカーネマン・スタノヴィッチ自身も認めているように、この区別はきれいに二分できるものではなく、複数の認知現象を整理するためのナラティブな枠組みです。両者が相互作用しながら機能しているというのがより正確な描像です。
-
- -
Q5. タルスキーの定義不可能性定理と形式体系の自己正当化
【質問】
タルスキーの定義不可能性定理がある以上、形式的体系の中にとどまってその体系自身の是非を問うことはできないのではないか。メタ理論への連鎖は終わらないのではないか。
【解答】
まったくその通りです。これは論理学の最も根本的な問題の一つです。
タルスキーの定義不可能性定理が示しているのは、十分に豊かな体系の中ではその体系自身の真理述語を定義できないということです。体系Tについて語るにはメタ理論T'が必要になり、T'についてはメタメタ理論T''が必要になります。
タルスキー自身はこの無限の階層を問題として捉えていませんでした。階段をどんどん上っていけばよいというのがタルスキーのスタンスです。ただしゲーデルの不完全性定理以降、有限主義的な自己正当化は不可能であることが示されています。
この問題は前期後半（第11〜14回）の証明論的意味論の議論と深く関わります。
-
- -
Q6. LLMはシステム1的だという議論の根拠と、ポアンカレとの対応
【質問】
LLMがシステム1に近いという議論はどこかに出典があるのか。またポアンカレの数学的直観とLLMを対応させる議論の可能性はあるか。
【解答】
「LLMはシステム1的である」というテーゼは、現時点では特定の単一の出典があるというより、複数の研究者が独立に指摘している観察です。LLMがニューラルネットワークによる統計的確率分布からトークンを生成するという仕組み自体がベイズ的・システム1的な推論に相当するという見方は比較的自然に出てきます。
ポアンカレとの対応については興味深い論点です。ポアンカレはヒルベルト・クーチュラの論理主義に対して、数学には論理では還元できない直観が不可欠だと論じました。この「数学的直観」はある意味でシステム1的であり、LLMがその種の「もっともらしさ」の認識において人間の直観に近い振る舞いをする可能性は論じる価値があります。
ただし決定的な違いがあります。人間の数学的直観は豊かな身体的・社会的経験に裏打ちされており、LLMの「もっともらしさ」は統計的パターンにすぎません。比較分析の研究テーマとしては面白い問いです。ぜひ論文でお書きになることをお勧めします。
-
- -
Q7. 真理重視型・形式重視型と意味論・統語論の対比、および「証明論的意味論」の「意味論」
【質問】
真理重視型と形式重視型の違いは意味論的に定義するか統語論的に定義するかという対比に対応するのか。また「証明論的意味論」という言葉の「意味論」はどういう意味で使われているのか。
【解答】
対応関係はおおむねその通りですが注意が必要です。
真理重視型は通常タルスキー的なモデル論的意味論に基づき、形式重視型はゲンツェン的な証明論に基づきます。古典論理では完全性定理によってこの二つは同値になりますが、直観主義論理などではそうではありません。
「証明論的意味論」という言葉については、セマンティクスという語の使い方が論者によって大きく異なります。タルスキー的な真理関数的モデル意味論だけが「意味論」ではなく、圏論的意味論・ゲーム意味論など多様な立場があります。ダメットは導入規則がその語の「意味を定義する」という意味でこの立場をとりましたが、ジラールらは正規化ができるかどうかが体系の本質であり表記の違いに過ぎないという立場をとります。
関連性論理との接続も含め、第11〜14回で正面から取り上げます。
-
- -
次回予告（第3回：2026年4月28日）**
メタレベルと対象レベルの区別を正式に導入した上で、形式言語の必要性と再帰的定義による命題論理の統語論を扱います。次回から宿題が出ます。資料は日曜夜までにKULMSにアップします。
