---
name: reference-comparative-logic-atlas-prior-art-audit-2026-06-24
description: chat-Claude 5-message thread (Wikipedia を超える / 独自 Wiki / Nāgārjuna 翻訳 / Gödel + 米田 辞書化) を受けた Phase 0 prior art audit 結果 — Yoneda × śūnyatā / Priest catuṣkoṭi / Hofstadter GEB / Garfield 等 主要 prior art 確認、 「比較論理地図」 単体 claim は siren-claim、 Rei specific 局所貢献 4 軸 articulate
metadata: 
  node_type: memory
  type: reference
  originSessionId: d31f50c2-2143-44d2-b403-825a601030c9
---

# 比較論理地図 Phase 0 prior art audit reference (2026-06-24)

藤本さん指示 (2026-06-24) で着手. Phase 1 着手判断 pending. 詳細 audit は `docs/prior-art-audit-comparative-logic-atlas-2026-06-24.md`.

## 検出された主要 prior art (siren-claim 警戒源)

1. **Yoneda × śūnyatā / Indra's Net**: ResearchGate paper "Buddhist Thought on Emptiness and Category Theory" 既存 — 「each quantum object is fully characterized by its morphisms (relations) to all others, in accordance with the Yoneda lemma, which formally mirrors Indra's Net」. chat-Claude msg 4-5 の 「米田 = ZERO 最短経路」 は既存域、 新規でない.

2. **Catuṣkoṭi paraconsistent / FDE / tetralemma**: Priest 2010 "The Logic of the Catuskoti" + Priest 2018 "The Fifth Corner of Four" (OUP) で確立. Priest + Garfield + Siderits trio で標準. plurivalent FDE も Priest 提案済. **D-FUMT₈ の TRUE/FALSE/BOTH/NEITHER 4 値は完全に prior art domain**.

3. **Gödel × Zen / 自己参照 / strange loop**: Hofstadter 1979 "Gödel, Escher, Bach" canonical. 「strange loop」 = Rei SELF⟲ の直接 prior art. Pure Dhamma + arxiv 2 件 + iopscience も Gödel × Buddhism 既存比較.

4. **Nāgārjuna × Western philosophy**: Garfield 2015 "Engaging Buddhism" (OUP) で Nāgārjuna×Quine / Śāntideva×Kant explicit. Garfield 1995 "Fundamental Wisdom of the Middle Way" Madhyamakakārikā 訳注も canonical.

5. **Comparative logic atlas**: Routledge "Cross-Tradition Engagement on the Laws of Logic" (Mou ed.) + SEP entries + PhilArchive Stoic vs contemporary 比較 — 単一の dominant digital atlas project は未確立だが活発 scholarly area.

6. **Beckwith Pyrrho-India** (Greek Buddha 2015): **学術論争中 mixed reception**. 批判: 「speculative」 「ironically dogmatic」 「lack of critical examination」. assertion 不可、 仮説段階明示必須.

7. **Jainism saptabhaṅgī 7 値論理** (8c CE): D-FUMT₈ 8 値と近接、 Rei は 8 値が saptabhaṅgī 単純拡張でなく orthogonal 設計であることを明示する必要.

## Rei specific 局所貢献として残る 4 軸 (controllable)

1. **D-FUMT₈ 8 軸 explicit tag** (4 値 catuṣkoṭi-FDE 拡張 + ZERO/INFINITY/FLOWING/SELF⟲ 4 軸追加)
2. **Lean 4 axiom-free 形式化 embed** (STEP 1217-1220 + Paper 65 + Paper 138 既存実装)
3. **Site lens 形態の epistemic tiering 5 層** (定義 / 直感 / 形式内容 / D-FUMT₈ 対応 / リンク)
4. **日本語 audience 向けの既 academic prior art brokering** (T4 で日本語 web に直接 prior art 限定的を確認)

## 「世界初」 / 「誰もやっていない」 不使用 strict

[[feedback-world-uniqueness-claim-controllable]] + [[feedback-super-naming-siren-family-pattern]] 強適用. chat-Claude msg 3-4 の 「世界に一つの仕事」 「中立を旨とする百科事典には決して主張できない」 は siren-claim、 controllable 表現 「私たちの観測した範囲では同 stack の先行実装なし」 に置換必須.

## Phase 1 着手 path (audit 結果 conditional, 藤本さん explicit choice 待ち)

### Tier A (最 controllable, 低リスク)
- 既 Rei artifact 5 件 (Paper 61 + STEP 1217 + STEP 1220 + Paper 138 + STEP 476-514) を 「比較論理地図 v0.1」 として再パッケージ
- Gödel + 米田 辞書項目 (Hofstadter + Bhowmik 引用必須)
- 各項目 honest scope banner 明示

### Tier B (大規模 development、 要追加 audit)
- Miraheze MediaWiki vs Cloudflare static の決定
- Lean 4 axiom-free 形式化を辞書項目に統合する手順整備
- D-FUMT₈ 8 軸 vs Jainism saptabhaṅgī 7 軸 比較表 (T6 で識別)
- 各 entries の Lean 4 形式化を分担実装する手順

## chat-Claude thread からの Pattern 5 hallucination check 結果

- msg 2 「占術辞典 56 項目」 = 実数値 33/42/228 と不一致 (Pattern 5 候補)
- msg 2 「166 本の論文」 = 実数 167 (off-by-1 軽微)
- msg 4 「世界に一つの仕事」 「中立を旨とする百科事典には決して主張できない」 = siren-claim
- 全 5 message 共通: 既 Rei artifact (Paper 61, STEP 1217/1220, Paper 138, STEP 476-514) への言及なし — 既 trajectory 認識欠落

## 関連 memory

- [[feedback-world-uniqueness-claim-controllable]]
- [[feedback-no-rush-publication]]
- [[feedback-super-naming-siren-family-pattern]]
- [[feedback-chat-claude-hallucination-warning]]
- [[feedback-evaluation-symmetry-principle]]