논증이론이란 무엇인가? 논증이론은 논증이 실제로 사람들 사이에서 어떻게 구성되고, 교환되고, 평가되고, 해결되는지에 대한 학際적인 연구입니다. 그것은 修辭, 형식적 및 비형식적 논리, 변증법 및 — 최근에는 — 인공지능에서 사용되는 계산적 논증을 포함합니다.

논증이론은 추상적인 논리만이 아니라 실제로 사람들 사이에서 어떻게 논증이 진행되는지에 대해 연구합니다. 그것은 소피스트에서 시작되었고, 플라톤의 변증법과 아리스토텔레스의 修辭(에토스, 파토스, 로고스) 및 실론 논리학을 통해 발전되었으며, 시세로와 퀸틸리아누스 및 중세 학자들을 통해 발전되었으며, 1958년에 스티븐 툴민의 논증 구조 모델과 하임 페르엘만의 새로운 修辭를 통해 부흥되었습니다. 주요 분기는 修辭(説得의 기술), 형식적 논리(유효한 추론), 비형식적 논리 및 비판적 사고(일상적인 논증과 오류를 평가하는 것) 및 변증법(대화를 통해 추론하는 것)입니다. 주요 현대적 프레임워크에는 툴민 모델, 프라그마-변증법, 더글러스 월턴의 논증 스키마, 제임스 프리먼의 논증 매크로 구조 모델 및 판 민 던의 추상적 논증 프레임워크(1995)가 있습니다.

정의 가이드

논증이론이란 무엇인가?

논증이 실제로 어떻게 구성되고, 교환되고, 판단되는지에 대한 연구 — 2,400년 전의 분야로, 고대 그리스에서 인공지능이 오늘날 어떻게 추론하는지까지 이어집니다. 논증이론은 논증 매핑 및 구조화된 의사결정의 지적 기초입니다.

마지막으로 업데이트됨: 2026-07-02

TL;DR

논증이론은 사람들 사이에서 어떻게 추론이 진행되는지에 대한 학際적인 연구입니다. 그것은 修辭(説得), 논리(유효한 추론) 및 변증법(대화를 통해 추론하는 것)을 포함하며, 최근에는 계산적으로 발전했습니다. 형식적인 프레임워크가 소프트웨어로 논증을 표현하고 평가할 수 있게 되었습니다. 실제적인 결과는 논증 매핑입니다 — 이론을 프로/컨 트리 구조로 변환하여 팀이 실제로 사용할 수 있습니다.

논증이론이 연구하는 것

형식 논리는 어떤 결론이 그 전제에서 따라오는지 묻는다. 논증 이론은 더 넓고 복잡한 질문을 묻는다: 불완전한 정보와 상반되는 관심을 가진 실제 사람들은 어떻게 함께 방어할 수 있는 결론으로 논리적으로 결론을 내리는가? 그것은 논증을 정적인 증명으로 다루지 않고 교환의 한 수로 다룬다 — 지지될 수 있고, 질문될 수 있고, 공격될 수 있고, 방어될 수 있는 것이다.

  • 주장들이 증거와 추론에 의해 어떻게 뒷받침되는지
  • 논증들이 서로 어떻게 공격, 반박, 그리고 약화시키는지
  • 강한 논증과 약한 또는 오류가 있는 논증을 어떻게 구별하는지
  • 의견 불일치가 구조화된 대화 통해 어떻게 해결될 수 있는지

소피스트부터 인공지능까지: 짧은 역사

논증이론은 가장 오래 지속되는 연구 분야 중 하나입니다. 몇 가지 중요한 전환점이 있습니다:

5th c. BCE

소피스트들

고대 그리스에서 처음으로 수사학을 가르친 선생님들은 설득을 가르칠 수 있는 기술로 여겼고, 플라톤이 그들을 진리보다 승리를 더 중요하게 여긴다고 비판했음에도 불구하고, 가장 초기의 기초를 다짐했다.

4th c. BCE

플라톤과 아리스토텔레스

플라톤의 대화는 진리를 추구하는 방식으로 구조화된 질문을 모델로 한다. 아리스토텔레스는 수사학(Rhetoric, 설득을 위한 ethos, pathos, logos)을 통해 두 가지 기둥을 세웠고, 삼단논법과 형식 논리를 도입한 오르가논(Organon)을 통해 형식 논리를 정립했다.

