操作から対象へ:評価構造による対象生成理論

対象を前提とする標準的存在論・意味論の順序

Object → Identity → Difference → Evaluation

を反転し、本稿は操作構造から対象生成を導出する。

操作が複数の経路を持つとき、応答が結果集合上の関数へ降下することは一般には保証されない。このとき差異は結果間ではなく操作経路集合の内部に集中する。本稿はこの構造を差異集中(Difference Concentration)と呼ぶ。

差異集中が生じる場合、結果に対する単一の決定写像を直接定義することはできない。そこで本稿は応答集合に決定値を与える構造を評価(evaluation)として定式化する。さらに評価が入力記述の精密化に対して安定する場合、同一の決定値を共有する入力記述の同値類が対象として生成される。

以上により本稿は

Operation

→ Difference possibility

→ Difference Concentration

→ Evaluation

→ Stability

→ Object

という対象生成の一般構造を導出する。