世界モデル・カーネルの仕様記述

0. 目的

本稿は、世界について唯一の真なる存在論を示すことを目的としない。

本体系の目的は、世界、主体、意味、価値、行為、意図などを区別し、それぞれの成立条件と導出関係を明示することである。

0.1. 要求、許容、禁止

以下、カーネルを とする。

であるとき、 はカーネルによって要求されるという。

を、カーネル に命題 を追加した体系とする。

を満たすモデルが存在するとき、 はカーネルによって許容されるという。

を満たすモデルが存在しないとき、 はカーネルによって禁止されるという。

したがって、

は、

を意味しない。

0.2. 非導出

二つの命題 について、

を、

の略記とし、

を、

の略記とする。

後者は、 と だけから が導出されないことを意味する。

したがって、

から、

は導出されない。

別の条件 を追加することで、

となってよい。

0.3. 型と型判断

本稿では、世界コンテキスト、対象、行為、意味状態、価値状態、意図状態などを分類するために型を用いる。

記法

は、 を型 のものとして扱うという型判断を表す。

これは、 が集合であり がその元であるという主張ではない。また、本稿は特定の集合論、型理論、圏論その他の数学的基礎づけを要求しない。

型には、それだけでは位相、距離、順序、線形構造、次元、滑らかさその他の構造を要求しない。必要な構造は、個別の世界モデルまたはユーザーランドで追加してよい。

また、型は互いに排他的であることを要求しない。同じものについて、複数の型判断が同時に成立してよい。例えば、ある行為を同時に対象として扱うことや、ある世界コンテキストを対象として扱うことを妨げない。

型 に対し、

は、 であるか、または であることを表す略記とする。

は、関係が成立していないことを表す特別な値である。一方、 は式そのものがその文脈では定義されていないことを表し、 の値とはみなさない。

1. アーキテクチャ

本体系は、世界層、Injection / Interpretation 層、カーネル層、ユーザーランド層から構成される。

これは世界そのものが四層構造を持つという主張ではなく、記述上の責務分離である。

2. 世界層

2.1. 世界コンテキスト

世界コンテキストの型を とする。

を一つの世界コンテキストとする。

世界コンテキストとは、ある観測系または記述系において成立する、世界についての文脈全体である。

は物理状態だけを表すものではない。主体、身体状態、信念、記憶、気質、制度、社会状態、関係、情報、歴史的痕跡など、その文脈において世界に存在するものを含んでよい。

したがって、主体 も世界コンテキストの外部に置かれるものではない。

世界コンテキストは、宇宙全体についての絶対的な現在状態であることを要求しない。また、すべての観測系について同一であることも要求しない。

観測系または記述系 に対応する世界コンテキストを、

と表してよい。

異なる について、

であってよい。

ここでいう観測系は意識を持つ主体である必要はなく、世界を区切り、記述し、状態を定めるための参照系一般を含む。

特定の世界モデルでは世界コンテキストが一つだけであってもよく、多数あってもよい。また、それらが密接に関係していても、ほとんど無関係であってもよい。

世界コンテキストの意味するところ

素朴な世界観であれば、単に時刻 によって指定されるこの世の状態 と考えて良い。 また、過去については、世界五分前仮説のように単に現在状態に埋め込まれているものと考えて良い。 このような慎重な態度を取るのは、この世における相対性理論の帰結として、空間的に隔たったイベントについては、その時間的順序が慣性系によって異なりうるからである。 よって、この世界コンテキストでは、「現在」およびそこに埋め込まれる歴史について、一意な全順序が存在することを要求しない。 日常的な速度・スケールでは、観測系間の差異や相対論的補正は通常無視できるため、素朴には各観測系の の差異もほとんどないと考えて良い。 一方で、各主体について全く世界が分断している状態を妨げるものではない。

2.2. 世界コンテキスト間の整合性

異なる世界コンテキストが、互いに完全に独立した別世界であるとは限らない。

および が互いに整合することを、

と表す。

したがって、

であっても、

であってよい。

は反射的である。

すなわち、世界コンテキストは少なくとも自分自身とは整合する。

異なる世界コンテキスト間の整合性について、対称性、推移性その他の性質は一般には要求しない。

したがって、

から、

を一般には要求せず、

から、

も一般には要求しない。

の具体的な成立条件は世界モデルに委ねる。

