【注意書き】

本記事は、専門書を開く前段階で、全体像を直感的につかむことを目的としています。
そのため、数学的な厳密性よりも、イメージのつかみやすさを優先しています。
本文中の比喩や説明には、定義の前提条件や適用範囲を意図的に簡略化している箇所があります。専門書や一次資料に進む際に注意していただきたい厳密な議論とのギャップは、末尾のAppendixにまとめてあります。

この記事の想定読者

姉妹記事「論理はひとつではない」を読み、「器を選べば論理が決まる」の 数学的な理由 を知りたくなった方
「トポス」「圏論」という言葉に興味はあるが、専門書は重くて手が出ない方
古典論理と直観主義論理の違いを、仕組み・原理レベルで 具体的なイメージを掴み取りたいという熱意あふれるエンジニア・データサイエンティスト

前提知識

本記事の前提は、次の3つだけです。

集合の記号 { }（モノの集まりを表す、というだけ）
中学・高校の「かつ」「または」「AならばB」
「排中律（P か、P でないか、どちらかは真）」という言葉を、聞いたことがある程度（知らなくても本文で説明します）

この記事を読んで得られること

	読む前	読んだ後
「器」と論理の関係	姉妹記事の比喩として知っている	器＝トポスであり、なぜ論理がひとつ決まるのかを仕組みで説明できる
Ω（部分対象分類子）	聞いたことがない	「真理値の目盛り」であり、述語と1対1対応する受け皿だと言える
古典 vs 直観主義	違いが曖昧	集合の世界と層の世界で、なぜ排中律の成否が分かれるかを語れる
トポス以外の器	考えたこともない	線形論理・時相論理・量子論理に、それぞれ別の器があると説明できる

この記事の読み方

数式は最小限にとどめています。

問１→問２→問３ の順に、比喩を頼りに読み進めれていただけましたら、数式に苦手意識を感じられる方も、難なくこの記事を読み終えていただけると思います。

後半の「トポス以外の器」（モノイダル閉圏・クリプキ構造・ヒルベルト空間の束）は発展的な内容なので、難しければ読み飛ばしていただいても、記事の主題（トポスと古典／直観主義の関係）は体得いただけると思います。

時間がなく、お急ぎの皆様は、各見出しの冒頭の太字と、末尾の「まとめ表」だけでも、全体の見取り図を手中に収めていただけるように構成いたしました。

出発点 ── 「論理は複数ある」という事実

「論理は、ひとつではありません」── 姉妹記事 「論理はひとつではない ── 圏論論理学がつなぐ量子論理・トポス・圏論的量子力学」 で、わたしたちはこの事実に出会いました。

排中律を認める古典論理、
証明できたものだけを真とする直観主義論理、
量子の世界の量子論理

── 推論の規則（公理） を取り替えると、別の論理 が立ち現れる。

前回の記事では、古典論理や直観主義論理、量子論理など、ひとつひとつの論理公理体系を収める「器」があり、どれか１つの器を選べば、その中で成立する論理系がひとつ決まる、と述べました。

ただ、その 「器」の数学的な正体 にまでは、深く立ち入って解説することはありませんでした。

本記事は、その一点だけを、じっくり掘り下げます。

器の正体は、数学では トポス（topos） と呼ばれるものです。

この記事のゴールは、ただひとつです。
そのゴールとは、

なぜ、トポス（器）をひとつ選ぶと、対応する論理公理系がひとつ決まるのか。

という問いに、正面から答えることです。

それでは、真理値の目盛り Ω という比喩を用いて、上記の問いと向き合ってみることにしましょう。

問１：トポスとは何か

トポスとは、「集合の世界とよく似た振る舞いをする、ひとつの数学の世界（宇宙）」 です。

わたしたちが学校で習った数学は、すべて 「集合」というたったひとつの宇宙 の中で行われていました。

まず最初に「ものの集まり」を考え、その部分集合を取って、写像（関数）でつなぐ ── あの世界です。

トポスとは、その「集合の世界」と同じ作法（部分集合が取れる、関数を定義することができる、など）が通用する宇宙が、集合の世界のほかにもたくさんある、と認める考え方です。

実は、集合の世界も、数あるトポスのうちの いちばん素朴なひとつ にすぎないのです。

問２：なぜトポスが「論理の器」になるのか ── 鍵は「真理値の置き場所」

ここからが大事です。

なぜ、いくつもある「宇宙」から、どれか特定の「宇宙」をひとつ選ぶと、それに対応して「論理」もひとつ定まるのでしょうか？

鍵は、どのトポスにも「真理値（しんりち、truth value）の置き場所」がひとつ備わっていることです。

これを数学では 部分対象分類子（ぶぶんたいしょうぶんるいし、subobject classifier） と呼び、記号 $Ω$（オメガ） で書きます。仰々しい名前ですが、やっていることは素朴です。

順を追って、具体的なイメージをつかんでいきましょう。

まず「述語」を「部分集合」として見る

スタート地点は、学校で習った集合の世界です。
いま、人間全体の集合 People を考えます。

