CẤU TRÚC, LOẠI HÌNH VÀ CÁC QUY TẮC CỦA TAM ĐOẠN LUẬN ĐƠN

TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT TP HCM KHOA LÝ LUẬN CHÍNH TRỊ  MƠN HỌC: NHẬP MƠN LOGIC HỌC TIỂU LUẬN CẤU TRÚC, LOẠI HÌNH VÀ CÁC QUY TẮC CỦA TAM ĐOẠN LUẬN ĐƠN GVHD: Thầy Đoàn Đức Hiếu SVTH: MSSV Nguyễn Hoài Phong 16142178 Trần Viết Phi 16142174 Trần Ngọc Vũ Kha 16142127 Tống Quang Khải 16142130 Lớp thứ – Tiết 10-11 INLO220405 - 01CLC Tp Hồ Chí Minh, tháng 04 năm 2018 ĐIỂM SỐ TIÊU CHÍ NỘI DUNG BỐ CỤC TRÌNH BÀY TỔNG ĐIỂM NHẬN XÉT Ký tên Thầy Đoàn Đức Hiếu MỤC LỤC MỞ ĐẦU Đặt vấn đề: Trong sống thường ngày, hoạt động người từ đơn giản đến phức tạp thông qua tư Cùng với phát triển thực tiễn nhận thức, người ngày có hiểu biết đầy đủ hơn, sâu sắc hơn, xác thân tư nhận thức Nói tư duy, phải nhắc đến hình thức tư duy: khái niệm, phán đoán, suy luận, chứng minh, bác bỏ, ngụy biện Trong đó, suy luận hình thức quan trọng tư Nếu khái niệm hay phán đoán hình thức biểu thị tư tưởng suy luận lại xem loại hình thức sản sinh tư tưởng từ tư tưởng có, rút tri thức từ tri thức biết Suy luận có vai trò vơ to lớn nhận thức đời sống Nghiên cứu suy luận vấn đề trọng tâm logic học Suy luận có hai hình thức suy luận quy nạp suy luận diễn dịch, suy luận diễn dịch, ta có hai dạng suy luận trực tiếp gián tiếp Dạng suy luận diễn dịch gián tiếp (tam đoạn luận) nhà triết học cổ đại Hy Lạp Aristote nghiên cứu kỹ lưỡng từ kỷ thứ IV trước công nguyên Ngày logic học người ta dùng phương pháp nghiên cứu loại suy luận này, đưa hệ thống chuẩn hóa khác Đặc biệt, có nhiều chương trình tam đoạn luận đơn viết cho máy tính Có thể nói rằng, thái độ hồi nghi hay chí phủ nhận tam đoạn luận đơn có lúc ngự trị logic học vĩnh viễn lùi vào dĩ vãng Trong tư hàng ngày, tam đoạn luận đơn có giá trị khơng thay Nhằm tìm hiểu tính quan trọng dạng suy luận diễn dịch gián tiếp (tam đoạn luận) tư duy, nhóm lựa chọn đề tài: “Cấu trúc, loại hình quy tắc tam đoạn luận đơn” -4- Mục tiêu nghiên cứu: Đề tài nghiên cứu làm rõ vấn đề về: + Định nghĩa thành phần cấu trúc tam đoạn luận đơn + Các loại hình kiểu tam đoạn luận đơn + Tiên đề quy tắc tam đoạn luận đơn Các phương pháp nghiên cứu áp dụng: + Phương pháp thu thập phân tích tài liệu: thơng qua giáo trình, sách tham khảo, báo khoa học để làm rõ nội dung mục tiêu nghiên cứu + Phương pháp phân loại hệ thống hóa kiến thức: thơng qua tài liệu thu thập nhằm hệ thống xếp tài liệu khoa học theo chủ đề, theo đơn vị kiến thức để nội dung tiểu luận dễ nhận biết nghiên cứu -5- NỘI DUNG CHƯƠNG CẤU TRÚC, CÁC LOẠI HÌNH VÀ KIỂU CỦA TAM ĐOẠN LUẬN ĐƠN 1.1 Định nghĩa cấu trúc tam đoạn luận đơn: 1.1.1 Định nghĩa: Tam đoạn luận hiểu cách suy luận suy luận diễn dịch, kết luận rút từ hai tiền đề Tam đoạn luận hệ thống suy diễn tiền đề cổ xưa Aristote xây dựng Trong tam đoạn luận tiền đề kết luậnđều phán đoán đơn, thuộc dạng: A, I, E, O, với ba thuật ngữ khác Tam đoạn luận phát minh lớn Aristote Trong học thuyết lơgíc học mình, ơng xây dựng tam đoạn luận làm sở cho chứng minh: “Cần phải nói tam đoạn luận trước nói chứng minh, tam đoạn luận chung chứng minh loại tam đoạn luận đó, khơng phải tam đoạn luận chứng minh” 1.1.2 Cấu trúc tam đoạn luận đơn: 1.1.2.1 Các loại thuật ngữ: Như nhắc phần định nghĩa, ta dễ dàng thấy rằng, tam đoạn luận đơn có cấu trúc bao gồm hai tiền đề kết luận, chúng phán đoán đơn, thuộc dạng: A, E, I, O Ví dụ 1: (1) Mọi động vật sinh sản (2) Rùa động vật (3) Rùa sinh sản Ta có, hai tiền đề (1) (2), kết luận (3), tiền đề kết luận dạng phán đoán đơn -6- Trong tam đoạn luận, ta có ba khái niệm ba thuật ngữ, ký hiệu là: S, P, M Trong đó, S gọi tiểu thuật ngữ, M thuật ngữ hay trung gian P đại thuật ngữ Thuật ngữ trung gian (M) có mặt hai tiền đề lại khơng có mặt kết luận Như ví dụ tam đoạn luận trên, ta có “động vật” thuật ngữ trung gian (M), “sinh sản” đại thuật ngữ (P) “rùa” tiểu thuật ngữ (S) Tiền đề lớn là: Mọi động vật sinh sản, tiên đề nhỏ: Rùa động vật, kết luận: Rùa sinh sản Như ta viết tam đoạn luận dạng: 1.1.2.2 Các loại tiền đề: Ở ví dụ phía trên, ta thấy phán đốn (1) chứa đại thuật ngữ P, nên gọi đại tiền đề, phán đốn (2) chứa tiểu thuật ngữ S nên tiểu tiền đề Trong tam đoạn luận đơn, ta không thiết phải viết đại tiền đề trước tiểu tiền đề sau Nên để xác định tiền đề đại tiền đề hay tiểu tiền đề ta khơng thể dựa vào vị trí tam đoạn luận đơn, mà ta phải xét xem tiền đề chứa đại thuật ngữ tiểu thuật ngữ 1.2 Hình kiểu tam đoạn luận đơn: 1.2.1 Hình tam đoạn luận đơn: -7- Thuật ngữ trung gian (M) – hay gọi trung từ – chiếm vị trí khác tiền đề, trung từ chủ từ thuộc từ đại tiền đề tiểu tiền đề Mỗi vị trí trung từ tiền đề cho hình tam đoạn luận đơn Và theo Aristote, hình xem quan trọng Ở đây, ta có xác bốn hình khác tam đoạn luận dựa theo đặc điểm trên: * Hình 1: Trung từ chủ từ đại tiền đề thuộc từ tiểu tiền đề Ví dụ 2: Mọi sinh viên phải thi Nam sinh viên Vậy Nam phải thi * Hình 2: Trung từ thuộc từ hai tiền đề Ví dụ 3: Tháng nóng Tháng khơng nóng Vậy tháng khơng phải tháng * Hình 3: Trung từ chủ từ hai tiền đề Ví dụ 4: Con người tư Con người động vật Vậy động vật tư * Hình 4: Trung từ thuộc từ đại tiền đề chủ từ tiểu tiền đề -8- Ví dụ 5: Thuốc trừ sâu chất độc Độc chất nguy hiểm người Vậy có chất nguy hiểm với người thuốc trừ sâu 1.2.2 Kiểu tam đoạn luận đơn: Như nói phần cấu trúc tam đoạn luận, phán đoán tiền đề kết luận phán đốn đơn dạng A, E, I, O “Kiểu tam đoạn luận đơn khái niệm cho biết phán đốn tiền đề kết luận có dạng Vì có dạng phán đốn đơn, nên có tất 43 kiểu tam đoạn luận đơn Nếu phân biệt kiểu tam đoạn luận đơn theo hình khác nói đến 64×4 = 256 kiểu tam đoạn luận đơn tất cả”2 Nghĩa cần với ba khái niệm M, S, P ta xây dựng 256 kiểu tam đoạn luận khác Điều giúp ta hiểu rằng: với vấn đề đưa ta suy nghĩ 256 khía cạnh khác Vậy nên có câu “Lưỡi khơng xương trăm đường lắt léo”, trước nói phải “Uốn lưỡi bảy lần”, xem xét sai vấn đề Ta có 256 kiểu tam đoạn luận, tất kiểu đúng, để xác định kiểu tam đoạn luận, phải dựa vào quy tắc chung tam đoạn luận để loại bỏ kiểu sai Một suy luận xem đắn thỏa mãn đồng thời hai yêu cầu: hợp logic xuất phát từ tiền đề Theo nghiên cứu nhà logic học, có 19 tổng số 256 kiểu tam đoạn luận Các kiểu tương ứng với sau: + Hình thứ nhất: AAA, EAE, AII, EIO + Hình thứ hai: EAE, AEE, EIO, AOO + Hình thứ ba: AAI, IAI, AII, EAO, OAO, EIO + Hình thứ tư: AAI, AEE, IAI, EAO, EIO3 -9- Như vậy, để xác định kiểu trên, ta dựa quy tắc tam đoạn luận bao gồm quy tắc khái niệm quy tắc mệnh đề trình bày làm rõ chương - 10 - CHƯƠNG 2: SƠ ĐỒ VENN VÀ CÁC QUY TẮC TAM ĐOẠN LUẬN 2.1 Phép tam đoạn luận với tiền đề có dạng A, I, E, O Trong logic truyền thống Aristote, người ta xét kĩ phép tam đoạn luận (suy luận ba đoạn) mà hai tiền đề kết luận có dạng A, E, I O Thí dụ: Xét suy luận từ hai tiền đề : (1) Mọi người yêu nước hòa bình (2) Mọi người Việt Nam u nước Gọi : M tập hợp người yêu nước P tập hợp người u hòa bình S tập hợp người Việt Nam Các tiền đề có dạng : (1) Mọi M P (MaP) (Mọi phần tử thuộc M thuộc P) (2) Mọi S M (SaM) (Mọi phần tử thuộc S thuộc M) Theo (1) M phận P, Theo (2) S phận M Từ suy S phận P, Tức : Mọi S P (SaP) (Mọi phần tử thuộc S thuộc P) (Mọi người Việt Nam u hòa bình) Ta có quy tắc suy diễn : MaP SaM - 11 - ——— SaP Trong phép tam đoạn luận, có ba thuật ngữ (khái niệm), ứng với ba tập hợp Một thuật ngữ, gọi thuật ngữ (trong thí dụ M), có mặt hai tiền đề, khơng có mặt kết luận; kết luận nêu lên quan hệ (nếu có) hai thuật ngữ (S P) Có nhiều phương pháp xem xét phép tam đoạn luận dạng có hợp logic hay khơng Sau phương pháp tương đối đơn giản, dùng sơ đồ Venn để biểu diễn phán đoán dạng A, E, I, O 2.2 Biểu diễn phán đoán A, I, E, O sơ đồ Venn Xét phán đoán (1) Mọi sinh viên mê bóng đá (2) Một số sinh viên mê bóng đá (3) Mọi sinh viên khơng mê bóng đá (4) Một số sinh viên khơng mê bóng đá Gọi: S tập hợp sinh viên M tập hợp người mê bóng đá Ta hình dung hai vòng tròn giao hình Vòng tròn S chứa tất sinh viên vòng tròn M chứa tất người mê bóng đá - 12 - Phần bên vòng tròn S M gồm ba vùng: vùng thuộc S M (chứa tất sinh viên khơng mê bóng đá), vùng vừa thuộc S vừa thuộc M (chứa tất sinh viên mê bóng đá) vùng thuộc M không thuộc S (chứa tất người mê bóng đá mà khơng phải sinh viên) Nếu phán đoán (1) Mọi sinh viên mê bóng đá (SaM) khơng thể có sinh viên vùng được, vùng rỗng (không chứa phần tử nào), ta gạch chéo vùng hình Mọi S M (SaM) Một số S M (SiM) (Mọi phần tử thuộc S thuộc M) (Một số phần tử thuộc S thuộc M.) Vùng rỗng, gạch chéo Trong vùng có dấu x Nếu phán đốn (2) Một số sinh viên mê bóng đá (SiM) có (ít một) sinh viên vùng 2, ta ghi điều dấu x vùng Nếu phán đoán (3) Mọi sinh viên điều khơng mê bóng đá (SeM) khơng thể có sinh viên vùng được, vùng rỗng ta gạch chéo vùng hình - 13 - Mọi S khơng M (SeM) Một số S không M (SoM) (Mọi phần tử thuộc S không thuộc M) (Một số phần tử thuộc S không thuộc M.) Vùng rỗng gạch chéo Trong vùng có dấu x Nếu phán đốn (4) Một số sinh viên khơng mê bóng đá (SoM) có (ít một) sinh viên vùng 1, ta ghi điều dấu x vùng Chú ý: Các hình vẽ cách biễu diễn quan hệ hai tập hợp S M, khác với cách biểu diễn thường dùng sách giáo khoa toán ( Xem chẳng hạn Đại số 10, NXB Giáo dục, 1993) Cách biểu diễn đặc biệt thuận lợi cần xem xét quan hệ đôi ba tập hợp, có mặt tiền đề có dạng A, E, I, O phép tam đoạn luận, giúp thấy phép tam đoạn luận có hợp logic hay không 2.3 Khảo sát phép tam đoạn luận sơ đồ Venn Thí dụ 1: Trở lại phép tam đoạn luận từ hai tiền đề xét (1) Mọi người u nước u hòa bình (MaP) (2) Mọi người Việt Nam yêu nước (SaM) - 14 - Ta vẽ ba vòng tròn, tương ứng với ba tập hợp S,M,P hình Trong vòng tròn này, ta có tất vùng đánh số từ đến Theo tiền đề (1) , ta gạch chéo vùng Theo tiền đề (2) ta gạch chéo vùng Kết luận cho ta quan hệ S P Các vùng bị gạch chéo, chứng tỏ SaP Vậy từ hai tiền đề (1) (2), ta có kết luận logic : Mọi người Việt Nam u hòa bình (SaP) Thí dụ 2: Xét xem phép tam đoạn luận sau có hợp logic khơng : Khơng kẻ xu nịnh có lòng tự trọng Một số người xung quanh ta kẻ xu nịnh Một số người xung quanh ta khơng có lòng tự trọng Gọi : M tập hợp kẻ xu nịnh P tập hợp người có lòng tự trọng S tập hợp người xung quanh ta Vẽ ba vòng tròn M, P, S ứng với ba tập hợp hình Tiền đề thứ MeP, ta gạch chéo vùng Tiền đề thứ hai SiM, ta đánh dấu x vùng (khơng đánh dấu x vùng vùng bị gạch chéo) - 15 - Trong vùng có dấu x chứng tỏ S P có quan hệ SoP (Một số người xung quanh ta lòng tự trọng) Suy luận hợp logic , theo quy tắc MeP SiM ——— SoP Thí dụ 3: Xét xem phép tam đoạn luận sau có hợp logic khơng : Mọi người mê bóng đá khơng thích học logic học Mọi người mê bóng đá ham hoạt động Một số người ham hoạt động không thích học logic học Gọi: M tập hợp tất người mê bóng đá P tập hợp tất người thích học logic học S tập hợp tất người ham hoạt động Vẽ ba vòng tròn S,P,M ứng với ba tập hợp Theo tiên đề thứ (MeP), vùng bị gạch chéo Theo tiên đề thứ hai (MaS), vùng bị gạch chéo - 16 - Kết luận có dạng SoP, tức có dấu x vùng Điều thực được, từ hai tiên đề cho, hai vùng không bị gạch chéo Suy luận hợp logic, quy tắc suy luận MsP MaS ———— SoP Thí dụ 4: Suy luận sau có hợp logic không (1) Mọi sinh viên yêu nước (2) Một số người yêu nước người ham học Một số người ham học sinh viên Để dễ nhớ, ta gọi: Tập hợp sinh viên S, Tập hợp người yêu nước Y Tập hợp người ham học H - 17 - Ta vẽ ba vòng tròn S, Y, H ứng với ba tập hợp Tiên đề (1) có dạng SaY, vùng bị gạch chéo Tiên đề (2) có dạng YiH, ta đánh dấu x vào vùng Kết luận cho ta quan hệ S H Nếu đặt dấu x vùng ta có: a) Một số người ham học sinh viên Nếu đặt dấu x vùng ta có b) Một số người ham học khơng phải sinh viên Như vậy, hai tiền đề (1) (2) đúng, khơng thiết (a) Suy luận khơng hợp logic Qua ví dụ ta thấy rằng: Để xem xét phép tam đoạn luận có hợp logic khơng ta biểu diễn hai tiền đề sơ đồ Venn với ba vòng tròn Nếu kết luận biểu diễn sơ đồ suy luận hợp logic Nếu kết luận không biểu diễn sơ đồ khơng hợp logic 2.4 Các quy tắc tam đoạn luận Người ta chứng minh có tất 19 quy tắc tam đoạn luận từ tiền đề có dạng A, E, I, O Nếu quy ước gọi ba thuật ngữ hai tiền đề M, P, S ta có loại hình tam đoạn luận: - 18 - Loại hình 1: M – P S–M ——— S–P Loại hình 2: P – M S–M ——— S–P Loại hình 3: M – P M–S ——— S–P Loại hình 4: P – M M–S ——— S–P Trong loại hình, có 64 cách đặt chữ a, e, i, o vào gạch ngang, có tất 256 khả năng, có 19 quy tắc suy diễn, quy tắc gọi tên sau: Loại hình 1: b A r b A r A cEtArEnt dArII fErIO Loại hình 2: c E s A r E cAmEstrEs cEstInO bArOcO Loại hình 3: d A t I s I - 19 - fErIsO dIsAmIs bOcAdO dArIptI fElAptOn Loại hình 4: c A b E m E s frEsIsOn dImAtIs bAmAtIp bEsApO Thí dụ: Barbara quy tắc có cách thay a, a, a vào loại hình quy tắc ta gặp ví dụ mục 3) MaP SaM ——— SaP Ta gặp quy tắc ferio thí dụ quy tắc felapton thí dụ - 20 - KẾT LUẬN HJGHJ Trong tiểu luận này, nhóm phân tích nét học thuyết Arixtốt tam đoạn luận, vấn đề liên quan đến “tam đoạn luận”, “tam đoạn luận hoàn thiện” rằng, hai tam đoạn luận hoàn thiện sở cho chứng minh khoa học, tất tri thức khoa học cần phải chứng minh thông qua tam đoạn luận mà tam đoạn luận chứng minh thơng qua “tam đoạn luận hồn thiện”, hai tam đoạn luận chung hoàn thiện sở cho tri thức khoa học Nhóm diễn giải số cách chứng minh tam đoạn luận Arixtốt cách đưa tam đoạn luận dạng hình hoàn thiện Cảm ơn thầy bạn đọc tiểu luận nhóm Mong nhận góp ý thầy bạn đề nhóm làm tốt sau Nhóm xin chân thành cảm ơn!!! - 21 - CÁC TÀI LIỆU THAM KHẢO Logic học phổ thông, Nhà xuất giáo dục, Hoàng Chúng, năm 1997 Tham khảo websites, google, báo, tạp chí, … - 22 - ... DUNG CHƯƠNG CẤU TRÚC, CÁC LOẠI HÌNH VÀ KIỂU CỦA TAM ĐOẠN LUẬN ĐƠN 1.1 Định nghĩa cấu trúc tam đoạn luận đơn: 1.1.1 Định nghĩa: Tam đoạn luận hiểu cách suy luận suy luận diễn dịch, kết luận rút từ... trúc, loại hình quy tắc tam đoạn luận đơn -4- Mục tiêu nghiên cứu: Đề tài nghiên cứu làm rõ vấn đề về: + Định nghĩa thành phần cấu trúc tam đoạn luận đơn + Các loại hình kiểu tam đoạn luận đơn. .. dựng tam đoạn luận làm sở cho chứng minh: “Cần phải nói tam đoạn luận trước nói chứng minh, tam đoạn luận chung chứng minh loại tam đoạn luận đó, tam đoạn luận chứng minh” 1.1.2 Cấu trúc tam đoạn