必要に応じて、整合する世界コンテキスト間に変換 を定義し、

のように表してよい。

この変換について、線形性、可逆性、連続性、滑らかさ、群構造その他の性質は一般には要求しない。

特定の世界モデルでは、近い観測系に対応する世界コンテキストが近いこと、世界コンテキスト間の変換が滑らかであることなどを追加してよい。

世界コンテキストが観測系によって異なりうることは、世界そのものが各主体によって独立に構成されることを意味しない。 は、異なる世界コンテキストが相互に拘束され、同一の世界に属する記述として扱いうる可能性を残す。

一方、

である世界コンテキストの存在も許容する。

について

この世の特殊相対論的なモデルでは、異なる慣性系に対応する世界コンテキストがローレンツ変換によって相互に対応づけられることを、 の具体例と考えてよい。

2.3. 世界の変化

世界の変化が、単一の状態遷移列、

として表現できることは要求しない。

したがって、本体系は世界全体について一意の現在状態が存在し、それが順次更新されることを前提としない。

特定の世界モデルにおいて必要であれば、世界コンテキスト間に、

という関係を導入してよい。

ただし、 が何を意味するかは世界モデルに依存する。

は時間発展、因果関係、論理的遷移、計算状態の遷移などを表してよいが、それらのいずれかであることをカーネルは要求しない。

したがって一般には、

であり、

である。

世界を単一の状態遷移列として表現できる世界モデルを採用することも許容される。

世界の変化

素朴な世界観としては、世界の状態は単なるグラフを動く点と考えて良い。 繰り返すように、この世では相対論の導く通り、空間的に隔たったイベントについては、その時間的順序が慣性系によって異なりうる。 そのため、単なる同時的な時間発展と考えると、各慣性系で認識する状態はそのままでは整合性が取れない。 日常的な速度・スケールでは、慣性系間の差異や相対論的補正は通常無視できる。

3. Injection / Interpretation 層

Injection / Interpretation 層 は、カーネルを具体的な世界コンテキストに適用するために必要な解釈を与える。

本カーネルは、以下の解釈を に要求する。

• 何を主体候補とみなすか
• 何を主体とみなすか
• 何を意識とみなすか
• 何を認識とみなすか
• 何を対象とみなすか
• 何を意味状態とみなすか
• 何を価値状態とみなすか
• 何を主体の行為とみなすか
• 何を主体の意図とみなすか

これらの具体的な判定方法はカーネル自身では規定しない。

4. カーネル層

カーネル は、概念の型、型判断、定義可能性、必要条件、導出関係、非導出関係を定める。

具体的な倫理体系、法体系、科学的方法論、宗教、政治思想などはカーネルに直接組み込まない。

5. ユーザーランド層

ユーザーランド は、カーネル上に追加規則を構築する層である。

倫理体系、法体系、科学的方法論、規範、当為、制度、意思決定規則、形而上学などをここに置いてよい。

例えば、あるユーザーランドが、

という規則を採用してよい。

しかし、

だけから、

がカーネル上で自動的に導出されるわけではない。

当為はカーネルの基本概念とはせず、ユーザーランド上で必要に応じて定義する。

6. 主体

主体候補の型を とする。

を主体候補とする。

主体に要求される性質を主体公理系 とする。

であるとき、

が成立すると定義する。

主体公理 は意識性を必要条件として含む。

したがって、

である。

何を意識と判定するかは が定める。

主体は特定の物質、種、生物学的構造、魂、自我などによってカーネルレベルでは一意に定義されない。

主体 は世界の外部に存在する観測者ではない。

主体を実現する身体、脳状態、記憶、信念、気質なども世界コンテキストに含まれてよい。

また、主体の現在の成立を記述するために、その主体の成立に先行する原因、目的、選択、正当化を要求しない。

主体性は世界コンテキストについて判定されるため、一般には、

である。

同じ記号 を異なる世界コンテキストで用いることは、それ自体として通時的な形而上学的同一性を要求しない。

7. 対象

対象の型を とする。

を対象とする。

対象は個体に限られず、状態、出来事、関係、制度、行為、可能性、世界コンテキストなどを含んでよい。

同じ対象 が異なる世界コンテキストにおいて異なる状態や表現を持つことを許容する。

8. 定義可能性、、

など、主体 を引数に持つ式は、すべての引数の組について値を持つことを要求しない。

