💻 computer science

A taxonomy for controlling (in)consistency

この論文は、da Costa のシステムに着想を得た「制御された矛盾論理（LCC）」の階層体系を提案し、そのswap 構造やRN 行列を用いた意味論的・公理的定式化を通じて、懐疑論から独断論に至るまでの多様なパラコンシステントな立場を表現する枠組みを確立するとともに、5 値論理 LFI3 の開発を通じて多値 LFIs の発展を示唆しています。

原著者： Marcelo E. Coniglio, Rafael Ongaratto

公開日 2026-04-22

📖 1 分で読めます☕ さくっと読める

CC BY 4.0

原著者： Marcelo E. Coniglio, Rafael Ongaratto

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、**「矛盾をどう扱うか」**という哲学的な問いに、新しい「論理の工具箱」を提供するものです。

通常、私たちが使う論理（古典論理）では、「A である」と「A ではない」が同時に成り立つことはあり得ません（矛盾）。もし矛盾が起きれば、そのシステム全体が崩壊して、何でもあり（何でも真）になってしまいます。

しかし、現実世界（法廷、ニュース、人間関係）では、矛盾する情報が飛び交うことがよくあります。この論文の著者たちは、**「矛盾があってもシステムが崩壊しない」ような新しい論理（パラコンシステント論理）の「階層（ピラミッド）」**を作りました。

これを、**「情報の信頼性をチェックする『検査員』のチーム」**という物語で説明してみましょう。

1. 物語の舞台：情報の検査員たち

私たちが何かを「真実」と判断する時、必ず「基準（クリテリオン）」を使います。例えば、「犬が吠えたから、外に犬がいる」と判断します。
しかし、その「基準」自体が間違っているかもしれません（機械が吠え音を流していた、など）。さらに、「その基準の基準」も疑うことができるかもしれません。

この論文は、**「どこまで基準を疑っていいか」**を制御する、異なる性格の「検査員チーム（論理システム）」を提案しています。

🐕 例え話：「外に犬がいるか？」

2 人の人物（ジョンとジョセフ）が、「外に犬がいるか？」を議論しているとします。
彼らは「犬の鳴き声を聞く」という基準で判断します。

犬が吠えた → 「犬がいる（真）」
しかし、その鳴き声は機械の音かもしれない → 「基準が怪しい」
「その機械の音かどうかを判断する基準」も怪しい → 「さらに怪しい」

この「怪しさ（矛盾）」をどこまで許容するかで、論理のタイプが変わります。

2. 論理の 3 つのタイプ（哲学の立場）

この論文は、主に 3 つの異なる「態度（哲学）」を持つ論理を分類しています。

① 懐疑派（Skeptics）：「mbCciw」

性格： 「何でも疑う！」という極端な懐疑主義者。
行動： 「外に犬がいる」と言われたら、「本当か？」「その判断基準は信用できるか？」「その基準の基準は？」「その基準の基準の基準は？」と、無限に疑い続けます。
特徴： 基準の信頼性をどこまで疑ってもいいので、矛盾がどこにでも発生し得ます。
誰に合う？ 「絶対的な真実は見つからない」と考える哲学者や、常に「本当にそうか？」と問い続ける人。

② 独断派（Dogmatists）：「mbCci」

性格： 「基準は絶対！」という独断主義者。
行動： 「外に犬がいる」と言われたら、その判断基準自体は疑いません。基準が正しいかどうかは「神様が決めた」と考えます。
特徴： 「犬がいる（真）」か「犬はいない（偽）」か、あるいは「基準が矛盾してどっちつかず（矛盾）」かの 3 つの状態しか許しません。「基準の基準」まで疑うことは許されません。
誰に合う？ 「一度決めたルールは絶対守る」という、堅実で決断力のあるリーダーや、法廷の裁判官（証拠の信頼性は一旦信じる）など。

③ 制御された中間派（Controlled Consistency）：「Lk_n」

性格： 「状況に応じて疑う深さを変える」実用主義者。
行動： 「3 回までなら疑っていい」とか「2 回までなら疑っていい」というルールを作ります。
- 例：「外に犬がいるか？」（1 回目）→ 疑う。
- 「その判断基準は正しいか？」（2 回目）→ 疑う。
- 「その基準の基準は？」（3 回目）→ 「もう疑うのはやめよう。ここは信じることにする」。
特徴： 現実のゲームや裁判では、無限に疑うのは非現実的です。「どこまで疑うか」を事前に決めておくことで、効率的に結論を出せます。
誰に合う？ 現実的な問題解決者。ゲームのルール（嘘は場所についてだけ許される）など、文脈に合わせて柔軟に思考できる人。

3. 新しい発見：5 つの色のレンズ（LFI3）

これまでの論理は、主に「真」「偽」「矛盾（どっちつかず）」の 3 つの色（値）で世界を見ていました。しかし、著者たちはもっと細かく見られる**「5 つの色（値）」**を持つ新しい論理（LFI3）を開発しました。