ここで、「背が高い」という 述語（じゅつご、性質） を持ち出すと、それは People の中から「背が高い人」だけを選び出した 部分集合 Tall ⊆ People が、ひとつ定まります。

つまり、「性質を述べること」と「部分集合を取り出すこと」は、同じことの裏表なのです。

「背が高い」という概念（述語）と、「背が高い人の集まり」という部分集合は、１対１に対応します。

論理（述語）と集合が手をつなぐ、最初の地点です。

その部分集合を「真偽のスタンプ」で言い換える

次に、この部分集合を、別の角度から言い換えます。

People の一人ひとりに、こう質問してまわると考えてください ── 「あなたは Tall に入っていますか？」。

答えは 「はい（真）」か「いいえ（偽）」 のどちらかです。
この質問と、「はい」または「いいえ」という回答との対応関係を関数とみなすと、それは、

People の各要素に、{ 真, 偽 } のどちらかのスタンプを押していく関数

になります。

Tall に入っている人には「真」、入っていない人には「偽」を押す。

ここで、「真」というスタンプが押された場所をすべて集めれば、もとの部分集合 Tall をちょうど復元することができます。

ここで登場するのが、スタンプの種類が並んだ台 ── { 真, 偽 } という2点の集合です。

これこそが、集合の世界における $Ω$ です。

どんな述語（部分集合）も、「集合の各要素から Ω へと、スタンプを押す関数」へと翻訳できます。
この関数は、過不足なく１対１対応になっています。

Ω は、いわば あらゆる性質を「真理値への写像」として一手に引き受ける、共通の受け皿なのです。

【用語解説：部分対象分類子 $Ω$ 】

「People のどんな部分集合 $S$ も、ただ一つの関数 $People → Ω$ で表せて、その対応がぴったり１対１になる」── この性質をもつ対象 $Ω$ を 部分対象分類子 と呼びます。

$χ_S(x)$ = 真（ $x ∈ S$ のとき）/ 偽（そうでないとき）という関数を、$S$ の 特性関数（characteristic function） と呼びます。

集合の世界では $Ω = { 真, 偽 }$ です。

Ω は「真理値の目盛り」── そして目盛りはトポスごとに変わる

ここまでを一言でまとめると、こうなります。

$Ω$ とは、「真とは何か・偽とは何か、その中間はあるか」を一手に引き受ける、そのトポス専用の『真理値の目盛り』です。

そして肝心なのは ── この目盛り $Ω$ の形は、トポス（宇宙）ごとに違う、ということです。

集合の世界では、目盛りはちょうど2つ（真と偽）しかありませんでした。

どの要素についても「その性質を満たすか、満たさないか」、つまり、「ある要素がその部分集合に属するか否か」が一意に定まる、素朴な世界だからです。

けれども、これから見る「層の世界」のような豊かなトポスでは、この目盛りに、２つ以上の多くの段階が刻まれます。

「完全に真」と「完全に偽」のあいだに、「ある範囲では真」「別の範囲ではまだ言えない」といった中間の目盛りが並ぶのです。

例えるならば、集合の世界の $Ω$ が 「オン／オフだけの電灯のスイッチ」 だとすれば、豊かなトポスの $Ω$ は 「ゼロから最大まで連続的に動く調光ダイヤル」 に近い ── そんなイメージです。

（ただし後で見るように、この“ダイヤル”は単純な数直線ではなく、もう少し 構造のある 並び方をしています）。

この 目盛りの刻み方そのものが、その世界で通用する論理を決めます。

目盛りが２つだけなら、すべては真か偽に振り分けられ、論理は古典論理になります。

しかし、もし、目盛りに中間段階があれば、「真とも偽とも、まだ言いきれない」命題が許されることとなり、そこで成立する論理は、直観主義論理へと姿を変えるのです。

「器を選べば論理が決まる」とは、突きつめれば「トポスを選べば、真理値の目盛り $Ω$ が決まり、その目盛りの形が論理を決める」という情況を、分かりやすく比喩を用いて言い表した言葉だったのです。

そして決定的なのは、この $Ω$ の上に、「かつ・または・ならば・でない」という論理演算が定義されることです。

つまり、論理の規則そのものが、$Ω$ という目盛りの形から自動的に定まるのです。

$Ω$ の形が変われば、そこで通用する論理が変わる

これが、「器（トポス）を選べば、論理が決まる」 の数学的な中身です。

この構造（状況）を、学術的な専門用語を使うと、$Ω$ は一般に ハイティング代数（Heyting algebra） という構造になります。

ハイティング代数では、真理値どうしに、「どちらがより真に近いか」という順序が入っており、最上位に「完全な真（$⊤$）」が置かれます。

このとき、

「$P$ または（$P$ でない）」の真理値は、必ずしも最上位の「完全な真」とは一致せず、それより下の段階にとどまることがあります。

言い換えると、

ハイティング代数 では、

「$P$ または（$P$ でない）」は、つねに「完全な真」になるわけではなく、中間的な真理値をとることがあります。

これはまさに、排中律が無条件には成り立たない、という 直観主義論理 の特徴そのものです。（排中律と直観主義論理は、前回の記事で詳しく論じました）

