HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC

Thuật ngữ “Lôgíc” thường được sử dụng trong các trường hợp sau: Chỉ những mối liên hệ tất yếu giữa các sự vật, hiện tượng của thế giới khách quan, nêu lên được những thuộc tính, những dấu hiệu có tính quy luật của mối liên hệ đó. Đó là chỉ ra lôgíc khác nhau của sự vật.

HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 A. LÝ THUYẾT: Thuật ngữ “Lôgíc” thường được sử dụng trong các trường hợp sau: - Chỉ những mối liên hệ tất yếu giữa các sự vật, hiện tượng của thế giới khách quan, nêu lên được những thuộc tính, những dấu hiệu có tính quy luật của mối liên hệ đó. Đó là chỉ ra lôgíc khác nhau của sự vật. - Chỉ ra những mối quan hệ tất yếu có tính quy luật giữa các tư tưởng trong tư duy khi giải thích, luận giải một vấn đề nào đó trong quá trình nhận thức và cải tạo thế giới khách quan. Đó là lôgíc chủ quan. - Chỉ bộ môn khoa học nghiên cứu về tư duy. Đó là lôgíc học. Tư duy là dối tượng nghiên cứu của nhiều ngành khoa học như Triết học, Tâm lý học, Ngôn ngữ học, Sinh lý học v. v. Khác với các ngành khoa học đó, lôgíc học nghiên cứu tư duy dưới góc độ cấu trúcvà các hình thức tư duy của tư tưởng, tính chân thực hay giả dối của tư tưởng. Lôgíc học là khoa học nghiên cứu về nhừng quy luật và hình thức cấu tạo chính xác của sự suy nghĩ của tư duy. - Lôgíc nghiên cứu tư duy với tính cách là một hệ thống của sự phản ánh về sự vật trong trạng thái tĩnh, đã được xác định, đã được định hình gọi là lôgíc hình thức. Tức lôgíc hình thức chỉ nghiên cứu hình thức của tư duy, nghiên cứu những lý luận đã hình thành. Là khoa học nghiên cứu hình thức và cấu trúc của tư duy của tư tưởng, nhưng lôgíc hình thức không là cái vỏ trống rỗng mà là phản ánh thế giới khách quan (cho dù nó chỉ là điều kiện cần chứ chưa đủ để đạt tới chân lý khách quan). - Lôgíc nghiên cứu tư duy với tính cách là sự phản ánh quá trình hình thành, vận động và biến đổi của thế giới khách quan gọi là lôgíc biện chứng. Tức lôgíc biện chứng nghiên cứu những nguyên tắc, những con đường lôgíc của tư duy nhằm đạt được những tri thức mới. Lôgíc biện chứng là lôgíc nội dung đòi hỏi “những hình thức phải là hình thức đầy nội dung, những hình thức có nội dung thật sự, sinh động, những hình thức gắn bó chặt chẽ với nội dung” (Lênin toàn tập - Tập 29 - Nxb Tiến bộ Matxcơva - Tiếng Việt - 1978 - Bút ký triết học - Trang 98). - Lôgíc hình thức và lôgíc biện chứng luôn quan hệ gắn bó hữu cơ với nhau, chúng phản ánh hai mặt, hai trạng thái của vận động của vật chất. Trong quan hệ ấy, lôgíc biện chứng là cái toàn cục, cái chi phối còn lôgíc hình thức là cái bộ phận, cái cơ sở, một yếu tố của lôgíc biện chứng. - Trong cuốn sách này chỉ bàn về lôgíc hình thức. 1 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 I. NỘI DUNG, YÊU CẦU, CÔNG THỨC VÀ Ý NGHĨA CỦA NHỮNG QUY LUẬT LÔGÍC HÌNH THỨC CỦA TƯ DUY. Quy luật lôgic hình thức của tư duy là những mối quan hệ bản chất tất yếu, bền vững, lắp đi, lặp lại giữa các tư tưởng. Quy luật lôgíc hình thức của tư duy có các đặc điểm: Tồn tại khách quan không phụ thuộc vào ý thức con người. Mang tính phổ biến, không phụ thuộc tính giai cấp, tính dân tộc. Phản ánh quan hệ bản chất, tất yếu của các hình thức tư tưởng. Tính chân thực của chúng không phải chứng minh, mà mang đặc điểm của tiên đề. 1. Quy luật đồng nhất. - Nội dung của quy luật: Mỗi tư tưởng phải luôn luôn đồng nhất với chính nó. Tức mỗi tư tưởng phải có cùng một nội dung xác định trong suốt quá trình tư duy. - Yêu cầu của quy luật: Trong quá trình tư duy, lập luận không được thay đổi nội dung tư tưởng đã được xác định ngay từ đầu. Tức là: + Không được thay đổi nội dung tư tưởng này bằng nội dung tư tưởng khác; + Không được thay đổi đối tượng tư tưởng này bằng đối tượng tư tưởng khác. + Những tư tưởng khác nhau không được đồng nhất, ngược lại những tư tưởng đồng nhất không được rút ra từ những tư tưởng khác nhau. + Không được đánh tráo tư tưởng trong suốt quá trình suy nghĩ và lập luận. - Công thức chung của quy luật: Quy luật đồng nhất được biểu thị là A và A. Trong lôgíc ký hiệu đó được biểu thị A≡A. Đọc là A đồng nhất A. - Ý nghĩa của quy luật: Quy luật đồng nhất biểu thị tính chất cơ bản của tư duy là tính xác định. Nếu không có tính xác định đó thì ta không thể hiểu đúng đối tượng của tư duy. Tính xác định là phản ánh tính ổn định tương đối về vật chất của sự vật. 2. Quy luật không mâu thuẫn (cấm mâu thuẫn, mâu thuẫn). - Nội dung của quy luật: Hai phán đoán mâu thuẫn với nhau thì không thể đồng thời là chân thực và do đó không được cùng có trong lập luận. 2 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 - Yêu cầu của quy luật: Quy luật này không cho phép có mâu thuẫn lôgíc trong tư duy, tức khi xem xét cùng một dấu hiệu nào đó của cùng một đối tượng trong cùng một thời gian và trong cùng một quan hệ thì không thể vừa khẳng định vừa phủ định (không thể vừa A vừa không A). + Quy luật này khẳng định hai phán đoán mâu thuẫn với nhau không thể đồng thời là chân thực. Tức giữa chúng có một phán đoán không chân thực nhưng không chỉ rõ phán đoán nào là giả dối phán đoán nào là chân thực. Để giải quyết vấn dề này phải nghiên cứu cụ thể và kiểm tra bằng thực tiễn. + Những trường hợp sau là không vi phạm quy luật mâu thuẫn: Nếu khẳng định một dấu hiệu nào đó của đối tượng, đồng thời phủ định dấu hiệu khác cũng ở đối tượng đó; Hai phán đoán nêu lên các đối tượng tư tưởng khác nhau,; Vừa khẳng định vừa phủ định một dấu hiệu nào đó của một đối tượng nhưng ở những khoảng thời gian khác nhau; Đối tượng được xem xét trong các quan hệ khác nhau. - Công thức của quy luật: Quy luật không mâu thuẫn được biểu thị là AA ∧ . Đọc là “Không thể vừa A vừa không A”. Phạm vi hoạt động của quy luật này được áp dụng với các cặp phán đoán có quan hệ đối chọi dưới, quan hệ mâu thuẫn và quan hệ đối chọi trên. - Ý nghĩa của quy luật: Quy luật không mâu thuẫn biểu thị tính chất cơ bản của tư duy là tính liên tục và tính không mâu thuẫn. Không có mâu thuẫn lôgíc trong tư duy là điều kiện cần thiết của nhận thức chân lý. 3. Quy luật loại trừ cái thứ ba (luật bài trung). - Nội dung của quy luật: Trong hai phán đoán mâu thuẫn với nhau nhất thiết một phán đoán là chân thực còn phán đoán kia là giả dối, không có khả năng thứ ba. - Yêu cầu của quy luật: Quy luật này nêu ra cách lựa chọn một trong hai phán đoán là chân thực, nhưng không chỉ rõ trong hai phán đoán mâu thuẫn phán đoán nào là chân thực. Vấn đề này phải được giải quyết trong quá trình nhận thức và phải dựa vào thực tiễn để kiểm tra xem phán đoán nào là phù hợp hay không phù hợp với hiện thực khách quan. Quy luật này chỉ khẳng định tính chân thực của tư tưởng về đối tượng nào đó biểu thị bằng hai phán đoán mâu thuẫn thì chỉ nằm trong phạm vi của hai phán đoán đó mà không nằm ở phán đoán thứ ba nào khác. 3 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 - Công thức của quy luật: Quy luật loại trừ cái thứ ba được biểu thị là A ∨ A . Đọc là “hoặc A hoặc không A”. Phạm vi hoạt động của quy luật này áp dụng chỉ cho các phán đoán có quan hệ mâu thuẫn. Như vậy, hai phán đoán bất kỳ lệ thuộc vào quy luật bài trung thì cũng lệ thuộc quy luật mâu thuẫn, nhưng nếu chúng lệ thuộc quy luật mâu thuẫn thì không nhất thiết phải lệ thuộc quy luật bài trung. - Ý nghĩa của quy luật: Quy luật loại trừ cái thứ ba có vai trò to lớn trong nhận thức nói chung cũng như trong khoa học nói riêng. Nó là cơ sở của nhiều suy luận và chứng minh gián tiếp. 4. Quy luật lý do đầy đủ. - Nội dung của quy luật: Mỗi tư tưởng được coi là chân thực chỉ khi nó được chứng minh hoặc có đầy đủ các lý do, bằng chứng xác đáng. Những căn cứ, cơ sở, lý do, bằng chứng có thể là những sự kiện thực tế, có thể là những điều đã được khoa học chứng minh và thực tiễn xác nhận. Song cũng có thể bằng con đường lôgíc là so sánh với các luận điểm đã được chứng minh để lập luận về tính chân thực của chúng. - Yêu cầu của quy luật: “Nói phải có sách, mách có chứng”, không nên vội vã đưa ra những nhận xét, những kết luận về một điều nào đó chưa đủ cơ sở lý lẽ để giải thích, chứng minh cho tính chân thực của nó. Không nên vội vàng tin ngay vào những điều mà tư duy ta còn mơ hồ chưa xác định tính chân thực của chúng. Mọi suy nghĩ phải có căn cứ, cơ sở lý do đầy đủ. Chống lại mọi sự suy nghĩ, tiếp thu bằng niềm tin mù quáng. - Công thức của quy luật: Quy luật lý do đầy đủ được biểu thị là P→Q. Đọc là “nếu P thì Q” hay “có Q bởi có P”. Mỗi tư tưởng chân thực đều bắt nguồn từ những tư tưởng chân thực khác. Những tư tưởng chân thực dùng để chứng minh tính chân thực của những tư tưởng khác gọi là cơ sở lôgíc (P là cơ sở lôgíc), còn tư tưởng chân thực được rút ra từ những tư tưởng chân thực khác gọi là gọi là hệ quả lôgíc (Q là hệ quả lôgíc). - Ý nghĩa của quy luật: Tính chứng minh được, tính có căn cứ là thuộc tính của tư tưởng. Chúng là điều kiện quan trọng của tư duy đúng đắn. Việc tuân thủ quy luật lý do đầy đủ là yêu cầu cần thiết cho nhận thức khoa học. II. KHÁI NIỆM. 1. Cấu trúc lôgíc của khái niệm. 4 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 - Khái niệm về đối tượng nào đó là sự hiểu biết tương đối toàn diện và có hệ thống về bản chất của đối tượng ấy. Khái niệm là hình thức của tư duy trừu tượng trong đó phản ánh các dấu hiệu cơ bản khác biệt của một lớp các đối tượng và do đó nó bao quát lớp đối tượng đó. - Khái niệm là một từ hoặc một cụm từ, nhưng từ và khái niệm là không đồng nhất. Khái niệm là một chỉnh thể bao gồm hai mặt nội hàm và ngoại diên: + Nội hàm của khái niệm là tập hợp tất cả các dấu hiệu cơ bản của đối tượng hay lớp đối tượng được phản ánh trong khái niệm đó. + Ngoại diên của khái niệm là đối tượng hay tập hợp các đối tượng có cùng những dấu hiệu cơ bản được phản ánh vào nội hàm. + Xét nội hàm của một khái niệm là xét xem mặt cấu trúc bên trong của nó bao gồm những dấu hiệu nào. Xét ngoại diên của một khái niệm là xem xét phạm vi phản ánh của nó ra sao. + Xét nội hàm của một khái niệm là xét tính chất, còn xét ngoại diên là xét số lượng của đối tượng được khái niệm phản ánh. - Khái niệm có ngoại diên phân chia được thành các lớp con gọi là khái niệm giống của các khái niệm có ngoại diên là các lớp con đó. Khái niệm có ngoại diên là các lớp con đó gọi là khái niệm loài của khái niệm giống. - Sự phân chia thành khái niệm loài và giống chỉ là tương đối: Một khái niệm có thể là khái niệm loài của khái niệm này nhưng lại là khái niệm giống của khái niệm khác. - Nội hàm và ngoại diên của khái niệm liên hệ chặt chẽ với nhau, biểu thị tư tưởng thống nhất phản ánh tập hợp đối tượng có dấu hiệu cơ bản chung. + Nội hàm của khái niệm giống có ít dấu hiệu hơn nội hàm của khái niệm loài phụ thuộc vào nó. Nội hàm của khái niệm giống chỉ là một phần nội hàm của khái niệm loài, nhưng ngoại diên của khái niệm giống lại bao hàm ngoại diên của khái niệm loài. + Trên cơ sở khái quát quan hệ giữa nội hàm và ngoại diên của các khái niệm có quan hệ giống loài, người ta nêu ra quy luật về quan hệ tỷ lệ nghịch giữa nội hàm và ngoại diên của khái niệm: Ngoại diên của khái niệm càng rộng thì nội hàm của nó càng hẹp và ngược lại. 2. Các loại khái niệm. 5 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 - Khái niệm đơn nhất là khái niệm mà ngoại diên của nó chỉ chứa một đối tượng (một phần tử) duy nhất. Ví dụ: “Bác Hồ”, “Sao Khuê”. - Khái niệm chung là khái niệm có ngoại diên chứa ít nhất hai đối tượng. Ví dụ: “Con sông”, “Người” - Khái niệm tập hợp là khái niệm phản ánh lớp đối tượng đồng nhất được xem xét như là một chỉnh thể duy nhất. Nội hàm của khái niệm tập hợp không được quy về cho mỗi đối tượng thuộc ngoại diên của nó, nội hàm đó liên quan đến toàn bộ tập hợp đối tượng. Ví dụ: “Rừng”, “Hạm đội”, “Tập thể”. - Khái niệm phân biệt là khái niệm trong đó mỗi đối tượng riêng biệt được suy nghĩ tới một cách độc lập. Nội hàm của khái niệm phân biệt có thể quy về cho mỗi đối tượng nằm trong ngoại diên của khái niệm ấy. Ví dụ: “Sinh viên nghiên cứu triết học”, “Sinh viên nghiên cứu toán học”. Thông thường để xác định khái niệm phân biệt người ta gắn khái niệm đó với ngữ cảnh của nó. - Khái niệm xác định là khái niệm có chứa một số phần tử nhất định. Ví dụ: “Dân số Việt Nam năm 1990”, “Số quốc gia trong khối Asean”, “Sỹ số sinh viên của lớp Triết K22 Đại học Khoa học Huế”. - Khái niệm không xác định là khái niệm có ngoại diên chứa số phần tử không tính được. Ví dụ: “Tóc trên đầu”, “Sao trên trời”. - Khái niệm rỗng là khái niệm mà ngoại diên không chứa bất kỳ đối tượng nào. Ví dụ: “Rồng”, “Tiên”, “Nghiệm của phương trình bậc hai có biệt số đenta nhỏ hơn 0”. - Khái niệm cụ thể là khái niệm trong đó đối tượng được tư duy với toàn bộ toàn thể các dấu hiệu của nó. Ví dụ: “Chùa Một Cột”, Nước Cộng hòa Xã hội chủ nghĩa Việt Nam”, “Quả đất”. - Khái niệm trừu tượng là những khái niệm mà trong đó những thuộc tính và các quan hệ của đối tượng được tư duy tách rời đối tượng đó. Ví dụ: “Tích cực”, “Lễ phép”, “Yêu nước”. - Khái niệm khẳng định là khái niệm phản ánh sự tồn tại thực tế của đối tượng, các thuộc tính hay các quan hệ của đối tượng. Ví dụ: “Quyển sách này”, “Thật lịch sự”, “Có kỷ luật”. - Khái niệm phủ định là khái niệm phủ định sự tồn tại thực tế của đối tượng, các thuộc tính hay các quan hệ của đối tượng. Ví dụ: “Không tế nhị”, “Không khiêm tốn”, “Không văn hóa”. 6 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 Hai loại khái niệm này tồn tại trong quan hệ tương ứng, tức mỗi khái niệm khẳng định có khái niệm phủ định tương ứng và ngược lại. - Khái niệm quan hệ là khái niệm phản ánh các đối tượng mà sự tồn tại của chúng quy định sự tồn tại của khái niệm khác. Ví dụ: “Tử số - Mẫu số”, “Cực Bắc - Cực Nam”, “Chồng - Vợ”, “Thực từ - Hư từ”. - Khái niệm không quan hệ là khái niệm phản ánh đối tượng tồn tại độc lập, không phụ thuộc vào khái niệm khác. Ví dụ: “Hoa mai - Sao Mai”, “Ngọn lửa - Sao Hỏa”, “Biển Đông - Sao Hải vương”. Xác định đúng các loại khái niệm giúp chúng ta tránh được các sai lầm lôgíc, có thói quen sử dụng chính xác các khái niệm có trong tư duy. 3. Quan hệ giữa các khái niệm. Khi xét quan hệ giữa các khái niệm, lôgíc hình thức thường chỉ chú ý vào quan hệ của các ngoại diên của các khái niệm. Có hai loại quan hệ giữa các khái niệm: - Quan hệ hợp là quan hệ giữa các khái niệm mà ngoại diên của chúng có ít nhất một phần tử chung. Quan hệ hợp giữa các khái niệm có ba mức độ: Đồng nhất (ngoại diên của các khái niệm trùng khít nhau), bao hàm (ngoại diên của khái niệm này bao chứa ngoại diên của khái niệm kia) và giao nhau (ngoại diên của các khái niệm có bộ phận trùng nhau). - Quan hệ không hợp là quan hệ giữa các khái niệm cùng lệ thuộc vào một khái niệm giống nào đó nhưng ngoại diên của chúng không có phần tử nào chung. Quan hệ không hợp cũng có ba mức độ: Tách rời (ngoại diên của các khái niệm hoàn toàn tách rời nhau), Đối chọi (ngoại diên của các khái niệm không có phần nào chung và tổng ngoại diên của chúng nhỏ hơn ngoại diên của khái niệm giống) và mâu thuẫn (ngoại diên của các khái niệm không có phần tử chung và tổng ngoại diên của các khái niệm bằng ngoại diên của khái niệm giống). - Ngoài các quan hệ trên, giữa các khái niệm còn tồn tại quan hệ đồng thuộc nếu chúng cùng phụ thuộc vào một khái niệm giống chung (có thể là quan hệ đồng thuộc hợp hoặc quan hệ đồng thuộc không hợp). 4. Thu hẹp và mở rộng khái niệm. Thu hẹp (mở rộng) khái niệm là thu hẹp (mở rộng) ngoại diên hoặc mở rộng (thu hẹp) nội hàm của khái niệm đó. Ví dụ: Muốn mở rộng khái niệm “hình vuông” thành khái niệm “tứ giác” ta chỉ việc bớt đi các dấu hiệu “bằng nhau” và “có một góc vuông” trong khái niệm “hình vuông là 7 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 đường gấp khúc khép kín có bốn đoạn bằng nhau và có một góc vuông” và thay từ hình vuông trong khái niệm thành tứ giác là được. 5. Định nghĩa khái niệm. Định nghĩa khái niệm là vạch ra những thuộc tính bản chất (tức nội hàm) của khái niệm. Một định nghĩa thường có các dấu hiệu: Khái niệm cần định nghĩa và Khái niệm dùng để định nghĩa. Khái niệm cần định nghĩa thường đứng trước hệ từ “là”, khái niệm dùng để định nghĩa thường đứng sau hệ từ “là”. Có nhiều cách định nghĩa khái niệm, nhưng chung quy lại thường có ba cách định nghĩa sau: Định nghĩa qua giống và khác biệt về loài; Định nghĩa phát sinh (thật ra đây cũng là định nghĩa qua giống và khác biệt về loài nhưng nó thường được sử dụng trong khoa học tự nhiên); Định nghĩa qua quan hệ. Muốn định nghĩa được chính xác, ta phải tuân theo các quy tắc sau: - Quy tắc 1: Định nghĩa phải cân đối, tức ngoại diên của khái niệm dùng để định nghĩa phải đồng nhất với ngoại diên của khái niệm cần định nghĩa. Nếu một định nghĩa mà ngoại diên của khái niệm dùng để định nghĩa không đồng nhất với ngoại diên của khái niệm cần định nghĩa thì sẽ phạm lỗi lôgíc và gọi là định nghĩa không cân đối. Vi phạm quy tắc này ta sẽ có các khái niệm hẹp, khái niệm rộng, hoặc khái niệm vừa rộng vừa hẹp. - Quy tắc 2: Định nghĩa phải ngắn gọn. Theo quy tắc này thì khi định nghĩa không được đưa vào những thuộc tính, những dấu hiệu khác đã có trong định nghĩa. - Quy tắc 3: Định nghĩa không nên phủ định. Theo quy tắc này thì không nê dưa vào định nghĩa những thuộc tính không có ở đối tượng của khái niệm cần định nghĩa. Ở đây chỉ yêu cầu “không nên” chứ không phải cấm cách định nghĩa phủ định. - Quy tắc 4: Định nghĩa không được luẩn quẩn. - Quy tắc 5: Định nghĩa phải rõ ràng, chính xác. Định nghĩa phải diễn đạt bằng các từ “thuật ngữ” chuẩn xác rõ ràng, không được dùng hình tượng nghệ thuật và không được định nghĩa theo kiểu so sánh. 6.Phân chia khái niệm. - Có hai loại phân chia khái niệm: Phân chia theo sự biến đổi dấu hiệu tức phân chia khái niệm giống thành khái niệm loài sao cho trong khái 8 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 niệm loài vẫn giữ nguyên được dấu hiệu nào đó của khái niệm giống nhưng dấu hiệu đó lại có chất lượng mới trong khái niệm loài. Phân đôi khái niệm là phân chia khái niệm giống thành hai khái niệm loài mâu thuẫn nhau. - Phân chia khái niệm phải tuân thủ các quy tắc: Quy tắc cân đối: Tổng ngoại diên của các khái niệm thành phần phải bằng ngoại diên của khái niệm giống. Nếu vi phạm quy tắc này sẽ dẫn đến phân chia khái niệm thiếu, thừa hoặc vừa thừa vừa thiếu thành phần. Quy tắc phải tuân thủ một cơ sở nhất định: Có thể phân chia khái niệm theo nhiều cách khác nhau tùy theo việc lựa chọn dấu hiệu phân chia, nhưng trong một cách phân chia chỉ được căn cứ vào một dấu hiệu xác định nào đó mà thôi. Quy tắc phân chia không trùng lặp: Các khái niệm phân chia phải tách rời nhau. Quy tắc phân chia phải liên tục: Khái niệm giống bị phân chia phải chuyển tới khái niệm loài gần nhất, không được chuyển đến khái niệm loài xa hơn. III. PHÁN ĐOÁN. Trong quá trình nghiên cứu thế giới khách quan, con người phải gắn kết các đối tượng cùng những thuộc tính của chúng lại với nhau. Mối quan hệ đó được phản ánh vào tư duy dưới hình thức phán đoán. 1. Khái niệm phán đoán. - Phán đoán là sự vận dụng các khái niệm trong ý thức của con người để phản ánh mối liên hệ giữa các sự vật, hiện tượng cũng như các thuộc tính, tính chất của chúng. - Đặc điểm của phán đoán: Phán đoán bao giờ cũng là một câu (mệnh đề) thể hiện sự khẳng định hoặc phủ định một ý nghĩa, một tư tưởng về đối tượng, nhưng không phải bât cứ câu nào đó cũng là phán đoán, mà: + Mỗi phán đoán phải có giá trị chân thực hoặc giả dối nhất định. + Mỗi phán đoán có ba bộ phận: Chủ từ (thường là bộ phận chủ ngữ trong câu), Vị từ (thường là bộ phận vị ngữ trong câu), Hệ từ (thường là các liên từ). Nói cách khác, bộ phận của phán đoán nêu lên đối tượng của tư tưởng gọi là chủ từ; bộ phận của phán đoán khẳng định cái gì đó (thuộc tính hoặc quan hệ) là đối tượng của tư tưởng gọi là vị từ; liên từ nối hai bộ phận đó gọi là hệ từ. 9 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 - Có phán đoán đơn (Phán chỉ có một hệ từ) và phán đoán phức (Phán đoán có từ hai hệ từ trở lên). 2. Các loại phán đoán đơn. Phán đoán đơn có bốn loại: - Phán đoán khẳng định toàn thể A (Cách viết tắt lấy nguyên âm đầu của tiếng Latinh affirmo - tôi khẳng định): “Mọi S là P” hay “Tất cả S là P”, ký hiệu là ASP. - Phán đoán khẳng định bộ phận I (Cách viết tắt lấy nguyên âm thứ hai của tiếng Latinh affirmo - tôi khẳng định): “Một số S là P” hay “Có S là P”, ký hiệu là ISP. - Phán đoán phủ định toàn thể E (Cách viết tắt lấy nguyên âm đầu của tiếng Latinh nego - tôi phủ định): “Mọi S không là P” hay “không có S nào là P”, ký hiệu là ESP. - Phán đoán phủ định bộ phận O (Cách viết tắt lấy nguyên âm thứ hai của tiếng Latinh nego - tôi phủ định): “Có S không là P” hay “Một số S không là P”, ký hiệu là OSP. - Ta gọi thuật ngữ lôgíc (chủ từ hoặc vị từ) là chu diên nếu nó nói lên toàn bộ ngoại diên của đối tượng. Thuật ngữ lôgíc không chu diên nếu nó chỉ phản ánh được một bộ phận ngoại diên của đối tượng. + Khi xét tính chu diên của chủ từ ta chỉ cần chú ý tới lượng của phán đoán. Chủ từ của các phán đoán toàn thể luôn chu diên, chủ từ của các phán đoán bộ phận là không chu diên. + Khi xét tính chu diên của vị từ ta chỉ cần chú ý tới chất của phán đoán. Vị từ của các phán đoán phủ định luôn chu diên, vị từ của các phán đoán khẳng định thường là không chu diên (trường hợp ngoại lệ là chu diên) + Tính chu diên của các thuật ngữ lôgíc trong các phán đoán đơn được thể hiện như sau (dấu (+) là chu diên, dấu ( ) là không chu diên): A: S + P - Trường hợp ngoại lệ nếu S đồng nhất P thì S + P + I: S - P - Trường hợp ngoại lệ nếu ngoại diên của P là tập con ngoại diên của S, hoặc P là khái niệm đơn nhất thì S - P + E: S + P + O: S - P + 3. Quan hệ của các phán đoán đơn trên bàn cờ lôgíc. 10 [...]... từ “không phải một số S là P”, ta suy ra ngay được “Không phải mọi S là P”; Từ (ESP)  (OSP) tức từ “mọi S không là P”, ta suy ra ngay được “Có một số S không là P”; Từ OSP  ESP tức từ “không phải một số S không là P”, ta suy ra ngay được “Không phải mọi S không là P”; 2 Suy luận gián tiếp 13 HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC GVC Th.s HOÀNG NGỌC VĨNH BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC... (a, b đều không hợp lôgíc; c và d là biểu hiện cụ thể của a, nhưng c sai mà d đúng) 25 HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC GVC Th.s HOÀNG NGỌC VĨNH BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 TÀI LIỆU THAM KHẢO 1 Hoàng Chúng - Lôgíc học sơ cấp - Đại học Sư phạm thành phố Hồ Chí Minh - 1985 2 Pts Hồ Minh Đồng, Nguyễn Văn Hòa - Lôgíc học - Trung tâm đào tạo từ xa - Đại học Huế -... thuộc tính không bản chất ề 15 HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC GVC Th.s HOÀNG NGỌC VĨNH BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 sự vật, hiện tượng) có tác dụng trong việc gợi mở hướng nghiên cứu, hoặc gợi mở phát hiện ra quy luật - Suy luận Khoa học (chỉ ra được những thuộc tính bản chất hoặc các mối quan hệ tất yếu quy định sự tồn tại của sự vật, hiện tượng) không chỉ cần... Thà!” 21 HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC GVC Th.s HOÀNG NGỌC VĨNH BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 Nghe xong, nhà thông thái khẳng định được mỗi vị thần là thần gì Hãy cho biết nhà thông thái suy luận như thế nào? Nhà Thông Thái suy luận như sau: - Giả sử thần bên trái là thần Thật Thà, thì thần ngồi giữa cũng là thần Thật Thà Điều đó không thể xảy ra (vì ông ta đã... được “Có một số P là S” Đổi E thành E: (ESP)  (EPS) Từ “mọi S không là P”, ta suy ngay ra được “Mọi P không là S” 12 HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC GVC Th.s HOÀNG NGỌC VĨNH BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 Đổi O thành O: (OSP)  (OPS) Từ “một số S không là P”, ta suy ra ngay được “Có một số P không là S” - Quy tắc 2: Suy luận trực tiếp dựa vào các quan hệ giữa... lòng vòng hoặc không chứng minh được Quy tắc đối với luận chứng: Luận chứng phải tuân theo mọi quy tắc của phép suy luận Luận chứng phải bảo đảm tính hệ thống, phải nhất quán, không mâu thuẫn Nếu vi phạm quy tắc này sẽ không suy ra được giá trị lôgíc của luận chứng 2 Bác bỏ 17 HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC GVC Th.s HOÀNG NGỌC VĨNH BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001... sát là tập con của động vật] b) Mọi kim loại đều dẫn điện [ASP, kim loại (+), dẫn điện (-)] c) Một số học sinh không chăm học [OSP, học sinh (-), chăm học (+)] d) Không có phim ảnh nào bổ ích [ESP, phim ảnh (+), bổ ích (+)] e) Không một ai không chăm học mà học giỏi [ ESP , không chăm học (-), học giỏi (-)] 5 Các lập luận sau đây có hợp quy tắc lôgíc không? Vì sao? a) Một tam giác đều có ba cạnh bằng... vuông c) Góc vuông là góc 90º và góc (1º) là góc bằng 1/90 của góc vuông (a: Vi phạm quy tắc 2; b: Vi phạm quy tắc 5; c: Vi phạm quy tắc 4) 3 Cách phân chia khái niệm sau đây đúng hay sai? Tại sao? a) Khái niệm “góc” được phân chia thành “góc nhọn”, “góc vuông”, “góc tù” (Sai, vi phạm quy tắc 1, phân chia thiếu thành phần.) 18 HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC GVC Th.s HOÀNG NGỌC VĨNH BỘ MÔN TRIẾT HỌC... diên ở cả hai tiền đề (thỏa mãn quy tắc 2); danh từ biên S không chu diên ở tiền đề 2 nên cũng không chu diên ở kết luận (thỏa mãn quy tắc 3); Chỉ một trong hai phán đoán tiền đề là khẳng định nên kết - Mô hình 2: + Kiểu AOO: 24 HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC GVC Th.s HOÀNG NGỌC VĨNH BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 luận là phán đoán phủ định (thỏa mãn các quy... Trong giao tiếp, không phải lúc nào con người cũng thể hiện đầy đủ suy luận của mình dưới dạng tam đoạn luận Nhưng nhờ những điều kiện 14 HƯỚNG DẪN ÔN TẬP MÔN LOGÍC HỌC GVC Th.s HOÀNG NGỌC VĨNH BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 và văn cảnh cụ thể ta vẫn có thể khôi phục đầy đủ một tam đoạn luận cho đúng với tư tưởng của tác giả Chẳng hạn: “Ngọc học giỏi nên Ngọc . tượng. Ví dụ: “Không tế nhị”, “Không khiêm tốn”, “Không văn hóa”. 6 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 Hai. đó mà không nằm ở phán đoán thứ ba nào khác. 3 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ - 2001 - Công thức. Từ “mọi S không là P”, ta suy ngay ra được “Mọi P không là S”. 12 HƯỚNG DẪN ÔN TP MÔN LOGÍC HỌC - GVC Th.s HOÀNG NGỌC VĨNH - BỘ MÔN TRIẾT HỌC KHOA MÁC - LÊNIN - TRƯỜNG ĐẠI HỌC KHOA HỌC HUẾ -