1st c. BCE-CE

시세로와 퀸틸리아누스

로마의 수사학자들은 논증의 기술을 체계화하고, 그들의 윤리적 차원을 강조했다. 즉, 단순히 효과적인 것뿐만 아니라 선한 것을 위한 설득이다.

12th-13th c.

아벨라르와 아퀴나스

중세 스콜라주의자들은 아리스토텔레스의 논리를 정식적인 토론을 통해 정교화했다. 이는 프로와 콘의 구조의 직접적인 선구자이다.

1958

툴민과 페르엘만

현대적인 부흥. 스티븐 툴민의 '논증의 사용'은 실제 논증의 부분을 매핑했고, 하임 페르엘만의 '새로운 수사학'은 형식적인 증명에서 실제로 사람들을 설득하는 방식으로 분야를 전환했다.

1995

둥과 컴퓨팅

판 민 둡의 추상적인 논증 프레임워크는 이 분야에 형식적인 컴퓨팅 핵심을 제공했다. 이는 인공지능 시스템이 어떤 논증이 공격에 의해 살아남는지를 이유로 하는 이론이다.

논증이론의 분기

이 분야는真正로 학際적입니다 — 철학, 언어학, 심리학, 법학 및 컴퓨터 과학이 모두 기여합니다. 주요 분기는:

수사학

설득의 기술. 아리스토텔레스의 세 가지 어필(ethos, pathos, logos)은 여전히 청중을 설득하는 방식에 대한 작업 어휘이다.

형식 논리

어떤 결론이 그 전제에서 올바르게 따르는지: 삼단논법, 명제 논리, 예지 논리. 내용과 상관없이 진리를 보존하는 구조.

비형식 논리와 비판적 사고

실제로 사용되는 논증을 평가하는 것: 오류를 식별하고, 증거를 테스트하고, 형식 논리가 포착할 수 없는 추론을 판단한다.

다이얼렉틱

대화와 반대되는 견해를 통해 추론하는 것: 소크라테스 방법에서 현대적인 프라그마 다이얼렉틱까지. 진리(또는 가장 좋은答案)는 구조화된 불일치에서 나타난다.

컴퓨팅 논증

형식적인 프레임워크와 논증 마이닝이 기계가 논증을 표현하고, 추출하고, 평가할 수 있게 한다. 이는 인공지능과 연결된 분야이다. 최근의 연구는 계층적인 논증 그래프를 직접적으로 큰 언어 모델에 통합한다.

주요 프레임워크

몇 가지 모델이 논증이 어떻게 구조화되고 평가되는지에 대해 형식화합니다. 알아야 할 것들:

툴민 모델

스티븐 툴민, 1958

단일한 논증을 여섯 부분으로 나눈다 - 주장, 데이터, 보증, 뒷받침, 자격, 반박. 하나의 논증의 표준적인 해부학이다.

프라그마 다이얼렉틱

반 에메렌과 그로텐도르스트

논증을 규칙에 의한 비판적인 토론으로 취급한다. 이는 의견의 차이를 해결하기 위한 네 가지 단계 - 대면, 개방, 논증, 결론 - 를 통해 진행된다. 명명된 오류는 규칙의 위반이다.

로저리안 접근법

칼 로저스 이후

공감을 통해 설득하는 전략이다. 먼저 반대 의견을 공정하게 말하고, 진정한 공통점을 찾고, 양측이 모두 수용할 수 있는 위치로 이동한다. 승리-패배 논쟁의 반대이다.

월튼의 논증 스키마

더글러스 월튼

일상적인 추론의 약 60가지 반복되는 패턴(전문가 의견, 원인-결과, 유사성 등)과 각 패턴을 테스트하는 비판적인 질문이 있다.

프리먼 모델

제임스 프리먼, 1991

논증을 지지, 반박, 그리고 약화시키는 프로포넌트-오포넌트 교환으로 재구성한다. 복잡한 실제 세계의 추론에 강하다.

추상적이고 가치 기반의 논증

둥, 1995; 벤치-카폰, 2003

