Tiểu luận về chứng minh trong logic học
Tóm tắt nội dung tài liệu
Giấy phép Mạng Xã Hội số: 670/GP-BTTTT cấp ngày 30/11/2015 Copyright © 2009-2019 TaiLieu.VN. All rights reserved. Page 2
YOMEDIA
Đề tài nghiên cứu khoa học: Đặc điểm và các phương pháp chứng minh của Logic học nhằm tập trung làm rõ về định nghĩa và cấu trúc; đặc điểm của chứng minh trong khoa học kỹ thuật; các phương pháp chứng minh; các yêu cầu đối với chứng minh; chứng minh 01 ví dụ cụ thể. 21-05-2015 388 61 Download
Giấy phép Mạng Xã Hội số: 670/GP-BTTTT cấp ngày 30/11/2015 Copyright © 2009-2019 TaiLieu.VN. All rights reserved.
TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT THÀNH PHỐ HỒ CHÍ MINHKHOA LÝ LUẬN CHÍNH TRỊCẤU TRÚC, LOẠI HÌNH VÀ CÁC QUYTẮC CỦA TAM ĐOẠN LUẬN ĐƠNTIỂU LUẬN CUỐI KHÓA(Môn học: Nhập môn Logic học)MÃ SỐ LỚP HP: INLO220405_01GVHD: ThS. ĐẶNG THỊ MINH TUẤNNHÓM THỰC HIỆN: THE LOGICAL MENHỌC KỲ: 2 – NĂM HỌC: 2016 – 2017TP. HỒ CHÍ MINH, THÁNG 05 – 2017Họ tên sinh viên thực hiện đề tài:1. Lữ Hồng Anh2. Nguyễn Văn Còn3. Lương Công Hoan4. Nguyễn Văn Nam5. Nguyễn Tiến Phát-1614711411245006131490521414517216147173Giảng viên hướng dẫn: ThS. ĐẶNG THỊ MINH TUẤNĐIỂM:NHẬN XÉT CỦA GV:GV ký tênMỤC LỤCPHẦN 1. MỞ ĐẦU ........................................................................................................11. Đặt vấn đề.................................................................................................................................... 12. Mục tiêu nghiên cứu ................................................................................................................. 23. Các phương pháp nghiên cứu được áp dụng...................................................................... 2PHẦN 2. NỘI DUNG ....................................................................................................3Chương 1. CẤU TRÚC, CÁC LOẠI HÌNH VÀ KIỂU CỦA TAM ĐOẠN LUẬNĐƠN .................................................................................................................................................. 31.1. Định nghĩa và cấu trúc của tam đoạn luận đơn .................................................31.1.1. Định nghĩa ...................................................................................................31.1.2. Cấu trúc của tam đoạn luận đơn ..................................................................31.1.2.1. Các loại thuật ngữ .................................................................................31.1.2.2. Các loại tiền đề......................................................................................41.2. Hình và kiểu của tam đoạn luận đơn .................................................................41.2.1. Hình của tam đoạn luận đơn........................................................................41.2.2. Kiểu của tam đoạn luận đơn ........................................................................6CHƯƠNG 2. CÁC QUY TẮC CỦA TAM ĐOẠN LUẬN ĐƠN.................................... 72.1. Tiên đề ...............................................................................................................72.1.1. Định nghĩa ...................................................................................................72.1.2. Nội dung của tiên đề....................................................................................72.2. Các quy tắc của tam đoạn luận đơn ...................................................................72.2.1. Các quy tắc đối với khái niệm .....................................................................72.2.2. Các quy tắc đối với mệnh đề .......................................................................92.2.3. Các quy tắc hình ........................................................................................102.3. Xem xét tính toán đúng đắn của tam đoạn luận ..............................................11PHẦN 3. KẾT LUẬN ..................................................................................................13TÀI LIỆU THAM KHẢO .............................................................................................141PHẦN 1. MỞ ĐẦU1. Đặt vấn đề:Trong cuộc sống thường ngày, mọi hoạt động của con người từ đơn giản đếnphức tạp đều thông qua tư duy. Cùng với sự phát triển của thực tiễn và của nhậnthức, con người càng ngày càng có sự hiểu biết đầy đủ hơn, sâu sắc hơn, chínhxác hơn về bản thân tư duy đang nhận thức.Nói về tư duy, phải nhắc đến các hình thức cơ bản của 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 chính là mộttrong những hình thức quan trọng nhất của tư duy. Nếu như khái niệm hay phánđoán là các hình thức biểu thị tư tưởng thì suy luận lại được xem là một loại hìnhthức sản sinh ra tư tưởng mới từ các tư tưởng đã có, rút ra các tri thức mới từ trithức đã biết. Suy luận có vai trò vô cùng to lớn trong nhận thức và trong đời sống.Nghiên cứu suy luận chính là vấn đề trọng tâm của logic học. Suy luận có hai hìnhthức chính là suy luận quy nạp và suy luận diễn dịch, và trong suy luận diễn dịch,ta có hai dạng suy luận trực tiếp và gián tiếp.Dạng suy luận diễn dịch gián tiếp (tam đoạn luận) được nhà triết học cổ đại HyLạp Aristote nghiên cứu kỹ lưỡng từ thế kỷ thứ IV trước công nguyên. Ngày naytrong logic học người ta đã dùng những phương pháp hiện đại để nghiên cứu loạisuy luận này, và đưa ra những hệ thống chuẩn hóa khác nhau về nó. Đặc biệt, đãcó nhiều chương trình về tam đoạn luận đơn được viết cho máy tính. Có thể nóirằng, thái độ hoài nghi hay thậm chí là phủ nhận đối với tam đoạn luận đơn đãtừng có lúc ngự trị trong logic học đã vĩnh viễn lùi vào dĩ vãng. Trong tư duy hàngngày, tam đoạn luận đơn vẫn có một giá trị không gì có thể thay thế.Nhằm tìm hiểu về tính quan trọng của dạng suy luận diễn dịch gián tiếp (tamđoạn luận) trong tư duy, nhóm đã lựa chọn đề tài: “Cấu trúc, loại hình và các quytắc của tam đoạn luận đơn”.22. Mục tiêu nghiên cứu:Đề tài sẽ nghiên cứu làm rõ các vấn đề về:- Định nghĩa và các thành phần cấu trúc chính của tam đoạn luận đơn.- Các loại hình và kiểu của tam đoạn luận đơn.- Tiên đề và các quy tắc của tam đoạn luận đơn.3. Các phương pháp nghiên cứu được áp dụng:- Phương pháp thu thập phân tích tài liệu: thông qua các giáo trình, sách thamkhảo, các bài báo khoa học để làm rõ nội dung của 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 các tài liệu thuthập được nhằm hệ thống và sắp xếp các tài liệu khoa học theo chủ đề, theo đơnvị kiến thức để nội dung của bài tiểu luận dễ nhận biết và nghiên cứu.3PHẦN 2. NỘI DUNGChương 1. CẤU TRÚC, CÁC LOẠI HÌNH VÀ KIỂU CỦA TAM ĐOẠNLUẬN ĐƠN1.1. Định nghĩa và cấu trúc của tam đoạn luận đơn:1.1.1. Định nghĩa:Tam đoạn luận được hiểu là một cách suy luận trong suy luận diễn dịch, trongđó kết luận được rút ra từ hai tiền đề. Tam đoạn luận là hệ thống suy diễn tiền đềcổ xưa nhất do Aristote xây dựng. Trong tam đoạn luận các tiền đề và kết luậnđều là những phán đoán đơn, thuộc các dạng: A, I, E, O, với đúng ba thuật ngữkhác nhau.Tam đoạn luận là một phát minh lớn của Aristote. Trong học thuyết lôgíc họccủa mình, ông đã xây dựng tam đoạn luận làm cơ sở cho chứng minh: “Cần phảinói về tam đoạn luận trước khi nói về chứng minh, bởi tam đoạn luận là một cáigì đó chung hơn và chứng minh là một loại tam đoạn luận nào đó, nhưng khôngphải bất kỳ tam đoạn luận nào cũng là chứng minh”1.1.1.2. Cấu trúc của tam đoạn luận đơn:1.1.2.1. Các loại thuật ngữ:Như đã nhắc trong phần định nghĩa, ta dễ dàng thấy rằng, một tam đoạn luậnđơn có cấu trúc bao gồm hai tiền đề và một kết luận, và chúng đều là những phánđoán đơn, thuộc các dạng: A, E, I, O.Ví dụ 1: (1) Mọi động vật đều sinh sản.(2) Rùa là động vật.(3) Rùa sinh sản.Nguyễn Gia Thơ, Vũ Thị Thu Hương (2016), Tam đoạn luận trong học thuyết logic của Aristote – một “công cụ” củanhận thức khoa học, truy cập tại |