logic học đại cương

nguyễn anh tuấn Lôgíc học đại cơng Sách giáo khoa dùng trờng đại học Hà nội 2006 Lời nói đầu Bài mở đầu Nhập môn lôgíc học (3tiết) Đối tợng lôgíc học 1.1 Đặc thù lôgíc học nh khoa học Giải thích nghĩa khác thuật ngữ lôgíc Khách thể lôgíc học t Đây khoa học t Có nhiều khoa học khác nghiên cứu t duy, riêng lôgíc học khoa học hình thức quy luật t đắn dẫn đến chân lý 1.2 T với t cách khách thể lôgíc học Nêu tiền đề sinh học xã hội cho hình thành t ngời Từ nêu định nghĩa: t phản ánh gián tiếp khái quát thực khách quan vào đầu óc ngời, đợc thực ngời xã hội trình hoạt động thực tiễn cải biến giới xung quanh - Nêu đặc điểm t mà định nghĩa đề cập đến (tr 3-4 Giáo trình) 1.3 Mối quan hệ t ngôn ngữ Ngôn ngữ hệ thống tín hiệu toàn diện để thể t tởng - dới dạng tổ hợp âm thanh, sau dới dạng ký tự Ngôn ngữ giữ vai trò phơng tiện thu nhận củng cố tri thức, lu giữ truyền bá chúng cho ngời khác, vỏ bọc vật chất t tởng Nội dung hình thức t tởng Phần thực khách quan đợc phản ánh vào đầu óc ngời nội dung t Về thực chất hệ thống tri thức đợc kết thành từ ý nghĩ, t tởng Hình thức t hay, hình thức lôgíc, kết cấu t tởng, phơng thức liên hệ phận t tởng Những hình thức t tởng chung rộng khái niệm, phán đoán, suy luận, chứng minh Cũng nh nội dung, hình thức t sinh ra, mà phản ánh mối liên hệ cấu trúc đối tợng thực 1.5 Mối liên hệ hình thức lôgíc Quy luật t Quy luật nói chung dạng liên hệ mang tính bền vững, bên trong, chất tất yếu đối tợng, lặp lại khắp nơi điều kiện xác định T có tính chất liên hệ Đó mối liên hệ t tởng để tạo hình thức lôgíc, nh biết Nhng hình thức lôgíc liên hệ với Đó mối liên hệ lôgíc t Một số mối liên hệ lôgic đặc biệt hợp thành quy luật t Chúng mang tính chất chung, phổ biến Và chúng lại tác động hình thức t duy, chi phối toàn hoạt động t tởng, quy luật t Các quy luật t lại đợc phân làm hai nhóm: quy luật t hình thức quy luật t biện chứng Các quy luật t hình thức luật đồng nhất, luật mâu thuẫn, luật trung, luật lý đầy đủ Tính chân thực tính đắn t Các khái niệm tính chân thực tính đắn gắn liền tơng ứng với nội dung hình thức t tởng Tính chân thực t thuộc tính t tái tạo lại thực nh vốn có, tơng thích với nội dung, biểu thị khả t đạt tới chân lý Còn tính đắn t lại thuộc tính khác biểu thị khả t tái tạo cấu trúc t tởng cấu trúc khách quan thực Trong t việc đảm bảo tính chân thực tính đắn có ý nghĩa to lớn Chúng hai điều kiện để thu đợc kết suy luận xác thực Lôgíc hình thức quan tâm chủ yếu đến tính đắn t Đó vấn đề Nhng tính đắn đợc dẫn xuất từ quy tắc lôgíc học, mà dẫn xuất trớc hết từ tính đắn tồn khách quan, tính có trật tự Tính đắn t vốn phản ánh trớc hết tính quy luật khách quan giới, nảy sinh tồn tự phát từ lâu trớc ngời đúc kết quy tắc Còn quy tắc lôgíc thành tựu đờng thấu hiểu chất t đắn tính quy luật tác động Lợc sử phát triển lôgíc học 2.1 Sự xuất giai đoạn phát triển lôgíc học hình thức truyền thống Lôgíc học có lịch sử lâu dài phong phú gắn liền với lịch sử phát triển xã hội nói chung Sự xuất lôgíc học nh lý thuyết t có sau thực tiễn ngời suy nghĩ hàng nghìn năm Cùng với phát triển lao động sản xuất ngời hoàn thiện phát triển dần khả suy nghĩ, biến t hình thức quy luật thành khách thể nghiên cứu Những vấn đề lôgíc lẻ tẻ xuất suy t ngời cổ đại từ 2,5 nghìn năm trớc ấn Độ Trung Quốc Sau chúng đợc vạch thảo đầy đủ Hylạp Lamã Có hai nguyên nhân làm xuất lôgíc học Thứ nhất, đời phát triển ban đầu khoa học, trớc hết toán học Sinh đấu tranh với thần thoại tôn giáo, khoa học dựa sở t duy lý đòi hỏi phải có suy luận chứng minh Do vậy, lôgíc học nảy sinh nh ý đồ vạch luận chứng đòi hỏi mà t khoa học phải tuân thủ để thu đợc kết tơng thích với thực Hai phát triển thuật hùng biện điều kiện dân chủ Hylạp cổ đại Ngời sáng lập lôgíc học - cha đẻ lôgíc học triết gia lớn Hylạp cổ đại, nhà bách khoa Arixtôt (384-322 tr cn.) Ông viết nhiều công trình lôgíc học có tên gọi chung Bộ công cụ, chủ yếu trình bày suy luận chứng minh diễn dịch Arixtôt phân loại phạm trù khái niệm chung gần với phân loại từ trớc Đêmôcrit phán đoán Ông phát biểu ba quy luật t duy, trừ luật lý đầy đủ Học thuyết lôgíc Arixtôt đặc sắc chỗ, dới dạng phôi thai bao hàm tất phần mục, trào lu, kiểu lôgíc học đại nh xác suất, biểu tợng, biện chứng Giai đoạn phát triển lôgíc học hình thức gắn bó hữu với việc xây dựng lôgíc quy nạp diễn từ kỷ XVII liền với tên tuổi nhà triết học tự nhiên học kiệt xuất ngời Anh Ph Bêcơn (1561-1626) Ông ngời khởi xớng lôgíc quy nạp Lôgíc học có, vô dụng việc đem lại tri thức mới1 Vì Bê viết Bộ công cụ Mới nh thứ đối nghịch với Bộ công cụ Arixtôt, tập trung vạch thảo phơng pháp quy nạp để xác định phụ thuộc nhân tợng Đó công lao to lớn Bêcơn Lôgíc quy nạp sau đợc nhà triết học ngời Anh Đz Mill (18061873) hệ thống hoá phát triển thêm tác phẩm hai tập Hệ thống lôgíc học tam đoạn luận quy nạp Nó ảnh hởng đến phát triển nhận thức, thúc đẩy khoa học vơn tới tầm cao Những nhu cầu khoa học không phơng pháp quy nạp, mà phơng pháp diễn dịch vào kỷ XVII đợc nhà triết học ngời Pháp R Đêcác (1596-1650) nhận diện đầy đủ Trong tác phẩm Luận phơng pháp , dựa liệu toán học, ông nhấn mạnh ý nghĩa diễn dịch nh phơng pháp nhận thức khoa học Những ngời theo Đêcác tu viện Por-Roiale A Arnô P Nhikơn viết sách Lôgíc học, hay nghệ thuật t Nó tiếng dới tên gọi Lôgíc học Por-Roiale thời gian dài đợc dùng nh sách giáo khoa lôgíc học Các tác giả vợt xa ranh giới lôgíc học truyền thống ý nhiều đến phơng pháp luận nhận thức khoa học, đến lôgíc Ph Bêcơn Toàn tập, t Nxb T tởng M., 1978 Tr 13 phát minh Việc tạo lôgíc học mở rộng kiểu trở thành điểm đặc thù kỷ XIX - XX 2.2 Sự xuất phát triển lôgíc toán Cuộc cách mạng thực nghiên cứu lôgíc diễn nhờ xuất vào nửa sau kỷ XIX lôgíc toán, mở thời kỳ mới, đại phát triển lôgíc học Những phôi thai lôgíc toán có từ Arixtôt, nh nhà khắc kỷ kế tục ông, dới dạng yếu tố lôgíc vị từ, lý thuyết suy luận tình thái lôgíc mệnh đề Những thành tựu ngày nhiều toán học thâm nhập phơng pháp toán vào khoa học khác nửa sau kỷ XIX đặt hai vấn đề Thứ nhất, ứng dụng lôgíc học để xây dựng sở lý thuyết cho toán học; thứ hai, toán học hoá lôgíc học G Lepnhít nhà triết học toán học lớn ngời Đức (1646-1716) có ý đồ sâu sắc thành công việc giải vấn đề nêu Do vậy, thực chất ông ngời khởi xớng lôgíc toán Ông phát minh ngôn ngữ biểu tợng vạn với kỳ vọng nhờ lý hoá khoa học thực nghiệm Những t tởng Lépnhit đợc phát triển tiếp kỷ XVIII nửa đầu kỷ XIX Tuy nhiên, từ nửa sau kỷ XIX có điều kiện chín muồi cho phát triển lôgíc toán Nhà toán học lôgíc học ngời Anh Đz Bun (1815-1864) công trình ứng dụng toán học vào lôgíc học Ông phân tích toán học lý thuyết suy luận, vạch thảo phép tính lôgíc (đại số Bun) Nhà toán học lôgíc học ngời Đức G Phrege (1848-1925) ứng dụng lôgíc học để nghiên cứu toán học sở nó, xây dựng số học hình thức hoá Nhà triết học, lôgíc học, toán học ngời Anh B Raxel (1872-1970) với A Uaitkhed (1861-1947) tác phẩm ba tập Các nguyên tắc toán học với mục đích luận chứng cho mặt lôgíc cố xây dựng hệ tiên đề diễn dịch cho lôgíc học 2.3 Sự hình thành phát triển lôgíc học biện chứng Lôgíc học biện chứng nhánh quan trọng lôgíc học đại Ngay Arixtôt đặt có ý giải nhiều vấn đề lôgíc học biện chứng phản ánh mâu thuẫn thực vào khái niệm, vấn đề tơng quan riêng chung, vật khái niệm v v Những yếu tố lôgíc biện chứng dần đợc tích luỹ công trình nhà t tởng Nhng lôgíc biện chứng thực bắt đầu đợc định hình vào cuối kỷ XVIII - đầu kỷ XIX Và điều trớc hết gắn liền với tiến khoa học với tên tuổi nhà triết học kinh điển Đức mở đầu Cantơ (1724-1804) Bên cạnh lôgíc học hình thức, ông thấy cần thiết phải xây dựng thứ lôgíc học nội dung, mà ông gọi lôgíc học siêu nghiệm Nó phải nghiên cứu hình thức thực t nh phạm trù, tức khái niệm chung Cantơ ngời phát tính chất mâu thuẫn khách quan, biện chứng sâu sắc t ngời Nhân đó, ông hớng tới việc vạch thảo dẫn tơng ứng cho nhà khoa học Mặc dù đặt nguyên tắc lôgíc học với vấn đề trung tâm vấn đề mâu thuẫn biện chứng, song Cantơ lại cha trình bày cách hệ thống Ông không vạch mối tơng quan thực với lôgíc học hình thức, mà định đặt đối lập lôgíc học với lôgíc học Hêghen (1770-1831) tiếp tục ý đồ vạch thảo hệ thống chỉnh thể lôgíc biện chứng Trong công trình Khoa học lôgíc ông khám phá mâu thuẫn lý thuyết lôgíc có với thực tiễn t mà thời điểm gay gắt Ông tìm phơng tiện giải mâu thuẫn việc xây dựng hệ thống lôgíc học dới dạng đặc thù, tôn giáo thần bí Tiêu điểm biện chứng t toàn tính phức tạp mâu thuẫn Hêghen nghiên cứu lại chất t duy, hình thức quy luật Nhân ông đến kết luận Phép biện chứng cấu thành lên chất t duy, quy luật hình thức nó, với t cách lý tính cần phải phủ định mình, phải rơi vào mâu thuẫn2 Ông thấy nhiệm vụ phải tìm phơng thức giải mâu thuẫn Những vấn đề lôgíc biện chứng, mối tơng quan với lôgíc hình thức đợc C Mác (1818-1883) Ph Ănghen (1820-1895) tiếp tục cụ thể hoá phát triển công trình Sử dụng chất liệu tinh thần phong phú đợc tích luỹ triết học, khoa học tự nhiên khoa học xã hội, Ông tạo lập lên hệ thống mới, vật biện chứng, đợc hoá thân vào tác phẩm nh T C Mác, Chống Điurinh, Biện chứng tự nhiên Ph Ănghen v v Từ quan điểm triết học chung C Mác Ph Ănghen không phủ nhận ý nghĩa lôgíc học hình thức, nhng nhấn mạnh tính lịch sử Ph Ănghen ghi nhận t lý luận thời đại sản phẩm lịch sử, thời điểm khác có hình thức đồng thời nội dung khác Suy ra, khoa học t duy, nh khoa học khác, khoa học lịch sử, khoa học phát triển lịch sử t ngời3 Đồng thời, C Mác Ph Ănghen khác biệt chất sâu sắc học thuyết biện chứng với Hêghen: Hêghen tâm, phép biện chứng Mác-xít vật, xem xét t duy, hình thức quy luật nh phản ánh giới bên C Mác tác phẩm T ứng dụng lôgíc biện chứng vào việc phân tích xã hội đơng đại với ông Tuy nhiên công trình chuyên lôgíc biện chứng cha đợc C Mác Ph Ănghen viết Sự hình thành lôgíc biện chứng nh khoa học tiếp tục nớc khác vào cuối kỷ XIX toàn kỷ XX Nga việc vạch thảo số vấn đề lôgíc biện chứng, mối tơng quan với lôgíc hình thức đợc G Plêkhanôv (1856-1918) V I Lênin (1870-1924) thực Trong tác phẩm Lại bàn công đoàn V I Lênin khác có tính nguyên tắc lôgíc hình thức lôgíc biện Hêghen Bách khoa th khoa học triết học, gồm tập, Nxb T tởng, M 1974-1977, t 1, tr 96 C Mác, Ph Ănghen, Toàn tập, t 20, Nxb Chính trị Quốc gia., H., 1994, tr 487 chứng Có nhiều dẫn phong phú lôgíc biện chứng (và hình thức) Bút ký triết học V I Lênin Sau V I Lênin công trình nghiên cứu nhằm trình bày lôgíc biện chứng cách hệ thống đợc tiến hành hai hớng lớn Thứ nhât, lần theo khám phá tính quy luật phản ánh thực phát triển, mâu thuẫn khách quan vào t ngời; thứ hai, khám phá tính quy luật phát triển t duy, biện chứng riêng Trong điều kiện khoa học-kỹ thuật phát triển mạnh mẽ vai trò t biện chứng gia tăng, nhu cầu lôgíc học biện chứng ngày tăng lên Ngày có nhân tố kích thích phát triển lôgíc học biện chứng ý nghĩa lôgíc học 3.1 ý nghĩa xã hội chức lôgíc học a) Chức nhận thức b) Chức giới quan c) Chức phơng pháp luận d) Chức t tởng hệ 3.2 Vai trò lôgíc học việc hình thành văn hoá lôgíc ngời Văn hoá lôgíc văn hoá t đợc thể qua văn hoá lời nói chữ viết Nó bao gồm: a) Tri thức phơng tiện hoạt động tinh thần, hình thức quy luật nó; b) Sự biết áp dụng tri thức vào thực tiễn t dựa khái niệm để thực thao tác lôgíc đúng, tiến hành suy luận, chứng minh bác bẻ; c) Thói quen phân tích t tởng riêng ngời khác để lựa chọn cách suy luận hợp lý nhất, ngăn ngừa sai lầm lôgíc Việc rèn luyện văn hoá lôgíc công việc dài lâu đầy khó khăn Lôgíc học có ý nghĩa lớn việc rèn luyện Khi nói ý nghĩa lôgíc học, cần phải tránh hai thái cực: đánh giá cao, hạ thấp Bản thân việc sử dụng lôgíc học đòi hỏi phải có hai điều kiện: thứ nhất, có khả t định; thứ hai, số tri thức định Câu hỏi thảo luận ôn tập 1) Trình bày nghĩa khác thuật ngữ lôgíc? Lôgíc học quan tâm đến nghĩa thuật ngữ đó? Cho ví dụ phân tích 2) T t đắn gì? Thế lô gíc t duy, lô gíc t hình thức? 3) Thế nội dung, hình thức t duy? Phân biệt tính chân thực tính đắn t nh nào? 4) Hãy trình bày đối tợng, phơng pháp nghiên cứu lô gích học hình thức 5) Trình bày ngắn gọn lịch sử xuất phát triển lôgíc học Phân biệt nhánh lôgíc học: lôgíc hình thức truyền thống, lôgíc toán lôgíc biện chứng 6) Trình bày vai trò, chức lôgíc học Nêu rõ ý nghĩa lôgíc học việc học tập lôgíc học 10 Bài khái niệm Định nghĩa đặc điểm khái niệm Sự xuất khái niệm mang tính quy luật khách quan hình thành phát triển t ngời Sự xuất đòi hỏi phải có tính tất yếu khách quan khả nh tiền đề điều kiện Tính tất yếu khái niệm gắn liền chặt chẽ với hoạt động sản xuất vật chất ngời Khả khách quan xuất tồn khái niệm t tồn giới đối tợng có tính xác định chất Tất đối tợng cấu thành từ phận liên hệ với theo cách khác nhau, có thuộc tính khác Các thuộc tính lại có nhiều loại: đơn nhất, chung, chất, không chất, khác biệt, không khác biệt Bản thân loại thuộc tính nêu tồn khách quan, không phụ thuộc vào ý thức ngời, nh đối tợng Nhng chúng đợc nhận thức vạch ra, trở thành dấu hiệu đối tợng Nh vậy, dấu hiệu ý nghĩ ngời thuộc tính Các dấu hiệu đợc chia thành loại tơng ứng với phân chia thuộc tính nh Việc làm rõ nguồn gốc khái niệm cho phép vạch chất thực hình thức t phản ánh gián tiếp khái quát đối tợng thông qua dấu hiệu chung, chất, khác biệt Về thực chất khái niệm tri thức, hiểu biết có đặc điểm tơng đối toàn diện có hệ thống đắn chất đối tợng Ngời nắm đợc khái niệm có nghĩa trở thành kim nam cho hoạt động thực tiễn ngời đối tợng mà khái niệm phản ánh Khái niệm thực chức nhận thức giao tiếp Khái niệm từ Nếu khái niệm hình thức t duy, phạm trù lôgíc học, từ phạm trù ngôn ngữ học, phơng tiện ngôn ngữ để gắn kết t tởng, lu 11 giữ, truyền lại cho ngời khác Nói khác, từ sở vật chất khái niệm Không thể có khái niệm từ Khái niệm đợc hình thành sở từ xác định có nghĩa Nghĩa từ thờng đợc dùng để chuyển tải nội dung khái niệm Mọi khái niệm đợc thể từ hay cụm từ, nhng từ thể khái niệm Vì thay đổi nội dung khái niệm âm nghĩa từ khác Một từ diễn đạt nội dung số khái niệm khác Đây tợng đồng âm khác Ngợc lại, khái niệm đợc diễn đạt nhiều từ Đó tợng đồng nghĩa khác âm Lôgíc học đại hớng tới xây dựng hệ thống ngôn ngữ nhân tạo hoàn chỉnh diễn đạt xác nghĩa khái niệm t Các phơng pháp thành lập khái niệm Việc hình thành khái niệm kết hoạt động nhận thức thực tiễn ngời nhờ phơng pháp lôgíc nh: so sánh, phân tích, tổng hợp, trừu tợng hoá, khái quát hoá Cấu tạo khái niệm Mọi khái niệm đợc tạo thành từ phận: nội hàm ngoại diên 4.1 Nội hàm khái niệm nội dung đợc xét dới dạng chia nhỏ thành dấu hiệu chất khác biệt, giúp phân biệt đối tợng mà phản ánh với đối tợng khác Nội hàm đặc trng cho khái niệm mặt chất Có thể biểu diễn nội hàm khái niệm nh sau: A(b, c, d, ), A khái niệm nói chung, b, c, d, thuộc tính đối tợng Các dấu hiệu nội hàm gồm hai loại: dấu hiệu loại dấu hiệu chung chất cho toàn lớp đối tợng, dấu hiệu chủng, chung chất cho đối tợng lớp nhỏ đối tợng làm cho khác với đối tợng khác Thông thờng ngời ta nêu trớc dấu hiệu chung, chất đại diện cho toàn lớp đối tợng, đến dấu hiệu ngày khác 12 biệt, đặc thù thuộc đối tợng mà khái niệm phản ánh Số lợng dấu hiệu nhiều nội hàm phong phú 4.2 Ngoại diên khái niệm tập hợp đối tợng thực mang dấu hiệu chung, chất đợc nêu nội hàm Ngoại diên khái niệm phạm vi đối tợng mà khái niệm phản ánh đặc trng cho khái niệm mặt lợng, liệt kê xác đối tợng thuộc ngoại diên, chúng hữu hạn tơng đối không nhiều, không mô tả ngoại diên dựa vào dấu hiệu nội hàm Số lợng đối tợng nhiều ngoại diên khái niệm rộng 4.3 Quan hệ nội hàm ngoại diên khái niệm quan hệ tỷ lệ nghịch: nội hàm phong phú, ngoại diên hẹp Ngợc lại, ngoại diên khái niệm rộng, nội hàm khái niệm nghèo Những khái niệm có ngoại diên rộng đợc gọi phạm trù, khái niệm có nội hàm phong phú thờng phản ánh đối tợng cụ thể, xác định (khái niệm đơn nhất) Cũng cần lu ý quy luật tác động t phản ánh đối tợng tồn phẩm chất xác định, trạng thái tĩnh tơng đối Sự tác động với khái niệm bao hàm khái niệm khác thể qua phép mở rộng thu hẹp khái niệm (xem mục 7) Phân loại khái niệm 5.1 Phân loại khái niệm theo nội hàm a) Khái niệm cụ thể trừu tợng b) Khái niệm khẳng định khái niệm phủ định c) Khái niệm tơng quan không tơng quan 5.2 Phân loại khái niệm theo ngoại diên a) Khái niệm tập hợp không tập hợp b) Khái niệm ảo (rỗng) khái niệm thực c) Khái niệm chung khái niệm đơn Quan hệ khái niệm 13 Về mặt nội hàm có hai loại quan hệ không so sánh đợc so sánh đợc Về mặt ngoại diên, khái niệm không so sánh đợc nằm quan hệ tách rời (ngang hàng), khái niệm so sánh đợc quan hệ với theo kiểu, đợc chia thành nhóm quan hệ điều hoà không điều hoà 6.1 Quan hệ điều hoà quan hệ khái niệm mà ngoại diên chúng có đối tợng chung Nhóm quan hệ lại gồm kiểu: a) Quan hệ đồng (trùng nhau) Là quan hệ khái niệm mà ngoại diên chúng hoàn toàn trùng nhau, nhng nội hàm chúng phân biệt b) Quan hệ bao hàm (lệ thuộc) Là quan hệ khái niệm mà ngoại diên khái niệm toàn ngoại diên khái niệm kia, nhng không ngợc lại Khái niệm có ngoại diên lớn (bao hàm) đợc gọi khái niệm loại, khái niệm có ngoại diên nhỏ (bị bao hàm) đợc gọi khái niệm chủng c) Quan hệ giao Là quan hệ khái niệm mà phần ngoại diên khái niệm phần ngoại diên khái niệm khác 6.2 Quan hệ không điều hoà quan hệ khái niệm mà ngoại diên chúng phần trùng Quan hệ gồm kiểu: a) Quan hệ ngang hàng (cùng bị bao hàm): Là quan hệ khái niệm chủng mà ngoại diên chúng tách rời lệ thuộc ngoại diên khái niệm loại 14 b) Quan hệ đối lập: quan hệ khái niệm mà nội hàm chúng có dấu hiệu trái ngợc nhau, nhng tổng ngoại diên chúng không lấp đầy ngoại diên khái niệm loại chung cho chúng c) Quan hệ mâu thuẫn: quan hệ khái niệm có nội hàm không trái ngợc mà loại trừ tổng ngoại diên chúng lấp đầy ngoại diên khái niệm loại Mở rộng thu hẹp khái niệm thao tác lôgíc xử lý nội hàm ngoại diên khái niệm Quan hệ bao hàm loại chủng sở chúng Sự tác động quy luật quan hệ tỷ lệ nghịch nội hàm ngoại diên khái niệm đợc thể trực tiếp thao tác 7.1 Mở rộng khái niệm thao tác giúp thu đợc khái niệm cách mở rộng ngoại diên khái niệm cho trớc Những khái niệm đứng sau bao giò phải bao hàm khái niệm đứng trớc Giới hạn mở rộng khái niệm phạm trù 7.2 Thu hẹp khái niệm thao tác lôgíc ngợc với mở rộng khái niệm, từ khái niệm có ngoại diên lớn (loại) ta chuyển đến khái niệm có ngoại diên nhỏ (chủng) tơng ứng Giới hạn thu hẹp khái niệm đơn Phép định nghĩa khái niệm 8.1 Bản chất định nghĩa khái niệm thao tác lôgíc nhằm vạch dấu hiệu nội hàm khái niệm Cần phải định nghĩa khái niệm ba trờng hợp sau: Thứ nhất, tổng kết điểm chủ yếu sau trình nhận thức chất đối tợng; thứ hai, sử dụng khái niệm mà ngời khác cha biết nội hàm; thứ ba, sử dụng từ biết nhng lại đợc dùng nghĩa 8.2 Cấu tạo chức phép định nghĩa gồm phận: Khái niệm đợc định nghĩa (definiendum = Dfd) khái niệm mà ta phải vạch rõ nội hàm 15 Khái niệm dùng để định nghĩa (definiens = Dfn) khái niệm có dấu hiệu chung cấu thành nội hàm khái niệm đợc định nghĩa Mối liên hệ lôgíc khái niệm đợc định nghĩa khái niệm dùng để định nghĩa đợc thể nhờ từ hay dấu gạch ngang Chức định nghĩa khái niệm vạch rõ nội hàm khái niệm đợc định nghĩa; phân biệt đối tợng cần định nghĩa với đối tợng khác 8.3 Các kiểu định nghĩa a) Căn vào đối tợng đợc định nghĩa, có kiểu định nghĩa: định nghĩa thực danh * Định nghĩa thực định nghĩa đối tợng cách dấu hiệu nội hàm khái niệm đợc định nghĩa Ví dụ: Con ngời động vật có lực t * Định nghĩa danh định nghĩa vạch nghĩa từ biểu thị đối tợng Ví dụ: Hiến pháp đợc gọi đạo luật Nh vậy, định nghĩa danh thao tác đặt tên cho đối tợng b) Căn vào tính chất khái niệm dùng để định nghĩa định nghĩa gồm kiểu: * Định nghĩa qua loại gần khác biệt chủng kiểu định nghĩa phải khái niệm loại gần chứa khái niệm cần định nghĩa, sau vạch dấu hiệu khác biệt khái niệm cần định nghĩa so với khái niệm Nhng có khái niệm cần định nghĩa rộng khiến tìm đợc khái niệm loại nó; không tìm đợc thuộc tính khác biệt đặc thù đối tợng mà khái niệm cần định nghĩa phản ánh Trong trờng hợp cần phải có kiểu định nghĩa khác phù hợp * Định nghĩa theo quan hệ: kiểu định nghĩa ngời ta khái niệm đối lập với khái niệm cần định nghĩa nêu rõ mối quan hệ đối tợng mà hai khái niệm phản ánh (định nghĩa vật chất V I 16 Lênin) Kiểu định nghĩa thờng đợc dùng cần định nghĩa khái niệm có ngoại diên rộng phạm trù * Định nghĩa nguồn gốc: kiểu định nghĩa ngời ta vạch nguồn gốc phơng thức tạo đối tợng mà khái niệm cần định nghĩa phản ánh Kiểu định nghĩa có tác dụng làm rõ nguồn gốc phát sinh đối tợng Tuy nhiên, thực tế đối tợng rõ đợc xuất xứ, nguồn gốc cách thức sinh thành, kiểu định nghĩa chủ yếu hay dùng khoa học tự nhiên kỹ thuật Ngoài kiểu định nghĩa nêu trên, có kiểu định nghĩa sau: + Mô tả định nghĩa cách liệt kê dấu hiệu khác biệt bên đối tợng nhằm phân biệt với đối tợng khác + So sánh: kiểu định nghĩa dấu hiệu khái niệm đợc nêu cách so sánh với dấu hiệu tơng tự khái niệm khác biết 8.4 Các quy tắc định nghĩa a) Định nghĩa phải cân đối: Ngoại diên khái niệm dùng để định nghĩa (Dfn) phải trùng với ngoại diên khái niệm đợc định nghĩa (Dfd): Dfn Dfd Định nghĩa cân đối thể mối quan hệ đồng khái niệm đợc định nghĩa với khái niệm dùng để định nghĩa Vi phạm quy tắc dẫn đến lỗi sau: + Định nghĩa rộng: Dfn>Dfd, tức ngoại diên khái niệm cần định nghĩa bị bao hàm ngoại diên khái niệm dùng để định nghĩa + Định nghĩa hẹp: Dfn A1+ A2 ++ An - Chia thừa thành phần: khái niệm chủng thành phần thu đợc thừa so với ngoại diên khái niệm loại bị phân chia: A < A1+ A2 ++ An - Phân chia vừa thừa vừa thiếu b) Phân chia phải sở Phải giữ nguyên phân chia suốt trình phân chia Điều có nghĩa có sở phân chia cho khái niệm, mà tuỳ vào đối tợng mục đích phép phân chia ta lựa chọn phân chia khác Nhng bắt đầu chia đợc 19 phép chọn phải chia xong đợc chuyển sang khác Khi phân chia bị đổi chừng vi phạm quy tắc c) Các khái niệm thu đợc sau phân chia phải ngang hàng: ngoại diên chúng phải tách rời Ngợc lại vi phạm quy tắc d) Phân chia phải liên tục: phân chia phải từ khái niệm loại vạch khái niệm chủng gần Nếu quy tắc bị vi phạm, mắc lỗi phân chia nhảy vọt 9.4 Các kiểu phân chia khái niệm a) Phân chia theo dấu hiệu biến đổi: phân chia khái niệm loại thành khái niệm chủng, cho chủng giữ đợc dấu hiệu loại, đồng thời lại có dấu hiệu chất chủng Cơ sở phân chia dấu hiệu chất hay không chất, dấu hiệu nội dung hay tuý hình thức bên Ví dụ: phân chia khái niệm lịch sử thành khái niệm lịch sử tự nhiên, lịch sử xã hội, lịch sử t tởng; chia khái niệm Ngời thành ngời da trắng, ngời da đen, ngời da màu b) Phân đôi khái niệm: chia ngoại diên khái niệm thành hai phần mâu thuẫn, loại trừ dấu hiệu phần phần lại Khi phân đôi khái niệm phải theo sở định phải đảm bảo tính cân đối c) Phân nhóm khái niệm: xếp đối tợng thành lớp theo giống chúng, cho lớp có vị trí xác định lớp khác Phân nhóm dạng phân chia đặc biệt, dựa vào dấu hiệu chất để liên tiếp chia từ khái niệm loại đến khái niệm chủng theo quy tắc phân chia Ví dụ: phân nhóm học sinh lớp học vào lực học thành học sinh xuất sắc, giỏi, khá, trung bình, yếu Có kiểu phân nhóm: - Phân nhóm tự nhiên: xếp đối tợng theo lớp xác định dựa vào dấu hiệu chất chúng Đây kiểu cho phép 20