Sets with dependent elements: A formalization of Castoriadis' notion of magma

この論文は、カストリアディスの「マグマ」の概念、すなわち要素間の依存関係によって特徴づけられる集合の体系を、原子に事前順序を備えた ZFA 理論の枠組み内で形式化し、その階層構造を定義するものである。

要約

この論文は、ギリシャの哲学者コルネリウス・カストリアディス（Cornelius Castoriadis）が提唱した「マグマ（Magma）」という概念を、数学者が「集合論」という道具を使ってどう定義し、モデル化できるかを示したものです。

専門用語を抜きにして、日常の例え話を使って解説しましょう。

1. 従来の「集合」とは何か？（普通の箱）

まず、私たちが普段使っている数学の「集合（セット）」について考えます。
カストリアディスは、西洋の伝統的な考え方を「独立した個々の要素を集めた箱」だと表現しました。

• 例え： 机の上に置かれた「リンゴ、オレンジ、バナナ」の果物バスケット。
• 特徴：
  • リンゴはリンゴ、オレンジはオレンジ。互いに干渉しません。
  • リンゴをバスケットから取り出しても、オレンジはそのままです。
  • 「リンゴだけ」の小さな箱を作ること（{リンゴ}）も可能です。
  • 要素ははっきりと区別でき、独立しています。

これが「カントールの集合論」で扱う、私たちが慣れ親しんでいる世界です。

2. カストリアディスの「マグマ」とは？（溶けたチョコレートや言語）

しかし、カストリアディスは「世の中には、そんな風にバラバラに区切れないものがある」と指摘しました。彼が「マグマ」と呼んだのは、**「要素同士が互いに依存し合っていて、切り離せないもの」**です。

• 例え 1：言語の意味
  「猫」という言葉を思い浮かべると、あなたは「動物」「毛」「鳴き声」「ペット」といった他の概念も同時に思い浮かびます。「猫」という意味だけを、他の意味から完全に切り離して独立した「猫」として定義することはできません。意味は他の意味と絡み合っています。
• 例え 2：記憶
  「子供の頃の夏」という記憶を思い出すと、その時の「匂い」「温度」「家族の顔」がセットで蘇ります。その記憶の一部分だけを切り取って、他の要素なしに存在させることは不可能です。

マグマの核心：
「要素 A が存在するためには、要素 B も同時に存在しなければならない」という依存関係があります。だから、「A だけ」の箱（{A}）を作ることはできません。A を取り出そうとすると、B も一緒に引きずり出されてしまいます。

3. この論文は何をしたのか？（依存関係の「地図」を描く）

カストリアディスは哲学的な言葉でこの「マグマ」を説明しましたが、数学者のアタナシオス・ツォウヴァラス氏は、「これを数学の厳密なルール（集合論）でどう表現できるか？」と考えました。

彼は以下のようなステップで「依存する集合」のモデルを作りました。

ステップ 1：原子（アトム）に「依存の矢印」を描く

まず、世界の基本要素（リンゴや猫のようなもの）を「原子」と呼びます。そして、これらに**「誰が誰に依存しているか」を示す矢印**を引きます。

• 「A が B に依存する」→ A から B へ矢印（あるいは B が A を指す）。
• この関係は「反射的（自分自身も依存）」で「推移的（A が B に、B が C に依存なら、A も C に依存）」です。これを数学では「前順序（Pre-order）」と呼びます。

ステップ 2：「開いた集まり」を作る

ここで重要なルールがあります。

• 「依存するもの」は必ずセットで入る
  もし「B」が入った箱（集合）を作りたいなら、「B に依存している A」も必ず箱に入れなければなりません。
  • 例：「猫」の箱に入れたら、「動物」や「ペット」という概念も入れないと、その箱は成立しません。

このルールに従って作られた「抜け目のない集まり」こそが、この論文で定義された**「マグマ」**です。

ステップ 3：「最小の箱」は存在しない

カストリアディスのアイデアを最もよく表すのが、この「最小の箱がない」という性質です。

• 普通の集合では、「リンゴ」だけの箱を作れます。
• しかし、マグマの世界では、「リンゴ」だけを取り出そうとすると、必ず「リンゴの依存先（果物、赤い、甘いなど）」も一緒に現れてきます。
• さらに、その「果物」もまた「植物」に依存し、その「植物」もまた「土壌」に依存し……と、どこまでも下へ、深く掘り下げていくことができます。
• つまり、「これ以上分解できない最小の要素」という箱は、マグマの世界には存在しません。