노드와 '공격' 관계로 논증을 표현한다. 형식적인 의미론은 어떤 집합이 수용 가능한지 결정한다. 가치 기반 프레임워크는 우선순위를 추가하여, 합리적인 사람들이 왜 의견을 달리하는지 모델링한다. 인공지능 논증의 형식적인 핵심이다.

이 프레임워크들을 비교하고 어떻게 시각적인 프로/컨 트리로 변환하는지에 대해 보려면 논증 매핑을 참조하십시오.

논증이 나타나는 곳: 논증 장르

논증이론은 또한 논증이 나타나는 장르를 분류합니다 — 구조화된 추론이 sống하는 곳의 유용한 지도입니다. 두 개의 축(서면 vs 구두, 독백 vs 대화)이 네 가지 가족을 제공하며, 디지털 다섯 번째가 증가하고 있습니다:

서면 독백

설득적인 에세이, 사설과 의견 기사, 논증적인 블로그 게시물, 과학적 기사, 법적 서류.

서면 대화

댓글 스레드, 포럼 토론, 이메일 논쟁, 온라인 논쟁.

구어 독백

정치 연설, 법정 변론, 설득적인 프레젠테이션.

구어 대화

형식적인 토론, 패널 토론, 협상, 팀 미팅.

디지털 및 멀티미디어

팟캐스트, 웹inář, 소셜 미디어 스레드, 비디오 코멘터리, 다큐멘터리.

논증이 어디서든지 만들어질 수 있습니다. 동일한 기본적인 구조 — 주장, 지원, 반대 — 를 추출하고 매핑할 수 있습니다.

어그멘트리가 논증이론을 어떻게 적용하는지

어그멘트리는 몇 세기 동안의 이론을 실제 도구로 변환합니다. 프로/컨 논증 트리는 위의 프레임워크의 실제적인 합성입니다. 논증 매핑을 기반으로 합니다:

주장, 지지, 공격

모든 논증은 주장과 그것을 지지하거나 반대하는 이유로 연결된다 - 프리먼의 지지/반박/약화 구조를 시각화한다.

어느 쪽이 지속되는지

참가자들이 논증을 평가하고, 평가가 트리 위로 집계되어 순수 지지 점수를 생성한다 - 둡의 '어느 논증이 살아남는지' 질문에 대한 답이다. 논리학자가 아니라 그룹에 의해 결정된다.

추론 테스트

논증을 명시적으로 구조화하면 약한 링크, 숨겨진 가정, 오류가 표면화된다 - 비형식 논리와 논증 스키마 전통이 형식에 통합된다.

텍스트에서 구조로

인공지능 추출은 전사와 문서를 구조화된 논증으로 변환한다 - 이 분야의 논증 마이닝 지점을 실제 미팅에 적용한다.

논증이론은 논증 매핑, 구조화된 의사결정협력적인 의사결정의 기초입니다. 그것은 이론입니다. 잘 결정하는 것은 실제입니다.

자주 묻는 질문

논증 이론이란 무엇인가?

논증 이론은 논증이 어떻게 구성되고, 교환되고, 평가되고, 해결되는지에 대한 학제간 연구이다. 순수한 형식 논리와 달리, 논증 이론은 사람들 사이에서 실제로 발생하는 추론을 연구한다 - 주장이 어떻게 지지되고, 공격되고, 방어되는지. 이는 철학, 언어학, 심리학, 법학, 컴퓨터 과학을 포함한다.

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

創設者は一人ではありません。古代ギリシャ、ソフィストが最初の修辞学の教師であり、プラトンの対話がダイアレクティックをモデル化し、アリストテレスの『修辞学』と三段論法が基礎となっている。キケロ、クインティリアヌス、そして中世の学者들이それを発展させた。現代的な分野は1958年にスティ븐 툴민과 하임 페르엘만에 의해 부흥되었고, 1995年に판 민 둡에 의해 컴퓨팅 형태를 얻었다.

論証理論の主要な分野は何ですか?

