Giáo trình logic học đại cương

ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC SƯ PHẠM Giáo trình LOGIC HỌC ĐẠI CƯƠNG NHÀ XUẤT BẢN ĐÀ NẴNG Tai ngay!!! Ban co the xoa dong chu nay!!! 16990082678381000000 MỤC LỤC Lời nói đầu Chương Đại cương logic hình thức Đối tượng phương pháp nghiên cứu logic hình thức Sự hình thành phát triển logic hình thức 10 Ý nghĩa logic hình thức 13 Câu hỏi thảo luận ôn tập .17 Chương Khái niệm 18 Đặc điểm chung khái niệm 18 Các phương pháp thành lập khái niệm… 21 Nội hàm ngoại diên khái niệm 23 Các loại khái niệm 26 Quan hệ khái niệm 29 Mở rộng thu hẹp khái niệm 34 Định nghĩa khái niệm 36 Phân chia khái niệm 45 Câu hỏi thảo luận ôn tập 50 Chương Phán đoán 52 Đặc điểm chung phán đoán 52 Phân loại phán đoán .54 Câu hỏi ôn tập tập 73 Chương Các quy luật tư logic hình thức 75 Định nghĩa quy luật logic 75 Các quy luật tư logic hình thức… 76 Câu hỏi thảo luận ôn tập 87 Chương Suy luận 88 Đặc trưng suy luận 88 Phân loại suy luận 89 Câu hỏi ôn tập 107 Chương Chứng minh bác bỏ 110 Chứng minh 110 Bác bỏ 113 Các quy tắc chứng minh bác bỏ 116 Câu hỏi ôn tập tập 117 Tài liệu tham khảo 118 LỜI NĨI ĐẦU Giáo trình Logic học đại cương (được hiểu logic hình thức) biện soạn để phục vụ chương trình đào tạo ngành khoa học xã hội nhân văn triển khai trường Đại học Sư phạm Đại Học Đà Nẵng Giáo trình trình bày hệ thống kiến thức logic học phục vụ trực tiếp yêu cầu mục tiêu đào tạo sinh viên ngành khoa học xã hội Giáo trình gồm chương: Chương 1, giới thiệu khái quát logic hình thức, qua bạn đọc thấy khái quát lịch sử hình thành khoa học logic, đối tượng nghiên cứu, phương pháp nghiên cứu logic hình thức, vai trò logic đời sống xã hội Chương 2, chương 3, chương 4, chương chương vào vào kiến thức trọng tâm logic hình thức: khái niệm, phán đốn, quy luật tư hình thức, suy luận, chứng minh bác bỏ, qua bạn đọc có tranh tồn thể q trình nhận thức tư từ góc độ logic hình thức Bên cạnh kiến thức chung logic học cố gắng đưa ví dụ từ thực tế sống làm minh họa, để bớt tính lý thuyết, khơ khan môn logic học Kết thúc chương, có phần câu hỏi tập thảo luận, phục vụ mục tiêu kiến thức, kỹ thái độ cho người học Trong trình biên soạn, tác giả kế thừa cơng trình khoa học, giáo trình, giảng nhà khoa học, đồng nghiệp nghiên cứu, giảng dạy logic học, với góp ý nhà khoa học đồng nghiệp Tuy nhiên, hạn chế khách quan chủ quan, giáo trình Logic đại cương nội dung cần tiếp tục sửa đổi, bổ sung Tác giả mong nhận nhiều ý kiến đóng góp để lần tái sau giáo trình hồn thiện Tác giả Chương ĐẠI CƯƠNG VỀ LOGIC HÌNH THỨC Đối tượng phương pháp nghiên cứu logic hình thức 1.1 Đối tượng logic hình thức Xuất thời kì Hy Lạp cổ đại, logic học tồn với tư cách hình thức đặc thù hay hình thức lý triết học Các thuật ngữ như: logique Pháp, Logic Anh, Logik Đức hay logic học Việt Nam bắt nguồn từ thuật ngữ Logos Hy Lạp cổ đại Logic học định nghĩa ngành khoa học nghiên cứu tư duy, song tư đối tượng nghiên cứu riêng logic học, tiến trình phát triển khoa học có nhiều ngành khoa học xem tư đối tượng nghiên cứu, với chiều cạnh khác Ví như, triết học lấy tư làm đối tượng nghiên cứu, nghiên cứu tư mối quan hệ với vật chất hay tồn để xác định, vất chất ý thức hay tư tồn có trước, có sau, định Tư đối tượng nghiên cứu tâm lý học, họ quan tâm xem tư q trình tâm lý như: cảm xúc, ý chí, xúc cảm, tình cảm, v.v người Bên cạnh đó, số ngành khác nghiên cứu tư như: sinh lý học, điều khiển học hay ngôn ngữ học Vậy, nghiên cứu tư duy, logic học nghiên cứu góc độ nào? Theo nhà logic học, logic học có nhiệm vụ nghiên cứu thao tác tư hướng đến nhận thức đối tượng Như Lalande định nghĩa: “Logic học khóa học nhằm xác định xác định động tác trí tuệ hướng đến việc nhận thức chân lý, động tác đúng, động tác sai”1 hay Cousemin định nghĩa: “Logic học khoa học qui luật hình thức cấu tạo Trích theo, Lê Tử Thành, Nhập Mơn Logic học, Nxb Trẻ, Tp Hồ Chí Minh, 2003, tr.11 xác suy nghĩ”2 Các nhà logic học định nghĩa logic học có khác biệt định, song thống nhất, hình thức quy luật tư đối tượng logic học, ta đến định nghĩa: Logic học là ngành khoa học nghiên cứu về các hình thức, quy luật vận động của tư đắn nhằm hướng đến nhận thức chân lý Hình thức tư khơng phải bề ngồi mà ta quan sát được, hình thức hiểu biểu nội dung tư duy, cách xếp nội dung tư cho quy luật, quy tắc logic, để nhận thức chất đối tượng Quy luật tư xét đến phản ánh quy luật thực qua hoạt động thực tiễn vào não người, thân mang đặc tính quy luật khác tự nhiên xã hội như: tính khách quan, tính phổ biến, phạm vi tác động rộng Điểm khác quy luật tư mang tính chủ quan, có nghĩa quy luật tư mối liên hệ mặt đối tượng, mà liên tri thức, suy nghĩ đối tượng, trình phản ánh quy luật thực vào não người, hay biến logic khách quan thành logic chủ quan tư khơng đơn chụp nguyên vẹn mà có cải biến, tự thân biến đổi, thể tính sáng tạo tư người, sở để người thâm nhập cải tạo giới 1.2 Phương pháp logic hình thức Mỗi ngành khoa học trình hình thành, tồn phát triển có đối tượng phương pháp nghiên cứu, logic học tồn với tư cách ngành khoa học có đầy đủ điều Theo lịch sử phát triển tư duy, có tư kinh nghiệm tư lý luận, điều dẫn đến có hai hình thức phương pháp kinh nghiệm phương pháp khoa học Tư logic kinh nghiệm tương ứng với phương pháp logic kinh nghiệm, đặc điểm phương pháp logic kinh nghiệm dựa Trích theo, Lê Tử Thành, Nhập Môn Logic học, Nxb Trẻ, Tp Hồ Chí Minh, 2003, tr.12 dấu hiệu bề đối tượng, quan sát việc lặp lặp lại nhiều lần lịch sử, từ xác lập quy tắc tự nhiên xã hội, tồn hình thức kinh nghiệm, truyền miệng Ví dụ, quan sát tượng tự nhiên, người ta thấy lần mây đen xuất phía đằng đơng mưa nhanh chóng xuất hiện, cịn phía đằng tây, mưa chậm, chí không xuất hiện, vậy, ông cha ta để lại thành ngữ: đằng đông vừa trông vừa chạy, đằng nam vừa làm vừa chơi Điểm tích cực phương pháp logic kinh nghiệm giải nhanh vấn đề nảy sinh sống, người ta dễ dàng ứng biến với tự nhiên xã hội mà không cần nhiều tri thức khoa học, song điểm hạn chế lớn logic kinh nghiệm mang tính manh muốn, phạm vi tác động hẹp, mang tính đơn lẻ phần nhiều Có điều này, logic kinh nghiệm trình hình thành phát triển khơng dựa dấu hiệu chất đối tượng để đưa kết luận mà chỉ dựa dấu hiệu bề ngồi đối tượng, nên tính ổn định tri thức không cao Lịch sử phát triển xã hội, làm cho tri thức khoa học không ngừng sản sinh, tri thức logic kinh nghiệm đáp ứng yêu cầu nhận thức người, khơng hồn tồn hết giá trị, song cần có phương pháp logic đáp ứng yêu cầu phát triển khoa học, logic khoa học đời Phương pháp logic khoa học - lý luận đời nhằm đáp ứng yêu cầu nhận thức xã hội, phương pháp khắc phục hạn chế phương pháp logic kinh nghiệm, tri thức khoa học phân tích, cơng thức hóa lược đồ hóa dựa qui tắc quy luật vận động tư duy, từ đưa nguyên tắc tư đắn tư sai lầm, qua người có cơng cụ để nhận thức tư đắn Khác với phương pháp logic kinh nghiệm, phương pháp logic khoa học không xuất phát từ dấu hiệu bề đối tượng mà xuất phát từ nội dung bên đối tượng, nghĩa rằng, dấu hiệu chất Do vậy, phương pháp logic khoa học có tính ổn định cao, xuất phát từ chất đối tượng, tính phổ biến phạm vi tác động rộng Trong lịch sử phát triển logic học, hai phương pháp logic kinh nghiệm logic khoa học - lý luận tồn bổ trợ cho nhau, nhiên vào nghiên cứu khoa học, nghiên cứu hình thức quy luật tư logic phương pháp logic khoa học - lý luận đóng vai trị then chốt Sự hình thành phát triển logic hình thức Lịch sử vận động logic học không xuất trào lưu, khoa học nghiên cứu tư thực chất có tính phổ biến khách quan, riêng, vậy, lịch sử phát triển logic học thực chất trình làm cho khoa học logic ngày trở nên hoàn bị Theo thời gian, nhà khoa học logic chia logic thành ba giai đoạn 2.1 Thời kì cở đại Aristote xem ơng tổ ngành logic học, ông xây dựng ngành khoa học nhận thức, với tác phẩm công cụ (theo nghĩa công cụ của tư duy) gồm sáu tập: phạm trù, mệnh đề, tam đoạn luận, chứng minh, tranh luận, bác bỏ ngụy biện để làm công cụ cho tư tri nhận đối tượng Người có cơng đưa logic học thành hệ thống Democritos, ông hệ thống hóa quy luật hình thức tư q trình nhận thức Có thể nói, thời kì Hy Lạp cổ đại, Aristote đặt móng cho đời logic học, cơng trình ơng logic học đến ngày nguyên giá trị, giai đoạn phát triển sau, chỉ bổ sung cho hoàn thiện hệ thống khoa học logic bác bỏ nghiên cứu thời kì Trong quy luật tư duy, Aristote đưa ba quy luật tư hình thức: luật đồng nhất, luật cấm mâu thuẫn luật chung, sau nhà logic học đưa quy luật thứ tư quy luật lý đầy đủ Trong công trình nghiên cứu, Aristote khơng gọi khoa học nghiên cứu logic học, ông gọi khoa học phân tích - theo nghĩa phân tích q trình nhận thức tư Thuật ngữ logic học chỉ sử 10 2.3.2 Các quy tắc và kiểu suy luận tương tự Suy luận tương tự dấu hiệu giống đối tượng giống nhau, nghĩa dựa vào tương tự đúng, thực phép kéo theo mặt thuộc tính đối tượng này, với phép kéo theo mặt thuộc tính tương ứng với đối tượng khác Suy luận sai thuộc tính đối thực kéo theo khơng tương ứng với đối tượng khác xem xét Để đảm bảo tính chân thực suy luận tương tự, trình suy luận cần tuân thủ quy tắc sau: Thứ nhất, dấu hiệu giống nhiều đối tượng trình suy luận tương tự đảm bảo tính xác Thứ hai, đặc điểm giống hai đối tượng mang so sánh chất kết luận có độ tin cậy cao Thứ ba, mối quan hệ đặc điểm mang so sánh so với kết luận, có mối liên hệ chặt chẽ, mang tính quy luật kết luận xác Căn vào giống đối tượng lớp đối tượng, người ta chia thành kiểu suy luận tương tự sau: Suy luận tương tự về thuộc tính suy luận tương tự mà kết luận rút thuộc tính hai đối tượng mang so sánh Là dạng suy luận người ta so sánh hai đối tượng thấy chúng có nhiều thuộc tính giống nhau, từ kết luận chúng có thuộc tính khác giống Ví dụ, so sánh trái đất hành tinh khác, ngồi tính chất quay quanh mặt trời, người ta thấy trái đất tự quay quanh nó, từ giả thuyết khoa học đưa ra, hành tinh khác tự quay quanh Suy luận tương tự quan hệ hình thức suy luận so sánh hai đối tượng, chúng có thuộc tính khác nhau, trái ngược thuộc tính khơng thể mang so sánh Song, chúng lại tồn quan hệ với đối tượng khác Ví dụ, hạt nhân nguyên tử mặt trời hai đối tượng khác mặt thuộc tính, song chúng lại có quan hệ giống giữa: quan hệ hạt nhân nguyên tử với điện tử quay xung quanh 106 nó, với quan hệ mặt trời hành tinh quay quanh nó, điều giúp cho Rudơpho đề xuất xây dựng mơ hình ngun tử Suy luận tương tự hình thức suy luận có từ thời cổ xưa, giai đoạn đầu trình nhận thức suy luận tương tự chiếm ưu nhận thức khoa học người Suy luận tương tự thao tác logic cụ thể hóa ý tưởng khoa học, có so sánh đối tượng đối tượng khác dựa thuộc tính quan hệ Do vậy, suy luận tương tự hình thức suy luận bổ trợ cho hoạt động nghiên cứu khoa học, đặc biệt có vai trị quan trọng việc đưa giả thuyết khoa học thực so sánh đối tượng Câu hỏi ôn tập tập Câu Suy luận gì? Có hình thức suy luận ban nào? Câu Trình bày định nghĩa cách thức suy diễn trực tiếp có tiền đề phán đoán phức hợp (dựa vào đẳng trị phán đốn phức bản) Cho ví dụ cụ thể? Câu Thế suy luận điều kiện? Phân biệt kiểu suy luận điều kiện? Câu Thế suy luận lựa chọn? Các kiểu hình quy tắc suy luận lựa chọn? Bài tập Câu Những suy luận sau có hợp logic khơng? Vì sao? a) ASP ⊢ IPS; ESP ⊢ EPS; AOO; AIO; EOO; EII; OII; III b) Giáo viên người lao động trí óc Anh khơng phải giáo viên Do đó, anh khơng phải người lao động trí óc c) Giáo viên người lao động trí óc Do đó, số người lao động trí óc khơng thể khơng giáo viên d) ( p  q)  (q  r ) pr 107 Câu Cho tiền đề: “Do có lực lượng sản xuất mới, lồi người thay đổi phương thức sản xuất mình, thay đổi phương thức sản xuất sản xuất , loài người thay đổi tất quan hệ xã hội mình” (C Mác) Hãy: a) Rút kết luận để lập suy luận hợp logic b) Viết hình thức logic chứng minh cho suy luận Câu Những suy luận sau có hợp logic khơng? Vì sao? a) ASP⊢ISP; ISP ⊢ASP; ESP⊢0SP; OSP⊢ESP; ISP⊢0SP; OSP⊢ISP b) Cá sống nước Cá voi khơng phái cá Do đó, cá voi khơng sống nước c) Nếu trường học có giáo viên giỏi có sở vật chất tốt có chất lượng đào tạo tốt Trường khơng có sở vật chất tốt, có chất lượng đào tạo tốt Vậy, trường có giáo viên giỏi Câu Những suy luận sau có hợp logic khơng? Vì sao? a) Mọi giáo viên có phương pháp giảng dạy Anh khơng có phương pháp giảng dạy Do đó, anh giáo viên b) ( p  q  r)  r pq c) Nếu đầu tư không tăng phủ tiêu nhiều hơn, số người khơng có việc làm sẽ tăng Nếu phủ khơng chi tiêu nhiều mức thuế sẽ giảm Nếu mức thuế khơng giảm đầu tư khơng tăng lên Vậy, số người khơng có việc làm khơng tăng phủ tiêu nhiều Câu Các suy luận sau có hợp gíc khơng? Vì sao? a) IAI; OIO; OII; EIE; EAO; OEO; AIA; AOE; IEE; EAE 108 b) Ai học logic lập luận tốt Mọi học viên ngành giáo dục trị học logic Vậy, có người lập luận tốt học viên ngành giáo dục trị c) p  q  r  (q  r )  ( p  q) q  pr Câu Những suy luận sau có hợp logic khơng? Vì sao? a) Giáo viên người có phương pháp giảng dạy Do đó, người có phương pháp giảng dạy giáo viên b) Khơng muốn học logic khơng thể giỏi logic Muốn học logic phải thi đỗ vào ngành triết học Anh thi đỗ vào ngành triết học Vậy, anh giỏi logic 109 Chương CHỨNG MINH VÀ BÁC BỎ Chứng minh 1.1 Định nghĩa và đặc điểm chứng minh Nhận thức trình phản ánh thực khách quan vào não người, q trình từ biết đến biết nhiều, từ đơn giản đến phức tạp, từ tượng đến chất Trong q trình đó, từ trực tiếp đến gián tiếp, người có tri thức giới, song tri thức chưa hẳn chân thực, vậy, để đảm bảo tính chân thực tri thức phải chứng minh Do vậy, chứng minh là một thao tác logic của tư nhằm đảm bảo tính chân thực của tri thức dựa các suy luận chân thực, và giữa chúng có mối quan hệ hữu với Chứng minh thao tác logic tư nhằm kiểm tra tri thức mà người thu nhận trình nhận thức Căn khách quan chứng minh là, tất vật tượng tồn có ngun nhân, khơng có tồn lại khơng có mối quan hệ nhân Những tri thức người thu trình nhận thức chỉ có phần tri thức khơng cần phải chứng minh, tri thức kiện diễn ra, tiên đề định đề, tri thức xem hiển nhiên người chấp nhận, lại tri thức khác để thuyết phục người khác ta cần phải chứng minnh tính chân thực hay muốn kiểm tra tính chân thực quan điểm khoa học chưa tường minh ta phải chứng minh Như Aristote nói: muốn thuyết phục người khác cần phải chứng minh Do vậy, chứng minh thao tác logic quan trọng nhằm xác định tính chân thực giả dối tri thức Chứng minh có vai trị ý nghĩa quan trọng nhận thức khoa học, suy luận nhằm tìm kiếm tri thức chứng minh thao tác logic xác định tri thức chân thực hay giả dối Chứng minh có mặt tất khoa học, tri thức không chứng minh chưa thể xác thực tính chân thực, chưa thể 110 gia nhập vào tri thức khoa học Do vậy, chứng minh thao tác logic không chỉ giúp người tin vào tri thức tường minh, mà bên cạnh đó, giúp thân nhà khoa học chứng minh tính chân thực luận điểm mà đưa ra, để tri thức gia nhập vào tổ hợp tri thức khoa học nhân loại 1.2 Cấu tạo và kiểu chứng minh 1.2.1.Cấu tạo chứng minh Tất phép chứng minh tất khoa học, bao gồm ba thành tố: luận đề, luận luận chứng Luận đề phải chứng minh, luận điểm mà nhà khoa học phát biểu ngơn từ, có tính xác định, song tính chân thực chưa xác minh, để xem xét tính chân thực hay giả dối luận điểm ta cần phải chứng minh Ví dụ, vào kỉ XVI, Nicolaus Copernicus đưa luận điểm, mặt trời quay xung quanh trái đất, mà ngược lại trái đất quay xung quanh mặt trời, luận điểm trái với quan niệm người thời giờ, để xác nhận tính chân thực hay giả dối phải cần chứng minh Và Nhà khoa học Galileo Galilei, chứng minh, luận điểm mà Nicolaus Copernicus đưa Luận chứng minh luận điểm khoa học có liên hệ với luận đề, luận điểm tường minh, dùng để chỉ tính chân thực hay giả dối luận đề Luận xem quan trọng chứng minh, nên nhiều người ta gọi chứng minh Luận xem tiền đề khách quan để chứng minh luận đề, luận điểm chứng minh, tiên đề hay quy tắc hay định nghĩa, v.v tính chất, luận đa dạng, khoa học luận đề dùng nhiều luận để chứng minh ngược lại, luận dùng để chứng minh nhiều luận đề khác Luận chứng chứng minh thao tác logic nhằm liên kết luận lại với nhau, nên cách thức, phương pháp, quy tắc để liên kết luận nhằm chứng minh cho luận đề Thao tác logic quan trọng luận chứng phép kéo theo, việc liên 111 kết luận lại nhằm đưa kết luận tính chân thực hay giả dối luận đề Luận đề, luận luận chứng ba phận chứng minh, phận có vị trí vai trị riêng, song chúng khơng tồn tách rời mà có mối quan hệ chặt chẽ, tác động Trong đó, luận đề xem trung tâm quan trọng nhất, nội dung tri thức cần chứng minh luận đề sẽ định việc lựa chọn luận luận chứng Luận luận chứng khơng hồn tồn thụ động, luận đầy đủ chân thực, sẽ tăng độ tin cậy luận đề, luận chứng logic, khoa học trình liên kết luận sẽ hợp quy luật, điều có nghĩa việc chứng minh tính chân thực luận đề sẽ có độ tin cậy cao 1.2.2.Các kiểu chứng minh Chứng minh trực tiếp hình thức chứng minh sử dụng luận để rút trực tiếp rút tính chân thực hay giả dối luận đề Yêu cầu hình thức minh này, luận đưa phải có tính tin cậy cao luận phải có mối liên hệ logic chặt chẽ với luận đề Ví dụ, để chứng minh cho luận đề, bạc chất dẫn điện Người ta sử dụng luận sau: Tất kim loại dẫn điện (1), bạc kim loại (2); đó, bạc chất dẫn điện Trong ví dụ trên, để chứng minh cho luận đề, bạc chất dẫn điện, rút trực tiếp từ việc sử dụng hai luận (1) (2) Chứng minh gián tiếp hình thức luận tập để minh cho tính chân thực luận đề cách luận chứng cho tính giả dối phản đề lồi trừ khả khác Theo tính chất quy luật chung, hai kết luận mâu thuẫn nhau, kết luận giả dối kết luận chân thực Do vậy, cách chứng minh phản đề giả dối, luận gián tiếp chứng minh tính chân thực luận đề Có thể tóm lược chứng minh gián tiếp công thức sau: (a  b)  (a  b)  a , công thức trên, ta thấy bước, phản đề để nêu hệ phải tìm hệ 112 giả dối, chỉ hệ có giả dối, kết luận phản đề khơng đúng, luận đề Ví dụ, khơng phải số chẵn, khơng chia hết cho chia hết cho 2, mâu thuẫn, số chẵn Căn vào cấu tạo phản đề, người ta chia chứng minh gián tiếp thành: chứng minh phản chứng chứng minh loại trừ Chứng minh phản chứng hình thức luận đưa để chứng minh tính giả dối phản đề, từ kết luận tính chân thực luận đề Ví dụ, để chứng minh luận đề, từ điểm đường thẳng ta chỉ vẽ đường thẳng vng góc với đường thẳng cho Ta sử dụng phương pháp phản chứng, từ điểm ngồi đường thẳng ta vẽ nhiều đường thẳng vng góc với đường thẳng cho trước; luận chứng, từ điểm A đường thẳng ta vẽ hai đường thẳng vng góc với đường thẳng cho trước AB AC, lúc ta có tam giác ABC, song góc A + góc B + góc C > 180o, điều trái với định lý chứng minh, tổng ba góc tam giác 180o, vậy, luận đề dẫn Chứng minh loại trừ (phân liệt) phương pháp chứng minh bác bỏ khả khác chỉ tồn khả năng, khả chân thực Ví dụ, vụ trộm cắp, có ba đối tượng bị tình nghi gồm: A, B C, dùng phương pháp loại trừ, chứng minh A C đối tượng gây án, đối tượng gây án B Bác bỏ 2.1 Định nghĩa và đặc trưng bác bỏ Trong hoạt động nhận thức người, việc chứng minh tính chân thực luận điểm, quan điểm khoa học tư có nhiệm vụ chứng minh tính khơng tường minh, sai lầm, giả dối quan điểm không phù hợp với quy luật thực khách quan Chứng minh quan điểm sai lầm dựa mối liên hệ nhân quả, để phủ nhận chỉ tính giả dối mà hệ đưa ra, trình liên kết suy luận dựa quy tắc logic lập luận, trình gọi bác bỏ 113 Vậy, bác bỏ thao tác logic tư nhằm xác định tính khơng chân thực, giả dối thiếu luận điểm Xét chất, bác bỏ loại hình chứng minh, song khơng có mục đích chứng minh tường minh, đắn luận điểm, mà vào xác định tính giả dối, thiếu luận điểm nhận thức 2.2 Cấu tạo và kiểu bác bỏ 2.2.1 Cấu tạo bác bỏ Cũng chứng minh, bác bỏ bao gồm ba phận: luận đề, luận luận chứng Luận đề bác bỏ luận đề phép chứng minh đó, luận đề giả dối Luận đề bác bỏ luận chứng chứng minh luận giả dối Luận đề bác bỏ luận chứng phép chứng minh, luận chứng khơng hợp logic Do vậy, luận đề bác bỏ trả lời câu hỏi: bác bỏ gì? Mục đích bác bỏ chỉ tính giả dối luận đề, luận đề bác bỏ có giá trị giả dối phản luận đề giả dối sẽ có giá trị chân thực, nên luận đề thực chất hình thức chứng minh Luận cứ bác bỏ sở, cứ, lý chân thực có quan hệ hữu với luận đề bác bỏ, nhằm bác bỏ hay chỉ tính giả dối luận đề bác bỏ Luận chứng bác bỏ cách thức, phương pháp nhằm liên kết luận bác bỏ để chỉ tính giả dối luận đề bác bỏ Như cấu trúc chứng mình, ba phận luận đề bác bỏ có quan hệ chặt chẽ, tương hỗ cho nhau, thân chúng có tính độc lập tương 2.2.2 Các kiểu bác bỏ Dựa vào tính chất luận đề bác bỏ, người ta chia bác bỏ thành ba loại: bác bỏ luận đề, bác bỏ luận bác bỏ luận chứng Bác bỏ luận đề hình thức bác bỏ luận đề khơng chân thực, xem hình thức bác bỏ quan trọng hữu dụng nhất, luận đề bị bác bỏ tranh luận, luận đưa khơng có giá trị Trong bác bỏ luận đề có hai hình thức là, bác bỏ 114 trực tiếp bác bỏ gián tiếp Bác bỏ trực tiếp hình thức dựa kiện thực tế, lý thuyết khoa học, v.v để bác bỏ luận điểm luận đề, ví dụ, có luận đề nói ơng A đảng viên gương mẫu, chỉ cần kiện ơng bị kỉ luật luận đề bị bác bỏ, mà không cần phải tranh luận Bác bỏ gián tiếp hình thức bác bỏ thơng qua việc xác định hệ luận đề giả dối phản luận đề chân thực Để bác bỏ luận đề mà hệ gây giả dối, ta chỉ cần chỉ tính mâu thuẫn không với thực hệ mà luận đề tạo Ví dụ, trái đất hình phẳng, ta rút hệ quả, đối tượng nhìn khoảng cách khác chiều cao nhau, song ta thấy thuyền từ biển vào, ban đầu ta chỉ nhìn thấy mũi buồm tàu, dần tàu ra, trái đất khơng phải hình phẳng, luận đề giả dối Đối với hình thức sử dụng phản luận đề bác bỏ, từ luận đề bác bỏ ta xây dựng phản luận đề bác bỏ, chứng minh tính đắn luận đề từ đến kết luận, luận đề bác bỏ không chân thực Ví dụ, luận đề bác bỏ là, số chẵn, ta xây dựng phản luận đề bác bỏ, số chẵn, ta sử dụng luận cứ, chia hết cho 2, phản luận đề bác bỏ đúng, luận đề bác bỏ không chân thực, giả dối Bác bỏ luận hình thức bác bỏ tính khơng đầy đủ, không chân thực luận đưa để chứng minh cho luận đề Trong chứng minh luận đề, luận quan trọng để xác định tính chân thực luận đề, ta thấy luận khơng đầy đủ, thiếu chân thực thiếu cứ, luận khơng thể làm sở để chứng minh luận đề, luận đề chứng minh bị bác bỏ từ việc bác bỏ luận chứng minh Ví dụ, để chứng minh mặt trời quay quanh trái đất, người ta đưa luận cứ, ngày tơi thấy mặt trời di chuyển từ đông sang tây mà không thấy trái đất di chuyển, luận thiếu cứ, không khoa học không dựa quy chiếu chuyển động, vậy, luận sai Hay, A cho B sẽ đạt giải kì thi tốn quốc gia, luận đưa ra, B học sinh giỏi tốn lớp tôi, luận không đủ thuyết phục, thiếu nên luận đề bị loại trừ 115 Bác bỏ luận chứng bác bỏ liên kết không hợp logic, không theo quy luật luận đề luận Mối quan hệ luận đề luận mối quan hệ nhân quả, kết hợp luận lại khơng có mối liên hệ nhân quả, logic với luận đề luận chứng vi phạm lỗi logic, tính chân thực luận đề không chấp nhận Các quy tắc chứng minh bác bỏ Bác bỏ xét tính chất hình thức chứng minh, song mục đích bác bỏ khơng phải chứng minh tính đắn luận đề, mà chỉ tính giả dối luận đề, luận luận chứng Bác bỏ chứng minh cấu tạo ba phận: luận đề, luận luận chứng, trình suy luận, ba phận này, cần phải tuân thủ quy tắc sau 3.1 Quy tắc luận đề Thứ nhất, luận đề phải đưa phải xác định, rõ ràng xác Luận đề chứng minh bác bỏ phải rõ ràng xác yêu cầu tiên quyết, cần xác định chứng minh hay bác bỏ gì, từ xây dựng luận luận chứng phù hợp, logic Thứ hai, luận đề phải thống suốt trình chứng minh bác bỏ, yêu cầu quy luật đồng nhất, để không rơi vào trường hợp đánh tráo khái niệm hay đánh tráo đối tượng Bởi, trình chứng minh bác bỏ, việc đồng nội dung luận đề bị vi phạm, dù vơ tình hữu ý, dẫn tới trình chứng minh bác bỏ trở nên khơng có giá trị 3.2 Quy tắc luận Luận xem yếu tố quan để chứng minh, bác bỏ luận đề, vậy, đề đảm bảo tính chân thực logic, luận cần phải tuân thủ nguyên tắc sau Thứ nhất, luận đưa phải chân thực Bởi luận đưa để chứng minh bác bỏ luận đề đó, để đảm bảo tính chân thực bắt buộc nội dung luận phải chân thực, ta chứng minh bác bỏ luận đề mà luận lại thiếu Thứ hai, luận không mâu thuẫn, trừ lẫn Bởi theo quy luật chung, luận có mâu thuẫn với hai sẽ có giá trị giả dối, vậy, thân chúng không 116 có mâu thuẫn Thứ ba, tính chân thực luận phải có tính độc lập với luận đề, luận dùng làm sở để chứng minh bác bỏ luận đề, tính chân thực phải chứng minh trước hệ luận đề, vi phạm quy tắc này, sẽ rơi vào vòng quanh, luẩn quẩn việc chứng minh nội dung luận đề Thứ tư, luận phải đầy đủ để chứng minh bác bỏ luận đề, số lượng luận q sẽ khơng đủ đảm bảo tính đắn giả dối luận đề, dễ rơi vào trường hợp võ đoán 3.3 Các quy tắc luận chứng Luận chứng xem phương thức, cách thức để liên kết luận đề nhằm mục đích chứng minh bác bỏ nội dung luận đề Do vậy, để đảm bảo tính logic, chân thực luận cần đáp ứng quy tắc sau Thứ nhất, luận chứng phải tuân thủ quy luận tư trình liên kết luận cứ, quy luật tư đảm bảo trình suy luận chân thực, vi phạm lỗi logic tư q trình suy luận sẽ khơng đảm bảo tính chân thực Thứ hai, trình liên kết luận cứ, logic luận chứng luận đề rút cách tất yếu từ việc liên kết luận với nhau, nghĩa phải đảm bảo tính nhân luận luận đề Chỉ đáp ứng vậy, trình chứng minh hay bác bỏ đảm bảo tính khách quan chân thực Câu hỏi ôn tập tập Câu Trình bày nguồn gốc, định nghĩa chứng minh Hãy so sánh cấu tạo chứng minh suy luận? Câu Hãy phân loại chứng minh Các cách chứng minh? Quy luật logic hình thức có tác động đến phép chứng minh? Câu Hãy chứng minh quy tắc riêng loại hình tam đoạn luận? Câu Trình bày cấu tạo bác bỏ? Các loại hình quy tắc bác bỏ? Câu Trình bày phương pháp bác bỏ? 117 [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Tài liệu tham khảo Vương Tất Đạt, Lôgic học đại cương, Nxb Đại học Quốc gia Hà Nội, Hà Nội, 2007 Vương Tất Đạt, Bùi Văn Quân, Nguyễn Thị Vân Hà, Phương pháp giải các bài tập logic học, Nxb Bách khoa Hà Nội, Hà Nội, 2010 Nguyễn Như Hải, Logic học đại cương, Nxb Đại học Sư phạm, Hà Nội, 2007 Tô Duy Hợp, Nguyễn Anh Tuấn, Logic học, Nxb Tp Hồ Chí Minh, 2001 V.I.Lênin, Toàn tập, tập 18, Nxb Tiến bộ, Matxcơva, 1980 C Mác - Ph Ăngghen, Toàn tập, tập 3, Nxb Chính trị Quốc gia, Hà Nội, 1995 Bùi Thanh Quất, Logic hình thức, Nxb Đại học Tổng hợp Hà Nội, Hà Nội, 1994 Đoàn Văn Khải, Nguyễn Anh Tuấn, Dư Đình Phúc, Logic học và phương pháp học tập, nghiên cứu khoa học, Nxb Giáo dục Việt Nam, Hà Nội, 2010 Lê Tử Thành, Tìm hiểu về logic học, Nxb Trẻ, Tp Hồ Chí Minh, 1995 Lê Tử Thành, Logic học phương pháp nghiên cứu khoa học, Nxb Trẻ, Tp Hồ Chí Minh, 1993 Võ Văn Thắng, Giáo trình logic hình thức, Nxb Chính trị Quốc gia, 2017 Hồ Thích, Lịch sử logic học thời tiên tần, Nxb Tp Hồ Chí Minh, Tp Hồ Chí Minh, 2004 Nguyễn Anh Tuấn, Hỏi & Đáp logic học đại cương, Nxb Đại học Quốc gia Hà Nội, Hà Nội, 2011 Nguyễn Thúy Vân, Nguyễn Anh Tuấn, Logic học đại cương, Nxb Đại học Quốc gia, Hà Nội, 2011 118 119 Giáo trình LOGIC HỌC ĐẠI CƯƠNG 120