1階 閾値のスイッチ
FX の損切り、ゲームの HP、サーバーの警告。どれも「ある値が決めた線（閾値）を越えたか」で動きます。ここは、ロジック辞典の機器で確かめた決めごとそのままの階です。
2階 ブールとシャノン — ロジックは計算になる
ブールは 1854 年の『思考の法則』で、「かつ」「または」を代数の計算として書きました。シャノンは 1937 年の修士論文で、その計算がスイッチの回路と同じ形になることを示しました。
| A | B | A × B |
|---|
1階の閾値の判定も、この 0 と 1 の計算の上に乗っています。
3階 フレーゲとラッセル — 数学をロジックで組み立てる夢
フレーゲは、数学全体をロジックだけから組み立てようとしました（論理主義）。1902 年、ラッセルはその土台に一つの問いで穴があくことを手紙で伝えます。
問い：「自分自身を要素に含まない集合」を全部集めた集合を R とします。
R は、R 自身を要素に含むでしょうか？
4階 タルスキとゲーデル — 終わらない階段
ゲーデルは 1931 年、ある程度の算術を含む無矛盾な体系には、その中で証明も反証もできない文があることを示しました（第一不完全性定理）。「証明できない真理がある」と言い換えるのは、よくある誤解だとされます。タルスキは、ある言語の「真」をその言語の中では定義できず、一段上の言語が要ることを示しました。
文 G：「この文は、この体系では証明できない」
「真」を定義してみる：今いる言語の中で「真」を定義しようとすると、「この文は偽である」のような文で行き詰まります。一段上の言語へ上れば定義できますが……
5階 ウィトゲンシュタイン — 語れるものの縁
1921 年の『論理哲学論考』は、ロジックで語れることの範囲を描き、その外側には語れないけれど大事なもの（倫理、美、生の意味など）があると示唆しました。終わり近くでは、この本の命題を梯子にたとえ、上り終えたら投げ捨てるよう述べています。
最上階 龍樹 — 扉の向こう
2〜3 世紀ごろのインドの思想家、龍樹（ナーガールジュナ）は『中論』で、どんなものもそれ自体で成り立つ実体を持たない（空）と説きました。そして、その「空」さえも固定した見方として握ってはいけない、とします。
結び 頂点はあったのか
階段を上っても、最後の土台は見つかりませんでした。数学の道（4階）と龍樹の道（最上階）は、出発点も方法もまったく違うのに、「最後の土台は見つからない」という似た場所に着きます。同じことを言っているわけではありませんが、並べてみる価値はあります。
| # | 答え | 誰の見方か |
|---|---|---|
| 1 | 頂点はない（階段は上へ続く） | タルスキ、ゲーデル |
| 2 | 意味・真理（ロジックの外から与えられる） | 意味論の立場 |
| 3 | 選ぶこと・価値（どのロジックを使うかは人が選ぶ） | 論理の多元主義など |
| 4 | 語れないもの | ウィトゲンシュタイン |
| 5 | 空・空もまた空 | 龍樹 |
このシミュレーターの書き分け
| 較正済み | 1階の判定。ロジック辞典の「閾値の型の機器」と同じ決めごとで、正解付きの問題で確かめた（検査票 2026-11-12） |
| 簡略モデル | 2階〜最上階。考え方を短く見せるための単純化で、厳密な証明や原典の正確な再現ではない |
| 創作の台詞 | 吹き出しの会話はすべて創作。本人たちの実際の発言ではない |
| 実際の言葉 | ウィトゲンシュタイン『論理哲学論考』命題7 のみ（自訳） |
登場する人物は、生きた時代も場所も違い、実際には一堂に会していません。ここは架空の円卓です。人物の立場の要約、著作の年、梯子のたとえ、ブールの足し算の決まり、8 人の生没年は、ロジック辞典の「頂点の問い」「ロジックの階段の史実」で資料と照合済みです（2026-11-12）。創作の台詞そのものは、照合の対象ではありません。
登場した著作（年は初出）
- ブール『思考の法則』1854
- シャノン「継電器とスイッチ回路の記号的解析」1937（修士論文、翌年刊行）
- フレーゲ『概念記法』1879、『算術の基本法則』1893・1903
- ゲーデル「プリンキピア・マテマティカおよび関連する体系の形式的に決定不能な命題について I」1931
- タルスキ「形式化された言語における真理概念」1933
- ウィトゲンシュタイン『論理哲学論考』1921
- 龍樹『中論』（2〜3 世紀ごろ）
円卓の間 全員の会話
階段で出会った八人と案内役が、円卓を囲んで話し続けます。話題は一巡すると混ぜ直して、また始まります。生きた時代も場所も違う人たちの、架空の会話です。
吹き出しの台詞はすべて創作で、本人たちの実際の発言ではありません。各人の立場は短く簡略化しており、原典との照合はまだ済ませていません（未確認）。