Logic học đại cương

BIÊN SOẠN Bộ môn: Nguyên lý CB CN Mác - Lênin 9/26/2017 TS Tạ Thị Vân Hà Cấu trúc học phần 02TC (24,6) NỘI DUNG CHƯƠNG SỐ TIẾT NHẬP MÔN LÔGICH HỌC ĐẠI CƯƠNG KHÁI NIỆM VÀ PHÁN ĐỐN CÁC QUY LUẬT LƠGÍCH CƠ BẢN CỦA TƯ DUY 4 SUY LUẬN CHỨNG MINH Kiểm tra kỳ Thảo luận chữa 9/26/2017 TS T Th Võn Hà TÀI LIỆU THAM KHẢO Nguyễn Thuý Vân, Nguyễn Anh Tuấn: Giáo trình Lơ gích học đại cương, NXB Đại học Quốc Gia, Hà Nội năm 2008 TS 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ơ gích học, NXB Đại học kinh tế quốc dân, Hà nội 2006 9/26/2017 TS Tạ Thị Vân Hà Chương 1: NhËp m«n logic học Đối tợng lôgic học Phơng pháp nghiên cứu lôgic học Lịch sử phát triển cña logic häc 9/26/2017 ý nghÜa cña logic häc TS T Th Võn H tng ca Lôgic häc 1.1 Lôgich học đại cương: khoa học nghiên cứu qui luật hình thức tư TriÕt häc Mèi quan hƯ t vµ giới thực Tâm lý học Sự tơng tác t víi cam xóc, ý chÝ Sinh lý häc thần kinh cấp cao điều khiển học Khách thể t Quá trinh sinh lý vỏ bán cầu nÃo Quy luật HT t điều khiển t Ngôn ng học Quan hệ ngôn ng t L«gic häc CÊu tróc, chøc nang cđa t Đối tượng Lơgích học 1.2 Đối tượng nghiên cứu lơ gich học Đối tượng nghiên cứu: Hình thức qui luật tư + Hình thức tư duy: Khái niệm, phán đoán, suy luận + Qui luật tư duy: Qui luật đồng Qui luật cấm mâu thuẫn Qui luật loại trừ thứ Qui luật lý đầy đủ Để có tư đúng: + Tư tưởng phản ánh chân thực TGKQ + Lập luận qui luật & hình thức lơgich 9/26/2017 TS Tạ Thị Vân Hà Đối tượng nghiên cứu Lơgích học 1.3 Ngơn ngữ lơ gích học ☼ Là ngôn ngữ vị từ, gồm: - Chủ từ (chủ ngữ): - Vị từ (Vị ngữ): - Mệnh đề: - Thuật ngữ lôgich (hằng lôgich): 9/26/2017 TS Tạ Thị Vân Hà Ký hiệu lôgich học Tên gọi: a (Phán đốn); A (Khái niệm) Các liên từ lơgich: */ Phép hội tương ứng với liên từ "và" Biểu thị dấu (˄ ) Công thức: a Λ b => Gọi phán đốn liên kết (Khơng mà cả) */ Phép tuyển tương ứng với liên từ "hay" "hoặc" Gọi phán đốn phân liệt (Ký hiệu: ˅) Cơng thức: a Ѵ b (tuyển yếu) đọc là: a hay b ; a v b (tuyển mạnh) đọc a b 9/26/2017 TS Tạ Thị Vân Hà Ký hiệu lôgich học */ - phép kéo theo, tương ứng với liên từ "nếu thì" => Gọi phán đốn có điều kiện (Cách ký hiệu →) Công thức: a → b Đọc là: Nếu a b */ Phép tương đương, tương ứng với liên từ "nếu nếu"; "khi khi" Gọi phán đoán tương đương (Cách ký hiệu: ≡, ↔ ) Công thức: a ≡ b; a ↔ b Đọc là: nếu, a b */ Phép phủ định, tương ứng với liên từ "không", "không phải" (Cách ký hiệu: 7, ̅ ) Công thức: 7a hay a‾̅ Đọc là: Không phải a 9/26/2017 TS Tạ Thị Vân Hà Ký hiệu lôgich học Các lượng từ lôgich: */ - Lượng từ phổ dụng, tương ứng với "tất cả", "mọi" Ký hiệu: */ - Lượng từ tồn (hệ từ), tương ứng với "một số", "phần lớn" Ký hiệu: ϶ Các dấu kỹ thuật: (, -) lôgich 9/26/2017 TS Tạ Thị Vân Hà 2.2 Suy luËn quy n¹p Phơng pháp nghiên cứu quy nạp Phơng pháp đồng Phơng pháp khác biệt Phơng pháp biến đổi kèm theo Phơng pháp phần d 9/26/2017 TS T Th Võn H 2.2 Suy luận quy nạp Phơng pháp khác biệt -Các tợng đà giống nhiều quan hệ khác chỗ đó, mà có hay hệ hay khác gắn với khác Êy - C«ng thøc: ABC cã a BC kh«ng cã a   A nguyên nhân a - Phơng pháp có hiệu lực phơng pháp đồng nhất, ngời ta đà quan sát, mà tiến hành thí nghiệm cho khả tạo điều kiện chuyên biệt, không cần phải quan sát nhiều trờng hợp nữa, không cần phải tính đến yếu tố nhiều nguyên nhân Nhng phơng pháp cho kết luận xác suất Nguyên nhân a thân A, mà kết hợp với tợng B 9/26/2017 TS T Th Võn H 2.2 Suy luận quy nạp Phơng pháp biến đổi kèm theo -Tên gọi phơng pháp nói lên nội dung nó: làm thay đổi bối cảnh, ngời ta quan sát xem có thay đổi kèm với - Sơ đồ phơng ph¸p: A1BC cã a1 A2BC cã a2 A3BC cã a3   A nguyên nhân a - Phơng pháp đợc sử dụng rộng rÃi nhận thức Tuy nhiên, kết luận theo phơng pháp xác suất 9/26/2017 TS T Th Võn H 2.2 Suy luận quy nạp Phơng pháp biến đổi kèm theo - Sơ đồ phơng pháp: ABC có abc BC cã bc   A nguyên nhân a - Về hiệu lực chứng minh phơng pháp phần d đợc quy phơng pháp biến đổi nhất, nhng nh phơng pháp khác cho kết luận xác suất Vì A nguyên nhân a, phần nguyên nhân, ngợc lại, có chứa nguyên nhân mình, cha nguyên nhân trực tiếp 9/26/2017 TS T Th Võn H Các quy tắc lỗi suy luận quy nạp 9/26/2017 Nhầm lẫn kéo theo nhân với theo thời gian tợng Đôi ngời ta cho rằng, Sau đó, có nghĩa đó, làm cho mối liên hệ nhân bị đồng cách phi lý với tính giản đơn chúng thời gian Khái quát vội vàng Lỗi thờng xảy khi, sở số kiện, nhiều ngẫu nhiên, ngời ta đà vội khái quát thành kết luận chung Để tránh sai lầm này, trớc khái quát cần phải xét nhiều trờng hợp tốt, nhiều bối cảnh khác hay, xét xem hệ giả định điển hình ®Õn møc nµo TS Tạ Thị Vân Hà 2.3 Suy luận loại suy -Khái niệm: Suy luận loại suy xuất phát từ giống có thực hai đối tượng để đưa kết luận -Điều kiện để suy luận loại suy có giá trị lôgic: +Biết giống hai đối tượng phải thiết yếu, có yếu tố tương đương +Có liên hệ tất yếu tính chất gán cho đối tượng thứ hai với tính chung nêu hai đối tượng 9/26/2017 TS Tạ Thị Vân H Chơng V: Chứng minh bác bỏ 1 9/26/2017 Định nghĩa đặc điểm cấu trúc chứng minh Phân loại chứng minh Các quy tắc chứng minh TS T Th Võn H Định nghĩa đặc điểm cấu trúc chứng minh (TNC) 1.1 Định nghĩa đặc điểm chứng minh: *Chứng minh hình thức t duy, mà nhờ sở số tri thức chân thực ngời ta xác lập tính chân thực hay giả dối tri thức khác * Đặc điểm chứng minh: - Chứng minh xác định tính chân thực giả dối tri thức có - Chứng minh lại phơng tiện quan trọng để tạo lên sức thut phơc – tøc lµ sù tù tin vµo tÝnh đắn tri thức Định nghĩa đặc ®iĨm cÊu tróc cđa chøng minh (TNC)  1.2 CÊu trúc lôgic chứng minh: -Luận đề luận điểm đà đợc định hình, phát biểu rõ ràng ngôn từ, nhng tính chân thực cần phải đợc xác minh -Luận luận điểm mà từ rút tính chân thực hay giả dối -Luận chứng trình xếp, tổ chức luận theo mạch lôgíc xác định Phân loại chứng minh 2.1 Chứng minh bác bỏ Chứng minh ãChứng minh theo nghĩa riêng từ luận chứng cho tính chân thực luận đề 9/26/2017 Bác bỏ ãLà luận chứng cho tính giả dối không chứng minh đợc luận đề nhờ luận chân thực TS T Th Võn H Phân loại chứng minh 2.2.Chứng minh trực tiếp gián tiếp Chứng minh trực tiếp ãTìm kiếm luận đợc thừa nhận có tính thuyết phục cao ãThiết lập mối liên hệ lôgíc luận tìm đợc với luận đề 9/26/2017 Chứng minh gián tiếp ãLuận đợc tổ chức để luận chứng cho tính chân thực luận đề cách luận chứng cho tính giả dối phản đề ãPhản đề giả dối có nghĩa là, luận đề chân thực TS T Th Võn H Phân loại chứng minh 2.3 Các loại chứng minh theo loại hình suy luận -Chứng minh đờng suy luận diễn dịch -Chứng minh đờng suy luận quy nạp (dùng khoa học xà hội nhân văn) Sơ đồ chứng minh: A1, A2, An  T, ®ã T – ln ®Ị; A – ln cø; “” lµ chØ quan hƯ kÐo theo luận luận đề Các quy tắc chứng minh Quy tắc luận đề Luận đề chứng minh cần phải chân thực Luận đề phải đợc phát biểu chặt chẽ, xác, rõ ràng Phải giữ nguyên luận đề suốt trình chứng minh Các quy tắc chứng minh Quy tắc luận Các luận cần phải chân thực Tính chân thực luận phải có sở độc lập với luận đề Các luận không đợc mâu thuẫn Mỗi luận cần, tất chúng phải đủ để luận chứng cho luận đề Các quy tắc chứng minh Quy tắc luận chứng Luận đề cần phải đợc tất suy lôgíc từ luận cứ, nh kết luận từ tiền đề suy luận Quy tắc riêng cho luận chứng không đợc chứng minh vòng quanh, tức không đợc lấy luận đề làm luËn cø ... Nhập môn logic học Đối tợng lôgic học Phơng pháp nghiên cứu lôgic học Lịch sử ph¸t triĨn cđa logic häc 9/26/2017 ý nghÜa cđa logic häc TS Tạ Thị Vân Hà ®ối tượng L«gic häc 1.1 Lơgich học đại cương:... -> Thúc đẩy logich hình thức đời 3.2 Sự xuất phát triển lơgich tốn - Đánh dấu phát triển logich học (lơgich hình thức) logich ứng dụng để luận chứng cho tốn học tốn học hóa logich học 9/26/2017... Tuấn: Giáo trình Lơ gích học đại cương, NXB Đại học Quốc Gia, Hà Nội năm 2008 TS 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ô gích học, NXB Đại học kinh tế quốc dân, Hà