ĐỀ CƯƠNG ÔN THI MÔN LOGIC HỌC (Tuyển sinh Sau Đại học)

Website: www.eLib.vn | Facebook: eLib.vn ĐỀ CƢƠNG ÔN THI MÔN LOGIC HỌC (Tuyển sinh Sau Đại học) KHÁI QUÁT VỀ LOGIC HỌC Logic học đối tƣợng nghiên cứu Đối tượng nghiên cứu Logic học Theo nghĩa rộng : Logic học tìm hiểu, nghiên cứu, vận dụng logic nói chung Cụ thể nghiên cứu tính tất yếu, chất, phổ biến tư thực tế khách quan Theo nghĩa hẹp: logic học nghiên cứu logic tư : tìm hiểu, nghiên cứu, vận dụng qui luật hình thức tư Theo nghĩa hẹp logic học bao gồm : logic học hình thức logic học biện chứng - Logic học biện chứng : nghiên cứu hình thành phát triển tư duy, nghiên cứu hình thức phản ánh vật tượng trình biến đổi phát triển chúng - Logic học hình thức : nghiên cứu qui luật hình thức cấu tạo xác tư Logic học hình thức khơng xem xét nội dung phản ánh tư tưởng mà tập trung vào cấu (hình thức) logic tư tưởng Tóm lại: Logic học 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 Nhiệm vụ LGH - Làm sáng tỏ đ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ư tưởng - Vạch thao tác logic phương pháp luận chuẩn xác Sơ lƣợc phát triển Logic học Logic học đời vào khoảng kỉ thứ IV TCN công Aristote (384 – 322 TCN triết gia Hy Lap) với tác phẩm ORGANON (cơng cụ chung triết học, tốn học, khoa học cụ thể lĩnh vực tư hay hoạt động cụ thể khác) Ông khái qt hình eLib.vn: Thư viện trực tuyến miễn phí Website: www.eLib.vn | Facebook: eLib.vn thức tư duy: khái niệm, phán đốn, suy luận ; tìm qui luật logic hình thức: đồng nhất, phi mâu thuẫn, trung qui tắc phép tam đoạn luận Logic học hình thức Aristote cơng nhận tồn kéo dài suốt thời kì trung cổ Đến thời kì Phục Hưng, logic học có bước nhảy vọt nhờ công lao F.bacon (xây dựng Novum Organon – phát triển logic học qui nạp làm sở cho phương pháp thực nghiệm khoa học), R.Descarte (hoàn thiện tiếp tục phát triển logic diễn dịch) Thế kỉ XVII – XVIII, Leibnitz kí hiệu hố tốn học hố logic tạo nên logic tốn, sau hồn chỉnh Boole De Morgan Cũng thời gian xuất logic biện chứng Kant, Hegels (duy tâm) Đến kỉ XIX, Marx, Engels, Lenin xây dựng logic biện chứng vật Hiện nay, người ta phân biệt : - Logic truyền thống Aristote (lưỡng vị diễn đạt lời) - Logic cổ điển Leinitz (lưỡng vị diễn đạt công thức) - Logic phi cổ điển (hiện đại) : thành tựu đại logic học, logic đa trị Ý nghĩa việc nghiên cứu Logic học Cùng với ngôn ngữ logic phương tiện để người giao tiếp truyền thông nên nghiên cứu logic học giúp cho giao tiếp truyền thơng có hiệu Cụ thể : - Trong học tập nghiên cứu logic học giúp thu nhận vấn đề cách nhanh chóng, xác với chất - Giúp trình bày vấn đề cách chặt chẽ, rõ ràng, có đọng đồng thời cần diễn giải vấn đề cách phong phú bảo đảm tính quán lập luận Tri thức logic nâng cao trình độ tư duy, chuyển trình tư logic tự phát thành tư logic tự giác chủ động, tạo thói quen suy nghĩ thơng minh, xác - Logic học cần thiết cho việc phát sai lầm logic thân người khác để tránh khỏi sai lầm logic vơ tình hay hữu ý eLib.vn: Thư viện trực tuyến miễn phí Website: www.eLib.vn | Facebook: eLib.vn - Giúp nhà lãnh đạo vận dụng tư logic để nhận định xác tình huống, đưa định giải có hiệu cơng tác quản lý - Giúp người làm công tác giáo dục có sở để hình thành tư logic cho học sinh CHƢƠNG I : KHÁI NIỆM Khái niệm Định nghĩa: Là hình thức tư phản ánh dấu hiệu chất vật tượng mối liên hệ chúng Quan hệ khái niệm từ ngữ - Khái niệm biểu đạt từ - Một khái niệm biểu đạt nhiều từ - Nhiều khái niệm biểu đạt từ Cấu trúc Logic khái niệm Mỗi khái niệm gồm có hai thành phần : - Nội hàm khái niệm : tập hợp dấu hiệu bản, chất đặc trưng lớp vật tượng - Ngoại diên khái niệm : tập hợp đối tượng mang đầy đủ dấu hiệu thuộc nội hàm khái niệm Quan hệ nội hàm ngoại diên : - Nội hàm nhiều dấu hiệu, ngoại diên nhỏ hẹp - Nội hàm đơn giản, ngoại diên rộng lớn Quan hệ khái niệm Quan hệ đồng : Hai khái niệm có quan hệ đồng chúng có ngoại diên Quan hệ lệ thuộc : Hai khái niệm có quan hệ lệ thuộc ngoại diên khái niệm phận ngoại diên khái niệm eLib.vn: Thư viện trực tuyến miễn phí Website: www.eLib.vn | Facebook: eLib.vn - Trong hai khái niệm lệ thuộc, khái niệm có ngoại diên lớn gọi khái niệm loại, khái niệm có ngoại diên nhỏ gọi khái niệm chủng - Trong dãy khái niệm lệ thuộc, khái niệm có ngoại diên rộng (khơng có khái niệm có ngoại diên bao trùm lên nó) gọi phạm trù ; khái niệm có ngoại diên nhỏ (khơng có khái niệm có ngoại diên nhỏ nữa) gọi khái niệm đơn Quan hệ giao : Hai khái niệm có quan hệ giao ngoại diên chúng có phận trùng Quan hệ tách rời : Hai khái niệm có quan hệ tách rời ngoại diên chúng khơng có phận trùng với Quan hệ ngang hàng : Hai khái niệm có quan hệ ngang hàng chúng tách rời lệ thuộc vào khái niệm loại chung chúng Quan hệ mâu thuẫn : Hai khái niệm có quan hệ mâu thuẫn chúng tách rời tổng ngoại diên chúng tạo thành ngoại diên khái niệm loại chúng Các thao tác Logic khái niệm Mở rộng – Thu hẹp khái niệm - Mở rộng khái niệm : thao tác làm cho ngoại diên khái niệm lớn cách bỏ dấu hiệu đặc trưng thuộc nội hàm khái niệm - Thu hẹp khái niệm : thao tác làm cho ngoại diên khái niệm nhỏ cách thêm vào nội hàm dấu hiệu đặc trưng khái niệm - Chúng ta liên tiếp mở rộng hay thu hẹp khái niệm Giới hạn cuối thao tác mở rộng khái niệm cho phạm trù Giới hạn cuối thao tác thu hẹp khái niệm cho khái niệm đơn Định nghĩa khái niệm : thao tác vạch rõ nội hàm khái niệm - Cấu trúc : Dfd = Dfn Definiendum = Definiens Khái niệm định nghĩa = Khái niệm dùng để định nghĩa eLib.vn: Thư viện trực tuyến miễn phí Website: www.eLib.vn | Facebook: eLib.vn Khái niệm định nghĩa khái niệm cần phát nội hàm Khái niệm dùng để định nghĩa khái niệm biết rõ nội hàm dùng để làm rõ nội hàm khái niệm cần định nghĩa Ví dụ : hình vng hình chữ nhật có bốn cạnh Dfd = Dfn - Cách thức định nghĩa :  Thông qua loại khác biệt chủng  Liệt kê khái niệm chủng khái niệm cần định nghĩa  Định nghĩa lối mô tả  Định nghĩa theo kiểu qui ước  Định nghĩa theo kiểu định danh  Định nghĩa trực quan Lưu ý : Phân biệt hình thức giống định nghĩa Các qui tắc định nghĩa khái niệm: Qui tắc 1: Chỉ dùng khái niệm biết để định nghĩa khái niệm Lỗi logic: - Định nghĩa vòng quanh - Định nghĩa lẩn quẩn Qui tắc 2: Định nghĩa tương xứng Lỗi logic : - Định nghĩa rộng - Định nghĩa hẹp - Định nghĩa lệch Qui tắc : Định nghĩa ngắn gọn, rõ ràng Qui tắc : Định nghĩa không phát biểu theo lối phủ định eLib.vn: Thư viện trực tuyến miễn phí Website: www.eLib.vn | Facebook: eLib.vn Phân chia khái niệm - Phân chia khái niệm thao tác logic tách khái niệm thành khái niệm hẹp Chúng ta cần phân biệt viêc phân chia khái niệm với việc phân tích chỉnh thể thành phận - Kết cấu phân chia khái niệm :  Khái niệm bị phân chia  Cơ sở phân chia  Khái niệm phân chia (khái niệm thành phần) Qui tắc phân chia khái niệm : - Phân chia triệt để, khơng bỏ sót - Phân chia rạch rịi, khơng trùng lặp - Phân chia theo chuẩn quán - Phân chia liên tục CHƢƠNG : PHÁN ĐỐN Phán đốn Định nghĩa: Phán đốn thuật ngữ dùng để ý nghĩ, tư tưởng định hình tư Về hình thức, phán đoán biểu đạt dạng câu phản ánh hay sai thực tế khách quan Đặc trưng : Mỗi phán đốn có đặc trưng - Về chất : khẳng định hay phủ định - Về lượng : toàn thể (mọi, tất cả, toàn thể, cũng, một, bất kì, …) hay phận (một số, nhiều, vài, phần lớn, hầu hết, …) - Về giá trị : hay sai Kí hiệu - Các mẫu tự P, Q, R, A, B, C, … dùng làm kí hiệu cho phán đốn - Kí hiệu : P = đ phán đốn P có giá trị eLib.vn: Thư viện trực tuyến miễn phí Website: www.eLib.vn | Facebook: eLib.vn - Kí hiệu : Q = s phán đốn Q có giá trị sai Phân loại - Phán đoán đơn phán đốn hình thành từ khái niệm - Phán đốn phức phán đốn hình thành từ phán đốn đơn Phán đoán đơn Định nghĩa : Phán đoán đơn phán đốn hình thành từ liên kết khái niệm Về hình thức phán đốn đơn có chủ ngữ vị ngữ Cấu trúc Ký hiệu - Chủ ngữ : S - Vị ngữ : P - Từ nối : (không là) S P Phân loại - Theo chất : phán đoán khẳng định – phủ định - Theo lượng : phán đốn tồn thể – phận - Theo giá trị : phán đoán – sai - Theo chất lượng : có loại  Khẳng định – Toàn thể : S P – “A” : SaP  Khẳng định – Bộ phận : Một số S P – “I” : SiP  Phủ định – Tồn thể : Mọi S khơng P – “E” : SeP  Phủ định – Bộ phận : Một số S không P – “O” : SoP Quan hệ chủ ngữ vị ngữ phán đoán A E I O - SaP : Mọi S P → S P đồng lệ thuộc - SiP : Một số S P → S P giao lệ thuộc - SeP : Mọi S không P → S P tách rời - SoP : Một số S không P → S P lệ thuộc giao eLib.vn: Thư viện trực tuyến miễn phí Website: www.eLib.vn | Facebook: eLib.vn Tính chu diên chủ từ vị từ phán đoán A E I O Định nghĩa : Một thuật ngữ xem chu diên toàn ngoại diên xem xét mối quan hệ với thuật ngữ cịn lại Kí hiệu : S+ S chu diên S- S không chu diên P+ P chu diên P- P khơng chu diên Tính chu diên chủ từ vị từ phán đoán AEIO sau: - Trong phán đoán SaP S+ P- (P+ S=P) - Trong phán đoán SiP S- (P+ P hẹp S) - Trong phán đoán SeP S+ P+ - Trong phán đoán SoP S- P- P+ Quan hệ phán đoán AEIO - Mâu thuẫn : Hai phán đoán đối lập lượng chất có quan hệ mâu thuẫn với A mâu thuẫn O E mâu thuẫn I A = đ (s) ↔ O = s (đ) E = đ (s) ↔ I = s (đ) - Lệ thuộc : Hai phán đốn có chất có quan hệ lệ thuộc với A I lệ thuộc PĐ toàn thể A=đ→I=đ eLib.vn: Thư viện trực tuyến miễn phí E O lệ thuộc → PĐ phận E=đ→O=đ Website: www.eLib.vn | Facebook: eLib.vn PĐ phận sai → I=s→ A=s - PĐ toàn thể sai O = s → E = s Đối chọi : Hai phán đốn có lượng khác chất có quan hệ đối chọi với A đối chọi E O đối chọi I A, E sai Nếu A = đ E = s A = s E đ s O, I khơng sai Vì : Nếu O = s I = s A = đ E = đ (!) Nếu O = s I = đ O = đ I (đ, s) Hình vng logic Phán đốn phức Định nghĩa : Phán đoán phức phán đoán tạo thành từ phán đốn đơn thơng qua phép logic Các phép logic Phép phủ định - Định nghĩa : phép logic tạo phán đoán mâu thuẫn với phán đoán ban đầu - Kí hiệu : ~P (phủ định P) eLib.vn: Thư viện trực tuyến miễn phí Website: www.eLib.vn | Facebook: eLib.vn - Bảng chân trị : bảng liệt kê giá trị chân lí phán đốn có liên hệ với qua phép logic Bảng chân trị phép phủ định - P ~P đ s s đ Lưu ý :  Cách diễn đạt : không, không phải, đâu có, nói P sai, nói P khơng đúng, khơng đồng ý có P, …  ~(~P) = P Phép hội - Định nghĩa : phép logic liên kết hai phán đốn liên từ “và” - Kí hiệu : A ^ B (A hội B) - Bảng chân trị A B A^B đ đ đ đ s s s đ s s s s Phép hội hai thành phần - Lưu ý : Cách diễn đạt  Các liên từ : mà, đồng thời, nhưng, … cũng, vừa … vừa …  Dấu phẩy  “và” phép hội eLib.vn: Thư viện trực tuyến miễn phí 10 Website: www.eLib.vn | Facebook: eLib.vn Phép tuyển - Định nghĩa : phép logic liên kết hai phán đoán liên từ “hoặc” Có loại phép tuyển : tuyển yếu tuyển mạnh - - Kí hiệu :  Tuyển yếu P v Q (P Q)  Tuyển mạnh P + Q (hoặc P Q) Bảng chân trị P Q PvQ P+Q Đ đ đ s đ s đ đ s đ đ đ s s s s Phép tuyển yếu sai hai thành phần sai Phép tuyển mạnh hai thành phần khác giá trị (sai hai thành phần giá trị) - Tính chất hội tuyển  Giao hoán P^Q = Q^P (tương ứng với phép v, +)  Kết hợp P^(Q^R) = (P^Q)^R (tương ứng với phép v, +)  Phân phối A ^ (B v C) = (A ^ B) v (A ^ C) P v (Q ^ R) = (P v Q) ^ (P v R) - Công thức De Morgan ~(P ^ Q) = ~P v ~Q ~(A v B) = ~A ^ ~ B - Các giá trị đặc biệt P^P=P P ^ ~P = s P^đ=P P^s=s QvQ=Q Q v ~Q = đ Qvđ=đ Qvs=Q R+R=s R + ~R = đ R + đ = ~R R+s=R eLib.vn: Thư viện trực tuyến miễn phí 11 Website: www.eLib.vn | Facebook: eLib.vn Phép kéo theo - Định nghĩa : phép logic liên kết hai phán đoán liên từ “Nếu … …” - Kí hiệu : A ⇒ B (A kéo theo B) - Bảng chân trị A B A⇒B đ đ đ đ s s s đ đ s s đ Phép kéo theo sai thành phần thứ thành phần thứ hai sai - - Lưu ý :  (A ⇒ B) # (B ⇒ A)  (A ⇒ B) = (~B ⇒ ~A)  (A v B) = (~A ⇒ B) Các giá trị đặc biệt  (A ⇒ A) = đ  (B ⇒ ~B) = ~B (~B ⇒ B) = B  (C ⇒ đ) = đ (đ ⇒ C) = C  (D ⇒ s) = ~D (s ⇒ D) = đ Điều kiện cần – Điều kiện đủ - Điều kiện đủ : A điều kiện đủ để có B, có nghĩa Nếu có A có B Khi có A có B Nhờ (do) có A mà có B Hễ có A có B Có A chứng tỏ có B eLib.vn: Thư viện trực tuyến miễn phí 12 Website: www.eLib.vn | Facebook: eLib.vn Vì có A nên có B Cơng thức thể : A ⇒ B - Điều kiện cần : P điều kiện cần để có Q, có nghĩa Nếu khơng có P khơng có Q Muốn có Q phải có P Chỉ có P có Q Khơng có Q có P Cơng thức thể : ~P ⇒ ~Q Phép tương đương - Định nghĩa : phép logic liên kết hai phán đoán liên từ “khi khi” - Kí hiệu : A ⇔ B (A tương đương B) - Lưu ý : A xem điều kiện cần đủ B, : (A ⇔ B) = (A ⇒ B) ^ (~A ⇒ ~B) Bảng chân trị phép tương đương A B A⇒B ~A ⇒ ~B A⇔B đ đ đ đ đ đ s s đ s s đ đ s s s s đ đ đ Phép tương đương hai thành phần giá trị sai hai thành phần khác giá trị eLib.vn: Thư viện trực tuyến miễn phí 13 Website: www.eLib.vn | Facebook: eLib.vn - - Lưu ý :  A⇔B=B⇔A  A ⇔ B = ~(A + B) Các giá trị đặc biệt  A⇔A=đ  B ⇔ ~B = s  C⇔đ=C  D ⇔ s = ~D CHƢƠNG : CÁC QUY LUẬT CƠ BẢN CỦA TƢ DUY Luật đồng : Luật đồng xuất phát từ tính tương đối ổn định vật tượng giới khách quan phát biểu sau: “Mọi tư tưởng phản ánh đối tượng, quan hệ phải đồng với nó” Mỗi vật tượng không gian, thời gian xác định Cơng thức: A = A A ⇒ A Yêu cầu: - Trong trình lập luận, khái niệm, phán đốn, suy luận phải - dùng theo nghĩa, luận đề phải giữ nguyên - Không đánh tráo đối tượng tư tưởng - Không đánh tráo ngôn ngữ diễn đạt tư tưởng - Tư tưởng tái tạo phải đồng với tư tưởng ban đầu Tác dụng: - Giúp tư xác định quán - Tránh tượng “bất đồng ngôn ngữ”, ngộ biện hay ngụy biện Lưu ý: - Tính đồng ln gắn liền với khác biệt tương đối vật chất vận động phát triển Vì tư tưởng phản ánh vật tượng không gian, thời gian khác khơng thiết phải đồng eLib.vn: Thư viện trực tuyến miễn phí 14 Website: www.eLib.vn | Facebook: eLib.vn - Các vật tượng thưc khách quan có quan hệ định, chúng khơng có tất đặc tính tiêu biểu chúng khơng đồng với (anh với em, nước với ly) - Các vật tượng thực khách quan vận động biến đổi chưa biến đổi hẳn chất (sâu→bướm) - Trong lịng vật hàm chứa mâu thuẫn nội tại, haimặt đối lập thể thống Luật phi mâu thuẫn - Nội dung : Hai phán đốn mâu thuẫn khơng thể - Công thức : ~P(P ^ ~P) - Yêu cầu :  Không thể vừa khẳng định vừa phủ định tư tưởng  Không thể khẳng định tư tưởng lại phủ định hệ khẳng định  Khơng đồng thời khẳng định hai yếu tố loại trừ việc xem xét Luật trung - Nội dung: Trong hai phán đốn mâu thuẫn phải có phán đoán chân thực, phán đoán giả dối, khơng có khả thứ ba Hai phán đốn mâu thuẫn sai - Công thức: P + ~P - Yêu cầu:  Xác định tính chân thực hay giả dối tư tưởng định hình  Xác định phán đoán hai phán đoán mâu thuẫn Luật có lý đầy đủ - Nội dung: Tất tồn có lí để tồn Một tư tưởng xem chân thực có đủ lí làm - Yêu cầu:  Xác định giá trị cho ý nghĩ định hình  Đưa đủ xác định eLib.vn: Thư viện trực tuyến miễn phí 15 Website: www.eLib.vn | Facebook: eLib.vn - Tác dụng: tránh tư phi logic, mê tín, dị đoan (tin khơng cứ) CHƢƠNG 4: SUY LUẬN Khái niệm suy luận Định nghĩa: suy luận q trình tư rút phán đốn từ phán đốn có Cấu trúc Mỗi suy luận gồm có ba thành phần: - Tiền đề: phán đoán làm sở cho suy luận Về nguyên tắc tiền đề phải chân thực thực tế khó xác minh nên suy luận phải giả định tiền đề chân thật - Lập luận: cách thức liên kết tiền đề để rút kết luận - Kết luận: phán đoán thu từ tiền đề thong qua lập luận suy luận Phân loại - Căn vào cách thức lập luận:  Suy luận diễn dịch suy luận tuân theo quy tắc logic định để bảo đảm tiền kết luận rút ƒ Diễn dịch trực tiếp: từ tiền đề ƒ Diễn dịch gián tiếp: từ nhiều tiền đề  Suy luận quy nạp: suy luận đưa kết luận khái quát từ yếu tố riêng lẻ ƒ Quy nạp hoàn tồn ƒ Quy nạp khơng hồn tồn: phổ thơng – khoa học - Căn vào tuân thủ quy tắc suy luận quy luật tư duy:  Suy luận hợp logic: lập luận tuân thủ quy tắc suy luận quy luật tư  Suy luận không hợp logic: lập luận vi phạm quy tắc suy luận vi phạm quy luật tư Suy luận suy luận hợp logic xuất phát từ tiền đề eLib.vn: Thư viện trực tuyến miễn phí 16 Website: www.eLib.vn | Facebook: eLib.vn Nếu suy luận hợp logic đưa kết luận không phù hợp thực tế suy luận dựa tiền đề sai Suy luận diễn dịch Diễn dịch trực tiếp từ phán đoán đơn Phép chuyển hoá - Chuyển hoá hai lần phủ định - Chuyển hoá nghĩa phủ định từ nối vị từ Phép đảo ngược: tạo phán đoán từ phán đoán ban đầu cách hoán vị chủ từ vị từ giữ nguyên chất giá trị Qt chung: thuật ngữ không chu diên tiền đề khơng chu diên kết luận Phép đối lập vị từ: kết hợp phép chuyển hoá phép đảo ngược SL dựa hình vng logic eLib.vn: Thư viện trực tuyến miễn phí TĐ KL A ~O ; ~E ; I I ~E O ~A E ~I ; ~A ; O ~A O ~I E ; O ; ~A ~O A ; I ; ~E ~E I 17 Website: www.eLib.vn | Facebook: eLib.vn Diễn dịch trực tiếp từ phán đoán phức Suy luận dựa công thức đẳng trị: - De Morgan - Phản đảo - Tuyển – kéo theo - Tương đương – Tuyển mạnh Diễn dịch gián tiếp từ phán đoán đơn – Tam đoạn luận Tam đoạn luận suy luận gồm ba phán đốn, có hai phán đoán tiền đề phán đoán kết luận Phân loại - Tam đoạn luận đơn - Tam đoạn luận phức: kết hợp nhiều tam đoạn luận đơn Tam đoạn luận đơn suy luận gồm phán đoán đơn liên quan đến ba thuật ngữ, có thuật ngữ xuất hai tiền đề gọi thuật ngữ trung gian Ký hiệu: chủ từ kết luận (S) Vị từ kết luật (P) Thuật ngữ trung gian (M) Tiền đề chứa S gọi tiền đề nhỏ Tiền đề chứa P gọi tiền đề lớn Sơ đồ chuẩn: tiền đề lớn trên, tiền đề nhỏ Quy tắc chung TĐL với phán đoán đơn - Các quy tắc thuật ngữ:  Quy tắc 1: tam đoạn luận sử dụng ba thuật ngữ  Quy tắc 2: thuận ngữ trung gian M phải chu diên lần  Quy tắc 3: thuật ngữ khơng chu diên tiền đề khơng chu diên kết luận eLib.vn: Thư viện trực tuyến miễn phí 18 Website: www.eLib.vn | Facebook: eLib.vn - Các quy tắc tiền đề:  Quy tắc 4: hai tiền để khơng thể đồng thời phán đốn phủ định  Quy tắc 5: có tiền đề phán đốn phủ định kết luận phải phán đốn phủ định  Quy tắc 6: hai tiền đề đồng thời phán đoán phận  Quy tắc 7: có tiền đề phán đốn phận kết luận phải phán đốn phận Các loại hình tam đoạn luận Căn vào vị trí M, có loại hình I II III IV M P P M M P P M S M S M M S M S S P S P S P S P Có tất 256 kiểu tam đoạn luận có 19 kiểu hợp logic Các quy tắc cho loại hình - Loại hình 1: Tiền đề lớn phán đốn tồn thể, tiền đề nhỏ phần phán đoán khẳng định - Loại hình 2: Tiền đề lớn phán đốn tồn thể, có tiền đề phán đốn phủ định - Loại hình 3: Tiền đề nhỏ phán đốn khẳng định - Loại hình 4:  Nếu tiền đề phủ định tiền đề lớn tồn thể  Nếu tiền đề lớn khẳng định tiền đề nhỏ tồn thể  Nếu tiền đề nhỏ khẳng định kết luận phận Suy luận diễn dịch gián tiếp từ phán đoán phức Các quy tắc suy luận eLib.vn: Thư viện trực tuyến miễn phí 19 Website: www.eLib.vn | Facebook: eLib.vn - Quy tắc kết luận: Sơ đồ: - P (tđ2) Q (KL) A ==> B (tđ1) ~B (tđ2) ~A (KL) Quy tắc bắc cầu phép kéo theo: Sơ đồ: - (tđ1) Quy tắc kết luận phản đảo: Sơ đồ: - P => Q A ==> B (tđ1) B ==> C (tđ2) A ==> C (KL) Quy tắc lựa chọn: Sơ đồ: AvB A+B A+B (tđ1) ~A ~A A (tđ2) B B ~B (KL) AvBvC P+Q+R ~A ~P ~B ~Q C R Cách xem xét tính hợp logic tam đoạn luận với phán đoán phức - Chọn phán đoán đơn - Viết sơ đồ suy luận - Xét tính hợp logic: eLib.vn: Thư viện trực tuyến miễn phí 20 Website: www.eLib.vn | Facebook: eLib.vn  Cách 1: sử dụng quy tắc để xem xét  Cách 2: giả định tiền đề đúng, xét giá trị phán đoán để xác định giá trị kết luận  Cách 3: lập bảng chân trị cho tất tiền đề kết luận Suy luận quy nạp Định nghĩa: suy luận đưa kết luận có tính khái qt từ tri thức riêng lẻ, khái quát Để kết luận quy nạp đáng tin cậy, cần phải: - Khái quát dấu hiệu chất lớp đối tượng - Quy nạp loại đối tượng - Số đối tượng đủ lớn - Kiểm nghiệm kết luận thực tế Phân loại Quy nạp hoàn toàn : suy luận đưa kết luận khái quát sở nghiên cứu tất đối tượng Yêu cầu : - Biết xác số đối tượng đối tượng để tránh bỏ sót hay trùng lặp - Số đối tượng không lớn - Dấu hiệu đối tượng xem xét Quy nạp khơng hồn tồn : suy luận đưa kết luận khái quát sở nghiên cứu số đối tượng Kết luận công nhận sau kiểm chứng thực nghiệm khoa học hay suy luận diễn dịch Quy nạp khơng hồn tồn gồm hai loại: - Quy nạp phổ thông: kết luận khái quát từ dấu hiệu trùng lặp - Quy nạp khoa học: kết luận từ dấu hiệu chất thông qua mối liên hệ tất yếu đối tượng lớp eLib.vn: Thư viện trực tuyến miễn phí 21 Website: www.eLib.vn | Facebook: eLib.vn Các phương pháp quy nạp khoa học: - Phương pháp tương hợp: phân tích yếu tố dẫn đến kết nghiên cứu ta thấy kết lần khảo sát giống có yếu tố ln xuất lần khảo sát yếu tố ngun nhân gây kết Sơ đồ quy nạp: XAB => P XCD => P X nguyên nhân P XEF => P XKL => P - Phương pháp sai biệt: (so sánh trường hợp có xảy tượng cần nghiên cứu với trường hợp không xảy tượng đó) Phân tích nhóm yếu tố dẫn đết kết nghiên cứu ta thấy yếu tố vắng mặt kết khơng xuất hiện, ta kết luận yếu tố vắng mặt nguyên nhân kết Sơ đồ quy nạp: XAB => P X nguyên nhân P XABC => P ABC => khơng có P - Phương pháp phần dư: Nghiên cứu nhóm m yếu tố dẫn đến n kết quả, ta xác định m - yếu tố nguyên nhân n - kết quả, yếu tố thứ m nguyên nhân kết thứ m Sơ đồ quy nạp: XAB => PQR A => Q X nguyên nhân P B => R - Phương pháp cộng biến: lần khảo sát tương ứng với biến đổi yếu tố yếu tố khác giữ nguyên dẫn đến biến đổi kết yếu tố biến đổi nguyên nhân kết Sơ đồ quy nạp: XAB => P X’AB => P’X” X nguyên nhân P AB => P” eLib.vn: Thư viện trực tuyến miễn phí 22 Website: www.eLib.vn | Facebook: eLib.vn - Suy luận tương tự: xem xét hai đối tượng A B ta thấy: A có thuộc tính m, n, p, q, r B có thuộc tính m, n, p, q ta cho B có thuộc tính r A có m, n, p, q, r B có m, n, p, q X nguyên nhân P Kết luận tương tự cần thực nghiệm chứng minh CHƢƠNG : CHỨNG MINH VÀ BÁC BỎ Chứng minh Định nghĩa: Chứng minh hình thức suy luận dựa vào phán đoán phép logic để khẳng định phủ định phán đoán khác Suy luận để khẳng định gọi chứng minh Suy luận để phủ định gọi bác bỏ Cấu trúc chứng minh Luận đề (Kết luận suy luận): phán đốn mà tính chân thực cần khẳng định Luận đề là: - Một kết luận khái quát từ thực tiễn hay quan sát - Một kết luận từ suy luận khoa học(kết qui nạp ) - Một tư tưởng, giả thiết, dự báo… Luận đề trả lời cho câu hỏi: chứng minh điều gí? Luận (tiền đề suy luận): phán đoán dung làm để xác minh cho luận đề Luận là: - Các luận điểm khoa học - Các kết luận, nguyên lý khoa học - Các tư liệu, kiện thực tế chân thực Luận trả lời cho câu hỏi: Chứng minh gì? Luận chứng (lập luận suy luận): thao tác logic để liên kết luận với luận đề eLib.vn: Thư viện trực tuyến miễn phí 23 Website: www.eLib.vn | Facebook: eLib.vn Để chứng minh có giá trị, luận chứng phải tuân theo quy tắc, quy luật logic Luận trả lời cho câu hỏi: Chứng minh nào? Các quy tắc chứng minh Quy tắc luận đề - Luận đề phải chân thực - Rõ ràng, không mập mờ: diễn đạt ngắn gọn, đơn nghĩa, thuật ngữ xác, nội dung trọn vẹn - Luận đề phải giữ nguyên, không đánh tráo luận đề khác Quy tắc luận cứ: - Chân thực - Độc lập với luận đề (khơng vịng quanh) - Khơng mâu thuẫn Có liên hệ với luận đề - Đầy đủ Quy tắc luận chứng: Tuân thủ quy tắc suy luận quy luật tư Các phương pháp chứng minh - Chứng minh trực tiếp: chứng minh tính chân thực luận đề sở lập luận trực tiếp từ luận - Chứng minh gián tiếp: chứng minh tính chân thực luận đề cách chứng minh tính giả dối phản luận đề Có hai cách chứng minh gián tiếp: - - Phản chứng  ƒ Thừa nhận tính chân thực phản luận đề  ƒ Lập luận liên kết luận qui mâu thuẫn  ƒ Loại bỏ phản luận đề công nhận luận đề Loại suy : loại dần khả sai lầm để khẳng định luận đề eLib.vn: Thư viện trực tuyến miễn phí 24 Website: www.eLib.vn | Facebook: eLib.vn Bác bỏ Định nghĩa: thao tác logic nhằm xác định tính giả dối hay đề Cấu trúc: (giống chứng minh) Khi bác bỏ cần phủ định tính chân thực ba thành phần cấu trúc - Bác bỏ luận đề : trực tiếp loại bỏ luận đề cách chứng minh tính giả dối hay không xác định luận đề Bác bỏ trực tiếp:  Đưa kiện trái với luận đề  Vạch tính khơng xác, khơng rõ nghĩa luận đề Bác bỏ gián tiếp: - -  Vạch vô lý chấp nhận luận đề  Chứng minh phản luận đề Bác bỏ luận cứ: tìm chỗ sai luận  Sự giả dối luận  Sự mâu thuẫn luận  Sự thiếu luận  Sự thiếu hụt, chưa đầy đủ  Sự không xác định, không rõ ràng  Sự không liên quan luận với luận đề Bác bỏ luận chứng: Vạch tính thiếu logic lập luận Lưu ý: Nếu bác bỏ luận hay luận chứng loại bỏ lý do, lập luận dẫn tới luận đề chưa bác bỏ luận đề Để bảo vệ luận đề phải tìm luận chứng hay luận khác eLib.vn: Thư viện trực tuyến miễn phí 25