4. 階層構造（マクマの宇宙）

この論文では、このマグマをさらに積み重ねて「マクマの宇宙」を作りました。

1. 第 1 階層： 原子（言葉や記憶）とその依存関係からなるマグマ。
2. 第 2 階層： 第 1 階層の「マグマ」同士を要素として持つ、さらに大きなマグマ。
3. 第 3 階層： 第 2 階層の「マグマ」を要素として持つ、さらに大きなマグマ。

このように、マグマがマグマを包み込むような「入れ子構造」を無限に積み重ねることで、カストリアディスが想像したような複雑で、相互依存し合う世界を数学的に再現しました。

5. この研究の意義と限界

意義：
この研究は、「独立した個体」だけでなく、「互いに絡み合い、依存し合うもの」を数学的に扱える枠組みを作りました。これは、人間の意識、言語、社会構造など、要素が切り離せない複雑な現象を理解する新しい視点を提供します。

限界と著者の正直な意見：
著者は、カストリアディス自身がこの「数学的な厳密さ」を嫌っていたかもしれないと認めています。カストリアディスは、西洋の論理（二値論理や集合論）そのものを「現実を無理やり切り分ける道具」と批判していました。
しかし、著者は「依存関係という概念そのもの」を数学的に表現することに挑戦し、「独立した要素の世界（普通の集合）」と「依存した要素の世界（マグマ）」の両方を、同じ数学の枠組みの中で共存させることに成功しました。

まとめ

この論文は、「バラバラの部品でできている箱（普通の集合）」ではなく、「部品同士が接着剤でくっついていて、引き離せない塊（マグマ）」を、数学のルールでどう定義するかという挑戦です。

• 普通の集合： リンゴ、オレンジ、バナナ（バラバラに取れる）。
• マグマ： 溶けたチョコレート（一口取れば、甘さ、温かさ、滑らかさがセットで現れる）。

著者は、この「溶けたチョコレート」のような世界を、数学の「依存関係の矢印」という道具を使って、立体的に描き出したのです。

技術概要

アタナシオス・ツォウヴァラス（Athanassios Tzouvaras）による論文「Sets with dependent elements: A formalization of Castoriadis' notion of magma（依存要素を持つ集合：カストリアディスのマグマ概念の形式化）」の技術的サマリーを以下に記述します。

1. 問題提起 (Problem)

この論文は、20 世紀の社会・政治思想家コルネリウス・カストリアディス（Cornelius Castoriadis）が提唱した「マグマ（magma）」という概念の数学的定式化を試みるものである。

• 背景: カストリアディスは、西洋の「同一性 - 集合論的論理（identitary-ensemblistic logic）」、すなわち標準的な集合論（カントール集合論）が前提とする「要素が互いに独立で明確に区別可能である」という考え方を批判した。
• マグマの定義: カストリアディスによれば、マグマとは「無数の集合的組織を抽出・構築できるが、それらの集合的構成によって（理想的に）再構成することはできないもの」である。自然言語の意味の総体や、個人の記憶の総体などがその例であり、これらにおける要素は互いに密接に依存しており、独立した単一の要素として切り離すことができない。
• 課題: カストリアディス自身はマグマの性質を M1〜M5 という原理で記述したが、これらは形式的に矛盾（特に M1 と M4）を含んでおり、厳密な数学的定式化がなされていなかった。本論文の目的は、依存関係を持つ要素からなる「非標準的な集合」を、標準的な集合論の枠組み内で形式化し、カストリアディスの直感的な概念を数学的に捉えることである。

2. 手法 (Methodology)

著者は、標準的な集合論 ZF に原子（アトム、またはウレ要素）の集合 $A$ を加えた ZFA 理論を基盤とし、そこに依存関係を表現するための新しい原始関係（プリミティブな関係）を導入して理論を拡張する。

• 依存関係のモデル化:
  • 原子の集合 $A$ 上に、反射律と推移律を満たす前順序関係（pre-ordering） $\preccurlyeq$ を導入する。$a \preccurlyeq b$ は「$a$ は $b$ に依存する（$b$ が現れるなら $a$ も現れる）」を意味する。
  • 非最小性条件: 依存関係が無限に続くことを保証するため、任意の要素 $a$ に対して、それを真に依存する要素 $b$（$b \prec a$）が存在するという公理（D3）を課す。これにより、依存関係の連鎖が途中で止まることはない。
