否定的方法論――Via Negativaと排除原理の形式構造

「誰がXなのか」「これは何なのか」「誰がこの出来事を起こしたのか」。候補集合が開いており、署名、直接の自認、物理的所持証明のような決定的な正の証拠がないとき、肯定は有限の形式操作だけでは一人へ収束できない。肯定には必要条件の完備な列挙が要るが、否定には反例が一つあればよい。この非対称性を対象帰属へ拡張するのが否定的方法論である。

1. 三つの定義

D1 排除原理は「XはYではない」という命題で、三条件を満たす。証拠鎖が公開事実へ遡れること、主観的な印象に依存しないこと、実際に空でない候補集合を除くこと。文体の感じや心理推測は、魅力的でも硬い排除にはならない。

D2 ロック原理は「Oを排除できない」という双対操作である。Oが既知の排除をすべて通過し、そのうえでO自身の否認が問題空間への新しい証拠になるときに働く。候補が多い段階の否認は弱いが、候補が極小になった後の「私はXではない」は、「なぜ否認する必要があるのか」という新しい余項ρ′を集中させる。

D3 ρ-limitは、排除列 E₁,E₂,… が作る入れ子の候補集合 S₁⊃S₂⊃… の極限に残る非空の間隙である。測度は非常に小さくなっても、純形式だけで0にはならない。そこから肯定的帰属へ渡る最後の間は、承認、署名など主体的行為を要する。

2. 四つの定理

T1 否定―肯定非対称定理。 一つの排除は多数を退けられるが、有限個の肯定条件は開放候補を厳密に一人へできない。完全収束はρ=∅を要するが、ZFCρの第一法則はρ≠∅を与える。

T2 排除力非等価定理。 排除の情報量は均等ではない。候補集合の主要構造に合う「ボトルネック排除」が、他の多数を上回ることがある。数を集めるより、どの余項が次の方向を制約しているかを探すべきである。

T3 ロック反転定理。 候補測度が領域依存の閾値θより小さくなると、否認の正味効果が排除からロックへ反転しうる。θは普遍定数ではなく、問題領域ごとに検討される。

T4 余項不可消去定理。 入れ子集合の極限は0へ近づいても空にならず、形式的帰属と主体的判断の間に埋められない隙間が残る。制度やアルゴリズムが合法な判断を出すことと、主体的な真を確定することは同じではない。

3. 使用者に必要な規律

• 肯定を急がない。 「排除されなかった」を「その人だ」と読まない。
• 硬度を守る。 追跡可能性、非主観性、非空排除を満たさない命題を入れない。
• 反証条件を書く。 何が出れば各排除を撤回するかを明示する。
• 余項を神聖化しない。 ρは神秘ではなく形式化の構造限界である。
• 独立性を監査する。 同じ証拠源や論理的含意を持つ二つを、二票として数えない。

否定的方法論の成功基準も反身的である。自分を「真だと証明する」ことではなく、どの条件で誤りになるかを開いたまま、現在の否定列に耐えることである。

4. 既存分野との接続

科学哲学ではポパーが命題の反証可能性を中心に置いた。本稿はそれを対象帰属へ広げる。法では「合理的疑いを超えて」が排除列を制度化するが、陪審の最終判断はなおρ-limitを越える主体行為である。暗号ではゼロ知識証明が、秘密を直接提示せず「知らないことはありえない」を示す二重否定として働く。

古典的Via Negativaは否定によって神性を守り、対象をますます語りえないものへした。SAEの方向は反対である。否定によって神格化を剝がし、対象を具体的で有限な人間へ戻す。道具は同じでも、否定の方向が違う。

自己理解にも同じ構造がある。人は「私は何者か」という肯定的核心を一度で得るより、「私はこれではない」を重ねて境界を知る。主体は、非自身を排除したあとに残る自分自身のρ-limitとして現れる。

5. 倫理的な射線

否定的方法論を倫理へ伸ばすと、相手に「すべきこと」を増やすより、偽の「せざるをえない」を取り除く姿勢が見える。涵育とは正答を教えることではなく、相手の選択空間を狭めていた虚偽の制約を否定することだ。この射線はD1からT4へ必然的に導かれる定理ではなく、構造的な応用仮説として区別しておく。

6. 検証可能な予測と限界

実際の排除列には少数のボトルネックが現れ、独立な排除を増やすほど限界排除力は低下すると予測される。また候補が十分小さくなれば、公開否認は確率を下げるより上げる反転を示すはずだ。これらが多数の事例で見られなければ、理論は弱まる。

最後に、この方法は人を告発する自動機械ではない。ρ-limitを認めるからこそ、形式的に「ほぼ一人」に見えても肯定を断言しない。否定は確実性を誇張するためではなく、形式が言える範囲を狭く、硬く、追跡可能に保つために使われる。