3 色のレンズ： 「真」「偽」「矛盾」しか見えない。
5 色のレンズ： 「真」「偽」「矛盾」に加え、「真だが基準が怪しい」「偽だが基準が怪しい」といった**「微妙なニュアンス」**まで見分けられます。

これは、単に論理を複雑にするだけでなく、「矛盾の度合い」をより繊細に表現できることを意味します。例えば、LFI3 は、より古い論理（LFI1）を内包する「上位互換」のような存在で、より複雑な現実を扱えるようになります。

4. この研究のすごいところ（まとめ）

論理の「段取り」を作った：
これまでバラバラだった「矛盾を許す論理」を、**「どこまで矛盾を許すか（n）」と「否定をどう扱うか（k）」**という 2 つの軸で整理し、ピラミッド状の階層（ $L^k_n$ ）として体系化しました。
哲学と実用を繋いだ：
「懐疑主義」から「独断主義」まで、人間の思考のあらゆる態度を、論理のルールとして表現できるようにしました。これにより、AI や法廷、ゲームのルール設計など、**「文脈に合わせて論理の厳しさを調整する」**ことが可能になります。
新しい道具を作った：
「LFI3」という新しい 5 値論理や、RNmatrices（制限付き非決定性行列）という新しい数学的な道具を使って、これらの論理を厳密に証明しました。

結論：なぜこれが重要なのか？

私たちが毎日行う「判断」は、常に不完全な情報に基づいています。
「このニュースは本当か？」「この証拠は信用できるか？」
この論文は、**「矛盾を無視するのではなく、矛盾を『どこまで』許容するかを自分で設計できる」**という新しい思考の枠組みを提供しています。

まるで、**「状況に応じて、どれくらい疑い深い『検査員』を雇うかを選べる」**ような、柔軟で賢い論理の工具箱が完成したのです。

以下は、Marcelo E. Coniglio と Rafael Ongaratto による論文「A taxonomy for controlling (in)consistency（(不) 整合性の制御のための分類体系）」の技術的な詳細な要約です。

1. 問題提起 (Problem)

背景:
論理的不整合性論（Logics of Formal Inconsistency: LFIs）は、矛盾許容論理の一種であり、古典論理の爆発原理（矛盾から任意の命題が導かれること）を制限しつつ、整合性演算子 $\circ$ を導入して古典論理の性質を部分的に回復させる体系です。代表的な LFIs には、最小の LFIs である $mbC $や、より強い体系である$ mbCci $、$ mbCciw$ などがあります。また、da Costa の $C_n$ システムもパラコンシステント論理の階層として知られています。

課題:
既存の LFIs には、パラコンシステントなコミットメント（矛盾を受け入れる度合い）の「度合い」を体系的に制御する階層が不足していました。

極端なケース: $mbCciw$ では、整合性そのものが矛盾し得る（無限にメタレベルで疑問化が可能）ため、懐疑論的（skeptical）な立場に近いです。一方、$mbCci $では、整合性の整合性（$ \circ\circ\alpha$）が常に成立するため、メタレベルでの矛盾が許されず、より独断的（dogmatic）な立場になります。
中間の必要性: 現実の推論（法廷での証言の信頼性評価やゲーム内の嘘のルールなど）では、整合性を「何段階まで」疑うかを文脈に応じて制御する必要があります。例えば、「証言の信頼性」は疑えるが、「その信頼性の判断基準の信頼性」は疑わない、といった制御が必要です。
既存の限界: $C_n$ システムは整合性演算子が定義可能（dC-systems）であり、LFIs として再解釈は可能ですが、LFIs 固有の階層構造として、da Costa の $C_n$ に匹敵する「パラコンシステントなコミットメントの度合い」を制御する体系が欠けていました。また、3 値論理を超える多値 LFIs の体系的な展開も課題でした。

2. 方法論 (Methodology)

本論文は、以下のアプローチで新しい論理の階層 $L^k_n$ （Logics of Controlled Consistency: LCC）を構築し、その意味論を提示しました。

2 次元の階層構造の定義:
- 次元 $n$ （整合性の制御レベル）: 整合性演算子 $\circ$ の反復回数 $n$ まで、整合性そのものが矛盾し得ることを許容し、 $n+2$ 段階目以降では整合性が確定的になるように制御します。公理 $(cc_n): \circ^{n+2}\alpha$ を追加することで実現します。
- 次元 $k$ （否定の強さ）: 否定演算子 $\neg$ の振る舞いを強化します。 $k$ が上がるにつれ、二重否定除去や、整合性演算子と否定の相互作用に関する公理（例： $\neg\circ\neg\alpha \leftrightarrow \neg\circ\alpha$ ）が追加され、論理がより強くなります。
- これにより、 $L^k_n$ という 2 次元の論理族が定義されます。
意味論の構築:
- スワップ構造 (Swap Structures): 非決定性行列（Nmatrices）の一般化であるスワップ構造を用いて、基本的な LCC 論理（ $L^0_1, L^1_1$ など）の完全性と健全性を証明しました。スナップショット（snapshot）と呼ばれる $(n+1)$ 組の値を用いて、命題とその否定、整合性否定の状態を表現します。
- RNmatrices (Restricted Nmatrices): 階層全体を統一的に扱うため、制限付き非決定性行列（RNmatrices）を導入しました。これは、Nmatrix の値集合から特定の条件（整合性の制御条件など）を満たす評価（valuation）のみを許可する枠組みです。これにより、複雑な多値論理を直感的かつ統一的に記述できます。
- ツイスト構造 (Twist Structures) と Karnaugh マップ: 5 値論理 $LFI3$ の構築において、スワップ構造から決定論的な演算子を持つツイスト構造へ移行する際、Karnaugh マップの技法を用いて、真理値表からブール関数を導出する手法を適用しました。
公理化:
- 各論理体系に対して、ヒルベルト計算（公理と推論規則）を提示し、スワップ構造や RNmatrices に対する完全性を証明しました。

