Lý thuyết tranh luận nghiên cứu lý lẽ khi nó thực sự xảy ra giữa mọi người, không chỉ là logic trừu tượng. Nó bắt đầu với các nhà Sophists và được định hình bởi phương pháp biện chứng của Plato và Retoric của Aristotle (ethos, pathos, logos) và logic suy diễn, được phát triển thông qua Cicero và Quintilian và các học giả trung cổ, và được hồi sinh vào năm 1958 bởi mô hình cấu trúc tranh luận của Stephen Toulmin và Retoric mới của Chaim Perelman. Các nhánh chính của nó là retoric (nghệ thuật thuyết phục), logic hình thức (suy luận hợp lệ), logic không chính thức và tư duy phản biện (đánh giá các lập luận hàng ngày và sai lầm), và biện chứng (lý lẽ thông qua đối thoại). Các khuôn khổ hiện đại chính bao gồm mô hình Toulmin (đề xuất, dữ liệu, bảo đảm, hỗ trợ, hạn chế, phản bác), pragma-dialectics (van Eemeren và Grootendorst), các sơ đồ tranh luận của Douglas Walton, mô hình cấu trúc vĩ mô của James Freeman và các khuôn khổ tranh luận trừu tượng của Phan Minh Dung (1995), cho phép máy tính lý lẽ về các lập luận thắng. Lập bản đồ tranh luận là ứng dụng thực tế, trực quan của lý thuyết tranh luận; Argumentree biến nó thành cây tranh luận pro/con có cấu trúc với việc trích xuất AI, đánh giá đa chiều tổng hợp thành điểm đồng thuận và một đường dẫn kiểm toán đầy đủ.