それゆえに、何も特別な仮定を置かないトポスの内部論理は、古典論理ではなく直観主義論理になるのです。

古典論理は、$Ω$ がとくに素直な形（ブール代数）になった、特別な場合にだけ現れます。

問３：具体例 ── 「集合の世界」と「層の世界」

抽象論だけだとつかみにくいので、２つの宇宙 を比べます。

ひとつ目は 集合の世界。目盛り $Ω$ は { 真, 偽 } の2値（ブール代数）。
だから内部論理は 古典論理。

排中律が成り立つ、いつもの世界です。

ふたつ目の宇宙に進む前に、ひとつだけ新しい言葉を用意します。
層（そう、sheaf） です。

名前は耳慣れませんが、中身は日常的なものです。

天気予報を思い浮かべてください。

「日本全国、晴れ」と一言で済ませることは、まずありません。

実際には、北海道は雪、東京は晴れ、沖縄は雨 ── というように、場所ごとに違う値が割り当てられています。しかも、東京と神奈川の境目で予報が矛盾したりはせず、隣り合う地域はなめらかにつながっています。

このように、「場所ごとに値を持ち、隣り合う場所どうしでつじつまが合うように貼り合わせたデータ」 を、数学では層と呼びます。

天気予報も、地図上の標高データも、各地点の気温分布も、すべて、層の一種だと考えられます。

そして、こうした 「場所ごとに値が決まるデータ」 を すべて集めてできる宇宙 が、層の世界（層のトポス） です。

ふたつ目が、いま用意した 層の世界 です。

集合の世界では、ある命題に「真」か「偽」のスタンプを押して終わりでした。

ところが、層の世界では、命題は空間の 場所ごとに成り立ったり成り立たなかったりします。

だから、スタンプの種類は、ひとつだけでは、足りなくなります。

具体例で考えましょう。

空間を「日本地図」だとして、「いま晴れている」という命題を取り上げます。

この命題は、日本全国で一様に真なわけでも偽なわけでもありません。

東京や大阪を含む範囲では成り立ち、北海道を含む範囲では成り立たない ── そういう中途半端な状態が普通です。

そこで層の世界では、この命題の真理値を、たった２つのスタンプではなく、

「この命題が成り立っている場所を、ぜんぶ集めた範囲」

そのものとして与えます。

「いま晴れている」という命題の真理値は、真という記号ではなく、"晴れている地域全体"という地図上の領域になるのです。

これが「真理値が場所になる」という言葉の意味です。

ひとたび、この見方を採用すると、両端の特別な場合をきれいに捉えることができるようになるのです。

ある命題が 空間のどこでも成り立つ なら、その真理値は 空間全体という範囲になります。これが、層の世界における 「完全な真（$⊤$）」 です。
ある命題が どこでも成り立たない なら、その真理値は 空の範囲（何も含まない領域） になります。これが 「完全な偽（$⊥$）」 です。

そして大事なのは、その あいだです。

「東京周辺だけ、真の状態」
「西日本だけ、真の状態」

といったように、全体でも、空でもない、中途半端な範囲が、そのまま中間の真理値 として許される。

集合の世界では、 真/偽 の２つだけだった目盛りが、層の世界では、 "考えうる範囲の全種類" にまで一気に増えるわけです。

さきほど、「目盛りが、連続値を示すダイヤルのように増える」と言ったのは、まさにこのような状況だったのです。

【用語解説：開集合（かいしゅうごう、open set）】

層の世界で、真理値として使う「範囲」は、正確には任意の領域ではなく、 開集合 と呼ばれる領域です。

直感的には、「ふち（縁）の線（境界）をきっちりは含まない、にじんだ縁を持つ領域」 だと思ってください。

地図でいえば「東京周辺」を、県境の一本の線でカチッと区切るのではなく、少しぼかした広がりとして捉えるイメージです。

この「境界を含まない」という性質が、のちほど排中律が破れる理由に効いてきます。

最後に、これらの「成り立つ範囲（開集合）」を、論理の演算でつないでみます。

「$P$ かつ $Q$」は、 両方が成り立つ範囲の重なり、
「$P$ または $Q$」は、 どちらかが成り立つ範囲の合併集合、というふうに、論理演算がそのまま範囲の操作に翻訳されます。

こうして「成り立つ範囲たち」を全部集めて演算込みで眺めると、それは ハイティング代数 になります。

ここで、排中律が破れる様子を、地図の例で具体的に見てみましょう。

排中律とは、「$P$ または（$P$ でない）は、つねに完全な真である」という論理推論規則のことでした。

層の世界では、これが成り立たなくなります。

いま、空間（地図）を、左半分と右半分に、一本の境界線でまっぷたつに分けたとします。
そして、命題 $P$ を「左半分にいる」情況だとします。

$P$ が成り立つ範囲は、左半分です。

では、「$P$ でない」、つまり「左半分にいない」の成り立つ範囲は、どこでしょうか。

素朴には、「右半分」と言いたくなります。

ところがここで、さきほどの 「真理値として用いることができる領域は、開集合＝境界を含まない領域だけ」だ という約束事が効果を発揮します。

