Akasha — Intersubjective Axiom Framework Akasha 主体间公理框架
When an axiom is tested not by nature and not by proof, but by the shared behaviour of many subjects, what counts as verification? Akasha's answer is that verification is ratification. Three organs — Probe, Tribunal, Ledger — make the whole passage from candidate axiom to institution explicit. 当公理面对的不是自然，也不是证明，而是多主体共同的行为时，什么才算验证？Akasha 的回答是：验证即批准。Probe、Tribunal 与 Ledger 三器官，把一条公理从候选到制度的全过程显式化。
Naming statement. The framework's official name is Akasha Intersubjective Axiom Framework. Intersubjectivity is its ontological core, and all descriptions should follow this terminology. “Symbiosis” is used only as a mechanistic metaphor for axiom–community dynamics inside the four-state life cycle; it is not the name of the framework.
SECTION 00Name and ontological position
Akasha (आकाश) means ether or space: the common medium in which all things appear. Physics abolished the ether in 1905, but the social world does have an ether — the intersubjective medium of language, ledgers, institutions, and commitments. Akasha studies the intersubjective axioms that exist inside this medium.
Three kinds of axiom differ not in their content but in who is entitled to verify them. That difference is the whole reason a separate framework is needed.
Objective axiom
- Domain
- Physics
- Verifier
- Nature, indifferent
- Existence
- Independent of any subject
Analytic axiom
- Domain
- Mathematics
- Verifier
- Proof, internal
- Existence
- Self-consistency is existence
Intersubjective axiom
- Domain
- Behaviour / economics / institutions
- Verifier
- A community's acts of commitment
- Existence
- Between subjects — neither inside one subject nor independent of all subjects
Strict definition. A fact is intersubjective if and only if it is neither objective — independent of subjects' beliefs — nor subjective — determined by a single subject's beliefs — but is constituted by the mutual recognition and coordination of multiple subjects. Money, property, credit, and linguistic meaning all belong to this class. Intersubjective axioms are formal statements of such facts.
Core insight. The verifier of an intersubjective axiom is not pre-given; it is constituted by commitment–settlement behaviour among subjects. This is both why inventing axioms in the intersubjective domain is easier than in physics, and why it creates distinctive dangers.
SECTION 01Core proposition: verification as ratification
Physical axioms are tested by nature — and nature does not care about theory. Intersubjective axioms are ratified by a community — and the community's adoption partly constitutes their truth. Every settlement on the ledger is one vote in an intersubjective ratification procedure.
The proposition is not a metaphor borrowed from social theory. It sits on an explicit intersubjective lineage.
- Phenomenology. Husserl's Intersubjektivität — objectivity itself is grounded in mutual constitution among subjects.
- Philosophy of language. Wittgenstein's private-language argument — the validity of a rule can only be intersubjective.
- Institutional ontology. Searle's constitutive rule, “X counts as Y in context C” — the grammar of institutional facts. An intersubjective axiom is a formalised constitutive rule.
- Economic sociology. MacKenzie's performativity — Black–Scholes did not merely describe the options market; it made the market.
- Reflexivity. Merton's self-fulfilling prophecy and Soros — an intersubjective axiom can become true by being believed.
Akasha does not treat reflexivity as noise. It treats reflexivity as a first-class property in the life cycle of an intersubjective axiom, and designs immune mechanisms for its pathologies. This is the fundamental divide between Akasha and behavioural models borrowed from the physical-science paradigm.
SECTION 02Framework structure: three organs and a constitution
Akasha is not a single model but an invention procedure composed of three organs. A constitutional principle defines the boundary of each organ's power.
Probe
Intervenes in the intersubjective medium and produces surprise.
- Dialogic: randomised information injection — the interview becomes the experiment
- Simulation: counterfactual surgery on a world-state model
Tribunal
Holds the ontological priors; admits and filters candidate axioms.
- Ontological syntax: legal formulas and mechanical pruning
- Debate trial: admission and ranking
Ledger
Delivers a double-ring judgment.
Constitutional principle: separation of three powers. Procedural power, logical power, and truth power must not overstep one another. Debate converges on persuasive force, not truth-value, and the output of a trial never enters the axiom library directly. The sole holder of truth power is the outer ring — the intersubjective ratification procedure itself.
Every implementation, in any domain, must satisfy three abstract requirements:
Interventions must be recordable and reproducible; intervention–response pairs must be structurable.
Priors must be formal syntax, with mechanically executable pruning.
A strictly proper score against gaming, plus sequential cumulative judgment against single-point noise.
SECTION 03The Akasha loop
This is not a one-way pipeline. Intervention, adjudication, proof, ratification, and incentive feedback form a closed loop that new surprise continuously restarts.
SECTION 04The four-state life cycle of an intersubjective axiom
Physical axioms have only two states, true and false. An intersubjective axiom has four, and each state is entered through a specific gate.
An axiom rises from “a description of intersubjective behaviour” to “the rule according to which intersubjective coordination proceeds.” It then begins to maintain itself as true performatively, following Black–Scholes logic. Physics can never reach this state: no matter how many people believe in general relativity, spacetime does not become more curved as a result.
Between states 3 and 4, axiom and community enter a symbiotic relationship. An axiom dies without the community's continuing ratification; a community disperses without the axiom its coordination depends on. Every settlement is both a test and a feeding. Here “symbiosis” describes only this dynamical mechanism and remains subordinate to the intersubjective framework.
Physical science has only a model fitting the world. Akasha explicitly models the channel through which the world fits the model, and accounts for each direction separately. Every axiom's metadata distinguishes the component “ratified because the description was accurate” from the component “self-confirmed because it was adopted.”
SECTION 05Distinguishing Akasha from adjacent frameworks
Akasha is not a renamed prediction market, theorem prover, or mechanism-design system. Its distinction lies in placing four previously separate capabilities inside one frame. What each neighbour is missing makes that clear.
no verification loopno intersubjectivity in the domainIntervention exists, but there is nothing to ratify it against.
no ontological-prior organno constitutive stateHypothesis selection happens inside a given framework.
no inner ringno TribunalPrices predictions, but does not grow an axiom library.
no descriptive inventionDesigns institutions directly, without inventing the axioms that describe them.
analytic axioms onlyno ratification channelProves coherence, with no route to intersubjective truth.
Akasha = the outer ring of a prediction market + the inner ring of a theorem prover + the prior of an intent ontology + explicit accounting for intersubjectivity, including its performative phase transition. These four elements have not previously appeared in the same frame.
SECTION 06Reference implementation: Akasha → Loka
Loka grounds each abstract organ in an executable component, and remains Akasha's first and most complete reference implementation.
⟨I,B,C,π⟩compile_wqt⟨I,B,C,π⟩ · BDI lineagebehaviorlibStrategic meaning. At the framework layer, Akasha is neutral IP in the manner of Dolby. It can be licensed into organisational behaviour, law, public policy, and agent economies. Loka remains the first and most complete reference implementation.
SECTION 07Risks distinctive to intersubjectivity
The same property that makes intersubjective axioms easier to invent also allows power to participate in making an axiom true. Pathology and immunity therefore enter the framework together.
Performative abuse
Capital large enough can force an axiom's ratification, making it true by power rather than by discovery.
Goodhart transition
Once constitutive, an axiom becomes an optimisation target and its descriptive power decays.
Community boundary
Who belongs to the ratifying set — the boundary of intersubjective space itself is a meta-axiom.
Ethical and regulatory position. The framework reframes “performativity,” often accused of being manipulative, as an intersubjective responsibility that must be accounted for, immunised, and sunsetted. The inventor of an axiom is responsible for its full life cycle, including the way it shapes a community after becoming constitutive.
SECTION 08Summary
Physical laws are tested by nature and mathematical theorems by proof, while the axioms of behaviour and institutions are intersubjective. They neither exist independently of subjects nor depend on any single subject, but are jointly constituted and ratified through multi-subject commitment–settlement behaviour. Akasha is the first invention-engine framework designed for intersubjective axioms: the Probe intervenes in the intersubjective medium to create surprise; the Tribunal prunes candidates inside an intent ontology; the double-ring Ledger proves coherence within and performs ratification without; incentives price invention quality; and the performative transition in which an “axiom graduates into an institution” is explicitly recorded and equipped with immune countermeasures. AI in the physical domain is still struggling to build an intervenable simulator. The ether of intersubjective axioms — the Ledger — was already there.
正名声明。本框架的正式名称为 Akasha Intersubjective Axiom Framework（主体间公理框架）。Intersubjectivity（主体间性）是框架的本体论核心概念，一切表述以此为准。“共生”（symbiosis）仅用于描述公理—共同体动力学的机制性隐喻，不作为框架名称使用。
第 00 节命名与本体定位
Akasha（आकाश）意为“以太”或“空间”——万物于其中显现的共同介质。物理学在 1905 年废除了以太；但社会世界确有一个以太：主体间媒介（intersubjective medium）——语言、账本、制度、承诺。Akasha 框架的对象，正是存在于这个媒介中的主体间公理（intersubjective axioms）。
三类公理的分别不在内容，而在“谁有资格验证它”。这一分别，正是需要另立一个框架的全部理由。
客观公理
- 域
- 物理
- 验证者
- 自然（冷漠的）
- 本体地位
- 独立于任何主体存在
分析公理
- 域
- 数学
- 验证者
- 证明（内在的）
- 本体地位
- 自洽即存在
主体间公理
- 域
- 行为 / 经济 / 制度
- 验证者
- 主体共同体的承诺行为
- 本体地位
- 存在于主体之间——不在任何单一主体之内，也不独立于全体主体
主体间性的严格定义。一个事实是主体间的，当且仅当它既非客观——不独立于主体信念存在——亦非主观——不由单一主体的信念决定——而由多主体的相互承认与协调行为构成。货币、产权、信用、语言意义皆属此类。主体间公理即对这类事实的形式化陈述。
核心洞察。主体间公理的验证者不是先在的，而是由主体间的承诺—结算行为构成的。这既是主体间域发明公理比物理域容易的原因，也是其独有危险的来源。
第 01 节核心论题：验证即批准
物理公理被自然检验——自然不在乎理论；主体间公理被共同体批准——共同体的采纳部分地构成其为真。账本上的每笔结算，都是主体间批准程序的一票。
这一论题不是从社会理论借来的比喻，它有明确的主体间性哲学谱系。
- 现象学。Husserl 的 Intersubjektivität——客观性本身奠基于主体间的相互构成。
- 语言哲学。Wittgenstein 私人语言论证——规则的有效性只能是主体间的。
- 制度本体论。Searle 构成性规则“X 在情境 C 中算作 Y”——制度性事实的语法；主体间公理即被形式化的构成性规则。
- 经济社会学。MacKenzie 述行性——Black–Scholes 不是描述期权市场，而是制造了它。
- 反身性。Merton 自我实现预言与 Soros——主体间公理可以通过被相信而变真。
Akasha 不把反身性当噪声，而是把它作为主体间公理的一等生命周期属性，并为其病理设计免疫机制。这是它与一切借用物理科学范式的行为建模之间的根本分野。
第 02 节框架结构：三器官 + 宪政
Akasha 不是单一模型，而是一套由三器官构成的发明程序；宪政原则规定三种权力各自的边界。
Probe · 探针
干预主体间媒介，制造惊异。
- 对话式：随机化信息注入，访谈即实验
- 模拟式：对世界状态模型执行反事实手术
Tribunal · 法庭
持有本体先验，受理与筛选候选公理。
- 本体语法：合法公式与机械剪枝
- 辩论庭审：准入与排序
Ledger · 账本
执行双环判决。
宪政原则（三权分立）。程序权、逻辑权、真理权互不越位。辩论收敛于说服力而非真值，庭审输出永不直接入库。真理权的唯一持有者是外环——即主体间批准程序本身。
任何领域的实现，都必须满足三项抽象要求：
干预可记录、可复现；干预—响应对可结构化。
先验必须是形式语法，剪枝可机械执行。
严格适当评分以防 gaming，并采用序贯累积判决抵抗单点噪声。
第 03 节Akasha 循环
这不是单向流水线，而是一个由惊异持续重启的闭环：干预、庭审、证明、批准与激励回写依次发生，再进入下一轮。
第 04 节主体间公理的四态生命周期
物理公理只有真 / 伪两态；主体间公理有四态，而每一态都要经由一道特定的判定关口才能进入。
公理从“对主体间行为的描述”升格为“主体间协调据以进行的规则”。此后，它开始述行地维持自身为真——Black–Scholes 逻辑。物理学永远到不了这一态：无论多少人相信广义相对论，时空不会因此更弯。
在 3→4 态区间，公理与共同体进入共生关系——公理离开共同体的持续批准即死，共同体离开赖以协调的公理即散；每次结算既是检验，也是喂养。此处“共生”仅描述这一动力学机制，隶属于主体间性框架之下。
物理科学只有模型拟合世界；Akasha 显式建模世界拟合模型的通道，并对两个方向分别记账。每条公理的元数据区分“因描述准确而获批”与“因被采纳而自证”两个成分。
第 05 节与相邻框架的判别
Akasha 不是对预测市场、定理证明器或机制设计的重新命名。它的独特性，在于把四种此前分离的能力放进同一框架——从每个相邻框架“缺什么”，可以最直接地看出这一点。
无验证闭环域内无主体间性有干预，却没有可供批准的对象。
无本体先验器官无构成态只在既定框架内做假设选择。
无内环无 Tribunal只定价预测，不生长公理库。
不发明描述性公理直接设计制度，却不发明描述制度的公理。
只有分析公理无主体间批准通道能证融贯，却无通向主体间真理的路径。
Akasha = 预测市场的外环 + 定理证明器的内环 + 意图本体的先验 + 主体间性（含述行相变）的显式记账。四者此前从未同框。
第 06 节参考实现映射（Akasha → Loka）
Loka 将每个抽象器官落到可执行组件之中，并保持为 Akasha 首个且最完整的参考实现。
⟨I,B,C,π⟩compile_wqt⟨I,B,C,π⟩ · BDI 血统behaviorlib战略含义。Akasha 在框架层做 Dolby 式中立 IP——可授权给组织行为、法律、公共政策、agent 经济各域实现；Loka 保持首个且最完整的参考实现。
第 07 节主体间性独有风险（病理与免疫）
主体间性让公理更容易被发明，也让权力可能参与把公理“做真”。因此，病理与免疫必须同时进入框架。
述行性滥用
足够大的资本可强行批准一条公理，使其自证为真——公理被权力做真，而非被发现。
Goodhart 相变
公理一旦构成化即成优化目标，描述力随之衰减。
共同体边界
谁属于批准者集合——主体间空间的边界本身就是一条元公理。
伦理与监管姿态。主体间性框架把“述行性”这一易被指控为操纵的性质，重新框定为需要被记账、被免疫、被日落的主体间责任——发明公理者，对公理的整个生命周期负责，包括它构成化之后对共同体的塑造。
第 08 节总结
物理定律由自然检验，数学定理由证明检验，而行为与制度的公理是主体间的（intersubjective）——它们既不独立于主体存在，也不由任何单一主体决定，而由多主体的承诺—结算行为共同构成并批准。Akasha 是第一个为主体间公理设计的发明机框架：探针干预主体间媒介制造惊异，法庭在意图本体内剪枝候选，账本双环判决——内环证融贯、外环行批准，激励为发明质量定价，并对“公理毕业为制度”的述行相变显式记账、配备免疫对策。物理域的 AI 还在挣扎着造一个可干预的模拟器；主体间公理的以太——账本——本来就在那里。