Về tam đoạn luận biện chứng trong logic học Aristotle

Bài viết nghiên cứu về tam đoạn luận biện chứng như tam đoạn luận dựa trên kí hiệu, cấu trúc tam đoạn luận, tính chất tam đoạn luận. Mời các bạn cùng tham khảo bài viết để nắm chi tiết nội dung nghiên cứu.

Về tam đoạn luận biện chứng logic học Aristotle Ngun Gia Th¬(*) T rong häc thut logic häc cđa mình, Aristotle phân biệt loại suy luận sau: suy luận theo tam đoạn luận (hay gọi tam đoạn luận phân tích), suy luận theo tam đoạn luận tình thái suy luận theo tam đoạn luận biện chứng() Tam đoạn luận tình thái đợc Aristotle trình bày chủ yếu Phân tích học thứ Phân tích học thứ hai (Prior Analytics, Posterior Analytics), tam đoạn luận biện chứng đợc ông trình bày tác phẩm Nghệ thuËt tranh luËn” (Topics) vµ “Tu tõ häc” (Rhetorike) vµ phần Phân tích học thứ Nếu Nghệ thuật tranh luận, Aristotle phân biệt hai loại suy luận biện chứng: qui nạp tam đoạn luận, Tu từ học, với ví dụ Chữ “biƯn chøng” triÕt häc Plato vµ Aristotle cã nhiỊu nghĩa khác Biện chứng đợc hiểu nh đối thoại, tranh luận để tìm chân lý, biện chứng đợc hiểu nh tính xác suất chân thực, tính gần thật kÕt ln logic NghÜa bµi nµy cđa “biƯn chøng” đối lập với xác thực, tính xác suất chân thực tính gần thật kết ln c¸c suy ln logic NÕu hiĨu nh− vËy qui nạp Aristotle đợc coi nh suy luận biện chứng (NGT) () gọi qui nạp tu từ đà thủ pháp thuyết phục nghƯ tht hïng biƯn cã tªn gäi theo phiªn âm tiếng Hy Lạp entimema (àà) có nghĩa tam đoạn luận tu từ, tam(*)đoạn luận biƯn chøng (1, 1356a35-b5(**)) Entimema nh− lµ nghƯ tht thut phục ngời nghe nghệ thuật hùng biện đợc Aristotle nói đến nhiều Tu từ học Còn II Phân tích học thứ nhất, entimema đợc phân tích chơng 27, đợc định nghĩa nh tam đoạn luận dựa xác suất tam đoạn luận dựa kí hiệu: Xác suất kí hiệu Xác suất tiền đề giống thật, mµ ng−êi ta biÕt vỊ nã r»ng nã xt hiƯn, tồn không tồn tại, xác suất Ví dụ, ngời hay suy bì tị nạnh - căm thù, ngời yêu - yêu Kí hiệu tiền đề chứng minh, cần thiết giống thật, mà diện vËt tån t¹i hay sù xt hiƯn cđa nã nã xuÊt hiÖn (*) TS TriÕt häc, ViÖn TriÕt häc, 1356a35, 1356b5, 81b18 khổ văn mà Aristotle dùng viết để phân biệt đoạn khác (**) 38 sớm hay muộn hơn, kí hiệu xuất hay tồn Entimema tam đoạn luận dựa xác suất hay kí hiệu kí hiệu đợc lấy ba cách, giống nh thuật ngữ dạng hình tam đoạn luận, là: nh dạng hình hay dạng hình giữa, hay nh dạng hình thứ ba (2, 70a3-13) Cấu trúc tính tất yếu tam đoạn luận phân tích (tam đoạn luận quyết) phụ thuộc vào đặc tính thuật ngữ giữa, tam đoạn luận biện chứng (entimema) thuật ngữ nh Vì chúng đồng thời vắng tính rõ ràng tính tất yếu logic gắn với Các entimema theo Aristotle tam đoạn luận cha xây dựng xong: Nhng kết luận đợc rút xuất phát từ ý kiến, có nghĩa cách biện chứng, rõ ràng cần ý đến vấn đề cho tam đoạn luận có đợc từ tiền đề giống thật nhiều Ví dụ, thực, thuật ngữ A B không có, nhng mà ta lại hình dung nh có, tam đoạn luận sÏ rót kÕt ln mét c¸ch biƯn chøng” (3, 81b18-22) Aristotle chia entimema lµm hai líp lín: entimema dựa xác suất entimema dựa kí hiệu, dấu hiệu Các kí hiệu, dấu hiệu gì? Theo Aristotle thuộc tính mà chúng luôn, phần lớn trờng hợp kèm theo khách thể cần nghiên cứu, và, chất khách thể, nhng biểu chất Định nghĩa dấu hiệu cã "Tu tõ häc dµnh cho Aleksandre: “DÊu hiƯu đợc gọi mà kèm theo khác, nhng cách ngẫu nhiên, mà luôn diễn cho thờng có Thông tin Khoa häc x· héi, sè 11.2010 tr−íc [sù xt hiƯn] vật, kèm theo vật, ®i theo sau nã DÊu hiƯu tèt nhÊt lµ dÊu hiệu cho ta [tri thức] xác thực, sau dấu hiệu mà kéo theo sau giống thật (4, 1430b30-38) Tam đoạn luận dựa kí hiệu Aristotle đợc định nghĩa nh suy luận tính vốn có đối tợng tính chất sở có tính chất khác vốn có đối tợng đómà xt hiƯn hay tån t¹i cđa tÝnh chÊt thø hai luôn kèm theo xuất hay tồn tính chất đầu Tính chất thứ hai đợc Aristotle gọi kí hiệu - mà kí hiệu đợc xây dựng nh phán đoán tất yếu chân thực, nh phán đoán dựa vào ý kiến, có tính xác suất Về entimema dựa kí hiệu tơng ứng với ba dạng hình tam đoạn luận, Aristotle viết: kí hiệu có đợc ba cách, giống nh thuật ngữ dạng hình tam đoạn luận: nh dạng hình đầu, nh dạng hình giữa, nh dạng hình ba Ví dụ, chứng minh ngời đàn bà có mang dựa sở bà ta có sữa, chứng minh theo dạng hình đầu, thuật ngữ 'có sữa' Giả sử A 'có mang', B - 'có sữa', C - ngời đàn bà Nhng: nhà thông thái ngời trung thực, Pittak trung thực, - điều đợc chứng minh theo dạng hình cuối Giả sử A có nghĩa 'trung thực', B - nhà thông thái, C ngời đàn bà (2, 70a12-23) Tiếp theo, Aristotle nói rằng: Nếu nói tiền đề có kí hiệu; bổ sung thêm tiền đề khác, ta có tam đoạn luận, ví dụ: Pittak hào phóng, ngời háo danh hào phóng, mà Pittak ngời háo danh Tiếp theo: Về tam đoạn luận biện chứng nhà thông thái có đức hạnh, Pittak không ngời đức hạnh, mà ngời thông thái Bằng cách ta có tam đoạn luận đầy đủ dựa kí hiệu có tam đoạn luận nhận đợc thông qua dạng hình thứ không bác bỏ đợc, chân thực, kết luận phán đoán chung Còn tam đoạn luận dựa kí hiệu nhận đợc thông qua dạng hình cuối bị bác bỏ, chí kết luận chân thực, kết luận phán đoán chung (2, 70a25-32) Từ trích đoạn trên, ta rút dạng hình entimema đà đợc khôi phục nh sau Entimema đầy đủ dạng hình đầu: Ngời đàn bà có sữa (B) có mang (A) Ngời đàn bà (C) có sữa (B) Ngời đàn bà (C ) có mang (A) Entimema dựa kí hiệu đợc khôi phục đầy đủ theo dạng hình ba: Pittak (C) ngời trung thực (A) Pittak (C) nhà thông thái (B) Các nhà thông thái (B) trung thực (A) Và, cuối cùng, entimema đợc khôi phục theo dạng hình giữa: Ngời đàn bà có mang (B) xanh xao (A) Ngời đàn bà (C ) xanh xao (A) Ngời đàn bà (C ) có mang (B) Theo Aristotle có tam đoạn luận dạng hình đầu đợc khôi phục (không bác bỏ đợc), kết luận phán đoán chung Còn tam đoạn luận dựa kí hiệu đợc khôi phục theo dạng hình cuối bị bác bỏ, 39 chí kết luận chân thực, ông có ý nói theo qui tắc theo kết luận công thức thuộc dạng hình ba phán đoán riêng; điều ông đà nói Phân tích học thứ hai, I, chơng 14: Trong tất dạng hình tam đoạn luận, dạng hình thứ thích dụng khoa học phép chứng minh dùng vào khoa học toán học nh số học hình học, quang học, nói, tất khoa học nghiên cứu nguyên nhân, có, tam đoạn luận vấn đề: có, nhận đợc tất cả, nhiều trờng hợp, nhiều thông qua dạng hình Vì dạng hình đầu thích dụng khoa học, tri thức quan trọng nghiên cứu nguyên nhân có Hơn nữa, có thông qua dạng hình đạt đợc tri thøc vỊ thùc chÊt sù vËt, bëi v× ë dạng hình tam đoạn luận khẳng định, tri thức thực chất tri thức khẳng định Trong dạng hình cuối dù có [kết luận khẳng định] nhng không chung, thực chất vật chung: (ví dụ) ngời mối quan hệ thực thể hai chân Ngoài ra, dạng hình thứ không cần đến dạng hình khác Nh vậy, hiển nhiên dạng hình đầu có ý nghĩa lớn tri thức (3, 79a20-30) Ngoài cách lý giải hình thức nh trên, Aristotle lý giải dựa theo nội dung thực tế dạng hình ba: Thực vậy, Pittak trung thực, từ cha rút cách tất yếu nhà thông thái khác trung thực (2, 70a32-33) Đối với entimema dạng hình theo Aristotle: tam đoạn luận (dựa 40 kí hiệu) có đợc thông qua dạng hình giữa, luôn tất trờng hợp bị bác bỏ, mối quan hệ nh thuật ngữ tam đoạn luận đợc (2, 70a34-35) đoạn vừa Aristotle không nói rõ cụ thể, nhng trích đoạn nh ta thấy, ông đà nói cách cụ thể dạng hình tam đoạn luận khẳng định (trích đoạn 8) Đồng thời ông lý giải mặt nội dung cụ thể entimema đợc khôi phục nh dạng hình không đúng: Trên thực tế, ngời đàn bà có mang xanh xao ngời đàn bà xanh xao, từ tất yếu kết luận ngời đàn bà có mang (2, 70a36-38) Xét mặt kí hiệu, tất dạng tam đoạn luận trên, Aristotle gọi kí hiệu đợc sử dụng dạng hình thứ kí hiệu chứng minh, theo ông, kí hiệu đợc sử dụng dạng hình đầu xác suất chân thực nhất, kí hiệu đợc sử dụng dạng hình khác tam đoạn luận, đơn giản kí hiệu, tính chứng minh Nếu ý kỹ đến ví dụ entimema đợc khôi phục coi kí hiệu thuật ngữ đợc dẫn tiền đề để chứng minh, chiếm vị trí thuật ngữ dạng hình đa entimema tam đoạn luận: có sữalà kí hiệu dạng hình đầu, xanh xaoở dạng hình giữa, "Pittak" - dạng hình cuối ta thấy, nh tam đoạn luận dựa qui nạp, thuật ngữ dạng hình có tên gọi thuật ngữ thuật ngữ biên theo chức logic chúng gắn kết, mà theo chất chúng- chất tơng ứng với trật tự thuật ngữ dạng hình thứ tam đoạn luận Đó là, dạng hình Thông tin Khoa học xà hội, số 11.2010 thứ tam đoạn luận, thuật ngữ xét theo chức logic (liên kết) đồng thời theo chất nh sở khách quan nguyên nhân tính vốn có hay không vốn có (hay đặc tính đó) chủ từ kết luận Thuật ngữ lớn dạng hình đầu thuộc tính đợc gán cho hay không gán cho chủ từ (của kết luận) - có nghĩa hệ Thuật ngữ nhỏ dạng hình thứ đại biểu (hay vật mang) sở khách quan hay nguyên nhân Trong ba ví dụ dẫn kí hiệu A ba dạng hình thuật ngữ lớn xét chất - có nghĩa hệ quả, B thuật ngữ xét thực chất, có nghĩa sở khách quan (hay nguyên nhân), C thuật ngữ nhỏ xét thực chất, có nghĩa đại biểu sở hay hệ Khi đó, entimema đợc qui dạng hình hai, kÝ hiƯu “xanh xao” - dï xÐt vỊ chøc logic gắn kết thuật ngữ biên, kí hiệu xét chất- thuật ngữ giữa, nhng, hệ quả, cần phải đợc coi thuật ngữ lớn kí hiệu A Trong entimema đợc qui dạng hình ba, kí hiệu Pittak theo chức logic gắn kết thuật ngữ giữa, nhng xét chất đóng vai trò đại biểu (vật mang) hai thuộc tính (trung thực thông thái) lại cần đợc coi thuật ngữ nhỏ đợc kí hiệu C Và có dạng hình thứ kí hiệu theo chức logic-gắn kết theo chất thuật ngữ kí hiệu B Nói cách khác entimema thuộc dạng hình hai ba, kí hiệu së kh¸ch quan cđa c¸c thc tÝnh, tÝnh chÊt nh− dạng hình đầu, mà hệ hay vật mang tính chất, có nghĩa mà không chứng minh Về tam đoạn luận biện chứng gì, trùng hợp thuộc tính trờng hợp cụ thể đà biết Điều giải thích thuật ngữ mà xét chất cần phải sở kí hiệu chứng minh đợc kí hiệu B, dạng hình hai thuật ngữ lớn xét theo chức logic, dạng hình ba thuật ngữ nhỏ, có nghĩa hai dạng hình không đợc coi nh kí hiệu chứng minh cuối chơng 27, II Phân tích học thø nhÊt” Aristotle thĨ hiƯn mét sè t− t−ëng t−¬ng øng víi viƯc sư dơng entimema dùa trªn kÝ hiƯu khoa học (thời Hy Lạp cổ) có tên gọi phiên âm theo tiếng Hy Lạp Phisiognomikos (khoa học nghiên cứu mối liên hệ đặc điểm thể xác với đặc tính tinh thần động vật) Khoa học đợc xây dựng dựa hai giả định: 1) thể xác tinh thần thay đổi đồng thời; 2) tình trạng tinh thần, có dấu hiệu thể xác tơng ứng Để tìm dấu hiệu thể xác tình trạng tinh thần định theo Aristotle cần phải kết luận đợc rút theo dạng hình thứ tam đoạn luận tình trạng tính chất tinh thần cần nghiên cứu cần phải vốn có không giống thực thể định, mà giống khác, dấu hiệu thân thể cần phải đợc quan sát thấy nơi quan sát thấy tình trạng tinh thần Nếu dấu hiệu thể xác kèm theo hai tình trạng tinh thần, cần tìm kiếm trờng hợp mà tình trạng tinh thần vắng mặt, tình trạng có mặt; dấu hiệu thể xác trờng hợp không xuất hiện, dấu hiệu tình trạng vắng mặt Trên thực tế, dấu hiệu không hệ quả, mà dấu hiệu chứng minh, 41 nơi mà có, cần phải có tính chất hay tình trạng mà dÊu hiƯu cđa chóng VÝ dơ, tÊt c¶ s− tư có tinh thần can đảm Ta cần tìm dấu hiệu thể xác can đảm Dấu hiệu có thĨ lµ mãng vt lín Nh−ng mãng vt lín, cịng nh tinh thần can đảm vốn có không s tử, mà có động vật khác Theo Aristotle, móng vuốt lớn thực chất dấu hiệu tinh thần can đảm, cần đợc thấy tất động vật có tinh thần can đảm Nhng s tử có hai thuộc tính tinh thần bật: can đảm khẳng khái Để xác định xem móng vuốt lớn dấu hiệu thuộc tính tinh thần hai thuộc tính trên, cần kiểm tra mối liên hệ dấu hiệu thuộc tính nói động vật khác Nếu quan sát thấy số động vật khác có móng vuốt lớn, thấy có tinh thần can đảm nhng khẳng khái, kÕt ln r»ng mãng vt lín ë s− tư thùc chất dấu hiệu tinh thần can đảm Theo Aristotle, lập luận đợc xác định dựa tiếp nhận tiền đề là: mối liên hệ thuộc tính tinh thần với dấu hiệu thể xác mối liên hệ điều kiện cần điều kiện đủ Trên thực tế, móng vuốt lớn không đợc thừa nhận dấu hiệu khẳng khái đợc thấy trờng hợp không xuất tính khẳng khái; móng vuốt lớn đợc thừa nhận dấu hiệu tinh thần can đảm động vật có tinh thần can đảm có móng vuốt lớn Khái quát lập luận đó, Aristotle qui tắc sau entimema dựa kí hiệu (dấu hiệu) Phisiognomikos: suy luận cần đợc xây dựng theo dạng hình thứ tam đoạn luận, thuật ngữ 42 cần phải đảo ngợc đợc lẫn với thuật ngữ lớn, nhng phải vợt qua giới hạn thuật ngữ nhỏ đó, không cần phải đảo ngợc lẫn với thuật ngữ nhỏ Trong ví dụ dẫn thuật ngữ lớn (A) tinh thần can đảm, thuật ngữ (B) - có móng vuốt lớn, thuật ngữ nhỏ (C) s tử B (mãng vt lín) vèn cã kh«ng chØ cđa bÊt kì C (s tử), mà đồng thời số động vật khác A (tinh thần can đảm) B (móng vuốt lớn) cần phải thuật ngữ đảo ngợc đợc lẫn nhau; có nghĩa động vật can đảm (A) có móng vuốt lớn (B), ngợc lại, động vật có móng vuốt lớn (B) động vật can đảm (A); khác B không đợc coi lµ dÊu hiƯu chøng minh (xem: 2) Trong logic häc Aristotle, suy luận đợc xây dựng dựa thuộc tính, tính chất mang tính ngẫu nhiên thuộc entimema dựa xác suất Xác suất, theo Aristotle, ý kiến gần chân lý, có nghĩa ý kiến kiện diễn luôn, mà đa số trờng hợp Những ý kiến có tính thuyết phục lớn so với chứng minh mang tính phân tích Thuộc tính xác suất thờng đợc nhà triết học cổ đại sử dụng diễn văn Nhà hùng biện tính đến thành công có phơng pháp đợc thiết lập từ trớc mà dựa sở chúng xây dựng entimema tốt xấu, tuyệt vời đáng xấu hổ, công bất công, nh tính cách, tham vọng phẩm chất đạo đức (5, 1396b31-43) Dựa t tởng đó, Aristotle đà xây dựng entimema liên quan đến nhiỊu vÊn ®Ị thĨ VÝ dơ vỊ entimema sau Thông tin Khoa học xà hội, số 11.2010 Nếu chí thần tất cả, liệu ngời ta biết tất Trong bỏ qua tiền đề lớn, mà tiền đề đó, mặt thể hiển nhiên, mặt khác không nói chất cụ thể thần ngời phán đoán đợc xây dựng dựa nguyên tắc chung theo mối quan hệ lớn hơn-nhỏ hơn- hình thành nên tiền đề lớn suy luận mà xem xét: Nếu [ở thực thể] mà cần phải có mức độ lớn, rõ ràng [cái này] [thực thể] có mức độ (5, 1397b12-15) Trong Nghệ thuật tranh luận Aristotle nguyên tắc chung khác đợc xây dựng mối quan hệ lớn hơn-nhỏ Chúng dẫn số entimema tiêu biểu mà Aristotle đà xây dựng đợc trình bày ch−¬ng 10, qun II cđa “NghƯ tht tranh ln” Đó là: Qui tắc chung đợc xây dựng dựa sở lớn kéo theo lớn Vì gia tăng đối tợng tơng ứng với gia tăng thuộc tính nó, rõ ràng thuộc tính nói nó, không tơng ứng, không nói Nguyên tắc chung khác đợc sử dụng, nói hai Modus entimema có công thức phủ định (theo nó, kết luận suy luận vừa đợc xem xét thần ngời liên quan đến nhận thức đợc thực hiện), nh công thức khẳng định: Nếu vốn có mà hình nh vốn có mức độ nhỏ hơn, vốn có mà hình nh vốn có mức độ lớn Mặt khác, có nguyên tắc chung đợc sử dụng trờng hợp hai gán cho cái: không vốn có mà mức độ lớn hình nh vốn có, không vốn có Về tam đoạn luận biện chứng khác mà mức độ nhỏ hình nh vốn có; vốn có mà mức độ nhỏ hình nh vốn có, vốn có đồng thời khác mà hình nh vốn có mức độ lớn Tiếp theo, hai gán cho hai [nguyên tắc chung sau đợc sử dụng]: không vốn có mà mức độ lớn hình nh vốn có nó, khác đồng thời không vốn có khác; vốn có mà mức độ nhỏ hình nh vốn có đó, khác vốn có khác (6, 115a3-15) Mục đích việc xây dựng entimema dựa xác suất Aristotle muốn đề xuất số nguyên tắc, phơng pháp chung cho nhận thức chất vật dựa thuộc tÝnh ngÉu nhiªn cđa nã Trong qun ba cđa “NghƯ tht tranh ln” Aristotle thĨ hiƯn b−íc chun tõ viƯc xây dựng 43 nguyên tắc, phơng pháp chung dựa thuộc tính ngẫu nhiên đến nguyên tắc, phơng pháp chung dựa thuộc tính giống, «ng chØ r»ng ®êi sèng thùc tiƠn chóng ta quan tâm nhiều đến đặc điểm thuộc tính ngẫu nhiên nằm gần chất Tài liệu tham khảo trích dẫn Tu từ học, I, chơng 2 Phân tích học thứ nhất, II, chơng 27 Phân tích học thứ hai, I, chơng 19 Tu từ học dành cho Aleksandre, ch−¬ng 13 Tu tõ häc, qun II, ch−¬ng 22 NghƯ tht tranh ln, qun II, ch−¬ng 10  ... yếu tam đoạn luận phân tích (tam đoạn luận quyết) phụ thuộc vào đặc tính thuật ngữ giữa, tam đoạn luận biện chứng (entimema) thuật ngữ nh Vì chúng đồng thời vắng tính rõ ràng tính tất yếu logic. .. với Các entimema theo Aristotle tam đoạn luận cha xây dựng xong: Nhng kết luận đợc rút xuất phát từ ý kiến, có nghĩa cách biện chứng, rõ ràng cần ý đến vấn đề cho tam đoạn luận có đợc từ tiỊn ®Ị... theo: Về tam đoạn luận biện chứng nhà thông thái có đức hạnh, Pittak không ngời đức hạnh, mà ngời thông thái Bằng cách ta có tam đoạn luận đầy đủ dựa kí hiệu có tam đoạn luận nhận đợc thông