Bài giảng Logic học đại cương: Chương 6 cung cấp cho người học những kiến thức như: Định nghĩa về phép chứng minh, phép bác bỏ. Cấu tạo của phép chứng minh và cấu tạo của phép bác bỏ. Các phương pháp chứng minh và các phương pháp bác bỏ. Các quy tắc cho luận đề, luận cứ, luận chứng của phép chứng minh và bác bỏ.
Nội dung chính: Định nghĩa phép chứng minh, phép bác bỏ Cấu tạo phép chứng minh cấu tạo phép bác bỏ Các phương pháp chứng minh phương pháp bác bỏ Các quy tắc cho luận đề, luận cứ, luận chứng phép chứng minh bác bỏ 18 Mục đích: Giúp sinh viên: - Hiểu trình bày phép chứng minh, phép bác bỏ - Phân tích cấu trúc phép chứng minh gồm thành phần nào? - Trình bày nội dung phương pháp chứng minh trực tiếp phương pháp chứng minh gián tiếp - Trình bày xác nội dung phép bác bỏ nắm phép bác bỏ hiệu - Trình bày quy tắc dùng chứng minh bác bỏ Phát lỗi chứng minh bác bỏ số trường hợp thân bạn bè - Vận dụng kiến thức lý thuyết để làm tập cuối chương tập khác 18 1.1 Định nghĩa Chứng minh thao tác logic dùng để lập luận tính chân thực luận điểm hay lý thuyết nhờ biết tính chân thực luận điểm hay lý thuyết khác mà có mối liên hệ logic với luận điểm lý thuyết 18 - Luận đề phán đoán hay luận điểm mà tính chân thực cần phải chứng minh Luận đề đặt nhiệm vụ cụ thể cho chứng minh, trả lời câu hỏi “chứng minh gì?” - Luận hay phán đoán, nguyên lý, mệnh đề thừa nhận tính chân thực làm để chứng minh luận đề, luận trả lời câu hỏi: dựa vào đâu để chứng minh? chứng minh gì? 18 Luận cứ: + Các kiện thực tế tri thức có quan sát, miêu tả thực, thật hiển nhiên nên có giá trị chứng minh lớn + Các tiên đề, định đề phán đốn thơng qua hoạt động thực tiễn người tích luỹ qua lặp lại nhiều lần khái quát lên thừa nhận chân thực khơng địi hỏi chứng minh + Các định nghĩa, khái niệm khoa học, định luật luận vững chứng minh 18 - Luận chứng (lập luận) mối liên hệ logic luận luận đề, bao gồm chuỗi liên tiếp phép suy luận khác liên kết lại theo trật tự logic định kiện thực khách quan, trả lời câu hỏi: chứng minh nào? Chứng minh cách nào? Cách chứng minh có hợp logic không? 19 1.3.1 Chứng minh trực tiếp Chứng minh trực tiếp phép chứng minh tính chân thực luận đề trực tiếp rút từ tính chân thực luận Có thể biểu diễn phép chứng minh trực sơ đồ sau: x, y, z (lập luận 1) m, n, p m, n, p (lập luận 2) k, l, s k, l, s (lập luận 3) A 19 1.3.2 Chứng minh gián tiếp Chứng minh gián tiếp phép chứng minh tính chân thực luận đề rút sở chứng minh tính giả dối phản luận đề Phản luận đề phán đoán mâu thuẫn với luận đề, luận đề biểu thị a phản luận đề làa - Chứng minh phản chứng: phép chứng minh từ thừa nhận giả định tính chân thực phản luận đề thông qua lập luận sở liên kết luận quy mâu thuẫn dẫn đến bác bỏ phản luận đề (chứng minh tính giả dối phản luận đề) công nhận luận đề Ưu điểm lớn chứng minh phản chứng khó bị chệch hướng 19 - Chứng minh phân liệt (phương pháp loại trừ) chứng minh gián tiếp lập luận tính chân thực luận đề thực cách xác lập tính giả dối tất thành phần phán đoán phân liệt trừ thành phần luận đề Sơ đồ phép chứng minh phân liệt: abcd b c d a 19 2.1 Định nghĩa Bác bỏ thao tác logic nhằm xác lập tính giả dối hay khơng có việc khẳng định tính chân thực luận đề nêu Bác bỏ gồm phận: luận đề, luận lập luận 19 - Bác bỏ luận đề cách chứng minh tính giả dối hay tính khơng xác định luận đề, cách bác bỏ đắn nhất, hiệu trực tiếp loại bỏ luận đề + Bác bỏ luận đề thông qua kiện, kiện, chứng thực tế + Bác bỏ luận đề thông qua chứng minh tính giả dối hệ rút từ luận đề Suy luận theo MT: ((a b) (~ b)) ~ a + Bác bỏ luận đề thông qua chứng minh phản luận đề chân thực + Bác bỏ luận đề thông qua vạch tính khơng xác luận đề 19 - Bác bỏ luận cứ: phủ định hoài nghi cách có sở phép chứng minh luận đề sở vạch tính khơng xác định, tính chưa chứng minh, tính mâu thuẫn hay khơng đầy đủ luận + Vạch tính giả dối luận + Vạch mâu thuẫn nội luận + Vạch thiếu luận hay tính chưa chứng minh luận + Vạch thiếu hụt, khơng đầy đủ luận dẫn đến tính thiếu chặt chẽ phép chứng minh + Vạch tính khơng rõ ràng, khơng xác định luận + Vạch không ăn nhập luận vào điều kiện cụ thể mà luận đề khẳng định 19 Bác bỏ lập luận: phương pháp vạch tính thiếu logic, tính khơng đắn lập luận sử dụng chứng minh luận đề -> Để bác bỏ lập luận cần phải nhanh chóng xác định đối phương chứng minh luận đề dạng lập luận nào, sở phát lỗi logic - 19 3.1 Các quy tắc luận đề - Luận đề phải phát biểu rõ ràng xác nội dung hình thức, khơng mập mờ không rõ nghĩa - Luận đề phải giữ nguyên suốt trình lập luận 19 3.2 Các quy tắc luận - Luận sử dụng chứng minh bác bỏ phải chân thực không mâu thuẫn - Luận phải sở đầy đủ để chứng minh luận đề - Luận phải chứng minh độc lập với luận đề 19 3.3 Các quy tắc lập luận - Luận chứng phải tuân theo quy tắc quy luật suy luận - Luận chứng phải đảm bảo tính hệ thống 20 ... - Hiểu trình bày phép chứng minh, phép bác bỏ - Phân tích cấu trúc phép chứng minh gồm thành phần nào? - Trình bày nội dung phương pháp chứng minh trực tiếp phương pháp chứng minh gián tiếp -. .. định nghĩa, khái niệm khoa học, định luật luận vững chứng minh 18 - Luận chứng (lập luận) mối liên hệ logic luận luận đề, bao gồm chuỗi liên tiếp phép suy luận khác liên kết lại theo trật tự logic. .. bác bỏ hiệu - Trình bày quy tắc dùng chứng minh bác bỏ Phát lỗi chứng minh bác bỏ số trường hợp thân bạn bè - Vận dụng kiến thức lý thuyết để làm tập cuối chương tập khác 18 1.1 Định nghĩa Chứng