Prop_2.210

2.210 ： 因果的効力の閾値に基づく二値述語関数 (Binary Predicate Functions Based on Causal Efficacy Thresholds)

• AQAL象限: I

thesis
アポーハ的排除は、連続的な状態空間に対して特定の因果的効力（リスクや目的の閾値）に基づく判定境界を設定し、真理値（1か0か）を返す二値述語関数を構成する操作である

gist
条件を定義するとは、連続的な現実に「この基準を満たすか（1）／満たさないか（0）」という明確な判定ライン（述語）を設定する作業である

---

構造図解

flowchart LR
    Input["連続入力 s_d"] --> VFE["摩擦 F_d = 1/2 Π_d (s_d - μ_d)²"]
    Cap["残余容量 1 - L(t)"] --> Thresh{"abs(s_d - μ_d) ≤ r_d(t)?"}
    VFE --> Thresh
    Thresh -->|Yes| Valid["原子述語 x_d = 1: 許容"]
    Thresh -->|No| Invalid["原子述語 x_d = 0: ガードレール発動"]

---

平易な解説

光の照度や音の大きさ自体は連続的な物理量ですが、ある個人が頭痛を起こさずに作業できるかどうかは「300 lux以下なら可（1）／超えれば不可（0）」という閾値判定によって決まります。個別のリスク閾値ごとに明確な二値判定関数を構成することで、曖昧さのない適合判定が可能になります

---

直交3軸による定式化

直交3軸による定式化

• X軸［存在論（Ontology）］: 連続変数に対する閾値境界の設定とブール真理値への射影演算
• Y軸［認識論（Epistemology）］: 因果的効力（Arthakriyā）の有無に基づく排中律的境界設定（Vyāvṛtti）
• Z軸［目的論（Teleology）］: 行為における選択の二値性（採用または棄却）

ラプラス近似下の動的境界生成モデル（内部生成状態 $\mathbf{\mu },\mathbf{\Pi },L(t)$）において、次元 $d$ の感覚入力 $s_d$ が生む変分自由エネルギー $F_d(s_d)=\frac{1}{2}{\Pi }_d(s_d-{\mu }_d{)}^2$ が残余ホメオスタシス容量 $1-L(t)$ を超えないというアポーハ閾値画定により、二値原子述語 $x_d(t)\in \{0,1\}$ と許容境界半径 $r_d(t)$ が一意に導出される

$$x_d(t)=\mathbb{I}\left(\frac{1}{2}{\Pi }_d(s_d-{\mu }_d{)}^2\le 1-L(t)\right)⟺|s_d-{\mu }_d|\le r_d(t)=\sqrt{\frac{2(1-L(t))}{{\Pi }_d}}$$

---

プロトコル設計との連関

• 役割: 連続的な計測値や型付き属性から二値の充足判定を導くExtractorおよび検証回路の論理的根拠
• 閾値述語の実装: 個人の不快回避や目的達成にとって意味のある閾値で {0, 1} の真理値を返す述語関数として条件判定を実装する

---

参照文献と引用文

参照文献と引用文

• 存在論（Ontology）:

  Ref_Friston_2019, “Discrete state-space models provide a natural formalisation of symbolic or conceptual inference.”

• 認識論（Epistemology）:

  Ref_Tillemans_2021, Sec. 1.2: “If anything exists and is a specific thing rather than another, it is because of its causal efficacy (arthakriyā), or powers to produce such and such effects.”

• 目的論（Teleology）:

  Ref_Rothbard_1956, “Action implies choice among alternatives.”

---

ナビゲーション: マスターMOC ｜ 親命題: Prop_2.200 ｜ 兄弟命題: Prop_2.220