論証理論とは何か？

単一の議論を6つの部分に分解します。主張、データ、保証、裏付け、修飾、反論です。議論の標準的な解剖学です。

議論をルールに基づいた批判的議論として扱います。対立、開会、議論、結論の4つの段階を通じて、意見の相違を解決することを目的とします。ルールの違反としての誤謬です。

共感ではなく戦闘に基づく説得戦略です。対立する見解を公平に述べ、真正の共通点を見つけ、両側が受け入れることができる立場に進みます。勝ち負けの議論とは反対です。

約60の日常の推論パターン（専門家の意見、原因と結果、類推など）があり、それぞれがそれをテストするための批判的質問が付随しています。

議論を支持、反論、破壊の関係を持つ主張者と反対者の交換として再構成します。複雑な現実世界の推論に強力です。

議論をノードと「攻撃」関係を持つものとして扱います。形式的な意味論がどの議論セットが受け入れられるかを決定します。価値ベースのフレームワークは、優先順位を追加し、合理的な人々がなぜ意見を異にするのかをモデル化します。AI議論の正式な核です。

論証理論とは何か？

論証理論は、議論がどのように構築され、交換され、評価され、解決されるかを研究する学際的な分野です。形式論理学とは異なり、結論が前提から導かれるかだけを問うのではなく、実際の人間の間で起こる推論を研究します。哲学、言語学、心理学、法学、計算機科学がすべて貢献しています。

誰が論証理論を創設したか？

創設者は一人ではありません。古代ギリシャ、ソフィスト、プラトンの弁証法、アリストテレスの修辞学と三段論法が基礎です。キケロ、クインティリアヌス、中世の学者が発展させ、1958年にステファン・トゥルミンとハイム・ペレルマンによって現代の分野が復活しました。1995年にファン・ミン・ダンによって計算論証が与えられました。

論証理論の主な分野は何か？

四つの古典的な分野と一つの現代的な分野があります。修辞学（説得の芸術）、形式論理学（妥当な推論）、非形式論理学と批判的思考（日常の議論と誤謬の評価）、弁証法（対話による推論）、計算論証（形式的なフレームワークと議論マイニング）です。

修辞学、論理学、弁証法の違いは何か？

修辞学は聴衆を説得すること、論理学は聴衆に依存しない妥当な推論、弁証法は対話を通じて真実または最良の答えに到達することです。アリストテレスはこれら三つを異なる芸術として扱い、論証理論は実際の推論でどのように機能するかを研究します。

論証理論は議論マッピングとどう関係するか？

議論マッピングは、論証理論の視覚的、実用的応用です。理論はモデルを提供します。トゥルミンの議論の部分、フリーマンの支持と攻撃の関係、ダンの議論の生存についての説明です。議論マッピングはこれらのモデルを図に変換し、ツール seperti Argumentreeは図を実用的プロコンツリーに変換します。

論証理論はAIにどう使われるか？

ファン・ミン・ダンの1995年の抽象的議論フレームワークは、AIに形式的な方法で議論を表現し、評価することを可能にしました。議論マイニングと組み合わせると、AIシステムが意思決定、法的推論、交渉をサポートし、文書やトランスクリプトを構造化された議論に変換するツールを裏付けることができます。