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 cña 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 lµ néi dung cđa t− VỊ thùc chÊt nã hệ thống tri thức đợc kết thành từ ý nghÜ, t− t−ëng H×nh thøc cđa 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 lt cđa t− Quy lt 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 lt cđa t− Chóng cị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− nã vèn cã, t−¬ng thÝch víi nã vỊ 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 cđa hiƯn 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 lt kh¸ch quan cđa thÕ 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ù xt hiƯn 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Ư tht t− duy” Nã ®· nỉi 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ê sù xt hiƯn vµo nưa sau thÕ 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 lµ biƯn chøng cđa t− toµn bé 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 rÊt kh¸c “Suy ra, khoa häc vỊ 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 cịng chØ sù kh¸c biƯt vỊ 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 thÕ kû XIX vµ toµn bé thÕ 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ã rÊt nhiÒu chØ dÉn phong phú lôgíc biện chứng (và hình thức) Bút ký triÕt häc” cđa 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 lt cđa sù ph¸t triĨn cđa chÝnh 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 cđ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 lun Êy 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 ... 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. .. 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ữ... 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