同じ丘、同じ火、五つの異なる議論

ここに主張があります：その丘に火があるのは煙があるからです。この記事のキャスト全員がそれは良い議論だと同意しています。しかし、<em>なぜ</em>それがそうであるかについてはほとんど誰も同意していません。

アリストテレス主義者は、それが良い理由は形式が有効だからだと言うでしょう。「煙」と「火」の代わりに好きなものを入れても構造は成り立ちます。ニヤーヤの論理学者は、形式は本質的ではないと言います：それは煙が火によって浸透されているから良いのであり、したがって推論は単に真実を保持するのではなく、実際に知識を提供します。墨子は、この丘をどのモデルと照らし合わせているのか、そしてどの類似性が機能していると思っているのかを尋ねます。キヤースに訓練された法学者は、操作的な特徴を挙げるよう求め、それが失敗する場合に対してそれを擁護するよう求めます。そして、中観派の仏教徒はその質問を辞退し、「丘」と「火」を固定された関係にあるものとして扱うことによって何を前提としているのかを尋ねるかもしれません。

五つの伝統、一つの論争のない推論、五つの矛盾する説明がそれを機能させる。これはスキャンダルではない。それは議論の比較研究における最も有用な事実である — なぜなら、各説明は議論が実際に失敗する方法を示し、失敗のモードは異なるからである。ほとんどの悪い会議は、誰かが形式的な誤謬を犯したから悪いのではない。それらは、誰も保証、類推、または枠組みを確認しなかったから悪いのである。

この記事は、Roots of Reasoningシリーズの比較的な頂点です。5つの構造を並べて、勝者を決めるためではなく、それぞれが何を捉え、何を通過させるかを示します。

一目で見る五つの構造

インドの五人のメンバーの議論（ニヤーヤ）

ニヤーヤ形式には五つの要素（アヴァヤヴァ）があります：

• 1. プラティジュニャー（主張）：「丘の上に火があります。」
• 2. Hetu (理由): "煙があるからです。"
• 3. Udāharaṇa (例 / 一般的なルール): "煙のあるところには火がある — キッチンのように。"
• 4. ウパナヤ（適用）: "その丘にはその種の煙がある。"
• 5. ニガマナ（結論）： "したがって、丘の上に火があります。"

なぜ五つなのか？ それは、形式が生の対戦相手と観客のために構築されているからです。主張は争点を明示します。例は、両方の側がすでに認めているケースを提供し、共有された基盤が仮定されるのではなく、確立される方法を示します。適用は、その認められたケースを争われているケースに結びつけます。結論は、読んでいるのではなく、聞いている人々のために結果を再述します。追加の要素は対話的な作業であり、論理的な冗長性ではありません。

何を捉えるか：認識論的な問い。ニヤーヤは「それは妥当か？」と「それは知識をもたらすか？」を分けることはなく、vyāpti — 不変の伴随性 — は実際に世界で成り立たなければならない関係です。ダルマキールティはさらに進んで、その関係が因果関係または本質の同一性に基づくべきであり、偶然の相関関係ではないと要求しました。現代的な言葉で言えば：メカニズムを持ってきて、散布図ではなく。

通過させるもの: あまり多くはありませんが、あなたにコストがかかります。五人のメンバーは正式な目的には冗長であり、ディグナーガとダルマキールティ自身も三人で十分だと主張しました。それでも形式は標準のままでした。なぜなら、人々に議論することを教えることは、彼らに証明することを教えることとは異なるからです。

ギリシャの三項対立（アリストテレス）

アリストテレスの三段論法には三つあります：

• 1. 大前提：「すべての人間は死すべき運命にある。」
• 2. 小前提：「すべてのギリシャ人は人間である。」
• 3. 結論：「したがって、すべてのギリシャ人は死すべき者である。」

なぜ三つなのか？ 三つは、主要な項、従属項、そしてそれらを結びつける中間項という論理的関係を示すための最小限だからです。アリストテレスは可能性を図形と気分に分類し、有効なものを特定し、残りを無効であることを示しました。

何を捉えるか： 形、そして形だけ — それがまさに成果です。バーバラに任意の用語を代入しても、有効性は保たれます。これはこのページで他の伝統が築いたものではない唯一のものであり、そうでないふりをすることは比較に何の利益ももたらしません。

通過させるもの: 大量。命題接続詞（ストイック派はそれを追加しなければならなかった）、量化子の範囲（「すべての男は何人かの女性を愛する」には、三段論法では区別できない二つの解釈がある）、類推（認められているが、形式化されていない）、そして — 実践的な議論にとって最も重要なこと — 前提の認識論的地位。偽の前提からの有効な三段論法は依然として有効な三段論法であり、アリストテレスはそれを特徴と見なした。ニヤーヤはそれを告白と見なした。

中国の四つの技術（墨家）

墨家は三段論法を構築しませんでした。小選択が代わりに提供するのは、しばしば誤解される四つの名前付きの動きのレパートリーです — ここではテキストにある通りに:

