Lơgíc học với việc xây dựng phương pháp nh ận thức khoa học Arixtốt người xây dựng lơgíc học với tư cách m ột hệ thống lý thuyết Ông nghiên c ứu cách tồn di ện vấn đề lơgíc học: hình thức chủ yếu tư (như khái ni ệm, phán đoán, suy luận), xây dựng quy lu ật lơgíc học (như quy lu ật đồng nhất, quy luật mâu thuẫn, quy luật loại trừ thứ ba) mơ hình suy lu ận… (nổi bật suy luận diễn dịch “tam đo ạn luận”) Từ đời, hệ thống lơgíc học Arixtốt trở thành công cụ nhận thức hữu hiệu người Nó “hồn h ảo” đến mức mà sau này, Cantơ nh ận xét rằng, "lơgíc học Arixtốt khơng có thay đổi hai ngàn năm có th ể khơng bao gi thay đổi"(1) Trong thời kỳ trung cổ, thống trị tuyệt đối nhà thờ, lơgíc h ọc Arixtốt bị chủ nghĩa kinh vi ện - người biện hộ cho thần học, xuyên t ạc lợi dụng để làm công cụ cho việc bảo vệ tín ều tơn giáo Dưới hình thức diễn giải phái kinh vi ện trung cổ, tam đoạn luận ơng mang nặng tính tư biện máy móc nghiê n cứu thực Nhưng, cho dù khơng b ị xun tạc n ữa, lơgíc học Arixtốt với tư cách công cụ nhận thức chứa đựng số hạn chế định Ph.Bêcơn R.Đêcáctơ nh ững người nhận thấy hạn chế tam đoạn luận nói riêng lơgíc h ọc hình thức nói chung Arixtốt, vốn trước coi m ột phương pháp nh ận thức vạn Theo Ph.Bêcơn, lơgíc hình thức khơng đáp ứng vai trị m ột công cụ nhận thức khoa học, chí “ch ỉ làm củng cố bảo vệ sai lầm có sở khái niệm lưu hành phổ biến tìm chân lý Cho nên có h ại có lợi”(2) R.Đêcáctơ có m ột nhận xét tương t ự rằng, phương pháp mà lơgíc học hình thức Arixtốt mang lại giúp trình b ầy biết, không giúp nhà khoa h ọc thời đến khám phá Theo ơng, “cần phải học lơgíc học, khơng ph ải thứ lơgíc mà người ta học nhà trường Nó dạng phép bi ện chứng làm phương ti ện truyền đạt cho người khác nh ững điều rõ , n ữa, cịn xun t ạc nhiều bổ ích với lẽ phải thơng thường”(3) vậy, lơgíc học hình th ức Arixtốt có hại nh ững lợi ích mà đem l ại cho người sử dụng Từ nhận định lơgíc học Arixtốt, Ph.Bêcơn R.Đêcáctơ đặt cho nhi ệm vụ xây dựng hệ thống lơgíc học Ph.Bêcơn xây dựng nên lơgíc quy n ạp hy vọng “công cụ mới” giúp cho nhà bác học tìm phát minh khoa h ọc Cũng tương tự vậy, R.Đêcáctơ đặt vấn đề xây dựng hệ thống lơgíc học giúp cho nhà khoa học phát minh chân lý xác th ực Hệ thống lơgíc học với phương pháp nh ận thức - phương pháp diễn dịch, ông coi phận triết học ứng dụng Nhận thức người ngày ti ến sâu vào b ản chất vật, tượng Quá trình di ễn phức tạp, buộc người phải tìm kiếm xây dựng công cụ nhận thức mới, đắn có hi ệu Trong Biện chứng tự nhiên, Ph.Ăngghen cho rằng, người phải sử dụng phạm trù m ạng lưới để nhận thức giới tự nhiên Chính vấn đề nảy sinh trình nh ận thức đặt cho nhà lơgíc học nhiệm vụ xây dựng công cụ giúp người nhận thức giới khách quan nắm bắt chân lý Vì v ậy, sau Ph.Bêcơn R.Đêcáctơ, lơgíc h ọc truyền thống tiếp tục nhiều nhà lơgíc h ọc khác hoàn thi ện phát tri ển thành hệ thống lơgíc học Do tính phức tạp s ự xuất nghịch lý trình nh ận thức, cơng cụ nhận thức (các hệ thống lơgíc) mà ngư ời sáng t ạo khơng đạt tới mức độ hoàn hảo tuyệt đối Sự đời lơgíc mệnh đề (cịn gọi lơgíc m ệnh đề lưỡng trị - lơgíc mệnh đề cổ điển) đánh dấu bước nhảy vọt phát triển lơgíc học: chuyển từ lơgíc học truyền thống sang lơgíc học đại Lơgíc m ệnh đề lơgíc vị từ tạo bước cách mạng phát triển khoa học công ngh ệ đại Chúng s lơgíc xác ch ặt chẽ, nh ững công cụ sắc bén tư khoa học hoạt động nhận thức giới khách quan Lơgíc m ệnh đề, lơgíc vị từ nghiên cứu, xây dựng thao tác tư khoa h ọc, góp ph ần to lớn vào việc thiết lập hệ thống điều khiển, "tư nhân tạo" - yếu tố thiếu công nghệ đại Lịch sử phát triển lơgíc học cho thấy, đời hệ thống lơgíc học cung cấp cho khoa h ọc công cụ nhận thức hữu hiệu mục tiêu cụ thể phạm vi định Tuy nhiên, n ếu vượt ngồi giới hạn đó, vai trị trình nh ận thức lại tỏ hạn chế hi ệu Như bi ết, q trình nh ận thức, ln tồn xuất vấn đề khác mà hệ thống lơgíc định khơng t ự giải Ví dụ, lơgíc lưỡng trị, mệnh đề (tư tưởng) nhận hai giá trị chân lý đúng, sai; chân thực (1) giả dối (0) Cho nên, h ệ thống lơgíc khơng th ể giúp nhận thức người nắm bắt miền giá trị khác, hai giá tr ị [0;1] Vượt gi ới hạn đó, lơgíc lưỡng trị khơng giúp người ta sâu nhận thức biện chứng khách quan Bởi vì, th ực tế, tư có r ất nhiều mệnh đề mà giá trị chúng 1, mà có th ể nằm dãy giá tr ị từ [0 - 1] , hay mệnh đề có giá trị nhiên Để nắm bắt giá trị nằm gi ới hạn [0;1] lượng hố nh ững hiểu biết mình, người buộc phải xây dựng hệ thống lơgíc h ọc có khả đáp ứng, thoả mãn yêu cầu Những hệ thống lơgíc học có th ể phân theo hai nhánh Nhánh th ứ h ệ thống lơgíc đa trị (có từ giá trị chân lý trở lên), hệ lơgíc tam trị S.Clin (S.Kleene), A.Hâytinh (A.Heyting), Lucasiêvích (Lukasiewicz) (L ), hệ tam trị (N ) tứ trị (N ) E.Nenson (A.Nelson) (4), hệ n trị vô hạn trị chân lý E.Slutsky (E.Slutsky), E.Pôtơ (E.Poster) Nhánh th ứ hai h ệ thống lơgíc xác suất, lơgíc tình thái lơgíc th ời gian,… (gọi hệ thống lơgíc thao tác operater logic) S ự đời hệ thống lơgíc học bắt đầu giai đoạn phát tri ển lơgíc học – lơgíc học phi cổ điển Cũng cần phải lưu ý là, vi ệc xây dựng hệ thống lơgíc đa trị h ệ thống lơgíc thao tác khơng thể tách rời lơgíc lư ỡng trị, đặc biệt lơgíc m ệnh đề Chúng s ự kế thừa phát triển lơgíc mệnh đề Sự đời hệ thống lơgíc đa trị, ển hình hệ n trị Pơtơ vơ hạn trị (ký hiệu G x o ) thực cách mạng lơgíc h ọc Trong hệ G x o , giá trị hai cực chân lý (chân th ực) (gi ả dối) chứa vô hạn giá trị chân lý 1/2, 1/4, 3/4, 1/8, … Vì th ế, cho phép ngư ời ta mô tả nhận thức q trình từ khơng bi ết đến bi ết, từ biết không đầy đủ đến biết đầy đủ xác hơn; t tượng đến chất, từ chất bậc thứ đến chất bậc thứ hai; từ chân lý tương đối đến chân lý ệt đối Dựa vào đó, người ta biết rằng, chân lý ệt đối, theo nghĩa h ẹp, tạo thành từ tổng số vô hạn chân lý tương đ ối; rằng, trình đạt tới chân lý ệt đối q trình vơ t ận tạo thành t nhận thức liên tục chân lý tương đ ối - ứng với giá trị 1/2, 1/4, 3/4, 1/8, 7/8, hệ G x o Giá trị biến số gần với mệnh đề tiến gần đến chân lý ệt đối Hệ lơgíc vơ h ạn giá trị G x o coi dạng tổng qt lơgíc lưỡng trị truyền thống, nhằm mục đích ph ản ánh q trình vơ t ận nhận thức Nếu nhánh th ứ lơgíc học đại mang lại cho người cơng cụ để tìm hiểu giới hạn giá trị chân lý, nhánh th ứ hai (bao gồm lơgíc xác suất, lơgíc mờ, lơgíc thời gian, lơgíc trực giác, lơgíc kiến thiết) cung cấp cho chủ thể phương ti ện để nhận thức ngẫu nhiên Hệ thống cho phép nh ận thức người tiếp cận mệnh đề mang tính xác su ất tình thái, m ệnh đề mà giá trị chúng có quan h ệ chặt chẽ với thời gian Dựa vào đó, ngư ời ta có kh ả thiết lập mối quan hệ loại mệnh đề khác với mệnh đề mang tính tất yếu Ví dụ, hệ thống lơgíc tình thái C.I.Lêvít (C.I.Lewis) cho phép người ta thiết lập mối quan hệ mệnh đề mang tính kh ả với mệnh đề mang tính t ất yếu Có thể nói, hệ thống lơgíc thao tác có vai trị lớn trình xây d ựng gi ả thuyết khoa học Từ phân tích v ề hệ thống lơgíc học đại, theo chúng tơi, rút số kết luận sau: Thứ nhất, nhà lơgíc học xây dựng hệ thống lơgíc học với mong muốn trang bị cho tư công cụ hữu hiệu, tạo điều kiện để người nhận thức ngày đ ầy đủ hơn, sâu s ắc giới khách quan Sự xuất hệ thống lơgíc tam trị, tứ trị, hệ thống lơgíc thao tác… bi ểu sinh động phát triển công cụ nhận thức nhằm thoả mãn nhu cầu khám phá th ế giới người Các hệ thống lơgíc h ọc phi cổ điển có đặc điểm chung khái qt t lơgíc mệnh đề cổ điển Ví dụ, xuất lơgíc tam trị Lucasêvích s ự mở rộng lơgíc m ệnh đề cổ điển, hệ P n tổng qt lơgíc m ệnh đề cổ điển hệ G x o phát triển hệ P n Cũng vậy, hệ thống lơgíc thao tác l ại mở rộng hệ thống lơgíc có trước đó, đặc biệt lơgíc m ệnh đề cổ điển Tất nhiên, đời chúng không đơn thu ần mở rộng máy khái niệm có, mà thế, cịn mang l ại cơng cụ sắc bén cho phép người ngày nh ận thức đầy đủ biện chứng khách quan ti ến gần đến chân lý ệt đối Với lơgíc học cổ điển (lưỡng trị chân lý), tư người nhận thức tượng có tính quy định chặt chẽ (đúng sai) Song, d ựa vào h ệ thống lơgíc học phi cổ điển, tư ngư ời nhận thức tượng xuất với nhiều khả khác nhau; đồng thời, nhận thức tất tính đa dạng, phong phú s ự vận động phát triển giới khách quan, tức ngày nh ận thức sâu sắc hơn, đầy đủ biện chứng khách quan Nói cách khác, lơgíc học phi cổ điển bổ sung thêm s ức mạnh cho lực nhận thức giới người Thứ hai, sở phương pháp luận khoa học gắn liền với hệ thống lơgíc học - cơng cụ nhận thức người Khi hệ thống lơgíc Arixtốt coi phương tiện nhận thức vạn người, nguyên tắc định luận chặt chẽ thống trị tuyệt đối khoa học nói chung tri ết học nói riêng Trong đó, ển hình thống sối, độc tơn phương pháp tư siêu hình khoa học tự nhiên triết học Với xuất hệ thống lơgíc phi cổ điển, hệ thống lơgíc thao tác, s ẽ phải có quan niệm định luận Sự đời phát tri ển lơgíc phi cổ điển góp phần to lớn vào việc khẳng định tính hạn chế định luận chặt chẽ; đồng thời, chứng minh cho tính đ ắn, hẳn "quyết định luận biện chứng" Đến lượt nó, định luận biện chứng lại đóng vai trò sở phương pháp lu ận cho phát triển lơgíc đa trị, lơgíc phi cổ điển nói riêng khoa học nói chung Trong tài li ệu triết học lơgíc học, có nhi ều quan ni ệm khác v ề định luận Trong đó, điểm chung chúng đ ều thừa nhận rằng, định luận chặt chẽ trường hợp riêng; phạm vi định với trình đ ộ thấp bậc thang phát tri ển tri thức, đặc biệt giai đoạn mà khoa h ọc trình hình thành (th ế kỷ XV) Khi khoa học phát tri ển tiến hành nghiên cứu với đối tượng phức tạp hơn, thay th ế cho định luận chặt chẽ phải định luận mới, có khả phản ánh giới cách đầy đủ hơn, sâu s ắc hơn, quy ết định luận biện chứng(5) Trong Chống Đuyrinh, Ph.Ăngghen đ ề cập đến vấn đề viết đối tượng toán học Theo ông, nghiên c ứu biến số, thân toán học bước vào lĩnh v ực biện chứng Thứ ba, phát triển lơgíc học khơng ph ải sản phẩm t tư mà quy định phát triển thực tiễn đời sống xã hội thực tiễn khoa học Lơgíc học tự ý thức tư Cũng m ọi vật, tượng khác, tư có q trình v ận động phát tri ển Lúc đ ầu, nhận thức vật, tượng đơn giản sau đó, ti ến lên nhận thức vật, tượng phức tạp Như v ậy, phát triển lơgíc học phản ánh trình phát triển thân tư Xét từ khía cạnh khác, th rằng, phát triển hệ thống lơgíc sau ln có s ự kế thừa hệ thống lơgíc có trước suy cho cùng, chúng hình thành nhờ kinh nghiệm hoạt động thực tiễn, có hoạt động tư vốn trải qua hàng nghìn năm nhân loại Khơng có vậy, đời phát tri ển hệ thống lơgíc khác cịn phản ánh, thể yếu tố sáng tạo tư người Điều lần chứng tỏ rằng, nhận thức người mang đặc trưng sáng tạo Ví dụ, để xem xét giá trị phán đốn tình thái, ngư ời ta sử dụng lơgíc xác suất lơgíc tình thái B ởi vì, theo nghĩa rộng, phán đoán xác su ất dạng phán đốn tình thái V ấn đề chỗ, phải đảm bảo tính quán tư duy: sử dụng hệ thống lơgíc khác vào ho ạt động nhận thức, phải tuân th ủ quy t ắc, quy luật nó, khơng lẫn lộn đưa quy t ắc, quy lu ật hệ thống lơgíc sang h ệ thống lơgíc khác Việc tuân thủ đầy đủ quy tắc, quy luật hệ thống lơgíc cụ thể q trình nh ận thức điều kiện cần để đạt tới chân lý khách quan S ự xuất đồng thời hệ thống lơgíc khác nhau, ví d ụ xuất nhiều hệ lơgíc học tam trị, chứng tỏ rằng, để nhận thức vật, tượng người ta sử dụng nhiều phương pháp khác Đi ều tương t ự giải hệ phương trình b ậc nhất, nghĩa ngư ời ta tiến hành theo cách tính đại số thơng thường theo phương pháp định thức toán học cao cấp mà thu kết Sự đời lơgíc nghiên cứu khoa học cịn m ột biểu tham vọng nắm bắt chất vật, tượng người Sau bao năm tìm tịi, nghiên cứu, nhà lơgíc h ọc theo đuổi ý định xây dựng nên lơgíc phát minh, r ốt cuộc, phải thừa nhận rằng, khơng có lơgíc phát minh, khơng có phát minh thiếu lơgíc Kết luận mang ý nghĩa triết học lớn, nói lên tính chất phức tạp q trình nhận thức Mỗi hệ thống lơgíc giải nhiệm vụ cụ thể, mục đích cụ thể tồn q trình nhận thức (phát minh khoa h ọc) Khơng th ể có hệ thống lơgíc học hình thức hố nghiêm ngặt dành cho trình d ẫn tới phát m inh khoa học Bởi vì, phát minh đ ều phức tạp, xét mặt cấu trúc lơgíc; thế, cịn chứa đựng yếu tố cá nhân sâu s ắc độc đáo Ví d ụ, học giả mácxít tốn khơng cơng s ức để nghiên cứu Tư C.Mác nh ằm tìm hiểu phương pháp, cách th ức tư giúp ông khám phá l ột tả xác chất xã hội tư Mặc dù xác định Mác sử dụng phương pháp lơgíc đư ờng dẫn ơng đến phát minh khoa học từ trừu tượng đến cụ thể, từ tới nay, chưa có học giả mácxít v ận dụng thành cơng phương pháp c C.Mác để đạt tới phát minh tương tự Cho dù mục đích Ph.Bêcơn R.Đêcáctơ có cao c ả đến đâu hy vọng sáng tạo hệ thống lơgíc chun dùng cho phát minh khoa h ọc ước mơ, khơng nói điều khơng tưởng Khơng thể có thứ lơgíc học mà lĩnh h ội quy luật quy t ắc nó, người lại dễ dàng đạt tới phát minh lĩnh v ực khoa học cụ thể Hầu hết nhà khoa h ọc thừa nhận rằng, trình sáng t ạo khoa học khơng thể quy hồn tồn v ề thao tác lơgíc b ằng cách rút hệ từ tiền đề tri thức có Nói m ột cách khác, không nên hi ểu cách gi ản đơn rằng, vận động nhận thức đến kết giống trình rút kết luận từ tiền đề cho sẵn theo quy tắc nghiêm ngặt phép diễn dịch Đề cập đến vấn đề đường biện chứng nhận thức, triết học mácxít cho rằng, nhận thức người ngày tiệm cận tới chân lý khách quan Song, theo chúng tơi, q trình đó, ngư ời ln phải xây dựng cho cơng cụ nhận thức ngày hồn thi ện Lịch sử phát triển lơgíc học cho thấy, so với lơgíc hình thức truyền thống, lơgíc h ọc đại đem lại nhiều công cụ hiệu hơn, v ậy, giúp người nhận thức sâu sắc hơn, đầy đủ biện chứng khách quan Tuy nhiên, khơng bao gi người tạo cơng cụ nhận thức hồn hảo đến mức tuyệt đối (*) Nghiên cứu viên, Vi ện Triết học (1) Dẫn theo: E.Barry Có phải cách mạng lơgíc học? Tạp chí Triết học lơgíc h ọc Nxb Đại học Scandinavian, s ố.1, tr.169 (ti ếng Anh) (2) Dẫn theo: Nguy ễn Hữu Vui Lịch sử triết học Nxb Chính trị Quốc gia, Hà Nội, 1998, tr 276 (3) Dẫn theo: Nguyễn Hữu Vui Sđd., tr.302 (4) Xem: Lou Goble Philocophical logic Publishing Blackwell, 2001, p 322 (5) Xem: G.I Rudavin Xác suất định luận Trong Triết học giới đại Triết học lơgíc học Nxb Khoa h ọc, Mátxcơva, 1974, tr.188 ... lơgíc học giúp cho nhà khoa học phát minh chân lý xác th ực Hệ thống lơgíc học với phương pháp nh ận thức - phương pháp diễn dịch, ông coi phận triết học ứng dụng Nhận thức người ngày ti ến sâu... Nói cách khác, lơgíc học phi cổ điển bổ sung thêm s ức mạnh cho lực nhận thức giới người Thứ hai, sở phương pháp luận khoa học gắn liền với hệ thống lơgíc học - cơng cụ nhận thức người Khi hệ thống... phương tiện nhận thức vạn người, nguyên tắc định luận chặt chẽ thống trị tuyệt đối khoa học nói chung tri ết học nói riêng Trong đó, ển hình thống sối, độc tơn phương pháp tư siêu hình khoa học