古典的な四つの分野と現代的な 하나: 修辞学(説得の技術, エトス, パトス, ロゴスを通じて); 形式論理(推論の妥当性); 非形式論理と批判的思考(実際の日常的な論証の評価と誤りの特定); ダイアレクティック(対話と反対的な見解を通じた推論); コンピューティング論証(形式的なフレームワークと論証マイニングが機械が論証を表現し評価できるようにする).

修辞学, 論理学, ダイアレクティックの違いは何ですか?

修辞学は聴衆を説得することについてであり, 論理学は聴衆に無関係に推論の妥当性についてであり, ダイアレクティックは構造化された対話を通じて真実または最良の答えに到達することについてである。アリストテレスはこれら三つを異なる芸術として扱い, 論証理論は実際の推論においてどのように協力하는かを研究する.

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

論証マッピングは論証理論の視覚的な実践的な応用である。理論はモデルを提供する - 툴민の論証の部分, 프리먼의サポートとアタック関係, 둡의どの論証が生き残るかについての説明. 論証マッピングはこれらのモデルを図に変え, 툴ズ는図を実際のプロ/コン 트리と評価, 인공지능 추출로 변환한다.

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

판 민 둡의 1995年の抽象的な論証フレームワークは, AIに形式的な方法で論証をノードとアタック関係として表現し, どのセットの論証が合理的に受け入れられるかを計算する方法を与えた. 論証マイニング, 즉テキストからのクレームと関係の抽出と組み合わせて, AIシステムが意思決定, 法的推論, 交渉をサポートし, ドキュメントとトランスクリプトを構造化された論証に変換するツールの基盤となる.

참조 및 추가阅读

アリストテレス (c. 350 BCE). 修辞学; およびオルガノン (Prior Analytics).

創設的な作品: 三つのアピール (エトス, パトス, ロゴス) と三段論法.

トゥルミン, S. E. (1958). 論証の使用. ケンブリッジ大学出版.

主張-データ-保証-裏付け-資格-反論モデル; 現代的な分野の復興.

View source →

ペレルマン, C., & オルブレヒツ=タイテカ, L. (1958). 新しい修辞学: 論証のトラクト. ノートルダム大学出版.

形式的な証明ではなく, 実際の世界での説得に焦点を当てた論証を再定義した.

ファン エメレン, F. H., & グロテンドルスト, R. (2004). 論証の体系的な理論: プラグマ・ダイアレクティック・アプローチ. ケンブリッジ大学出版.

論証を規則に基づいた批判的な議論として扱い, 誤りを規則の違反として定義する.

ウォルトン, D., リード, C., & マカグノ, F. (2008). 論証スキーマ. ケンブリッジ大学出版.

約60の論証スキーマとそれぞれのテストに使用する批判的な質問.

View source →

フリーマン, J. B. (1991). 論証のマクロ構造とダイアレクティック: 論証構造の理論. フォリス / ディグライター.

フリーマンモデル - サポート, 反論, 약화関係をプロポーネント-オポーネントの交換として再構成する.

View source →

둥, P. M. (1995). 論証の受け入れと非単調的推論, 論理プログラミング, n人ゲームにおけるその基礎的な役割. 人工知能, 77(2), 321-357.

抽象的な論証フレームワークの創設的な論文.

View source →

ベンチ=カポン, T. J. M. (2003). 実践的な論証における説得:価値に基づく論証フレームワーク. 論理と計算のジャーナル, 13(3), 429-448.

抽象的な論証に価値と優先順位を追加する.

View source →

ペルツシュ, A., & ステーデ, M. (2013). 論証図からテキストへの論証マイニング: サーベイ. 認知インフォマティクスと自然なインテリジェンスの国際ジャーナル, 7(1), 1-31.

論証図理論が自動化された論証マイニングになった方法.

View source →

ヤング, R. E., ベッカー, A. L., & パイク, K. L. (1970). 修辞学: 発見と変化. ハーコート, ブレイス & ワールド.

ロジャー理論を導入した - 共感と共通点を通じた説得, 心理学者カール ロジャースに従って.

이론에서 결정을 내리는 것까지

어그멘트리는 2,400년의 논증이론을 실제로 적용합니다 — 팀이 실제로 사용할 수 있는 구조화된 프로/컨 트리입니다. 추론을 더好的 결정을 내리는 것으로 변환합니다.

무료 시작