Đề cương bài giảng môn logic học đại cương

Nhất thiết phải tự nghiên cứu bài trước khi đến lớp nghe giảng ( Theo những hướng dẫn trong đề cương bài giảng ) Hoàn thành các bài tập theo yêu cầu,hướng dẫn của giáo viên

ĐẠI HỌC QUỐC GIA HÀ NỘI ***  ĐỀ CƯƠNG BÀI GIẢNG MÔN LÔGIC HỌC ĐẠI CƯƠNG (DÙNG CHO SINH VIÊN) - HÀ NỘI 2011 - Nguyễn Như Thơ- Đại học Quốc Gia Hà nội CHƯƠNG TRÌNH MƠN LƠGIC HỌC ĐẠI CƯƠNG ( 02 TÍN CHỈ) CHƯƠN G TÊN CHƯƠNG SỐ GIỜ LÝ THUYẾT BÀI TẬP KIỂM TRA SỐ GIỜ TỰ HỌC TỔNG SỐ GIỜ Đối tượng ý nghĩa môn lôgic học 2 Khái niệm Phán đoán 2 4 Các quy luật lơgic hình thức 1 Suy luận Chứng minh bác bỏ 2 Giả thuyết Tổng 18 10 11 30 Nguyễn Như Thơ- Đại học Quốc Gia Hà nội LỊCH TRÌNH GIẢNG DẠY THỜI GIAN Tuần Từ đến Tuần Từ đến Tuần Từ đến Tuần Từ đến Tuần Từ đến Tuần Từ đến Tuần Từ đến Tuần Từ đến Tuần Từ đến Tuần 10 Từ đến Tuần 11 Từ đến Tuần 12 Từ đến Tuần 13 Từ đến Tuần 14 Từ đến Tuần 15 Từ đến Tổng SỐ TIẾT NỘI DUNG ĐỐI VỚI SINH VIÊN Chương 2 2 2 2 2 2 2 YÊU CẦU - Ch2 : 2.1 đến 2.5 - Luyện tập - Ch 2: 2.6 - Luyện tập - Ch 2: 2.7 đến 2.9 - Luyện tập - Ch 3: 3.1, 3.2 - Luyện tập - Ch 3: 3.3 - Luyện tập - Ch - Luyện tập - Ch 5: 5.1 đến 5.2.1 - Luyện tập - Ch 5: 5.2.2 - Luyện tập - Ch 5: 5.2.2 - Luyện tập - Ch 5: 5.2.3 - Luyện tập Kiểm tra kỳ - Ch 6: 6.1 đến 6.3 - Luyện tập - Ch 6: 6.4, 6.5 - Luyện tập - Chương - Hướng dẫn ôn tập - Chuẩn bị tài liệu, làm tập - Tự nghiên cứu: 2.1 đến 2.5 - Làm tập - Tự nghiên cứu: 2.6 - Làm tập - Tự nghiên cứu: 2.7 đến 2.9 - Làm tập - Tự nghiên cứu: 3.1, 3.2 - Làm tập - Tự nghiên cứu: 3.3 - Làm tập - Tự nghiên cứu chương - Làm tập - Tự nghiên cứu: 5.1 đến 5.2.1 - Làm tập - Tự nghiên cứu: 5.2.2 - Làm tập - Tự nghiên cứu: 5.2.2 - Làm tập - Tự nghiên cứu: 5.2.3 - Làm tập - Ôn tập chương 1,2,3,4,5 Theo nhóm nhỏ ( Mỗi lớp chia làm nhóm) - Làm tập - Tự nghiên cứu chương - Làm tập - Tự nghiên cứu chương - Làm tập 30 Nguyễn Như Thơ- Đại học Quốc Gia Hà nội GHI CHÚ Nguyễn Như Thơ- Đại học Quốc Gia Hà nội TÀI LIỆU HỌC TẬP Tài liệu bắt buộc - Đề cương môn học (soạn theo học chế tín chỉ) - Vương Tất Đạt: Lơgic học đại cương, NXB Đại học Quốc Gia Hà Nội, 2008 - Nguyễn Như Hải: Giáo trình Lơgic học đại cương, NXB Giáo dục, 2007 - Nguyễn Thuý Vân, Nguyễn Anh Tuấn: Lôgic học đại cương, NXB ĐHQG Hà Nội, 2008 Tài liệu tham khảo - Hồng Chúng: Lơgic học phổ thông, NXB Giáo dục, 2006 - Vương Tất Đạt, Bùi Văn Quân, Nguyễn Thị Vân Hà: Phương pháp giải tập lôgic học, NXB Đại học Kinh tế quốc dân, 1999 - Nguyễn Đức Dân: Giáo trình nhập mơn Lơgic hình thức, NXB Đại học Quốc Gia TP Hồ Chí Minh, 2008 - Nguyễn Đức Dân: Lơgic tiếng Việt, NXB Giáo dục, 1996 - Tô Duy Hợp, Nguyễn Anh Tuấn: Lơgic học, NXB TP Hồ Chí Minh - Trần Diên Hiền: tốn suy luận lơgic, NXB Giáo dục, 2000 - Trần Diên Hiền: Lôgic giải trí, NXB Khoa học kỹ thuật Hà Nội, 1993 - Bùi Thanh Quất, Nguyễn Tuấn Chi: Lơgic học hình thức, NXB Đại học Tổng Hợp Hà Nội, 1994 - Lê Dỗn Tá, Tơ Duy Hợp: Giáo trình Lơgic học, NXB Chính trị Quốc Gia, 2002 - Lê Tử Thành: Tìm hiểu lơgic học, NXB Trẻ, 1996 Nguyễn Như Thơ- Đại học Quốc Gia Hà nội YÊU CẦU ĐỐI VỚI SINH VIÊN - Mỗi sinh viên thiết phải có tài liệu học tập bắt buộc - Nhất thiết phải tự nghiên cứu trước đến lớp nghe giảng ( Theo hướng dẫn đề cương giảng ) - Hoàn thành tập theo yêu cầu,hướng dẫn giáo viên - Chấp hành nghiêm túc quy định nề nếp học tập, kiểm tra đánh quy chế đào tạo đại học ĐHQG quy định KIỂM TRA ĐÁNH GIÁ KẾT QUẢ HỌC TẬP Kiểm tra đánh giá thường xuyên: 10%: đánh giá chuyên cần, thái độ học tập, trình chuẩn bị bài, làm tập lớp nhà ( hệ số 0,1) Kiểm tra định kỳ: 30% ( hệ số 0,3); Thi hết mơn: 60%, hình thức: thi viết, thời gian: 90 phút; sinh viên sử dụng tài liệu làm thi (hệ số 0,6) CÔNG THỨC TÍNH ĐIỂM MƠN HỌC ST T Nội dung kiểm tra đánh giá Hệ số Kết - Tham gia học tập lớp tích cực, hăng hái phát biểu 0,1 10% - Làm tập, tự học nhà đầy đủ (a) Kiểm tra kỳ: lần 0,3 - Hình thức: làm viết lớp, thời gian: 01 tiết ( b) 30% 0,7 60% Thường xuyên: - Chuyên cần Kiểm tra cuối mơn: - Hình thức: tự luận kết hợp trắc nghiệm tổng hợp, sinh viên sử dụng tài liệu làm thi (c) - Thời gian: 120 phút Điểm môn học: k = 0,1a + 0,3b + 0,6c Nguyễn Như Thơ- Đại học Quốc Gia Hà nội 100% Ghi chú: Các điểm tính theo thang 10 ĐỀ CƯƠNG CHI TIẾT Chương 1: ĐỐI TƯỢNG VÀ Ý NGHĨA CỦA LÔGIC HỌC 1.1 Khái luận chung lôgic học 1.1.1 Khái niệm lôgic lơgic học THUẬT NGỮ GỐC: LƠGOS - Từ, lời nói - Tư tưởng, ý nghĩ, lý tính LƠGIC LÀ GÌ? - Những mối liên hệ tất yếu, có tính quy luật vật, tượng thực khách quan – Lôgic khách quan - Những mối liên hệ tất yếu, có tính quy luật ý nghĩ, tư tưởng tư – Lôgic chủ quan - Mơn khoa học nghiên cứu hình thức quy luật tư duy- Logic học 1.1.2 Đối tượng lơgic học LƠGIC HỌC LÀ GÌ? Là mơn khoa học nghiên cứu quy luật hình thức tư hướng vào việc nhận thức đắn thực khách quan - Khách thể nghiên cứu: Tư - Đối tượng nghiên cứu: quy luật hình thức tư NHIỆM VỤ CƠ BẢN CỦA LOGIC HỌC: * Chỉ điều kiện nhằm đạt tới tri thức chân thực * Phân tích kết cấu trình tư duy, thao tác lơgic phương pháp luận chuẩn xác 1.1.3 Khái lược lịch sử hình thành phát triển lơgic học ĐẠI BIỂU ĐẦU TIÊN: ARITSTÔT ( 384- 322 TR CN ) - Hệ thống hố hiểu biết thời hình thức quy luật tư xây dựng nên Lôgic học Nguyễn Như Thơ- Đại học Quốc Gia Hà nội - Được truyền bá Trung cận Đông, châu Âu từ –IV đến XIX mà khơng có thay đổi lớn - Cuối XIX đến nay: Có phát triển lớn CÁC HÌNH THỨC CỦA LƠGIC HỌC: - Lơgic cổ điển - Lơgic tốn - Lơgic đại - Lôgic biện chứng 1.1.4 Các khoa học logic * Lôgic cổ điển - Thời cổ đại: Hêrraclit, Đêmôcrit,… Aristơt Có ảnh hưởng lớn tới phát triển thực tiễn nhận thức khoa học - Trung cổ, Phục hưng: Khủng hoảng - Thế kỷ XVII: Lôgic học quy nạp ( Ph.Bêcơn); Luận phương pháp ( Đêcatơ); ….Lơmơnơxơp, Karinxki, Povarnhin… * Lơgic tốn - Cuối XIX: Sự thâm nhập phương pháp toán học vào khoa học khác - G Lepnit (1646-1716): Khởi xướng lơgic tốn - G Boole (1815-1864): Đại số logic * Lôgic đại - Vạch vận dụng phương pháp khoa học giải vấn đề logic truyền thống - Các đại biểu: J Venn ( 1834-1923); R Carnap (1891-1971), B Russell ( 18721970)… * Lôgic biện chứng - Thời cổ đại: Aristôt đặt bước đầu giải vấn đề logic BC - Thế kỷ XVII: Ph.Bêcơn, Hôpxơ, Đêcatơ, Lepnit… - Cuối XVII, đầu XIX: Logic BC định hình phát triển: Cantơ: đưa PBC vào logic học Hêghen: Xây dựng hoàn chỉnh logic BC Mác, Ăngghen: Logic vật BC, mối quan hệ logic BC logic hình thức 1.2 Quá trình nhận thức hình thức tư Nguyễn Như Thơ- Đại học Quốc Gia Hà nội 1.2.1Quá trình nhận thức * Nhận thức phản ánh TGKQ vào óc người * Hai giai đoạn nhận thức: Cảm tính lý tính - Nhận thức cảm tính: Cảm giác, tri giác, biểu tượng - Nhận thức lý tính: Khái niệm, phán đốn, suy luận 1.2.2 Đặc điểm tư * Tư duy: - Là giai đoạn cao, trình độ cao trình nhận thức - Là phản ánh gián tiếp, trừu tượng, khái quát khái niệm, phạm trù, phán đốn, suy luận…nhờ phản ánh mặt, mối liên hệ chất, tất yếu - Là trình nhận thức trừu tượng, khái quát cao * Đặc điểm tư duy: - Phản ánh thực dạng khái quát - Phản ánh trung gian thực - Liên hệ mật thiết với ngôn ngữ - Tham gia tích cực vào hoạt động thực tiễn cải biến thực 1.2.3 Hình thức tư * Khái niệm: Là hình thức tư duy, phản ánh dấu hiệu chất, khác biệt đối tượng * Phán đốn: Là hình thức tư duy, nêu rõ khẳng định hay phủ định tồn đối tượng, thuộc tính hay mối quan hệ đối tượng * Suy luận: Là hình thức tư duy, nhờ từ hay nhiều phán đốn tiền đề rút kết luận theo quy tắc lôgic xác định 1.3 Hình thức lơgic quy luật lơgic tư 1.3.1 Hình thức lơgic tư - Là cấu trúc tư tưởng, phương thức liên kết thành phần tư tưởng với - Hình thức lơgic tư tưởng biểu thị ký hiệu - Trong trình tư duy, nội dung hình thức tư tưởng khơng tách rời Song mục đích nghiên cứu, tạm tách nội dung cụ thể tư tưởng khỏi hình thức ← - Lơgíc hình thức nghiên cứu hình thức lôgic tư tưởng 1.3.2 Quy luật logic Nguyễn Như Thơ- Đại học Quốc Gia Hà nội * Là mối liên hệ chất, tất yếu tư tưởng trình lập luận * Các quy luật lôgic bản: - Quy luật đồng - Quy luật không mâu thuẫn - Quy luật loại trừ thứ ba - Quy luật lý đầy đủ * Đặc điểm: - Khách quan - Được hình thành trình hoạt động nhận thức thực tiễn người qua nhiều hệ 1.3.3 Tính chân thực tư tưởng tính đắn hình thức lập luận * Tính chân thực tư tưởng: Căn để xác định tính chân thực tư tưởng: Nội dung cụ thể tư tưởng - Tư tưởng chân thực nội dung phù hợp với thực khách quan mà phản ánh = c = - Tư tưởng giả dối nội dung khơng phù hợp với thực khách quan mà phản ánh = g=0 * Tính đắn hình thức lập luận: - Lập luận đắn ( hợp lôgic) qúa trình lập luận tuân thủ quy tắc quy luật lôgic - Lập luận sai lầm ( khơng hợp lơgic) q trình lập luận vi phạm quy tắc, quy luật lôgic 1.4 Lôgic học ngôn ngữ 1.4.1 Ngôn ngữ hệ thống ngôn ngữ 1.4.2 Mối quan hệ lôgic học ngôn ngữ * Ngôn ngữ sử dụng lôgic học ngôn ngữ nhân tạo * Một số ký hiệu lôgic: + Các mệnh đề: a,b,c,… + Các liên từ: - Là, không - Và ( Phép hội) ʌ : a ʌ b - Hoặc ( Phép tuyển) V : a V b - Nếu… ( Phép kéo theo) → : a → b Nguyễn Như Thơ- Đại học Quốc Gia Hà nội * Phương thức phủ định: aVb aVb b a a b 5.3 SUY LUẬN QUY NẠP 5.3.1 Đặc điểm chung? * Suy luận quy nạp gì? Là suy luận kết luận tri thức chung khái quát từ tri thức chung SƠ ĐỒ: S1, S2, S3 .Sn có thuộc tính P S1, S2, S3 .Sn thuộc lớp S Lớp S có thuộc tính P CHÚ Ý: - Suy luận quy nạp thực lớp vật loại - Kết luận quy nạp đáng tin cậy khái quát từ dấu hiệu chất lớp đối tượng - Kết luận quy nạp mang tính xác suất (Cần khái quát từ số đối tượng đủ lớn sau thiết phải kiểm nghiệm lại qua thực tế) - Kết luận quy nạp rút sở tập hợp tiền đề - Kết luận quy nạp rút sở tiền đề phủ định - Các tiền đề quy nạp phán đoán đơn phán đoán phận - Kết luận quy nạp mang tính xác xuất 5.3.2 QUY NẠP HỒN TỒN *Quy nạp hồn tồn gì? Là suy luận quy nạp kết luận chung lớp đối tượng rút sở nghiên cứu đối tượng lớp SƠ ĐỒ: S1, S2, S3 .Sn có thuộc tính P S1, S2, S3 .Sn thuộc lớp S Nguyễn Như Thơ- Đại học Quốc Gia Hà nội Lớp S có thuộc tính P *Điều kiện: - Biết xác số lượng đối tượng lớp nghiên cứu ( Số lượng đối tượng không lớn) - Biết chắn dấu hiệu khái quát thuộc đối tượng lớp 5.3.3 QUY NẠP KHƠNG HỒN TỒN Quy nạp khơng hồn tồn gì? • Là suy luận quy nạp kết luận chung lớp đối tượng rút sở nghiên cứu số đối tượng lớp SƠ ĐỒ: S1, S2, S3 .Sn có thuộc tính P S1, S2, S3 .Sn thuộc lớp S Lớp S có thuộc tính P PHÂN LOẠI: * Quy nạp phổ thơng • • Là suy luận quy nạp khơng hồn tồn thực sở dấu hiệu trùng lặp hàng loạt đối tượng lớp nghiên cứu đến khái quát dấu hiệu cho lớp nghiên cứu Đặc điểm: - Được thực thông qua phép liệt kê đơn giản không đầy đủ - Kết luận bổ sung, chỉnh sửa, chí bác bỏ phát hiện tượng mâu thuẫn Điều kiện: - Nghiên cứu số lượng lớn trường hợp xảy - Đa dạng hoá trường hợp nghiên cứu - Dựa vào dấu hiệu chất để khái quát * Quy nạp khoa học - Là suy luận quy nạp kết luận tồn lớp đối tượng rút sở dấu hiệu chất, tất yếu số đối tượng lớp - Cơ sở khoa học: Mối quan hệ nhân - MỘT SỐ PHƯƠNG PHÁP QUY NAP KHOA HỌC: Phương pháp giống nhau:Là quy nạp khoa học dựa phát đặc điểm giống khác biệt Nguyễn Như Thơ- Đại học Quốc Gia Hà nội SƠ ĐỒ: Hiện tượng A xuất ĐK a,b,c,d Hiện tượng A xuất ĐK a,e,g,h Hiện tượng A xuất ĐKa,k,n,m Có thể ĐK a nguyên nhân tượng A Phương pháp khác biệt:Là quy nạp khoa học dựa sở so sánh trường hợp tượng nghiên cứu xảy không xảy SƠ ĐỒ: Hiện tượng A xuất ĐK a,b,c,d Hiện tượng A không xuất ĐK b,c,d Có thể ĐK a nguyên nhân tượng A Phương pháp biến đổi kèm theo:Là quy nạp khoa học ngưới ta trì tượng nhóm ĐK Sau biến đổi dần ĐK đó, kéo theo biến đổi tượng kết luận ĐK nguyên nhân tượng nghiên cứu SƠ ĐỒ: Hiện tượng A xuất ĐK a, b, c, d Hiện tượng A1 xuất ĐK a1,b,c,d Hiện tượng A2 xuất ĐK a2, b, c, d Có thể ĐK a nguyên nhân tượng A Phương pháp loại trừ: Là quy nạp khoa học thực biết tập hợp ĐK tượng NC xảy biết tất ĐK đó, trừ ĐK khơng phải ngun nhân kết luận ĐK ngun nhân tượng SƠ ĐỒ: Hiện tượng A xuất ĐK a, b, c Hiện tượng A xuất ĐK a, b Hiện tượng A xuất ĐK a, c Có thể ĐK a nguyên nhân tượng A Nguyễn Như Thơ- Đại học Quốc Gia Hà nội Hiện tượng A xuất ĐK a, b, c Hiện tượng A không xuất ĐK b Hiện tượng A khơng xuất ĐK c Có thể ĐK a nguyên nhân tượng A Hiện tượng A, B, C xuất ĐK a, b, c Hiện tượng B xuất ĐK b Hiện tượng C xuất ĐK c Có thể ĐK a nguyên nhân tượng A 5.4 SUY LUẬN TƯƠNG TỰ 5.4.1 Đặc điểm chung • SUY LUẬN TƯƠNG TỰ LÀ GÌ? Là suy luận kết luận dấu hiệu đối tượng nghiên cứu rút sở giống đối tượng với đối tượng biết hàng loạt dấu hiệu • CƠ SỞ KHÁCH QUAN: - Mỗi đối tượng hệ thống hoàn chỉnh phận, dấu hiệu, thuộc tính quan hệ, quy định lẫn - Các đối tượng thực có quan hệ hữu cơ, tác động qua lại, ảnh hưởng, quy định SƠ ĐỒ: Đối tượng A có dấu hiệu a, b, c, d, e, g, h Đối tượng B có dấu hiệu a, b, c, d, e, g, h, m, n Có thể đối tượng A có dấu hiệu m, n Đối tượng A B có chung dấu hiệu a, b, c, d, e, g, h Đối tượng B có dấu hiệu m, n Có thể đối tượng A có dấu hiệu m, n 5.4.2 Một số loại suy luận tương tự • TƯƠNG TỰ THUỘC TÍNH Nguyễn Như Thơ- Đại học Quốc Gia Hà nội Là suy luận tương tự kết luận thuộc tính đối tượng • TƯƠNG TỰ QUAN HỆ Là suy luận tương tự kết luận biểu thị quan hệ đối tượng 5.4.3Điều kiện nâng cao mức độ tin cậy kết luận suy luận tương tự Điều kiện nâng cao độ tin cậy suy luận tương tự: - Các đối tượng đem áp dụng tương tự có nhiều dấu hiệu chung - Các dấu hiệu chung phong phú, đa dạng - Các dấu hiệu chung dấu hiệu chất CÂU HỎI VÀ BÀI TẬP 1) Suy luận gì? So sánh định nghĩa loại suy luận 2) Thế suy luận diễn dịch trực tiếp? Trình bày kiểu diễn dịch trực tiếp có tiền đề phán đốn đơn Cho ví dụ cụ thể 3) Trình bày cách thức suy diễn trực tiếp có tiền đề phán đốn phức hợp (dựa vào đẳng trị phán đoán phức hợp bản) Cho ví dụ cụ thể 4) Trình bày định nghĩa, cấu tạo, loại hình quy tắc chung tam đoạn luận Cho ví dụ việc vi phạm quy tắc nêu 5) Phát biểu chứng minh quy tắc riêng loại hình tam đoạn luận Cho ví dụ việc vi phạm quy tắc nêu 6) Thế tam đoạn luận rút gọn Trình bày cách thức chung khơi phục dạng đầy đủ Cho ví dụ 7) Thế suy luận điều kiện? Hãy phân biệt kiểu suy luận điều kiện với Cho ví dụ nêu quy tắc chúng Vế hai câu: “Thương thương đường đi, ghét ghét tông ty họ hàng”; “Tay làm hàm nhai, tay quai miệng trễ” có kết luận hay khơng, coi vế thứ chân thực? Nguyễn Như Thơ- Đại học Quốc Gia Hà nội 8) Trình bày suy luận lựa chọn: kiểu hình quy tắc Cho ví dụ trường hợp Có thể rút kết luận từ tiền đề “giàu út, khó út” cho biết loại hình suy luận 9) Trình bày kiểu suy luận kết hợp suy luận điều kiện lựa chọn phân liệt Cho ví dụ với kiểu suy luận nêu Câu ca dao “cịn dun kẻ đón người đưa, hết dun sớm trưa mình” viết theo công thức loại suy luận nào? 10) Trình bày định nghĩa, cấu tạo suy luận quy nạp, phân loại quy nạp Cho ví dụ ứng với loại nêu 11) Thế quy nạp khoa học? Trình bày phương pháp để vạch nguyên nhân (hoặc chất) tượng cần nghiên cứu Cho ví dụ với phương pháp 12) Nêu nguồn gốc, định nghĩa đặc điểm phép suy luận tương tự Phân tích điều kiện để phép suy luận tương tự cho kết luận có độ tin cậy cao 13) Hãy phương thức suy luận cho biết suy luận sau có hợp loogic khơng? Vì sao? - Anh học ngoại ngữ giỏi anh khơng nói ngọng - Mọi người sai lầm mà tơi khơng phải thánh - Nhím khơng phải động vật có vú động vật có vú thường đẻ Chương 6: CHỨNG MINH VÀ BÁC BỎ 6.1 Đặc điểm chung 6.1.1 Chứng minh, bác bỏ gì? + Chứng minh gì? * Là thao tác lơgic dùng để lập luận tính chân thực luận điểm hay lý thuyết nhờ luận điểm hay lý thuyết chân thực khác có mối liên hệ hữu với luận điểm hay lý thuyết * Thực chất chứng minh Nguyễn Như Thơ- Đại học Quốc Gia Hà nội - Là thao tác lôgic nhằm tìm lơgic, lý lẽ lơgic cho tính chân thực luận điển - Là hoạt động lôgic thể tác động quy luật lý đầy đủ + Bác bỏ gì? * Là thao tác lơgic nhằm xác lập tính giả dối hay tính khơng có việc khẳng định tính chân thực luận điểm hay lý thuyết * Thực chất bác bỏ: - Là thao tác lôgic ngược với thao tác chứng minh - Là hoạt động lôgic thể tác động quy luật lý đầy đủ 6.1.2 Cấu tạo chứng minh, bác bỏ Luận đề: Là luận điểm, lý thuyết mà tính chân thực ( giả dối) cần khẳng định “ Chứng minh ( bác bỏ ) gì?” Luận cứ: Các luận điểm khoa học, chứng cứ, kiện thực tế chân thực có liên quan đến luận đề dùng để khẳng định tính chân thực ( giả dối) luận đề “ Dùng để chứng minh ( bác bỏ ) ?” Luận chứng: Là mối liên hệ lôgic luận luận đề Là quy tắc, cách thức liên kết luận cứ, kết hợp tri thức khoa học khác để chứng minh ( bác bỏ) luận đề “ Chứng minh ( bác bỏ ) nào?” 6.1.3 Một số nguyên tắc tranh luận Trong tranh luận, chứng minh bác bỏ áp dụng đồng thời với luận đề, khác luận luận chứng Nguyên tắc: - Thống rõ ràng luận đề: Tranh luận gì? Trong phạm vi nào? Điều kiện nào? - Thống cách hiểu thuật ngữ có liên quan để có tiếng nói chung - Thống số quy định tranh luận, cụ thể hoá điều kiện thắng, thua, quy ước chế tài thua - Hai bên cam kết tôn trọng thoả thuận 6.2 Các phương pháp chứng minh 6.2.1 Chứng minh trực tiếp Chứng minh trực tiếp gì? Là phép chứng minh tính chân thực luận đề rút sở lập luận trực tiếp từ luận Sơ đồ: Nguyễn Như Thơ- Đại học Quốc Gia Hà nội - P : Luận đề - a, b, c, d : Luận - ai, bi, ci, di : Các hệ a, b, c, d ( a, b, c, d ) →( a1, b1, c1, d1) → ( a2, b2, c2, d2) → ( an bn, cn, dn) → P 6.2.2 Chứng minh gián tiếp Chứng minh phản chứng: Là phép chứng minh tính chân thực luận đề sở chứng minh tính giả dối phản luận đề Sơ đồ chứng minh phản chứng: - P : Luận đề - P : phản luận đề - a1, a2, a3, an : Các hệ P - Nếu có = g ( ) → P=g → P=c Chứng minh phân liệt: Là phép chứng minh gián tiếp thực cách loại trừ khả giả dối, từ khẳng định khả luận đề Sơ đồ chứng minh phân liệt: - P : Luận đề - Q, R, H, K Các khả xảy PvQvRvHvK QʌRʌHʌK P 6.3 Các phương pháp bác bỏ 6.3.1 Bác bỏ luận đề: Bác bỏ luận đề khẳng định tính giả dối hay tính khơng xác định luận đề Các phương pháp bác bỏ luận đề: - Bác bỏ luận đề thông qua kiện, kiện, chứng mâu thuẫn với luận đề - Bác bỏ luận đề thông qua khẳng định tính giả dối hệ rút từ luận đề - Bác bỏ luận đề thông qua chứng minh phản luận đề - Bác bỏ luận đề thông qua việc tính khơng xác định luận đề Nguyễn Như Thơ- Đại học Quốc Gia Hà nội 6.3.2 Bác bỏ luận cứ: Thực chất phủ định hoài nghi phép chứng minh luận đề sở tính khơng xác định, tính chưa chứng minh, tính mâu thuẫn khơng đầy đủ luận Các phương pháp bác bỏ luận cứ: - Vạch tính giả dối luận đẫn đến khơng thừa nhận luận không thừa nhận phép chứng minh - 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 đủ, không rõ ràng, không xác định, không ăn nhập luận 6.3.3 Bác bỏ luận chứng: - Thực chất tính thiếu lơgic lập luận sử dụng để chứng minh luận đề - Chỉ thiếu thuyết phục, chưa đủ tin cậy phép chứng minh sở vạch lỗi lôgic lập luận Chú ý: Bác bỏ luận cứ, luận chứng chưa đủ để bác bỏ luận đề mà khẳng định luận đề chưa chứng minh, buộc đối phương phải chứng minh lại luận đề 6.4Các quy tắc chứng minh, bác bỏ *Các quy tắc luận đề: - Luận đề cần chứng minh cho tính chân thực thân phải chân thực Luận đề cần bác bỏ thân phải giả dối - Luận đề phải xác định, nghĩa phải rõ ràng, xác, khơng hiểu theo nhiều nghĩa - Luận đề phải giữ vững suốt trình chứng minh hay bác bỏ Sai lầm thường mắc: - Luận đề khơng xác (sai đa nghĩa) - Thay luận đề - Sửa đổi luận đề phần luận đề *Các quy tắc luận cứ: - Luận phải chân thực không mâu thuẫn - Luận phải đầy đủ - Luận phải chứng minh độc lập luận đề - Luận không xác định, không rõ ràng Sai lầm thường mắc: Nguyễn Như Thơ- Đại học Quốc Gia Hà nội - Luận giả - Luận mâu thuẫn - Luận chưa chứng minh *Các quy tắc luận chứng: - Luận chứng cần tuân thủ quy tắc quy luật lơgic - Luận chứng phải đảm bảo tính hệ thống - Luận chứng phải quán, không mâu thuẫn Sai lầm thường mắc: - Luận chứng vi phạm quy tắc, quy luật lôgic - Luận chứng luẩn quẩn, mâu thuẫn, thiếu quán 6.5 Nguỵ biện nghịch lý logic 6.5.1Nguỵ biện bác bỏ nguỵ biện *Ngộ biện: Vơ tình phạm sai lầm tư Ngun nhân: Không nắm vững quy tắc, quy luật lôgic *Ngụy biện: Cố tình phạm sai lầm tư - Ngụy biện khoa học: Rèn luyện lực tư - Ngụy biện phản khoa học: Đổi trắng thay đen * Bác bỏ ngụy biện: Chỉ lỗi lôgic 6.5.2Nghịch lý lơgic *Nghịch lý lơgic: phán đốn đồng thời mang hai giá trị lôgic: Vừa chân thực, vừa giả dối Ví dụ: Nghịch lý kẻ nói dối “ Tơi kẻ nói dối” Nếu người nói thật: - Phán đốn “ Tơi kẻ nói dối”= c - Người khơng nói dối → “ Tơi kẻ nói dối” = g Nếu người nói dối: - Phán đốn “ Tơi kẻ nói dối”= g - Người nói dối → “ Tơi kẻ nói dối” = c Nguyễn Như Thơ- Đại học Quốc Gia Hà nội CÂU HỎI VÀ BÀI TẬP Chứng minh, bác bỏ ? Cấu tạo chứng minh bác bỏ.So sánh cấu tạo phép chứng minh suy luận Các phương pháp chứng minh, bác bỏ Cho ví dụ Các quy tắc chứng minh, bác bỏ Các lỗi thường mắc phải chứng minh, bác bỏ, cho ví dụ Có thể chứng minh luận điểm sau hay không ? Vì ? - Các câu giả dối khơng phải phán đoán - Mọi câu khẳng định phán đốn - Vị từ phán đốn tồn thể chu diên Hãy bác bỏ ngụy biện sau : « Một tơ đâm vào xe đạp Xe đạp bẹp dúm cịn tơ bị xây xước nhẹ Điều chứng tỏ rằng, lực tác động ô tô vào xe đạp mạnh nhiều so với lực tác động xe đạp vào ô tô » Quốc vương vương quốc ban sắc lệnh : « Những người làm nghề thợ cạo phải cạo cạo cho không tự cạo » Hỏi, theo lệnh đó, người làm nghề thợ cạo có cạo râu, tóc cho khơng Chương 7: GIẢ THUYẾT 7.1 ĐẶC ĐIỂM TRƯNG CHUNG: 7.1.1 Giả thuyết gì? Giả thuyết giả định có khoa học chất, nguyên nhân hay mối liên hệ mang tính quy luật tượng, kiện tự nhiên, xã hội tư 7.1.2 Đặc trưng giả thuyết Nguyễn Như Thơ- Đại học Quốc Gia Hà nội Là hình thức hoạt động có mục đích tư duy, đời nhu cầu nhận thức, nhận định, đánh giá, giải thích kiện thực tiễn * Được xây dựng sở liên kết tri thức biết với tri thức chưa biết để đưa dự báo chất, nguyên nhân * Không phải giả thuyết trở thành chân lý 7.1.3 Các loại giả thuyết Giả thuyết chung: lớp vật, tượng, thường đưa nhằm giải thích tượng mang tính phổ quát, phạm vi không gian rộng, thời gian dài *Giả thuyết riêng: phận, đối tượng, phương diện định đối tượng; gắn với vật, tượng cụ thể, cá biệt *Giả thuyết khoa học: giả định có sở khoa học nhằm giải thích tính quy luật vận động phát triển; sâu lý giải chất, quy luật hướng vào việc khám phá bí mật TG *Giả thuyết nghiệp vụ: giả định khoa học nêu giai đoạn đầu q trình nghiên cứu Là giả định có điều kiện phục vụ mục tiêu thu thập, hệ thống hoá kết nghiên cứu 7.2Xây dựng phát triển giả thuyết *Giai đoạn phân tích: quan sát, phân tích kiện, tập hợp kiện, quan hệ kiện… nhằm nhận thức tính đa dạng, tính đặc thù tượng *Giai đoạn tổng hợp: Tập hợp, xếp tri thức thu qua phân tích theo trật tự định tạo thành hệ thống thống hình thành giả thuyết Nguyễn Như Thơ- Đại học Quốc Gia Hà nội 7.3Các phương pháp xác nhận giả thuyết 7.3.1Xác nhận trực tiếp *Xác nhận trực tiếp: Kiểm nghiệm qua thực tiễn: Phát chứng cứ, kiện có liên quan mật thiết với giả thuyết tượng nghiên cứu -Là phương pháp hiệu -Xác nhận tính chân thực giả thuyết thơng qua xác nhận tính chân thực hệ rút từ giả thuyết 7.3.2 Xác nhận gián tiếp: Xác nhận tính chân thực giả thuyết thơng qua xác nhận tính chân thực hệ rút từ giả thuyết *Xác nhận gián tiếp Sơ đồ: (K1VK2VK3V…VKn)Λ( K2 ΛK3 Λ… ΛKn)→ K1 Ki: Các giả thuyết Chú ý: - Liệt kê giả thuyết - Loại trừ hết giả thuyết không trừ giả thuyết 7.4 Bác bỏ giả thuyết Sơ đồ: K → ( M1ΛM2 Λ… Λ Mn) M1ΛM2 Λ… Λ Mn K K → ( M1ΛM2 Λ… Λ Mn) M1VM2V…VMn K CÂU HỎI VÀ BÀI TẬP Nguyễn Như Thơ- Đại học Quốc Gia Hà nội 1.Giả thuyết khoa học gì? Bản chất đặc diểm giả thuyết khoa học? 2.Các bước xây dựng giả thuyết khoa học 3.Các phương pháp xác nhận bác bỏ giả thuyết Nguyễn Như Thơ- Đại học Quốc Gia Hà nội Nguyễn Như Thơ- Đại học Quốc Gia Hà nội ... Thơ- Đại học Quốc Gia Hà nội GHI CHÚ Nguyễn Như Thơ- Đại học Quốc Gia Hà nội TÀI LIỆU HỌC TẬP Tài liệu bắt buộc - Đề cương mơn học (soạn theo học chế tín chỉ) - Vương Tất Đạt: Lôgic học đại cương, ... toán học vào khoa học khác - G Lepnit (1646-1716): Khởi xướng lơgic tốn - G Boole (1815-1864): Đại số logic * Lôgic đại - Vạch vận dụng phương pháp khoa học giải vấn đề logic truyền thống - Các đại. .. Lôgic học đại cương, NXB Đại học Quốc Gia Hà Nội, 2008 - Nguyễn Như Hải: Giáo trình Lơgic học đại cương, NXB Giáo dục, 2007 - Nguyễn Thuý Vân, Nguyễn Anh Tuấn: Lôgic học đại cương, NXB ĐHQG Hà Nội,