Bài giảng Logic học: Chương 6 Giả thuyết chứng minh – bác bỏ cung cấp cho người học những kiến thức như: Định nghĩa giả thuyết, Phân loại giả thuyết, Quá trình hình thành giả thuyết, Phương pháp xác định giá trị logic, Các quy tắc và lỗi logic. Mời các bạn cùng tham khảo để nắm chi tiết nội dung bài giảng!
Chương GIẢ THUYẾT CHỨNG MINH – BÁC BỎ I GIẢ THUYẾT II CHỨNG MINH – BÁC BỎ 1/22/20 Chương 6- Giả thuyết, chứng minh - bác bỏ I GIẢ THUYẾT I.1 Định nghĩa I.2 Phân loại I.3 Quá trình hình thành I.4 Phương pháp xác định giá trị logic 1/22/20 I.1 Giả thuyết Định nghĩa Phân loại Giả thuyết giả định có sở khoa học nói mối liên hệ mang tính qui luật kiện nghiên cứu Giả thuyết Giả thuyết chung – giả định có sở khoa học nói mối liên hệ mang tính quy luật lớp rộng lớn kiện nghiên cứu Giả thuyết riêng – giả định có sở khoa học nói mối liên hệ mang tính qui luật nhóm kiện nghiên cứu I.1 Giả thuyết Ø Các bước hình thành, phát triển Sự kiện Hinh thành giả thuyêt Quan sát, thu thập số liệu Đúng Thiết lập giả thuyết Kiểm tra giả thuyết Dự kiến Hệ Sai Bác bỏ Ø Bốn bước hình thành, phát triển I.1 Giả thuyết Bước Phân tích, so sánh, tổng hợp tài liệu, xây dựng kiện kh.học; từ kiện kh.học xây dựng giả định có sở kh.học- Giả thuyết Bước Từ giả thuyết rút tất hệ Đối chiếu hệ với tài liệu quan sát, thí nghiệm hay với Bước luận điểm kh.học xác chứng xem có phù hợp hay không Bước Nếu phù hợp-GT xác chứng, & trở thành (một phần) lý thuyết KH Nếu không phù hợp - GT bị phủ chứng, cần xây dựng lại GT I.1 Giả thuyết Ø Ph.pháp xác định giá trị logic H Û (H1 Ù H2 Ù … Ù Hk) H: Giả thuyết Fi : hệ H Hi: Giả thuyết A : Điều xác thực [(H1ÚH2Ú…ÚHk) Ù (~H1Ù~H2 Ù Ù~Hj-1Ù~Hj+1Ù…Ù~Hk)] Þ Hj I.1 Giả thuyết Ph.pháp xác định giá trị logic sai H : Giả thuyết Fi : Hệ H A : Điều xác thực {(H Þ Fk) Ù ~Fk} Þ ~H {~(H Ù A) Ù A } Þ ~H CHƯƠNG 6- GIẢ THUYẾT, CHỨNG MINH - BÁC BỎ II CHỨNG MINH – BÁC BỎ II.1 Định nghĩa kết cấu II.2 Phân loại II.3 Các quy tắc lỗi logic II.4 Ngộ biện, ngụy biện nghịch lý 1/22/20 II.1 Định nghĩa kết cấu Định nghĩa Chứng minh thao tác logic xác lập tính xác thực tư tưởng dựa tính xác thực tư tưởng khác liên hệ với Bác bỏ thao tác logic vạch tính sai lầm tư tưởng II.1 Định nghĩa kết cấu Kết cấu §Luận đề - tư tưởng mà tính xác thực cần phải chứng minh/bác bỏ Chứng minh, Bác bỏ §Luận - tư tưởng xác thực dùng làm lý đầy đủ để chứng minh/bác bỏ tính xác thực luận điểm §Luận chứng – mối liên hệ/quy tắc logic luận với luận điểm cho phép xác định tính xác thực/sai lầm điều cần chứng minh/bác bỏ II.2 Phân loại Chứng minh CM trực tiếp CM gián tiếp CM phản chứng CM loại trừ Bác bỏ BB luận đề BBLĐ trực tiếp BB luận BBLĐ gián tiếp BB ’LC sai’ BB luận chứng BB ’LC luẩn quẩn’ BB ’LC khg hợp LG’ BB’ LC không đủ’ II.2 Phân loại Ø CM trực tiếp Ø Thao tác logic trực tiếp tính xác thực luận đề từ tính xác thực luận {(a Ù b Ù Ù f) Þ Þ (m Ù n Ù Ù x)} Þ T II.2 Phân loại Ø CM phản chứng Ø Thao tác logic tính xác thực luận đề cách vạch tính sai lầm mệnh đề mâu thuẫn với luận đề Bước Xây dựng ~p, mệnh đề mâu thuẫn với p Bước {~p ⇒ qk & (qk Ù ~qk) = s & ~qk = đ} ⇒ qk = s Bước {qk = s & ~p ⇒ qk} ⇒ ~p = s ⇒ p = đ II.2 Phân loại Ø CM loại trừ Ø Thao tác logic tính xác thực luận đề cách loại trừ mệnh đề sai lầm có liên quan Bước Xây dựng (p Ú q Ú r Ú Ú s) = đ Bước Xác định (q Ú r Ú Ú t) = s tức (~qÙ~rÙ Ù~t) = đ Bước {(p Ú q Ú r Ú Ú s) & (~q Ù ~r Ù Ù ~s)}⇒ p II.2 Phân loại Ø BB luận đề gián tiếp Ø Thao tác logic luận đề sai cách vạch mệnh đề trái ngược (tương phản/mâu thuẫn) với Bước Bước Bước Xây dựng ~T’, trái ngược với T Nhanh chóng chứng minh, ~T’ = đ ~T’ = đ ð T=s II.3 Các quy tắc lỗi logic Quy tắc Luận đề phải rõ ràng, xác, quán “Thay đổi (xuyên tạc, đánh tráo) luận đề” Lỗi LG Quy tắc Luận phải xác thực, lý đầy đủ luận đề Sai lầm bản”,“Sai lầm không suy được” Lỗi LG Quy tắc Lập luận phải tuân thủ q.tắc LG, không luẩn quẩn “Lập luận khơng hợp logic”, “Lý luận vịng vo” Lỗi LG II.3 Các quy tắc lỗi logic Lý luận” dựa sức mạnh (“lý luận” gậy) lấy sức mạnh, bạo lực thay cho luận đủ Ø “ Ø “Lý luận” dựa uy quyền lấy uy quyền trị, pháp luật, tôn giáo thay cho luận đủ Ø “Lý luận” dựa tư cách cá nhân lấy tư cách cá nhân thay cho luận đủ Ø “Lý luận” dựa số đông (dư luận xã hội) lấy ý kiến số đông (dư luận xã hội) thay cho luận đủ Ø “Lý luận” dựa tình cảm lấy “logic” trái tim thay logic lý trí; lấy tình cảm thay cho luận đủ, để “làm mềm lẽ phải, làm nhũn chân lý” II.4 Ngộ biện, ngụy biện nghịch lý Ø Ngộ biện q trình lập luận có mắc phải sai lầm logic cách không chủ ý Ø Ngụy biện trình lập luận cố tình phạm sai lầm logic nhằm đánh tráo, mạo nhận tư tưởng giả dối xác thực, hay tư tưởng xác thực giả dối Ø Nghịch lý logic q trình lập luận hồn tồn hợp logic tiền đề kết luận mệnh đề trái ngược / mâu thuẫn lẫn https://youtu.be/J26AwZrumAM Câu hỏi thảo luận Sinh viên tự cho câu hỏi thảo luận trả lời câu hỏi Bài tập ví dụ Lớp LKD có 24 sinh viên làm kiểm tra kỳ môn logic học Biết sinh viên Hùng có điểm kiểm tra 10, sinh viên cịn lại có điểm kiểm tra thấp hơn; điểm kỳ điểm nguyên từ 0, 1, …, 10 Bằng phương pháp phản chứng, chứng minh lớp có bạn sinh viên có điểm giống Giải tập ví dụ Bước 1: Từ luận đề cần chứng minh: Trong lớp có bạn sinh viên có điểm giống nhau, xây dựng luận đề mâu thuẫn với nó: Trong lớp có sinh viên có điểm giống Bước 2: Chứng minh mệnh đề: Trong lớp có sinh viên có điểm giống sai Chia 24 sinh viên lớp LKD thành 11 nhóm: Nhóm gồm sinh viên có kiểm tra 0; Nhóm gồm sinh viên có kiểm tra 1; … Nhóm 10 gồm sinh viên có kiểm tra 10 Giải tập ví dụ (tiếp) Nhóm 10 có sinh viên Hùng có kiểm tra 10 Do đó, 23 sinh viên cịn lại thuộc 10 nhóm (từ nhóm 09) Nếu nhóm có sinh viên 10 nhóm chứa tối đa 20 sinh viên, cịn sinh viên khơng thuộc nhóm Vì mệnh đề: Trong lớp có sinh viên có điểm giống sai Do mệnh đề Trong lớp có sinh viên có điểm giống sai, nên mệnh đề mâu thuẫn với Trong lớp có bạn sinh viên có điểm giống mệnh đề → Bài toán chứng minh Bài tập ví dụ Lớp 12A có 40 học sinh, làm tập toán, em điểm từ đến 10 (các điểm nguyên), có em điểm 10 Chứng minh rằng, lớp ln tìm em có điểm 23 1/22/20 Bài tập ví dụ Bạn A cắt tờ giấy thành mảnh, sau bạn lại cắt mảnh vừa cắt thành mảnh nhỏ Quá trình cắt tiếp tục… Sau A dừng cắt đếm mảnh giấy vừa cắt 142 mảnh Hỏi bạn A đếm hay sai? (giải phương pháp quy nạp) Nguyên lý phương pháp chứng minh Nguyên lý quy nạp: Nếu khẳng định S(n) thoả mãn điều kiện sau: 1.Đúng với n=k0 (k0 số tự nhiên nhỏ mà S(n) xác định); 2.Từ tính đắn S(n) n = k (hoặc với giá trị n (k0 ≤ n ≤ k)), (k ≥ k0 ) suy tính đắn S(n) n = k + 1, S(n) với n ≥ k0 Phương pháp chứng minh quy nạp: Giả sử khẳng định S(n) xác định với n ≥ k0 Để chứng minh S(n) với ∀n ≥ k0 quy nạp, thực bước sau: a)Cơ sở quy nạp: Thực bước thử đắn S(n) n = k0 , nghĩa xét S(k0 ) có hay không b)Quy nạp: Giả sử khẳng định S(n) với n=k (hoặc đôi với n (k0 ≤ n ≤ k)), (k≥ k0 ) Trên sở suy đắn S(n) n = k +1, tức S(k+1) Nếu hai bước thoả mãn, theo nguyên lý quy nạp, S(n) với ∀n ≥ k0 Bài tập ví dụ Chứng minh rằng: Nếu túi có số tiền ngun (Nghìn) khơng 8000đ, ln ln tiêu hết cách mua vé sổ số loại 5000đ 3000đ 1/22/20 26 ... (~H1Ù~H2 Ù Ù~Hj-1Ù~Hj+1Ù…Ù~Hk)] Þ Hj I.1 Giả thuyết Ph.pháp xác định giá trị logic sai H : Giả thuyết Fi : Hệ H A : Điều xác thực {(H Þ Fk) Ù ~Fk} Þ ~H {~(H Ù A) Ù A } Þ ~H CHƯƠNG 6- GIẢ THUYẾT,... minh thao tác logic xác lập tính xác thực tư tưởng dựa tính xác thực tư tưởng khác liên hệ với Bác bỏ thao tác logic vạch tính sai lầm tư tưởng II.1 Định nghĩa kết cấu Kết cấu §Luận đề - tư tưởng... ? ?logic? ?? trái tim thay logic lý trí; lấy tình cảm thay cho luận đủ, để “làm mềm lẽ phải, làm nhũn chân lý” II.4 Ngộ biện, ngụy biện nghịch lý Ø Ngộ biện q trình lập luận có mắc phải sai lầm logic