• Pì (譬) — 類推: 論争中の事例を明確にするために別の事例を提示する。
• Móu (侔) — 対比: 構造的に類似した表現を並べて、いくつかの圧力を受け入れることで残りを受け入れることを促す。
• ユアン (援) — 引き寄せ: "あなたはそうなのに、どうして私だけはそうなれないのですか？" 相手の受け入れたケースを引用し、彼らに違いを見つけさせる。
• Tuī (推) — 推進: 相手がすでに受け入れている判断を、彼らが受け入れていない関連性のある類似のケースに拡張する。

なぜ形式ではなく技術なのか？それは墨家の問題が、名前が物に適合するかどうかだからです。それを解決するには、事例をモデル（法）と比較し、どの類似点が関連するものかについて議論する必要があります — 前提から導き出すのではありません。

何を捉えるか：このページの他の何も捉えない二つのこと。第一に、コミットメント：引き合いと押し出しは、相手がすでに認めたことから議論を展開する。これは、1990年代に形式的対話システムが再発明しなければならなかった仕組みである。第二に、文法の裏切り。墨子は「白い馬は馬であり、白い馬に乗ることは馬に乗ることだ」と主張し、「車は木である、したがって車に乗ることは木に乗ることだ」と否定する。文法は同じだが、結論は正反対である。彼らの結論は、テキスト自体に述べられているように、表現間の類似点はある程度まで正しいが、類推は行き過ぎると失敗するということである。

通過させるもの: チェイニング。ここには、推論を拡張された証明に積み重ねるための計算はありません。正式な作業にとっては実際のギャップですが、法律、政策、日常の議論においては、より適用可能なツールキットであると言えるでしょう。

イスラムの四要素類推（キヤース）

イスラム法理論は四つの要素を挙げています：

• 1. Aṣl (根本事例): 確立された事例で、既知の判決がある。
• 2. Farʿ（分岐ケース）: 新しいケースが必要です。
• 3. ʿIlla (作用因): 両者に共通する法的に関連する特徴 — 例えば、酩酊。
• 4. Ḥukm (裁定): 裁定は根から枝に移されました。なぜなら、彼らはʿillaを共有しているからです。

なぜ四つなのか？ それは、ʿillaを別々に名付けることが全体のポイントだからです。任意の二つの事例は無限に多くの方法で似ています；その議論は、どの類似がそのルールを持つかを言うことができ、そしてその選択を擁護できる場合にのみ機能します。

何を捉えるか：アナロジーの負担。法学者たちは、ʿillaがどのように発見されるか、明確かつ一般的に述べられているか、反例がそれを打ち負かすか、拡張が権威あるテキストと衝突するかについて議論しました。これは、単一のアナロジーのステップに対する4つの異なる攻撃面であり、ほとんどの組織の先例推論がその生涯で受けるよりも多くの精査を受けています。

通過させるもの: 権限を確立するのではなく、権限を拡張します。Qiyāsは受け入れられた先例の体系を前提としており、そこから外に向かって推論することしかできません。理論的な探求にとっては制約ですが、法律や政策にとっては、実際に決定がどのように蓄積されるかを正確に説明しています。

仏教の四隅の試験（Catuṣkoṭi）

四重の論証は、主にナーガールジュナ（紀元2世紀頃）に関連し、命題を四つの選択肢の下で検討します：

• 1. それです。
• 2. そうではありません。
• 3. それは存在し、存在しない。
• 4. それは存在するとも存在しないとも言えない。

なぜ四つのコーナーなのか？ ここで一般的な説明は通常間違っているため、注意が必要です。これは 単純に 一つの正しいセルを選ぶ四値真理値表ではありません。その特徴的なマディヤマカの使い方において、論者は四つのコーナーをすべて通過し、それぞれを拒否します — 質問を生み出す概念的前提が欠陥があることを示すためです。ターゲットは質問であり、答えではありません。 正確な論理的解釈は専門家の間で議論されています。パラコンシステント、前提失敗、純粋に弁証法的な解釈がすべて真剣に擁護されています。

<strong>何を捉えるか：</strong>壊れた枠組み。すべてのチームは、肯定的な意見と否定的な意見の両方が間違っていると感じる議論を経験してきた — 作るか買うか、中央集権化するか連邦化するか、出荷するか待つか。テトラレマの実践的な指示は、利用可能なすべての答えが満足できない場合、その原因は質問の立て方にあるということです。

通過させるもの: 建設。これは溶剤であり、足場ではありません。悪いフレーミングを解体することはできますが、良いものを構築することはできません。それには他の4つが必要です。

第六のこと：ジャイナ資格

このページの一つの伝統は、競合する構造ではなく、すべてに適用される修飾子です。ジャイナ教のアネカーンタヴァーダ — 多面的性 — は、複雑な現実が単一の無条件の立場からの包括的な記述に抵抗することを主張します。そのシャードヴァーダの規律は、これを発話のルールに変えます：条件付きの述語の七重のパターンであり、各形式はシャート、「ある点において」で始まります。

ある意味ではそうであり、ある意味ではそうではなく、ある意味では両方であり、ある意味では表現しきれないものであり、さらに最初の三つとの表現しきれなさの三つの組み合わせがあります。