世界コンテキスト において が主体でない場合、それらはその文脈では定義されない。

これを と表す。

一方、主体 は成立しているが、その関係が成立していない場合には を用いる。

したがって、

である。

は各状態型そのものの通常の値ではなく、 という拡張された型判断のために用いる特別な値である。

また、 は数値 、最小値、中立値、否定的評価などとは異なる。

9. 意味

意味状態の型を とする。

、、 かつ である場合、

を定義する。

認識関係を、

とする。

意味の成立には認識を必要条件として要求する。

したがって、

である。

ただし、

は要求しない。

意味とは

ここで言う「意味がある」とは、主体にとって有益であるということを意味しない。 単に、何らかの対象が主体に何らかの情報をもたらすという意味である。

10. 価値

価値状態の型を とする。

、、 かつ である場合、

を定義する。

は、主体 、対象 、世界コンテキスト によって成立する評価状態である。

したがって、

は、対象 が良いことを意味するのではなく、主体 と対象 の間に何らかの価値的関係が成立していることを意味する。

10.1. 文脈依存性

価値は対象だけでは決まらない。

任意の について、対象 を指定しただけでは、一般に

は導出されない。

また、主体 と対象 を指定しても、世界コンテキスト を固定しない限り、一般に特定の は導出されない。

したがって、

であってよく、

であってよい。

10.2. 主体独立的価値

本体系で基本的に扱う価値は、

という主体を含む関係である。

一方、

のような主体独立的価値を要求しない。

ただし、その存在を禁止もしない。

特定のユーザーランドが主体独立的価値を導入してよい。

10.3. 価値と認識

価値の成立は認識を必要条件としない。

したがって、

である。

そのため、

であってよい。

主体自身が認識していない対象が、その主体にとって価値を持つことも許容する。

11. 価値型に要求しない構造

カーネルは、価値状態の型 が実数値型 であることを要求しない。

また、 に対して、値を一つの数値に縮約できる構造、すべての値を比較できる順序、全順序、有限次元として扱える構造、加法構造、正負が単純に相殺される構造などを要求しない。

例えば、ある対象について愛着と嫌悪、利益と損害などが同時に成立してよい。

必要ならユーザーランドで、価値状態からスカラー値を得る規則を追加してよいが、その規則はカーネルの一部ではない。

また、そのようなスカラー化の結果が であることと、

であることは異なる。

12. 行為

行為の型を とする。

を行為とする。

主体 による行為 が世界コンテキスト において生起したことを、

と記述する。

行為の成立には主体性を要求する。

したがって、主体ではない構造による運動、作動、状態変化などを、それだけで行為とはみなさない。

状態遷移を持つ世界モデルでは、

と表してもよい。

ただし、この表記は世界全体が単一の状態遷移列として変化することを要求しない。

また、行為が生起したことと、その行為が意図的であることは区別する。

13. 意図

意図状態の型を とする。

、、 かつ であるとき、

を定義する。

は、主体 が行為 に対して持つ意図状態を表す。

同一の行為から特定の意図は一意に定まらない。

したがって、任意の について、

である。

また、意図が存在することから、その行為が実際に生起したことも一般には導出されない。

14. 主な非導出

以下をカーネル上の一般則とはしない。

14.1. 主体性

14.2. 意味と価値

14.3. 他主体の価値

14.4. 価値と認識

14.5. 行為と意図

任意の について、

14.6. 意図と行為

14.7. 価値と当為

任意のユーザーランド において、追加規則なしには、

である。

価値が存在することから、それを保存すべきであることはカーネルから導出されない。

15. 本体系が要求しないこと

本体系は、世界全体について一意の絶対的現在が存在すること、世界が単一の状態遷移列として表現できること、すべての観測系が同じ世界コンテキストを持つこと、世界コンテキスト間の関係が必ず時間発展であること、世界が滑らかであること、世界が単純であること、各型が集合として実現されること、各型が特定の数学的構造を持つこと、主体の通時的な形而上学的同一性、主体の成立に遡及的な原因や目的や正当化が必要であること、意味と価値の同一化、価値のスカラー化、価値と認識の一致、行為と意図の一致、価値から当為が自動的に導出されること、特定の倫理体系、法体系、科学的方法論、主体独立的価値の存在または不存在を要求しない。