3. 主要な貢献と結果 (Key Contributions & Results)

A. 制御された整合性の論理族 $L^k_n$ の提案

階層の定義: $L^k_n$ は、 $n$ 段階までの整合性レベルで矛盾を許容し、 $n+2$ 段階目以降では整合性が確定的になるように制御するパラコンシステント論理の族です。
哲学的立場の表現:
- $L^0_0$ ($mbCci$): 独断論的（Dogmatism）。整合性の整合性は疑わない。
- $L^0_n$ ( $n \to \infty$ ): 懐疑論的（Skepticism, $mbCciw$）。整合性の整合性を無限に疑い得る。
- 中間の $L^k_n$ : 文脈に応じた実用的な懐疑論（Pragmatism）を表現可能。例えば、法廷証言の信頼性を 2 段階まで疑うが、その判断基準自体は疑わない、といったシナリオを論理的にモデル化できます。

B. 新しい 5 値論理 $LFI3$ の構築

既存の拡張: 既存の 3 値 LFIs（$LFI1 $や$ J3 $）を拡張し、5 値論理$ LFI3$ を提案しました。
技術的革新: スワップ構造（非決定性）からツイスト構造（決定性）への移行を、Karnaugh マップを用いたブール関数の導出によって実現しました。
関係性:
- $LFI3 $は$ LFI1$ の部分論理（sublogic）であり、かつ $LFI1$ に対して極大（maximal）です。
- $LFI3 $内では、新しい整合性演算子$ \circ^* $や$ \circ^#$ を定義することで、それぞれ古典論理（CPL）や $LFI1$ の推論を回復（recovery）させることが可能です。

C. 意味論的枠組みの統一

RNmatrices の適用: 階層全体を RNmatrices で記述することで、値の数が $n$ が増えるにつれて爆発的に増加する問題（ $L^1_2$ で 8 値、 $L^1_3$ で 13 値など）を、制約条件として統一的に扱えるようにしました。これにより、任意のレベル $n$ での整合性制御を効率的に記述・証明できます。
固定点定理: $L^{n+1}_n = L^m_n$ ( $m \ge n+2$ ) となることを示し、論理の階層が一定のレベルで安定することを証明しました。

D. 既存論理との関係の明確化

$mbCciw$, $mbCci$, $Cbr$, $Cie$ などの既知の LFIs が、この新しい階層 $L^k_n$ の特定の点（極端な場合や中間点）として位置づけられることを示しました。

4. 意義 (Significance)

パラコンシステント論理の体系化:
da Costa の $C_n$ システムの精神を受け継ぎつつ、LFIs の文脈において「パラコンシステントなコミットメントの度合い」を精密に制御する階層を初めて提供しました。これにより、懐疑論から独断論までの連続的な哲学的立場を論理的に表現できるようになりました。
実用的な推論への応用:
現実世界の推論（法廷、ゲーム、科学仮説の検証など）では、「どのレベルまで根拠を疑うか」が文脈依存です。 $L^k_n$ は、この「疑いの深さ（制御レベル）」をパラメータ化して論理体系に組み込むことを可能にし、実用的なパラコンシステント論理の基盤を強化しました。
多値論理の発展:
3 値論理に留まらず、5 値、8 値、13 値など、より多くの真理値を持つ LFIs を体系的に構築する手法（RNmatrices とツイスト構造の組み合わせ）を示しました。特に $LFI3 $は、$ LFI1$ の歴史的文脈を踏まえつつ、より豊かな表現力を持つ新しい論理として提案されました。
技術的貢献:
スワップ構造、RNmatrices、ツイスト構造、Karnaugh マップを組み合わせることで、複雑な非決定性論理から決定論的論理への移行や、その公理化を成功させました。これは、今後の LFIs や多値論理の研究において重要な技術的ツールとなります。

結論として、本論文は LFIs の理論的基盤を大幅に拡張し、パラコンシステント論理が単なる「矛盾を許容する論理」から、「文脈に応じて矛盾の扱い方を制御できる高度な推論システム」へと進化することを示唆しています。