Đang tải... (xem toàn văn)
Logic học là khoa học xuất hiện rất sớm trong lịch sử. Nó xuất hiện vào thế kỷ thứ IV trước công nguyên, khi sự phát triển của khoa học nói riêng và tư duy nói chung đã đòi hỏi phải trả lời câu hỏi: làm thế nào để đảm bảo suy ra được kết luận đúng đắn, chân thực từ các tiền đề chân thực? I. KHOA HỌC LOGIC Từ “logic” có nguồn gốc từ Hy Lạp “Logos”, có rất nhiều nghĩa, trong đó hai nghĩa ngày nay được dùng nhiều nhất như sau. Thứ nhất, nó được dùng để chỉ tính quy luật của sự tồn tại và phát triển của thế giới khách quan. Thứ hai, từ “logic” dùng để chỉ những quy luật đặc thù của tư duy. Khi ta nói “Logic của sự vật là như vậy”, ta đã sử dụng nghĩa thứ nhất. Còn khi nói “Anh ấy suy luận hợp logic lắm”, ta dùng nghĩa thứ hai của từ logic.
ĐỐI TƯỢNG CỦA LOGIC HỌC Logic học khoa học xuất sớm lịch sử Nó xuất vào kỷ thứ IV trước công nguyên, phát triển khoa học nói riêng tư nói chung đòi hỏi phải trả lời câu hỏi: làm để đảm bảo suy kết luận đắn, chân thực từ tiền đề chân thực? I KHOA HỌC LOGIC Từ “logic” có nguồn gốc từ Hy Lạp “Logos”, có nhiều nghĩa, hai nghĩa ngày dùng nhiều sau Thứ nhất, dùng để tính quy luật tồn phát triển giới khách quan Thứ hai, từ “logic” dùng để quy luật đặc thù tư Khi ta nói “Logic vật vậy”, ta sử dụng nghĩa thứ Còn nói “Anh suy luận hợp logic lắm”, ta dùng nghĩa thứ hai từ logic Theo quan điểm phổ biến logic học khoa học hình thức, quy luật tư Nhưng khác với khoa học khác nghiên cứu tư tâm lý học, sinh lý học thần kinh, , logic học nghiên cứu hình thức quy luật tư để đảm bảo suy kết luận chân thực từ tiền đề, kiến thức có, đưa phương pháp để có suy luận đắn Để hiểu cặn kẽ đối tượng logic học, ta phải tìm hiểu đặc điểm giai đoạn nhận thức lý tính trả lời cho câu hỏi hình thức quy luật tư Các đặc điểm tư trừu tượng Nếu nói cách giản lược nhận thức trình tìm hiểu, xác định đối tượng Triết học Mác-Lênin hiểu nhận thức trình phản ánh thực khách quan Nhận thức hoạt động phản ánh phát triển lịch sử, đảm bảo quy định mặt xã hội Quá trình nhận thức bắt đầu tác động trực tiếp thực khách quan lên giác quan người Đây giai đoạn đầu trình nhận thức, gọi giai đoạn nhận thức cảm tính, giai đoạn nhận thức trực tiếp Trong giai đoạn ta thu nhận tri thức nhờ tác động trực tiếp đối tượng lên giác quan Nhận thức cảm tính gồm hình thức: cảm giác, tri giác, biểu tượng Cảm giác phản ánh mặt, khía cạnh riêng lẻ đối tượng vào đầu óc người tác động trực tiếp lên giác quan Ví dụ, ta thấy màu trắng viên phấn, thấy mát mẻ phòng rộng, ngửi thấy hương thơm hoa hồng, … Tri giác phản ánh thành thể thống nhất, tương đối trọn vẹn nhiều mặt, nhiều khía cạnh, toàn mặt, khía cạnh đối tượng vào đầu óc người đối tượng tác động trực tiếp lên giác quan Các mặt, đối tượng phản ánh cách riêng lẻ hình thức cảm giác, mà chúng liên kết với thành thể thống nhất, giúp ta có hình ảnh trọn vẹn đối tượng Tri giác phép cộng đơn cảm giác Ví dụ, ta thấy sách nằm bàn, thấy đèn, bàn ghế, Quyển sách, bàn, đèn ta cảm thụ cách nguyên vẹn, ta mang cộng bốn chân bàn, với mặt bàn để bàn Cũng vậy, ta thấy hoa hồng, cộng nét riêng biệt nó, số lượng cánh, màu nào, lớn hay nhỏ, tươi hay héo, Biểu tượng hình ảnh hình thành từ cảm giác tri giác vốn hình thành từ trước, đối tượng tác động trực tiếp lên giác quan, lưu giữ đầu óc người Khác với tri giác hình ảnh có có tác động trực tiếp đối tượng lên giác quan, biểu tượng hình ảnh đối tượng tác động trực tiếp Biểu tượng bao gồm hình ảnh giới khách quan, hình ảnh ta tưởng tượng mà, xét đến cùng, có nguồn gốc từ thực khách quan Đặc điểm nhận thức cảm tính tính trực tiếp, cụ thể không cần đến ngôn ngữ Ởgiai đoạn ta nhận thức mặt, khía cạnh riêng rẽ hay hình ảnh bềngoài đối tượng mà không thấy chất đối tượng, không thấy quy luật vận động phát triển Thật vậy, quan sát máy chạy, ta có hình ảnh chạy nó, biết chạy, chí tốc độ xác ta Thêm vào đó, tính khái quát không cao Ví dụ, ta có tri giác thành phố, đất nước lớn, giác quan ta bao quát hết Logic học không nghiên cứu giai đoạn cảm tính trình nhận thức, mà nghiên cứu giai đoạn thứ hai trình đó, giai đoạn nhận thức lý tính Nhận thức lý tính phản ánh gián tiếp thực khách quan Nhận thức lý tính phản ánh thực khách quan cách trừu tượng, nghĩa khái niệm, phạm trù, phán đoán, suy luận, lý thuyết, giả thuyết Nhờ ta thể nhận thức mối liên hệ bên trong, chất, quy luật tồn phát triển thực khách quan Ví dụ: Bằng giác quan ta nhận thấy màu sắc xanh, đỏ, tím, vàng ánh sáng Nhưng phân tích sâu sắc, nhà vật lý khám phá chất sóng điện từ ánh sáng Vì nhận thức lý tính thấy nhờ khái niệm, phạm trù, giả thuyết, lý thuyết hình thức trừu tượng, nên gọi tư trừu tượng Nhận thức lý tính có đặc trưng trừu tượng khái quát Từ liệu thực khách quan cung cấp, ta tách riêng nét, tính chất chung, khái quát chúng lên, nhờ tách đối tượng có tính chất chung định thành kiểu, lớp riêng Trong trình này, với việc tách riêng tính chất chung đối tượng, ta bỏ qua tính chất khác đối tượng, trình trừu tượng hóa Một đặc trưng nhận thức lý tính gắn liền với ngôn ngữ Ngôn ngữ phương tiện tư Nhờ có ngôn ngữ, tư tưởng hình thành củng cố, lưu giữ Cũng nhờ ngôn ngữ, người trao đổi với tư tưởng Ngôn ngữ hiểu theo nghĩa rộng: ngôn ngữ hệ thống ký hiệu Nhận thức lý tính phản ánh tượng khách quan cách tích cực Để nhận thức, tìm hiểu vấn đề, người hướng tư vào đó, chuẩn bị sẵn điều kiện cho trình nhận thức Ví dụ, nhà bác học muốn nghiên cứu cấu tạo nguyên tử, ông ta bắn phá chùm hạt Rutherford làm Tính chất giải thích nghiên cứu đối tượng nhau, mà người nhận quy luật, người khác không Nhận thức lý tính gồm hình thức khái niệm, phán đoán, lý thuyết, suy luận, giả thuyết Trong hình thức nhận thức lý tính, ba hình thức đầu hình thức hình thành biểu thị tri thức, hai hình thức sau hình thức thu nhận phát triển kiến thức từ kiến thức có Logic học nghiên cứu hình thức tư Trong chương trình nghiên cứu cặn kẽ hình thức đó, nêu định nghĩa khái quát chúng để góp phần làm rõ đối tượng logic học Khái niệm hình thức tư phản ánh lớp đối tượng dấu hiệu chung đối tượng thuộc lớp Để ý lớp đối tượng bao gồm đối tượng[1] Khái niệm điểm bắt đầu tư trừu tượng Trong trình tư trừu tượng, để nhận biết, xác định đối tượng, ta tách vật có số đặc điểm chung khỏi vật khác Lớp vật tách riêng biểu thị khái niệm Ví dụ: khái niệm “học sinh” biểu thị lớp người có đặc điểm chung học; khái niệm “tội phạm” biểu thị lớp vật có đặc điểm chung - theo Bộ luật hình Nước Cộng hòa Xã hội chủ nghĩa Việt Nam - “hành vi nguy hiểm cho xã hội quy định bộluật hình sự, người có lực, trách nhiệm hình thực cách cố ý vô ý ”[2] Qua hai ví dụ ta thấy khái niệm phản ánh số đặc điểm chung lớp vật định Phán đoán phản ánh quan hệ đối tượng với đối tượng với tính chất Phán đoán có nhờ liên kết khái niệm Một phán đoán khẳng định hay phủ định quan hệ đối tượng định hay đối tượng với tính chất Ví dụ, phán đoán “Ánh sáng có tính chất sóng” khẳng định tính chất sóng ánh sáng; phán đoán “Tài sản, vốn đầu tư lợi nhuận hợp pháp chủ đầu tư không bị quốc hữu hóa ”[3] phủ nhận tính chất bị quốc hữu hóa tài sản, vốn đầu tư lợi nhuận hợp pháp chủ đầu tư Suy luận hình thức tư duy, từ hay nhiều phán đoán có suy phán đoán Nó hình thức nhận kiến thức từ kiến thức có Những phán đoán có gọi tiền đề, phán đoán thu gọi kết luận Trong suy luận sau “Bất phương trình bậc ba có nghiệm thực, phương trình 6x + 3x2 - 4x + m = phương trình bậc ba, phương trình có nghiệm thực”, hai phán đoán đầu tiền đề, phán đoán thứ ba, sau cùng, kết luận Kết luận rút cách tất yếu từ hai phán đoán tiền đề Hình thức tưtưởng quy luật tư Khi xem xét tư tưởng, logic hình thức không quan tâm đến nội dung tư tưởng ấy, mà quan tâm đến hình thức mà Hình thức logic tư tưởng cấu trúc tư tưởng, phương pháp liên kết thành phần khác tư tưởng lại với nhau, thứ tự xếp trước sau thành phần tư tưởng Ví dụ, xét suy luận: (1) Con người phải chết Socrate người Vậy Socrate phải chết; (2) Sinh viên người tích cực sáng tạo Quang sinh viên Vậy Quang người tích cực sáng tạo; Ta thấy nội dung suy luận khác nhau, cấu trúc chúng lại giống Nếu suy luận thứ ta đặt “con người” = S, “phải chết” = P, “Socrate” = X ta có (1) dạng: (1’) S P X S Vậy X P Dễ thấy thay S = “Sinh viên”, P = “tích cực sáng tạo”, X = “Quang” suy luận (2) biến thành (1’) Người ta gọi (1’) cấu trúc logic suy luận (1), rõ ràng (1’) cấu trúc logic suy luận (2) Vì suy luận (1) (2) có cấu trúc nhau, nghĩa có hình thức nhau, nên chúng có nội dung khác nhau, đọc lên ta thấy chúng từa tựa Rõ ràng cấu trúc, hình thức suy luận hay tư tưởng không chứa nội dung cụ thể Vì vậy, ta coi hình thức tư tưởng hay suy luận mà ta thu lược bỏ nội dung cụ thể tư tưởng hay suy luận Quy luật tư mối liên hệ phổ biến, bên trong, chất, lặp lặp lại tư tưởng trình tư Khi xét mối liên hệ trình tư bỏ qua nội dung cụ thể ta quy luật hình thức Các quy luật gọi quy luật logic Tuân theo quy luật logic điều kiện cần thiết để đạt tới chân lý tư Một trình tư duy, lập luận gọi hợp logic, hợp lý, chặt chẽ (hay ngắn gọn đúng), tuân thủ quy tắc logic Logic hình thức nghiên cứu quy luật hình thức mà Các quy luật tư phản ánh quy luật thực khách quan vào tư Chính mà chúng giúp ta nghiên cứu, nhận thức giới khách quan Con người phát quy luật tư hoạt động nhận thức thực tiễn mình, “hoạt động thực tiễn người phải làm cho ý thức người lặp lặp lại hàng nghìn triệu lần hình tượng logic khác nhau, đểcho hình tượng có ý nghĩa công lý”[4] Đối với cá nhân, quy luật bẩm sinh biết, mà biết thông qua trình học tập - nghĩa biết qua hệ trước -, biết tự nghiên cứu hoạt động nhận thức II SỰ HÌNH THÀNH VÀ PHÁT TRIỂN CỦA LOGIC HỌC Với tư cách khoa học, logic học đời vào kỷ IV trước công nguyên Người sáng lập logic học nhà triết học Hy Lạp vĩ đại Aristote (384 - 322 tr CN) Mặc dù trước Aristote có nhiều nhà triết học - chẳng hạn Pythagor, Democrite, Socrate, Platon - sử dụng nghiên cứu số kiểu suy luận, số kiểu phán đoán, Aristote người khai sinh logic học khoa học Aristote coi người khai sinh logic học “không phải ông người hệ thống hoá thao tác suy luận vốn trước ông tồn riêng rẽ, chưa rõ ràng, mà ông người làm cho thao tác trở thành đối tượng nghiên cứu, làm thành đối tượng nghiên cứu thao tác suy luận đó, với tư cách chỉnh thể, không thành tố hay thành tố khác suy luận”[5] Nghĩa Aristote thao tác suy luận đối tượng nghiên cứu độc lập, không nghiên cứu mối quan hệ với suy luận Ông nghiên cứu cách hệ thống khái niệm, phán đoán, phép chứng minh bác bỏ, ông nêu lên ba quy luật tư Ông xây dựng hoàn chỉnh lý thuyết tam đoạn luận Ông người phân loại sai lầm logic Vấn đề trung tâm logic học Aristote vấn đề suy luận diễn dịch, có phép chứng minh, xây dựng Các vấn đề khác xoay quanh vấn đề Các công trình ông logic học sau tập hợp lại Organon Ở thời cổ đại, logic học Aristote học trò ông tiếp tục phát triển sau ông Nhưng người ta nêu thêm số quy tắc suy luận với tiền đề phán đoán điều kiện phán đoán lựa chọn nghiêm ngặt mà Các nhà triết học thuộc trường phái Megat trường phái Khắc kỷ, đặc biệt Chrysippus (279-206 tr CN) - người cho mệnh đề sai người nghiên cứu quy tắc xác định tính sai mệnh đề phức dựa vào tính sai mệnh đề thành phần tạo nên -, xa Họ nghiên cứu quan hệ suy diễn, nghĩa quan hệgiữa tiền đề kết luận suy luận Để nghiên cứu vấn đề này, họ đưa khái niệm bao hàm (implication) Họ đưa hình thức định lý diễn dịch - định lý làm sở cho phép chứng minh hệ thống hình thức hóa: suy luận hợp logic công thức biểu thị công thức Công thức biểu thị suy luận có ta liên kết tiền đề với thành phần tiền đề dấu toán hội, liên kết phần tiền đềvới kết luận dấu toán kéo theo (dấu implication) Các thành tựu quan trọng logic học thời La Mã cổ đại là: hệ thống thuật ngữ logic sử dụng đến ngày nay; hình vuông logic (sau Boethius hoàn thiện); lý thuyết tam đoạn luận phức hợp tam đoạn luận với tiền đề phán đoán quan hệ Ở thời trung cổ, logic học Aristote nghiên cứu phát triển nhà triết học kinh viện Các thành thời kỳ chủyếu nghiên cứu khái niệm ngữ nghĩa học Các nhà logic học có đóng góp lớn thời kỳ P Abelard (1079-1142) - người xây dựng lại logic Aristote, phân biệt suy luận hình thức nội dung cho suy luận hình thức loại suy luận có giá trị thật sự-, W Occam (12851349) - người dành quan tâm lớn đến logic hình thái, xây dựng học thuyết siêu ngôn ngữ (metalanguage), nghiên cứu toàn diện tam đoạn luận đơn Aristote, phân định kiểu không Vào thời Phục hưng logic học truyền thống bị trích mạnh mẽ Một số nhà tư tưởng tiến thời kỳ buộc tội logic học chỗ dựa cho tư tưởng kinh viện Nhà triết học người Anh F Bacon (1561-1626) cho tam đoạn luận Aristote hoàn toàn vô ích, không cho phép tìm thông tin từ tiền đề có, nên khoa học sử dụng phát luật thông qua việc nghiên cứu kiện thực nghiệm biết Ông dựng nên logic quy nạp Logic sau nhà triết học logic Anh khác S Mill (1806 - 1873) phát triển quy xây học Về phần logic diễn dịch phải đến thếkỷ XVII nhà toán học triết học R Descates (1596 - 1650) người Pháp minh bảo vệ Ông muốn xây dựng thành phương pháp nhận thức tổng hợp Công lao lớn việc phát triển logic diễn dịch thuộc nhà triết học, toán học logic học người Đức Leibniz (1646 - 1716) Ông coi người đặt tảng cho logic ký hiệu Ông đưa tư tưởng sử dụng ký hiệu phương pháp toán học vào logic học Ông sử dụng ký hiệu thay cho lời nói, làm cho tưtưởng trởnên rõ ràng xác hơn, mà làm cho tư tưởng trở nên đơn giản Ông muốn xây dựng logic học thành phép tính (calculus rationator) - ngôn ngữ nhân tạo tổng quát, suy luận hình thức hóa giống phép tính hình thức hóa đại sốvậy Thậm chí ông mơ đến ngày nhà triết học bất đồng ý kiến với họ không cần phải tranh cãi nữa, mà cần sử dụng hệ thống logic mà tính toán xem đúng, sai Tư tưởng Leibniz sau nhà toán học logic học J Boole (1815 - 1864) người Anh, De Moorgan phát triển Họ xây dựng hệ đại sốlogic Sự phát triển logic hình thức thời đại gắn liền với tên tuổi nhà bác học lớn G Frege (1848 - 1925), Peano (1858 - 1932), B Russell (1872 - 1970), Marcov, Peirce … Quá trình phát triển logic học kể từ Leibnitz, đặc biệt từ Russel trở sau, liên quan chặt chẽ với toán học Sự liên quan chặt chẽ hai ngành logic học toán học Russel khắc họa sau Nhập môn triết học toán học ông: “Toán học logic học, mặt lịch sử hai ngành khác nhau, trình phát triển, chúng sát lại gần nhau: logic học “toán hóa” hơn, toán học “logic hóa” Ngày khó mà vạch đường ranh dứt khoát phân chia logic học toán học Trên thực tế ngày chúng gần Bằng chứng đồng chúng thể chi tiết: xuất phát từ tiền đề phương pháp suy luận, ta đứng mảng đất logic; đến kết phương pháp suy diễn ta đứng mảng đất toán”[6] Trong sách tiếng Principia Mathematica mình, tác giả A Whitehead (1861 - 1947) B Russell cho quy giản toàn toán học lý thuyết logic học, nói cách khác, coi toán học phần logic học Ngược lại, số nhà toán học khác lại coi logic ngành toán học Sự phát triển logic học kể từ Leibniz bước sang giai đoạn hẳn chất Nếu suốt ngàn năm trước logic học xác định sốlượng hạn chế - tính hàng chục - dạng thức suy luận đúng, dạng thức suy luận tìm chủ yếu nhờ phương pháp kinh nghiệm, bây giờ, khoảng thời gian tương đối ngắn, logic học xác lập khối lượng dạng thức nhiều nhiều lần, nhiều phương pháp đại, phương pháp tiên đề, phương pháp hình thức hóa, … áp dụng thay cho kinh nghiệm Ngày logic học hình thức bao gồm nhiều nhánh khác logic cổ điển, logic tình thái, logic thời gian, logic kiến thiết, logic relevant, logic không đơn điệu, logic mờ, logic xác suất, logic quy nạp, logic lượng tử, logic đa trị,… Cuối kỷXVIII, đầu kỷ thứ XIX nhà triết học người Đức Hegel xây dựng nên logic biện chứng Logic biện chứng nghiên cứu hình thức quy luật tư duy, nhiên, khác với logic hình thức, - khoa học nghiên cứu hình thức quy luật tư tư phản ánh trạng thái xác định, ổn định vật tượng -, logic biện chứng nghiên cứu tư phản ánh vật tượng vận động phát triển chúng, mối liên hệ chúng với vật tượng khác Logic hình thức nghiên cứu hình thức phản ánh lý tưởng hóa tư Các hình thức phản ánh thực khách quan tư mà logic biện chứng nghiên cứu không lý tưởng hóa Logic biện chứng Hegel logic tâm C Mác Ph Ăngghen xây dựng lại logic biện chứng Hegel sở vật V I Lênin nhà triết học mác-xít nghiên cứu phát triển sâu thêm logic học biện chứng Ngày logic biện chứng vừa sở phương pháp luận, vừa công cụ nhận thức, công cụ phát quy luật mới, tri thức khoa học III CÔNG DỤNG CỦA LOGIC HỌC Tư người diễn hình thức định phải tuân theo quy luật logic, chủ thể tư có biết điều hay không Thế bẩm sinh người biết hình thức quy luật Muốn biết, quan trọng hơn, muốn sử dụng xác sáng tạo hình thức quy luật phải nghiên cứu ứng dụng thường xuyên Con đường ngắn để thực điều nghiên cứu logic học Nghiên cứu logic học giúp cho hình thành, củng cố hoàn thiện tư logic Nó giúp hình thành thói quen lập luận tuân theo quy luật, sử dụng khái niệm phạm trù cách chuẩn xác, giúp tránh sai lầm tư thân phát nhanh chóng sai lầm lập luận người khác Nghiên cứu logic học bỏ khoảng thời gian tương đối nhỏ mà nâng cao trình độ tư Nhà logic tiếng S Mill nói: “Sau thấy rõ lý thuyết suy luận đơn giản đến nào, thấy khoảng thời gian cần thiết để có tri thức hoàn chỉnh nguyên lý, quy tắc chí có kinh nghiệm đáng kể việc sử dụng chúng nhỏ đến thấy chẳng có lý để biện hộ cho người muốn hoạt động tri thức có kết mà lại không nghiên cứu logic Logic học người truy đuổi vĩ đại tư nhầm lẫn đen tối; làm tan sương mù bao phủ hiểu biết chúng ta, làm cho nghĩ hiểu đối tượng thật không hiểu Tôi tin giáo dục đại không mang lại nhiều lợi ích cho hình thành tư tưởng xác, tư tưởng sử dụng xác ý nghĩa câu chữ chống lại thuật ngữ không xác, nhiều nghĩa logic học.”[7] Cùng với phát triển khoa học công nghệ, logic học ngày ứng dụng rộng rãi Người ta sử dụng logic học để giúp giải vấn đề nan giải toán học, điều khiển học, khoa học máy tính, … Người ta sử dụng logic vị từ để làm ngôn ngữ lập trình cho trí tuệ nhân tạo (ví dụ ngôn ngữ lập trình PROLOG - PROgraming in LOGic); ứng dụng logic mờ (Fuzzy logic) để phát triển công nghệ mờ,