「左半分」を、境界線を含まない領域として取ります（左の、にじんだ縁の領域）。
すると、「$P$ でない」に対応する範囲は、この左半分と一切重ならない、境界を含まない領域として定められます。これは結局、「右半分（こちらも境界線を含まない)」になります。

ここで問題が発生します。

その問題とは、 真ん中の境界線そのもの の取り扱いです。

左半分（境界を含まない）にも入らず、右半分（境界を含まない）にも入らない。

境界線の上の点は、$P$ の範囲にも「$P$ でない」の範囲にも、どちらにも属さないまま取り残されるのです。

その結果、

「$P$ が成り立つ範囲」と「$P$ でない範囲」を合わせても、ちょうど境界線のぶんだけ、空間全体には足りません。

結果として、「$P$ または（$P$ でない）」の真理値は、「左半分 $∪$ 右半分」── つまり、 "境界線を除いた空間全体" であって、"空間全体（＝完全な真）" には一歩届かないのです。

これがまさに、前に述べた「$P ∨ ¬P$ が最上位の真と一致せず、それより下の段階にとどまる」という事態です。

集合の世界なら、境界線上の点も「左にいる」か「左にいない」かのどちらかに必ず振り分けられ、こんな取り残しは生じることはありませんでした。

ところが、真理値を 開集合（境界を含まない範囲） で測る層の世界では、境界という、"どっちつかずの場所" が 必然的に生じ、排中律がすり抜けてしまうのです。

これが、層の世界の内部論理が古典論理ではなく直観主義論理になる、いちばんの理由です。

いちばん素朴な「集合」の宇宙だけが古典論理で、場所や変化を含んだ少し豊かな宇宙に移ると、論理はむしろ直観主義の方が自然になる ── これは多くの人の直感とは逆で、トポスという考え方のいちばん面白いところです。

よくある疑問 ── トポスについての Q&A

ここまでで「トポスを選べば論理が決まる」という話をしてきました。読み進めるうちに湧いてくる、自然な疑問に答えておきます。

Q1. トポスは、全部でどれくらいあるの？

A. 有限個には数えられません。無限にあります。

トポスは「何種類かに決まっている」ものではなく、状況に応じていくらでも作り出せるものです。

位相空間（地図のような「場所の集まり」）をひとつ決めれば、その上の 層の世界 がひとつ定まります。空間が違えば、別のトポスになります。
小さな圏（「状態とその移り変わり」のような図式）をひとつ決めれば、その上の 前層の世界 をひとつ作ることができます。

このように、トポスは無数に生み出せるため、「全トポス一覧表」は原理的に作成することが叶わないのです。

そのため、ここでは、代表的なトポスの例を並べておきます。

トポスの例	どんな宇宙か	内部論理
集合の世界	ふつうの集合と写像	古典論理
有限集合の世界	有限集合だけを集めた宇宙	古典論理
層の世界（空間 X の上）	場所ごとに値が決まるデータ	直観主義論理
前層の世界（図式 C の上）	状態や時間の移り変わりを集めた宇宙	直観主義論理
G-集合の世界	対称性（群の作用）を帯びた集合	古典論理

（イメージ優先の表です。各例の正確な定義は専門書に譲ります。）

Q2. トポスと論理公理系は、1対1でぴったり対応するの？

A. いいえ。１対１ではありません。「トポス → 論理」の向きにだけ、ひとつに決まります。

正確には、次の 非対称な関係 になっています。

トポス → 論理は、ひとつに定まる（一意）。
ひとつのトポスを選べば、その内部論理は、ただひとつに決まります。
ひとつのトポスから、相反する複数の論理が出てくることはありません。
論理 → トポスは、ひとつに定まらない（多対一）。
逆向きは一意ではありません。
異なるトポスが、同じ内部論理を持つことは、ごくふつうに起こります。
たとえば「集合の世界」と「有限集合の世界」は別々のトポスですが、内部論理はどちらも古典論理です。
層の世界も、土台の空間が違えばすべて別のトポスですが、内部論理はそろって直観主義論理です。

図にすると、こうなります。

たくさんのトポス　─（それぞれ一意に）→　その内部論理
（ただし、行き先の論理が同じになるトポスは、いくつもある）

ですから本記事の主張は、あくまで 「トポスを選べば、論理がひとつ決まる」（トポス → 論理の向き）であって、「トポスと論理が1対1で対応する」ではありません。決まるのは "トポス → 論理" の向きだけ と覚えてください。

Q3. では、トポスを選べば「どんな論理でも」作れるの？

A. いいえ。

トポスが司るのは「古典 ⇄ 直観主義」の軸だけです。

線形論理・時相論理・量子論理など、別の論理には、それぞれ別の「器」が用意されています。

ここまで「器＝トポス」と話してきましたが、正確には トポスは "器" の一種 です。

論理の種類によって、それを生み出す器（数学的な土台）は変わります。

まず言葉をひとつ用意します。

【用語解説：意味論（いみろん、semantics）】

論理には2つの側面があります。

ひとつは 「どんな推論を許すか」というルールの体系（構文・公理系）。