• マグマの定義（位相的アプローチ）:
  • 前順序集合 $\langle A, \preccurlyeq \rangle$ に対して、下限位相（lower topology） を定義する。
  • この位相における「非空な開集合」のクラスを、$A$ 上のマグマの第一階層 $M_1(A)$ と定義する。具体的には、$x \subseteq A$ が開集合であるとは、$b \in x$ かつ $a \preccurlyeq b$ ならば $a \in x$ となること（$x$ が $\preccurlyeq$ に関して下方閉じていること）を指す。
• マグマ階層の構築:
  • 前順序関係 $\preccurlyeq$ をべき集合 $P(A)$ へ「シフト（simulation）」する操作 $\preccurlyeq^+$ を定義する。
  • 重要な発見として、$M_1(A)$（開集合のクラス）に制限された $\preccurlyeq^+$ は、単なる集合の包含関係 $\subseteq$ と一致することが示された。
  • これを用いて、順次 $M_{\alpha+1}(A) = LO(M_\alpha(A), \subseteq)$ と定義し、すべての順序数 $\alpha$ に対してマグマの階層 $M_\alpha(A)$ を構築する。
  • 最終的に、すべての階層の和集合 $M(A) = \bigcup_{\alpha \ge 1} M_\alpha(A)$ を「$A$ 上のマグマ宇宙」と定義する。

3. 主な貢献と結果 (Key Contributions & Results)

• 形式化の成功:
  • カストリアディスの直感的なマグマ概念を、ZFA を拡張した理論（ZFAD）の中で厳密に定式化することに成功した。
  • 依存関係を持つ要素からなる集合が、標準的な集合論の枠組み内で「無限集合」として自然に現れることを示した。
• カストリアディスの原理の検証:
  著者はカストリアディスの原理 M1〜M5 のうち、矛盾する M1 と M4 は除外し、残りを修正した以下の 3 原理が、構築されたマグマ宇宙 $M(A)$ で成立することを証明した。
  • M2 (部分マグマの存在):* 任意のマグマ $x$ に対して、$x$ と異なり $x$ の部分集合であるマグマ $y$ が存在する。
    • 証明: 定義により、マグマ宇宙には $\subseteq$ に関する最小元が存在しないため、常に真部分マグマが存在する。
  • M3 (分割不可能性):* 基本マグマ（基本開集合）は、有限個の互いに素な部分マグマに分割できない。
    • 証明: 基本開集合は連結的な性質を持つため、非自明な分割は不可能である。
  • M5 (排他性):* マグマではないものは、集合か原子である。
    • 証明: 構築された宇宙 $M(A)$ は、原子と集合からなる宇宙 $V(A)$ の部分クラスとして定義されているため。
• 公理の妥当性:
  • 構築された構造 $\langle M(A), \in \rangle$ において、冪集合公理（Powerset）が成立すること、および結合公理（Union）が一定の制限付きで成立することが示された。
  • ただし、空集合公理、対公理、無限公理、分離公理、置換公理は成立しない（マグマ宇宙には空集合や有限集合、原子そのものが含まれないため）。

4. 意義と結論 (Significance & Conclusion)

• 理論的意義:
  • この研究は、カントール集合論が前提とする「要素の独立性」という根本的な仮定を、依存関係という概念を通じて相対化する試みである。
  • 標準的な集合論（ZFA）を「拡張」するだけで、要素が相互に依存する「非分離的（non-separative）」な世界を記述できることを示した。
• 哲学的・概念的含意:
  • 著者は、この形式化がカストリアディスの思想を完全に再現するものではないことを認めつつも、集合論的な枠組み内で「依存する要素の集合」という構造を構築できた点に意義を見出している。
  • 自然言語の意味や記憶といった、要素が独立しない現象を数学的に扱うための新しい視座を提供する。
• 将来の展望:
  • 順序対、関数、自然数などの標準的な集合論的対象の「マグマ的アナログ」を構築する試み。
  • 依存関係を原始関係として持つ言語による公理化と、そのモデル探索（H. Skala の研究との関連性など）。

総じて、この論文は哲学的な概念を数学的に定式化する挑戦であり、集合論の枠組み内で「依存性」を本質的な性質として持つ集合の階層構造を初めて体系的に構築した点で重要な貢献を果たしている。