Nghiên cứu cách xây dựng, trao đổi và phán quyết tranh luận — một lĩnh vực 2.400 năm tuổi chạy từ Hy Lạp cổ đại thẳng vào cách trí tuệ nhân tạo lý luận ngày nay. Lý thuyết tranh luận là nền tảng trí tuệ dưới ánh xạ tranh luận và ra quyết định có cấu trúc.
Cập nhật lần cuối: 2026-07-02
Lý thuyết tranh luận là nghiên cứu liên ngành về cách lý luận xảy ra giữa người với người — cách một đề xuất được hỗ trợ, tấn công và giải quyết. Nó dựa trên phép tu từ (thuyết phục), logic (suy diễn hợp lệ) và biện luận (lý luận thông qua đối thoại), và trong vài thập kỷ gần đây đã trở thành tính toán: các khung hình thức hiện cho phép phần mềm đại diện và đánh giá tranh luận. Kết quả thực tế là ánh xạ tranh luận — biến lý thuyết thành một cấu trúc pro/con mà một đội có thể sử dụng thực sự để quyết định.
Logic hình thức hỏi liệu một kết luận theo sau từ các tiền đề của nó. Lý thuyết tranh luận hỏi một câu hỏi rộng hơn, phức tạp hơn: làm thế nào người thực, với thông tin không đầy đủ và lợi ích cạnh tranh, lý luận cùng nhau để đạt được một kết luận có thể bảo vệ? Nó coi một tranh luận không phải là một chứng minh tĩnh mà là một động thái trong một trao đổi — một thứ có thể được hỗ trợ, đặt câu hỏi, tấn công và bảo vệ.
Lý thuyết tranh luận là một trong những lĩnh vực nghiên cứu liên tục lâu đời nhất. Một số điểm chuyển đổi:
Những người dạy retoric đầu tiên ở Hy Lạp cổ đại coi thuyết phục là một kỹ năng có thể học được — đặt nền móng sớm nhất, ngay cả khi Plato chỉ trích họ vì đặt giá trị chiến thắng lên trên sự thật.
Các cuộc đối thoại của Plato thể hiện phương pháp biện chứng — theo đuổi sự thật thông qua việc đặt câu hỏi có cấu trúc. Aristotle sau đó thành lập hai trụ cột: Retoric (thuyết phục thông qua ethos, pathos và logos) và Organon, giới thiệu syllogism và logic hình thức.
Các nhà retoric La Mã hệ thống hóa nghệ thuật tranh luận và nhấn mạnh chiều kích đạo đức của nó — thuyết phục trong dịch vụ của điều tốt, không chỉ là hiệu quả.
Các học giả trung cổ tinh chỉnh logic Aristotelian thông qua tranh luận — phương pháp 'vì và chống' chính thức là tổ tiên trực tiếp của cấu trúc pro/con.
Sự hồi sinh hiện đại. Mô hình cấu trúc tranh luận của Stephen Toulmin đã ánh xạ các bộ phận của một tranh luận thực, và Retoric mới của Chaim Perelman đã chuyển lĩnh vực từ chứng minh hình thức trở lại cách người dân thực sự thuyết phục.
Các khuôn khổ tranh luận trừu tượng của Phan Minh Dung đã cung cấp cho lĩnh vực một lõi tính toán chính thức — lý thuyết cho phép hệ thống AI lý lẽ về việc哪 các tranh luận thắng.
Lĩnh vực này thực sự là liên ngành — triết học, ngôn ngữ học, tâm lý học, luật và khoa học máy tính đều đóng góp. Các nhánh chính của nó:
Nghệ thuật thuyết phục. Ba lời kêu gọi của Aristotle — ethos (đáng tin cậy), pathos (cảm xúc) và logos (logic) — vẫn là từ vựng hoạt động cho cách các tranh luận di chuyển khán giả.
Liệu một kết luận có theo hợp lệ từ các tiền đề của nó: syllogism, logic đề xuất và logic tử. Cấu trúc bảo toàn sự thật, độc lập với nội dung.
Đánh giá các tranh luận thực, hàng ngày — xác định sai lầm, kiểm tra bằng chứng và đánh giá lý lẽ mà logic hình thức quá cứng để nắm bắt.
Lý lẽ thông qua đối thoại và quan điểm đối lập, từ phương pháp Socratic đến pragma-dialectics hiện đại. Sự thật (hoặc câu trả lời tốt nhất) xuất hiện từ sự bất đồng có cấu trúc.
Khuôn khổ chính thức và khai thác tranh luận cho phép máy tính đại diện, trích xuất và đánh giá tranh luận — nhánh kết nối lĩnh vực với AI. Công việc gần đây thậm chí nhúng trực tiếp đồ thị tranh luận phân cấp vào các mô hình ngôn ngữ lớn.
Một số mô hình chính thức hóa cách các tranh luận được cấu trúc và đánh giá. Những mô hình đáng biết:
Chia một tranh luận đơn thành sáu bộ phận — đề xuất, dữ liệu, bảo đảm, hỗ trợ, hạn chế và phản bác. Giải phẫu chuẩn của một tranh luận.
Xử lý tranh luận như một cuộc thảo luận quan trọng có quy tắc, di chuyển thông qua bốn giai đoạn — đối đầu, mở, tranh luận và kết luận — nhằm giải quyết sự khác biệt quan điểm, với sai lầm được đặt tên như vi phạm quy tắc.
Một chiến lược thuyết phục dựa trên sự đồng cảm chứ không phải là chiến đấu: tuyên bố quan điểm đối lập một cách công bằng trước, tìm kiếm điểm chung thực sự và di chuyển đến một vị trí cả hai bên có thể chấp nhận. Ngược lại với cuộc tranh luận thắng-thua.
Khoảng 60 mẫu lý lẽ hàng ngày (ý kiến chuyên gia, nguyên nhân đến hiệu ứng, tương tự…), mỗi mẫu được ghép với các câu hỏi quan trọng để kiểm tra xem nó có đứng vững hay không.
Đổi mới tranh luận thành một trao đổi giữa người đề xuất và người phản đối, với các đề xuất được liên kết bởi hỗ trợ, phản bác và làm suy yếu — mạnh mẽ trong lý lẽ phức tạp, thực tế.
Tranh luận như các nút với quan hệ 'tấn công'; ngữ nghĩa chính thức quyết định các tập hợp nào được chấp nhận. Khuôn khổ dựa trên giá trị thêm ưu tiên, mô hình hóa lý do tại sao những người hợp lý không đồng ý. Lõi chính thức của tranh luận AI.
Để so sánh song song các khung này và cách chúng dịch thành một cây pro/con trực quan, xem ánh xạ tranh luận.
Lý thuyết tranh luận cũng phân loại thể loại mà các tranh luận xuất hiện — một bản đồ hữu ích về nơi lý luận có cấu trúc sống. Hai trục (viết so với nói, độc thoại so với đối thoại) cho bốn họ, cộng với một họ số đang phát triển:
Bài viết thuyết phục, bài xã luận và bài viết ý kiến, bài đăng blog tranh luận, bài viết khoa học, bản cáo trạng pháp lý.
Chuỗi bình luận, thảo luận diễn đàn, cuộc tranh luận qua email, tranh luận trực tuyến.
Bài phát biểu chính trị, lời biện hộ tại tòa án, trình bày thuyết phục.
Tranh luận chính thức, thảo luận nhóm, đàm phán, cuộc họp nhóm.
Podcast, webinar, chuỗi thảo luận trên mạng xã hội, bình luận video, phim tài liệu.
Bất cứ nơi nào các tranh luận được đưa ra, cấu trúc cơ bản — đề xuất, hỗ trợ và phản đối — có thể được trích xuất và ánh xạ.
Argumentree biến hàng thế kỷ lý thuyết thành một công cụ hoạt động. Cây tranh luận pro/con của nó là một tổng hợp thực tế của các khung trên, được xây dựng trên ánh xạ tranh luận:
Mỗi tranh luận là một đề xuất được liên kết với các lý do hỗ trợ hoặc phản đối nó — cấu trúc hỗ trợ/phản bác/làm suy yếu của Freeman, được hiển thị.
Tham gia đánh giá tranh luận; đánh giá tích lũy lên cây thành điểm hỗ trợ ròng — câu hỏi của Dung về 'tranh luận nào sống sót' được trả lời bởi nhóm, không phải là một logician.
Cấu trúc tranh luận một cách rõ ràng làm nổi bật các liên kết yếu, giả định ẩn và sai lầm — truyền thống logic không hình thức và sơ đồ tranh luận, được xây dựng vào định dạng.
Trích xuất AI biến bản ghi và tài liệu thành tranh luận có cấu trúc — nhánh khai thác tranh luận của lĩnh vực, được áp dụng cho các cuộc họp thực.
Lý thuyết tranh luận là nền tảng của ánh xạ tranh luận, ra quyết định có cấu trúc và ra quyết định hợp tác. Đó là lý thuyết; quyết định tốt là thực hành.
Lý thuyết tranh luận là nghiên cứu liên ngành về cách các tranh luận được xây dựng, trao đổi, đánh giá và giải quyết. Không giống như logic hình thức thuần túy, chỉ hỏi liệu một kết luận có theo từ các tiền đề của nó, lý thuyết tranh luận nghiên cứu lý lẽ như nó thực sự xảy ra giữa người với người — cách các đề xuất được hỗ trợ, tấn công và bảo vệ. Nó dựa trên triết học, ngôn ngữ học, tâm lý học, luật và khoa học máy tính.
Nó không có một người sáng lập duy nhất. Nguồn gốc của nó nằm ở Hy Lạp cổ đại — các nhà Sophists như những người dạy retoric đầu tiên, phương pháp biện chứng của Plato và đặc biệt là Aristotle, Retoric (ethos, pathos, logos) và logic syllogistic là nền tảng. Cicero, Quintilian và các học giả trung cổ phát triển nó thêm. Lĩnh vực hiện đại được hồi sinh vào năm 1958 bởi Stephen Toulmin và Chaim Perelman, và được đưa vào dạng tính toán bởi Phan Minh Dung vào năm 1995.
Bốn nhánh cổ điển cộng với một nhánh hiện đại: retoric (nghệ thuật thuyết phục, thông qua ethos, pathos và logos); logic hình thức (sự suy luận hợp lệ); logic không hình thức và tư duy phản biện (đánh giá các tranh luận hàng ngày và sai lầm); biện chứng (lý lẽ thông qua đối thoại và quan điểm đối lập); và tranh luận tính toán (khuôn khổ chính thức và khai thác tranh luận cho phép máy tính đại diện và đánh giá tranh luận).
Rhetoric là về thuyết phục khán giả; logic là về tính hợp lệ của suy luận bất kể khán giả; biện chứng là về việc đạt được sự thật hoặc câu trả lời tốt nhất thông qua đối thoại có cấu trúc giữa các quan điểm đối lập. Aristotle đối xử với cả ba như các nghệ thuật riêng biệt, và lý thuyết tranh luận nghiên cứu cách chúng hoạt động cùng nhau trong lý lẽ thực tế.
Bản đồ tranh luận là ứng dụng thực tế, trực quan của lý thuyết tranh luận. Lý thuyết cung cấp các mô hình — các bộ phận của một tranh luận của Toulmin, quan hệ hỗ trợ và tấn công của Freeman, tài khoản của Dung về việc哪 các tranh luận thắng. Bản đồ tranh luận biến những mô hình thành một sơ đồ, và các công cụ như Argumentree biến sơ đồ thành một cây tranh luận có cấu trúc pro/con với đánh giá và trích xuất AI.
Khuôn khổ tranh luận trừu tượng của Phan Minh Dung vào năm 1995 đã cung cấp cho AI một cách chính thức để đại diện cho các tranh luận như các nút với quan hệ 'tấn công' và để tính toán các tập hợp tranh luận có thể được chấp nhận một cách hợp lý. Kết hợp với khai thác tranh luận — trích xuất đề xuất và quan hệ từ văn bản — điều này cho phép hệ thống AI hỗ trợ ra quyết định, lý lẽ pháp lý và đàm phán, và là nền tảng cho các công cụ biến tài liệu và bản ghi thành tranh luận có cấu trúc.
Aristotle (c. 350 BCE). Retoric; và Organon (Prior Analytics).
Các tác phẩm sáng lập: ba lời kêu gọi (ethos, pathos, logos) và logic syllogistic.
Toulmin, S. E. (1958). Các sử dụng của tranh luận. Cambridge University Press.
Mô hình đề xuất-dữ liệu-bảo đảm-hỗ trợ-hạn chế-phản bác; sự hồi sinh hiện đại của lĩnh vực.
View source →Perelman, C., & Olbrechts-Tyteca, L. (1958). Retoric mới: Một luận về tranh luận. University of Notre Dame Press.
Tập trung lại tranh luận vào thuyết phục thế giới thực chứ không phải là chứng minh hình thức.
van Eemeren, F. H., & Grootendorst, R. (2004). Một lý thuyết hệ thống về tranh luận: Phương pháp pragma-dialectics. Cambridge University Press.
Tranh luận như một cuộc thảo luận quan trọng có quy tắc; sai lầm như vi phạm quy tắc.
Walton, D., Reed, C., & Macagno, F. (2008). Sơ đồ tranh luận. Cambridge University Press.
Về 60 sơ đồ tranh luận, mỗi sơ đồ được ghép với các câu hỏi quan trọng để kiểm tra nó.
View source →Freeman, J. B. (1991). Dialectics và cấu trúc vĩ mô của tranh luận: Một lý thuyết về cấu trúc tranh luận. Foris / De Gruyter.
Mô hình Freeman - hỗ trợ, phản bác và làm suy yếu trong một trao đổi giữa người đề xuất và người phản đối.
View source →Dung, P. M. (1995). Về tính chấp nhận của tranh luận và vai trò cơ bản của nó trong lý lẽ không tăng, lập trình logic và trò chơi n-người. Trí tuệ nhân tạo, 77(2), 321-357.
Bài báo sáng lập của khuôn khổ tranh luận trừu tượng.
View source →Bench-Capon, T. J. M. (2003). Thuyết phục trong tranh luận thực tế sử dụng khuôn khổ tranh luận dựa trên giá trị. Tạp chí Logic và Máy tính, 13(3), 429-448.
Thêm giá trị và ưu tiên vào khuôn khổ tranh luận trừu tượng.
View source →Peldszus, A., & Stede, M. (2013). Từ sơ đồ tranh luận đến khai thác tranh luận trong văn bản: Một khảo sát. Tạp chí Thông tin và Trí tuệ Nhân tạo, 7(1), 1-31.
Làm thế nào lý thuyết sơ đồ tranh luận trở thành khai thác tranh luận tự động.
View source →Young, R. E., Becker, A. L., & Pike, K. L. (1970). Retoric: Khám phá và thay đổi. Harcourt, Brace & World.
Giới thiệu tranh luận Rogerian - thuyết phục thông qua sự đồng cảm và điểm chung, sau nhà tâm lý học Carl Rogers.
Argumentree đưa 2.400 năm lý thuyết tranh luận vào hoạt động — như một cây tranh luận pro/con có cấu trúc mà nhóm của bạn có thể xây dựng, đánh giá và giữ. Biến lý luận thành quyết định tốt hơn.
Bắt Đầu Miễn Phí