もうひとつは、「その論理の "真・偽" を、どんな数学的世界で測るか」という解釈の与え方です。

後者を 意味論 と呼びます。

本記事の $Ω$（真理値の目盛り）は、まさに意味論の主役です。

「論理の器」とは、平たく言えば 「その論理に意味（真偽）を与える数学的な舞台」 のことだと思ってください。

この見方をすると、論理ごとに舞台（器）が違う、と整理できます。

論理	器（意味を与える数学的な舞台）	真理値にあたるもの
古典論理	集合の世界（や、$Ω$がブール代数になるトポス）	真／偽の2値
直観主義論理	一般のトポス（層の世界など）	開集合＝ハイティング代数
線形論理	モノイダル閉圏（資源の出入りを表す圏）	「資源をどう使い切るか」
時相論理	クリプキ構造（時間で移り変わる状態の網）	「どの時点・どの状態で真か」
量子論理	ヒルベルト空間の閉部分空間がなす束	「どの部分空間で真か」

それぞれの器を、ひとことずつ補足します。

モノイダル閉圏（線形論理の器）：
ものを「使うと減る資源」として扱う圏です。（前の記事で解説済みです）
ふつうの集合では「A かつ A」は「A」と同じですが、資源の世界では「コインを2枚使う」と「1枚使う」は別物。この "使うと消える" を表現できる舞台 が、線形論理に意味を与えます。
クリプキ構造（様相論理・時相論理の器）：
「いまの状態」と「次に移りうる状態」を矢印でつないだ、状態の網です。
命題の真偽が 時刻や状況ごとに変わる ことを表現でき、「いつか成り立つ」「ずっと成り立つ」といった時相論理の言い回しに、ここで意味が与えられます。
ヒルベルト空間の束（量子論理の器）：
量子力学の状態が住む空間（ヒルベルト空間）の中の「部分空間」を真理値とみなす舞台です。
部分空間どうしの「かつ・または」が、ふつうの集合とは違う振る舞い（分配法則が崩れる）をするため、量子論理が立ち上がります。

つまり、「器を選べば論理が決まる」という構図は、トポスだけの専売特許ではなかったのです。

論理の種類ごとに、それぞれふさわしい器（意味論の舞台）があり、器を決めれば論理が決まる。

── この大きな見取り図の中で、トポスは「古典 ⇄ 直観主義」という、もっとも基本的な軸を司る器なのです。本記事が深掘りしたのは、その一番の土台部分だった、というわけです。

それぞれの器を、順番に見ていきます。

その前に、3つに共通する土台を一段だけ用意します。

準備：器はどれも「圏（カテゴリー）」でできている

トポスもそうでしたが、これら3つの器は、いずれも 圏（けん、category） という同じ部品からできています。圏とは、おおざっぱな言い方をお許しいただけるのであれば、次の「２つの組」です。

対象（object）：点として置かれる 「もの」（集合・空間・状態など、何でもよい）
射（しゃ、morphism）：対象から対象へと向かう 「矢印」（関数・変換・関係など）

ポイントは、矢印はつなげられる（$A → B$ と $B → C$ があれば $A → C$ ができる）ことと、
各対象には「何もしない矢印」（恒等射）があることの２点です。

この「対象と、つなげられる矢印の集まり」が、圏です。

集合と関数の全体も圏ですし、空間と連続写像の全体も圏です。

「器が違う」とは、つまるところ 「どんな対象と、どんな矢印を選び、その上にどんな追加構造を載せるか」が違う、ということです。以下、3つの器を、この観点で定義します。

線形論理の器 ── モノイダル閉圏

モノイダル閉圏（monoidal closed category） とは、圏に、次の2つの仕組みを追加した器 です。

第一に、対象どうしを「並べて1つにする」積 ⊗（テンソル積） を持ちます。

対象 $A$ と $B$ から、新しい対象 $A ⊗ B$（「$A$ と $B$ を同時に持っている状態」）を作ることができるという仕組みです。

さらに、「何も持っていない状態」を表す単位対象 $I$ があり、$A ⊗ I = A$（何も足さなければ元のまま）が成り立ちます。

【用語解説：テンソル積 ⊗ 】

記号 $⊗$ は テンソル積（tensor product） と読みます。

耳慣れない言葉ですが、ここでの役割は素朴で、「２つのものを、合体させずに、並べて同時に持つ」 という操作だと思ってください。

ふつうの掛け算（数 × 数）の親戚で、「$A$ と $B$ をワンセットにする」イメージです。

大事なのは、足し算や「かつ」とは違い、中身が融け合わないことです。

「コイン ⊗ コイン」は「コインを２枚、別々に持っている状態」であって、１枚にまとまったりはしません。

この「並べたぶんだけ、ちゃんと別々に勘定される」性質が、あとで効いてきます。
（なぜ掛け算の記号 $×$ ではなく $⊗$ を使うかというと、ふつうの掛け算とは微妙に振る舞いが違うため、数学では別の記号で区別しているのです。深い意味は気にしなくて大丈夫です。)