これは相対主義として誤って分類されますが、実際にはその反対に近いものです：範囲を明示する義務です。部分的な説明を包括的なものとして提示してはいけません。どの点について言及しているのかを明確にしてください。

他の五つに適用すると、それは普遍的な前提条件です。ニヤーヤの主張、アリストテレスの前提、墨子の名称、法的なʿilla — それぞれは、どの点で主張されているかを知るまで評価できません。「移動は危険です」というのはまだ主張ではありません。スケジュール、コスト、セキュリティ、士気のどの点で危険ですか？その条件を強制すると、驚くべきことに、行き詰まった意見の多くは、二人が同じ事柄の異なる側面を描写していたことが明らかになります。

各伝統が見るもの

並んでいると、パターンは各構造が他の構造が曖昧にしていることについて正確であるということです。

伝統は完全ではなく、その不完全さは対称的ではありません。ギリシャの論理は、その一つのことにおいて比類がなく、他のすべてのことについてはほとんど沈黙しています。インドの論理は根拠と手続きに関して広範囲にわたり、冗長さを伴います。墨子の分析は類推とコミットメントを所有し、証明には決して達しません。キヤースは、誰もが生み出した前例の最も厳密な取り扱いであり、権威を生み出すことはできません。四重否定は、唯一、問いそのものを問い直すものです。

したがって、正直な比較の主張は、西洋が間違っていたということではありません。西洋が一部を正しく理解し、その部分だけを保持し、20世紀を通じて残りの部分を新しい名前の下で再構築したということです。

これはただの相対主義で、より良い脚注が付いているだけではないですか？

その異議には答える価値があります。なぜなら、それは合理的な懸念だからです。もしすべての伝統がそれぞれの基準を持っているのなら、「良い議論」とは結局のところあなたの文化がそう言っているものではないでしょうか？そして、五つの互換性のない基準を祝うことは、そのうちの一つが現代数学を生み出し、他のものはそうでなかったという事実を避ける方法ではないでしょうか？

いいえ、両方とも。伝統は一つの質問に対して競合する答えを提供しているのではなく、異なる質問に対する答えを提供しており、その質問は文化的に恣意的ではありません — それらは実際の議論の関節です。結論が導かれるか、前提が正当化されるか、類推が関連しているか、枠組みが妥当か、範囲が明示されているか：これらは議論が欠陥を持つことができる五つの本当に異なる方法であり、どの言語でもそれらは異なり続けます。

そして、その非対称性は現実のものであり、明言されるべきです。内容に依存しない特性としての形式的妥当性はギリシャの成果であり、他の場所では匹敵するものはありませんでした。そして、それは述語論理から、あなたがこれを読んでいる機械に至るまでのすべての基盤です。それを明確に認めることが、残りの比較を防御的ではなく信頼できるものにするのです。

従うべきではないのは、形式的妥当性が議論の<em>全て</em>であるということです。それは五つのチェックの一つであり、通常の組織生活においては、最も失敗しにくいチェックです。誰の製品戦略も、結果を肯定したから崩れたわけではありません。それは、前回のローンチとの類似が成り立たなかったり、誰もが受け入れた前提が決して検証されなかったり、質問が間違っていたから崩れたのです。

現代の議論がこれをすべて再構築した

これらが文化的な特異性ではなく、実際の関節であることを示す最も強力な証拠は、20世紀の論証理論がそれぞれを独立して再構築したことであり、ほとんど知らずに行われたということです。

• 論証スキーム（ウォルトン、リード、マカーニョ）は、専門家の意見からの論証、原因からの論証、類推からの論証など、繰り返し現れるパターンをカタログ化し、それぞれが今回成立するかどうかを検証するための批判的質問を持っています。これは、墨子とqiyāsのプロジェクトであり、参考文献があります。
• 抽象的議論フレームワーク（ダン、1995）は、攻撃関係を持つノードとして議論をモデル化し、どの集合が一緒に生き残るかを計算します。「どの議論が生き残るのか？」は、グラフ理論で表現されたジャダールの質問です。
• 無効可能および非単調論理は、新しい情報が到着したときに撤回しなければならない結論を扱います — これは、真実を保持しないが良い推論のための正式な場であり、ほとんどの推論が該当します。
• トゥールミンモデル（主張、根拠、保証、支持、反論、修飾語）は、保証を根拠から分離します — その役割構造に組み込まれたādāb al-baḥthの区別であり、修飾語はsyādvādaの「いくつかの点で」を lab coatを着た状態で表しています。
• プラグマ・ダイアレクティクスと対話ゲームは、批判的議論の段階、役割、負担、ルールを指定します — ニグラハ・スターナのリストとムナザラのプロトコルが再発見されました。

上の表の隣にあるリストを読んでみると、結論は避けがたいものです：議論の構造は大まかに固定されており、そのほとんどは1400年以前にマッピングされており、20世紀の貢献は発見ではなく形式化でした。

論理の根源シリーズ

この記事は、世界の論証伝統を探るシリーズを完結させます：