対象 $A$ と $B$ から、新しい対象 $A ⊗ B$（「A と B を同時に持っている状態」）を作ることができるという仕組みです。

さらに、「何も持っていない状態」を表す単位対象 $I$ があり、$A ⊗ I = A$ が成り立ちます。

第二に、「使う」操作を対象として持てる（これが "閉" の意味です）仕組みを追加します。

「$A$ を１つ消費して、$B$ を生み出す変換」全体を、それ自体ひとつの対象 $A ⊸ B$（線形含意）として圏の中に持ちます。

決定的なのは、この $⊗$ が ふつうの「かつ」とは違う振る舞いをすることです。

集合の論理では「$A$ かつ $A ＝ A$」（同じものを２回数えても1回と同じ）でしたが、モノイダル圏では一般に $A ⊗ A ≠ A$。つまり「$A$ を2つ持つ」状態と「１つ持つ」状態は、別の対象として区別されるのです。

「使ったら減る／コピーできない」という資源の性質が、$⊗$ の段階で構造として組み込まれているわけです。

この器 の上で意味を与えられる論理が、線形論理（前提を資源として使い切る論理）です。

様相論理・時相論理の器 ── クリプキ構造

クリプキ構造（Kripke structure） とは、次の３つの組です。

状態の集合 $W$：「とりうる状況」を表す点の集まり（可能世界とも呼びます）。たとえば各時刻、各観測者の状況など。
到達可能関係 $R$：状態から状態への矢印の集まり。「状態 $w$ から状態 $v$ へ移れる（または $v$ は $w$ から見える）」とき $w R v$ と書きます。時相論理ならば、「$w$ の次に $v$ が来る」、認識論理ならば「$w$ にいる人には $v$ も起こりうると見える」を表します。
付値 $V$：各状態 $w$ で、どの基本命題が真かを指定する割り当て。

この器のうえでは、命題の真偽は 「どの状態で真か」 として与えられます（真偽が状態ごとに変わる、というのが集合の世界との違いです）。

そして「$□A$（必然的に $A$）」は 「いまの状態から到達できるすべての状態で $A$ が真」、
「$◇A$（可能的に $A$）」は 「到達できるどこかの状態で $A$ が真」 と定義されます。

時間にわたる「いつか $A$」「ずっと $A$」も、$R$ を「時間の進み」と読めば同じ枠組みで意味を持ちます。

こうして 様相論理・時相論理 に意味を与えるのが、クリプキ構造 です。

量子論理の器 ── ヒルベルト空間の閉部分空間の束

量子力学では、系の状態は ヒルベルト空間 という特別なベクトル空間 $H$ の中のベクトルとして表されます（ベクトルの「内積」と「長さ」が測れる空間、と思ってください)。

量子論理の器は、この $H$ の "閉部分空間" を全部集めたもの です。

閉部分空間とは、$H$ の中の「まっすぐな部分空間」（原点を通る直線・平面や、それらの高次元版）のことです。

ここで「部分空間が命題に対応する」とは、どういうことかというと、量子力学では、何かを 測定したときに特定の結果が出る状態 が、ひとつの部分空間としてまとまって表されます。

たとえば、「電子のスピンを測ったら "上向き" だった」という状況を考えます。

このとき、"測れば必ず上向きと出る" ような状態のベクトルを全部集めると、それがちょうどひとつの部分空間になります。

それゆえに、

「スピンは上向きである」という命題 ＝ その命題が成り立つ状態を集めた部分空間

と対応づけられるのです。

これは、集合の世界で 「背が高い」という述語＝「背が高い人の部分集合」 と対応づけたのと、まったく同じ発想です（問１を思い出してください）。

違いは、舞台が「集合の部分集合」から「ヒルベルト空間の部分空間」に変わった点だけです。

このように、命題＝部分空間とみなして、それらを「狭い → 広い」の包含関係で並べると、束（そく、lattice） という構造になります。

束とは、任意の2つの要素に対して「両方を含む最小のもの（上限 $∨$）」と「両方に含まれる最大のもの（下限 $∧$）」が必ず定まる、順序のついた集まりのことです。

ここで決定的なのは、この束が、 分配法則を満たさない ことです。

集合の論理では、 $A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)$ が常に成り立ちました。

ところが部分空間の $∧$（共通部分）と $∨$（2つを含む最小の部分空間）では、これが破れます。

たとえば、平面内で、１本の直線 $A$ と、別々の２つの直線 $B$ と $C$ を考えると、$B ∨ C$ は平面全体になり、 $A ∧ (B ∨ C) = A$ ですが、$A ∧ B$ も $A ∧ C$ も原点だけなので右辺は原点 ── 両辺が一致しません。

この 分配法則の破れ が、量子の重ね合わせの不思議さに対応し、量子論理（正確にはオーソモジュラー束（orthomodular lattice）の論理）を生み出します。

まとめ：器と論理の対応 ── トポスとその先

器（意味を与える数学的な舞台）	真理値にあたるもの	その構造	立ち上がる論理
集合の世界（Ωがブール代数になるトポス）	`{ 真, 偽 }` の2値	ブール代数（排中律が成り立つ）	古典論理
層の世界・一般のトポス	「どの範囲で真か」（開集合など）	ハイティング代数（排中律は一般に不成立）	直観主義（高階）論理
モノイダル閉圏（資源の世界）	「資源をどう使い切るか」	テンソル積 ⊗（`A⊗A≠A`）	線形論理
クリプキ構造（状態の移り変わり）	「どの状態・時点で真か」	状態の網と到達可能関係 R	様相論理・時相論理
ヒルベルト空間の閉部分空間	「どの部分空間で真か」	束（分配法則が破れる）	量子論理

上の2行（集合・トポス）が本記事で深掘りした「トポスの世界」、下の3行が「トポス以外の器」です。器を選べば、その上で通用する論理がひとつ決まる ── この大きな構図の中で、トポスは「古典 ⇄ 直観主義」という最も基本的な軸を司っています。

【用語解説：トポス・部分対象分類子・ハイティング代数】

トポス：
もとは数学者グロタンディークが代数幾何学のために考案した道具で、専門的には「有限極限・指数対象・部分対象分類子をもつ圏」と定義されます。本記事では「固有の内部論理を一式そなえた、数学のひとつの宇宙」というイメージで十分です。

部分対象分類子 Ω：
そのトポスにおける「真理値の対象」。

集合の世界では2点集合 {真,偽} にあたり、「部分集合（＝性質・述語）」は対象から Ω への写像と1対1に対応します。

ハイティング代数：
「かつ・または・ならば」は備えるが、「P または ¬P ＝真」（排中律）と「¬¬P ＝ P」が一般には成り立たない代数。ブール代数から排中律を外したもの、と捉えると分かりやすいです。

なお、トポスが直接に司るのは、あくまで「古典論理 ⇄ 直観主義論理（およびその高階版）」の軸です。線形論理・時相論理・量子論理などは、トポスの内部論理としては出てきません。これらは、本記事のQ3で見たとおり、それぞれ別の「器」── 線形論理は モノイダル閉圏、様相論理・時相論理は クリプキ構造、量子論理は ヒルベルト空間の閉部分空間がなす束 ── から立ち上がります。量子論理とトポスの関係については、姉妹記事の「3つの引き出し」もあわせてご覧ください。

これで「器」の正体がはっきりしました。

論理は、それを生み出す「器」── 真偽を測る数学的な舞台 ── を選ぶことで、ひとつ決まります。 そして器は、ひとつではありません。

本記事が深掘りした トポス（集合や層のような「数学の宇宙」）は、真理値の目盛り Ω の形を通じて、古典論理と直観主義論理を分ける、もっとも基本的な器でした。けれど器はそれだけではなく、資源を扱うモノイダル閉圏は線形論理を、状態の移り変わりを表すクリプキ構造は様相論理・時相論理を、ヒルベルト空間の部分空間の束は量子論理を生み出します。

器を選べば、その上で通用する論理がひとつ決まる。 ── これが、姉妹記事の「論理はひとつではない」という言葉の、数学的な中身でした。

この感覚を持っておくと、「なぜ分野や道具ごとに、使う論理がバラバラなのか」が、バラバラのままではなく、「それぞれにふさわしい器が選ばれているからだ」 という一本の筋として読めるようになります。

Appendix ── 厳密な議論とのギャップ

本記事はイメージを優先しました。専門書に進む際は、次の点にご注意ください。

「トポス＝数学の宇宙」は直観像です。
正式には、トポスは「有限極限・指数対象・部分対象分類子をもつ圏」として圏論の言葉で定義されます。
本記事の「宇宙」「器」は、あくまで入口のためのたとえです。
「P でない」の定義を簡略化しています。
本文では ¬ を「境界を含まない範囲」と説明しましたが、正確には、$¬P$ は、「$P$ が成り立つ範囲の補集合の 内部（開核）」として定義されます。
排中律が破れるのは、この「内部を取る」操作のためで、境界が両者から取り残されるのは、その帰結です。
あわせて、本文の「真理値が場所（範囲）になる」という言い方も簡略化です。
正確には、開集合 $U$ 上の真理値対象は「$U$ に含まれる開集合の全体」であり、真理値は 場所そのものではなく、開集合として表現される ものです。
トポスが司るのは「古典 ⇄ 直観主義」の軸だけです。
線形論理・時相論理・量子論理などは、トポスの内部論理としては現れません。
本文Q3で見たとおり、これらはそれぞれ別の器 ── 線形論理は モノイダル閉圏、様相論理・時相論理は クリプキ構造、量子論理は ヒルベルト空間の閉部分空間がなす束 ── から立ち上がります。
なお、トポスにも様相的な構造（Lawvere–Tierney 位相や、それに伴うモーダルな型理論など）が存在し、まったく様相を扱えないわけではありません。本文の「古典 ⇄ 直観主義の軸」という言い方は、本記事が注目する軸を指したものであり、トポス論全体がその軸に尽きるという意味ではありません。
各器の定義も最小限に絞っています。
モノイダル閉圏・クリプキ構造・束について本文で述べたのは、それぞれの「論理を生む核心」だけです。
対称性や結合則などの公理、随伴や自然変換といった圏論の道具立ては省いています。
正確な定義は、末尾のロードマップに挙げた文献を参照してください。
「1対1ではない」の補足。
Q2で述べたとおり、対応は「トポス→論理」の向きにのみ一意です。
同じ内部論理をもつトポスは多数あり（多対一）、本記事の表で挙げた対応は「代表的な向き」を示したものです。
「トポスを選べば論理が決まる」は、正確には「内部論理（内部言語）が定まる」です。
本文では「論理が決まる」と述べましたが、厳密には、ひとつのトポスが定めるのは、そのトポスに固有の 内部論理（internal logic）／内部言語 です。同じトポスから、高階直観主義論理としても、内部の型理論としても取り出せるため、「論理」という語は、ここでは「内部論理」を指していると読んでください。

付録

この記事で見た内容を、「専門家として語れる」ようになるまでの学習ロードマップ

本記事の内容は、論理学と数学の交差点にあります。

トポス・部分対象分類子・ハイティング代数・モノイダル圏・束
── これらを自分の言葉で語れるようになるには、4つの道を登り、最後にそれらを合流させる必要があります。

高校数学からの順路を示します。

共通の出発点（高校〜大学教養）

どの道に進むにも、ここが土台になります。

高校数学
集合と論理の初歩、写像の概念、ベクトル
大学初年度の「集合と位相」
集合・写像・同値関係・濃度、そして 位相空間（開集合とは何か）。本記事の「開集合＝にじんだ縁の領域」が、ここで厳密になります。
線形代数
ベクトル空間・部分空間・内積。量子論理の「ヒルベルト空間の部分空間」は、この延長線上にあります。

道① 数学の道（空間と構造）

トポスの故郷である「空間」と「代数構造」を体に入れる道です。

群・環・体（代数学入門） → 加群・テンソル積：ここで本記事の ⊗（テンソル積）の正体に出会います。
位相空間論を深める → 層（sheaf）の理論：本記事の主役「層の世界」を厳密に学びます。
代数幾何学の初歩（スキーム）：グロタンディークがトポスを生んだ動機が分かります。

道② 論理学の道（証明と意味）

「論理そのもの」を形式的に扱う道です。

記号論理学入門：
命題論理・述語論理、構文（証明体系）と意味論（モデル） の区別。本記事の「意味論」がここで定義されます。
モデル理論・完全性定理：
「証明できること」と「真であること」の対応。
直観主義論理・構成的数学
排中律を落とすとは何か。ハイティング代数による意味論を、ここで正面から学びます。
部分構造論理
構造規則を落とす論理として、線形論理を学びます。

道③ 数理論理学の道（①と②の交差）

数学と論理学が出会う最初の合流点です。

型理論・ラムダ計算 → カリー・ハワード対応（証明＝プログラム）。
圏論的意味論
論理の各結合子が圏の構造に対応すること。
ここで モノイダル閉圏＝線形論理の器、クリプキ意味論＝様相論理の器 が腑に落ちます。

道④ 圏論の道（全体を貫く言語）

すべてを束ねる共通言語です。①〜③のどこかで並行して始めます。

圏論入門
対象・射・関手・自然変換。
極限・余極限・随伴・指数対象
トポスの定義に出てくる部品。
束論（lattice theory）
ブール代数・ハイティング代数・オーソモジュラー束（量子論理の器） を、順序構造として統一的に理解します。

最終到達点：圏論論理学 ── トポスはその主峰のひとつ

①〜④の道は、最後に 圏論論理学（圏論的論理学） という一つの分野へと合流します。

ここで、本記事に出てきた器たちが、それぞれ圏論の言葉で定式化されます。

トポス理論
①の層、②の直観主義論理、③の圏論的意味論、④の圏論と束が交わる、中心的な一峰。部分対象分類子 $Ω$＝真理値対象、トポスの内部論理＝高階直観主義論理、$Ω$ のハイティング代数構造 ── 本記事で比喩で語ったことすべてが、ここで定理として証明できるようになります。
モノイダル閉圏の理論（線形論理）、クリプキ意味論（様相・時相論理）、オーソモジュラー束（量子論理）も、同じ圏論論理学の地図の上に、トポスと並ぶ峰として位置づけられます。

到達点はこうです。

「トポスを選ぶと内部論理が定まる」いきさつを、$Ω$ の普遍性から導けるようになり、線形論理・時相論理・量子論理が、それぞれモノイダル圏・クリプキ構造・束という別の器に対応する理由を、圏論の言葉で説明できる状態に到達すること。

ここまで来れば、本記事の内容を専門家として語ることができるようになっているはずです。

標準的な里程標（参考文献）

圏論の基礎：マクレーン『圏論の基礎』

層とトポスの論理：Mac Lane–Moerdijk, Sheaves in Geometry and Logic（本記事の「層」「Ω」を厳密に）

論理学の基礎：手頃な記号論理学の教科書（構文と意味論）

トポスと論理（次の一冊）：Goldblatt, Topoi: The Categorial Analysis of Logic（本記事にもっとも近い）