Về Logic học hiện đại và giảng dạy Logic học ở Việt Nam

Tình hình giảng dạy Logic hình thức ở nước ta hiện nay : thực trạng và giải pháp; chức năng cơ bản của Logic học truyền thống, như đã nói, là dạy cho người ta tư duy đúng về mặt hình thức. Đây cũng là mục đích mà chương trình nhập môn Logic học dành cho bậc đại học ở nước ta hướng đến. Tuy nhiên, không nên quá đề cao chức năng này của Logic học truyền thống, bởi lẽ các hình thức suy luận, các quy luật và quy tắc mà nó nghiên cứu về cơ bản đã được từng người tiếp thu một cách không tự giác ngay từ nhỏ. Nhiệm vụ của việc giảng dạy Logic học hiện nay là chuẩn hoá (chứ không phải là cung cấp) những hình thức tư duy thông thường ở người học, cung cấp cho họ các phương pháp hiện đại, đơn giản và hiệu quả để xác định tính đúng sai của suy luận, và quan trọng hơn, để xây dựng các suy luận và phép chứng minh, để phân tích về mặt Logic các vấn đề mà họ gặp phải trong cuộc sống và trong khoa học. Muốn làm được điều đó, một mặt, cần phải hiện đại hoá chương trình giảng dạy môn Logic học ; mặt khác, phải củng cố đội ngũ giáo viên môn học này.

Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 72 VỀ LOGIC HỌC HIỆN ĐẠI VÀ GIẢNG DẠY LOGIC HỌC Ở VIỆT NAM PGS.TS Phạm Đình Nghiệm Khoa Triết học Vài nét logic học Với tư cách khoa học, logic học đời vào kỷ IV trước CN Người sáng lập khoa học nhà triết học Hy Lạp vĩ đại Aristote (384 -322 trước CN.) 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 khác suy luận"(1) Như vậy, Aristote, thao tác suy luận trở thành đố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 cụ thể Nhà triết học người Anh F Bacon (1561- 1626) cho tam đoạn luận Aristote hồn tồn vơ ích, khơng cho phép tìm thơng tin từ tiền đề có, vậy, sử dụng nghiên cứu khoa học, phát quy luật thông qua việc nghiên cứu kiện thực nghiệm biết Ông xây dựng nên logic quy nạp Giai đoạn phát triển logic học từ khởi đầu đến khoảng kỷ XIX, với nội dung chủ yếu tạo thành từ học thuyết Aristote Bacon, gọi logic học truyền thoáng(2) Sự xuất logic ký hiệu, hay cịn gọi logic tốn, logic học đại vào khoảng kỷ XIX thật cách mạng khoa học logic Logic học đại cịn gọi logic tốn buổi đầu xuất hiện, sử dụng phương pháp tổng quát khoa học thời sử dụng chủ yếu toán học ; Hơn nữa, kết ban đầu chủ yếu sử dụng để giải vấn đề toán học Tư tưởng logic ký hiệu thật nhà triết học, nhà toán học người Đức Lebnitz (1646 - 1716) đưa từ kỷ XVIII Ông sử dụng ký hiệu thay cho lời nói, khơng 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 Muốn tách thao tác tư khỏi suy luận cụ thể để nghiên cứu chúng phương pháp đơn giản hiệu sử dụng ký hiệu toán học Nếu sử dụng ngôn ngữ tự nhiên để nghiên cứu thao tác tư ý nghĩa quen thuộc từ ngữ không giúp nhận thấy vấn đề tốt hơn, mà làm cho vấn đề trở nên rắc rối hơn, dù muốn hay không muốn, nhà nghiên cứu để ý đến ý nghĩa từ, câu Ông muốn xây dựng logic học thành phép tính (calculus rationator) - tức xây dựng ngơn ngữ hình thức tổng qt, suy luận hình thức hố giống phép tính hình thức hố đại số Logic học đại khác biệt lớn so với logic học truyền thống Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 73 Đối tượng nghiên cứu logic học truyền thống hình thức quy luật tư thông thường, nghĩa nghiên cứu cách thức tiến hành suy luận chứng minh mặt hình thức Ngồi logic học truyền thống cịn nghiên cứu số vấn đề nhận thức luận chân lý Logic học đại mở rộng đối tượng nghiên cứu Hệ vấn đề mà nghiên cứu rộng hệ vấn đề mà logic học truyền thống nghiên cứu nhiều Nó khơng nghiên cứu hình thức quy luật tư thơng thường, mà cịn nghiên cứu tất hình thức quy luật tư đúng, nghĩa nghiên cứu hình thức quy luật tư không sử dụng tư thơng thường, sử dụng hệ thống điều khiển học hệ thống máy vi tính Logic học đại cịn nghiên cứu loạt vấn đề ngơn ngữ, ký hiệu, lý luận nhận thức, cấu trúc logic lý thuyết khoa học, chân lý, thuật toán, chứng minh định lý tự động Tuy nghiên cứu mặt hình thức tư duy, logic học truyền thống khơng mơ tả xác mặt hình thức Logic học truyền thống không đưa định nghĩa xác hình thức quy luật tư Tất vấn đề giải logic học đại Về phương pháp, logic học truyền thống chủ yếu sử dụng phương pháp kinh nghiệm, so sánh lọc qua kinh nghiệm tư hình thức quy luật tư Phương pháp hạn chế, qua hàng chục kỷ phát triển mà logic học truyền thống đúc kết vài chục dạng thức tư mà Logic học đại sử dụng phương pháp hình thức hố, tiền đề hố, thuật tốn; xây dựng ngơn ngữ hình thức sử dụng ngơn ngữ để nghiên cứu mặt hình thức tư duy, v.v Nhờ việc sử dụng phương pháp mới, thời gian ngắn sau đời, logic học đại xây dựng xác định số lượng hình thức quy luật tư vượt nhiều lần phát triển logic học truyền thống qua hàng chục kỷ, đạt hiểu biết chặt chẽ mặt hình thức tư Logic học đại cung cấp phương pháp hiệu để xây dựng chuỗi suy luận phép chứng minh, có phương pháp chứng minh định lý tự động Logic học đại cung cấp phương tiện để nghiên cứu cấu trúc logic lý thuyết khoa học, nhờ giải vấn đề biện minh cho khoa học hàng loạt vấn đề siêu lý thuyết (matatheory) khác Logic học đại cung cấp nhiều công cụ để nghiên cứu vấn đề logic học truyền thống, nghiên cứu tam đoạn luận đơn, xây dựng hệ thống logic quy nạp khác Ngày nay, logic học hình thức bao gồm nhiều nhánh khác logic mệnh đề, logic vị từ, logic hì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ị, logic tổ hợp, phép tính lamda, lý thuyết kiểu loại,… Ở xin đề cập vắn tắt số ngành logic học Logic mệnh đề (Propositional logic) hệ thống logic quan tâm tới toán tử mệnh đề phép hội (và), phép tuyển (hay là, là), phép phủ định (không là) (3) để nghiên cứu suy luận phép chứng minh Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 74 Nó khơng quan tâm đến cấu trúc bên mệnh đề đơn (proposition) - mệnh đề khơng chứa tốn tử mệnh đề, nghĩa khơng quan tâm đến cấu trúc chủ từ - thuộc từ phán đoán tương ứng Người ta xây dựng phép tính (calculus) mệnh đề Các phép tính mệnh đề dạng hệ tiên đề bao gồm số mệnh đề thừa nhận làm sở, số quy tắc suy luận, định nghĩa phép chứng minh chuỗi suy luận Từ tiên đề, nhờ quy tắc suy luận, rút mệnh đề khác, gọi định lý Cũng từ số mệnh đề cho trước (tức giả thiết, tiền đê) với tiên đề, quy tắc suy luận mà tìm mệnh đề mới, gọi hệ tiền đề, giả thiết cho Tiến hành chứng minh xây dựng chuỗi suy luận hệ tiên đề tương đối khó, địi hỏi mức độ sáng tạo cao Nhưng bù lại, nghiên cứu tính chất hệ tiên đề (như tính khơng mâu thuẫn, tính đủ (completeness), ) lại dễ dàng thuận tiện nhiều so với dạng phép tính mệnh đề khác Dạng phép tính mệnh đề có phép chứng minh chuỗi suy luận quen thuộc dễ thực hệ tiên đề hệ suy luận tự nhiên Hệ thống không chứa mệnh đề thừa nhận trước, mà bao gồm số quy tắc suy luận, định nghóa phép chứng minh chuỗi suy luận Mỗi toán tử mệnh đề sử dụng hệ thống (4) địi hỏi phải có quy tắc (hoặc số quy tắc) quy định thao tác nhập vào công thức, một số) quy tắc khác, quy định thao tác loại bỏ dấu toán tử tương ứng khỏi công thức Logic mệnh đề phận sở logic học đại ; nhiều ngành logic học khác xây dựng dựa Logic vị từ (Predicate logic) mở rộng logic mệnh đề Ngồi tốn tử có logic mệnh đề, bổ sung thêm lượng từ Υ (với mọi), (tồn tại) Và mệnh đề đơn, logic vị từ làm việc với vị từ - biểu thức ngôn ngữ tính chất đối tượng mối quan hệ đối tượng - nhờ vậy, giàu khả biểu đạt Người ta xây dựng phép tính vị từ logic vị từ với logic mệnh đề Hệ tiên đề đây, ngồi tiên đề, quy tắc suy luận có logic mệnh đề, cịn bổ sung tiên đề, quy tắc liên quan đến công thức có chứa lượng từ Cũng tương tự vậy, hệ suy luận tự nhiên logic vị từ có cách bổ sung vào hệ suy luaän tự nhiên logic mệnh đề quy tắc tương ứng cho thao tác với lượng từ Từ phép tính vị từ, cách thêm vào đối tượng, hạn từ thuộc miền đối tượng (domain) định, tiên đề (hoặc quy tắc) liên quan đến chúng, người ta xây dựng phép tính vị từ ứng dụng, tức lý thuyết hình thức hố khoa học khác tốn học, vật lý, sinh vật học, Logic hình thái (Modal logic) nghiên cứu suy luận phép chứng minh cấu thành từ mệnh đề thơng thường mệnh đề hình thái Mệnh đề hình thái loại mệnh đề ngồi tốn tử mệnh đề biết cịn chứa tốn tử hình thái ứng với cụm từ "chắc chắn", "có lẽ", "đã chứng minh được", "đã", "sẽ", Với hệ logic này, việc nghiên cứu ngữ nghĩa (semantics) có vai trò quan trọng Trong nghiên cứu ngữ nghĩa vậy, tư tưởng triết học có vai trị khơng nhỏ Chẳng hạn, tư tưởng monade Lépnít nhà logic học Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 75 người Mỹ Kripke phát triển thành khái niệm "thế giới có thể" (possible world), sử dụng rộng rãi hiệu nghiên cứu ngữ nghĩa hệ thống logic hình thái, thời gian, revevant Các mơ hình thời gian khác hình thức hố hệ thống logic hình thái đặc biệt, gọi logic thời gian Lý thuyết kiểu loại (Type theories) lý thuyết logic bậc cao, lượng từ khơng buộc biến đối tượng, mà cịn buộc biến vị từ, Trong lý thuyết này, đối tượng miền đối tượng chia thành nhiều loại khác nhau, lượng từ tương ứng với biến chạy loại đối tượng Lý thuyết kiểu loại Russell xây dựng để giải nghịch lý logic, gọi nghịch lý Russell (5) Logic kiến thiết (Constructive logic) hệ thống logic mà phép chứng minh tồn đối tượng chấp nhận đối tượng đó, xây dựng nó, phương pháp xây dựng (trong logic học cổ điển, tồn đối tượng chứng minh cách giả sử khơng tồn tại, từ xuất nghịch lý) Tư tưởng tảng logic kiến thiết khác xa với tư tưởng logic trực quan, nội dung logic chúng giống Logic relevan nghiên cứu hệ thống logic hình thức quan hệ suy diễn (quan hệ tiền đề hệ suy luận) phản ánh mối liên hệ "nếu ” ngơn ngữ tự nhiên xác logic học cổ điển Các hệ thống logic giúp xác định nguyên nhân gây nghịch lý quan hệ suy diễn cổ điển (material implication), từ mâu thuẫn rút hệ nào, ngược lại, quy luật logic rút từ mệnh đề nào, nêu phương pháp giải nghịch lý Qua đó, hệ thống giúp xác định thông tin logic mệnh đề cách xác hơn, giúp xây dựng chuỗi suy luận phép chứng minh hợp lý hơn, dễ chấp nhận hơn, người Logic không đơn điệu (Non-Monotonic logic) ngành logic bắt đầu phát triển từ đầu năm 80 kỷ XX Các hệ thống logic không đơn điệu phát triển chủ yếu để phục vụ cho nhu cầu lĩnh vực trí tuệ nhân tạo Trong hệ thống logic này, tính đơn điệu quan hệ suy diễn, theo ta bổ sung tiền đề vào tập hợp tiền đề có tập hợp hệ rút từ tiền đề tăng lên giảm đi, khơng cịn bảo đảm Các suy luận khơng đơn điệu thật không xa lạ sống người, chúng cần thiết cho máy tính "thơng minh" 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 số mơn khoa học triết học, tốn học, điều khiển học, khoa học máy tính Ngữ nghĩa học logic (logical semantics) sử dụng để nghiên cứu vấn đề chân lý, xác định chất giải nghịch lý ngữ nghĩa nghịch lý logic nghịch lý kẻ nói dối, nghịch lý Risa, nghịch lý người thợ cắt tóc (tức nghịch lý Russell),… Logic học cổ điển trường phái thực chứng logic sử dụng để phân tích ngơn ngữ lý thuyết khoa học giải vấn đề cấu trúc Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 76 quan hệ chúng với triết học Ngày nay, khó mà hiểu triết học phương Tây đại, đặc biệt triết học phân tích, khơng am hiểu logic học đại Từ nhà toán học người Mỹ Shannon sử dụng đại số Boole để xây dựng nên lý thuyết thông tin, người ta sử dụng logic mệnh đề kỹ thuật số, kỹ thuật điện tử, lý thuyết thông tin chế tạo máy tính Tri thức logic mệnh đề khơng thể thiếu kỹ sư điện tử hay chuyên viên kỹ thuật số Không biết logic mệnh đề, họ thiết kế mạch điện tử - số, 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), làm sở để tạo ngôn ngữ hỏi, sử dụng hệ thống thơng tin quản lý, hệ sở lieäu ; ứng dụng logic mờ (Fuzzy logic) để phát triển công nghệ mờ, phát triển hệ thống trí tuệ nhân tạo, để nghiên cứu triết học y học phương Đơng nói riêng, văn hố phương Đơng nói chung(6) ; ứng dụng logic hình thái, logic thời gian để nghiên cứu phạm trù khái niệm triết học, chẳng hạn "ngẫu nhiên" "tất yếu”, "chứng minh được'' "sự tin tưởng"; ứng dụng logic chuẩn mực để chứng minh tính đắn chương trình máy tính, Tình hình giảng dạy Logic hình thức nước ta : thực trạng giải pháp Hiện nay, nhập môn logic học đưa vào chương trình giảng dạy cho nhóm ngành đào tạo đại cương bậc đại học, số ngành bắt buộc, số ngành khác tuỳ chọn Sinh viên ngành toán, kỹ thuật điện tử, tin học vài ngành khác có liên quan đến kỹ thuật điện tử - số, ngồi chương trình chung cịn nghiên cứu đại số học Boole logic mệnh đề khn khổ mơn tốn rời rạc Chương trình nhập mơn logic học thiết kế cho 45 tiết giảng với nội dung logic truyền thống, với phần chương mục đại thể giáo trình logic học Liên Xơ trước đây(7) Mục đích chương trình mục đích logic học truyền thống, thơng qua việc cung cấp kiến thức logic học truyền thống quy luật hình thức tư để dạy cách tư đúng, khơng phạm lỗi hình thức (8) Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 77 Trước hết, cần phải khẳng định việc Bộ Giáo dục Đào tạo ban hành chương trình nhập mơn logic học để phần chuẩn hố cơng tác giảng dạy môn học trường đại học cao đẳng bước tiến có ý nghĩa Nhưng bên cạnh đó, chúng tơi nhận thấy chương trình đặc biệt việc thực thực tế cần điều chỉnh để đáp ứng tốt mục tiêu đào tạo Thứ nhất, chương trình này, nói, hồn tồn khơng đề cập đến nội dung logic học đại, tách khỏi phát triển khoa học logic Sinh viên không cung cấp tri thức phương pháp xây đựng chuỗi suy luận phép chứng minh tương đối phức tạp Họ quen thuộc với suy luận đơn giản, gồm bước Học theo chương trình này, sinh viên trang bị lượng tri thức logic học hạn hẹp ; họ khơng khơng có đủ khả để nghiên cứu sáng tạo môn học này, mà để đọc hiểu viết vấn đề logic học đại, để giải vấn đề thực tiễn, họ khơng có đủ khả Chương trình này, thế, phải thay đổi theo hướng đại hoá : bổ sung phần đơn giản cần thiết sống thực tế việc học tập sinh viên kiến thức logic học đại Như phần trình bày, có logic học đại giúp giải vấn đề khoa học kỹ thuật Thứ hai, chương trình trọng cung cấp cho sinh viên số quy tắc suy luận đơn giản (các quy tắc định nghĩa, quy tắc tam đoạn luận đơn, tam đoạn luận điều kiện, tam đoạn luận lựa chọn, quy tắc chứng minh ), vấn đề quan trọng vấn đề áp dụng liên hoàn quy tắc quy luật để giải vấn đề sống khoa học kỹ thuật chưa trọng mức Hậu sinh viên nắm cách riêng rẽ dạng thức suy luận với tiền đề đơn phức, phối hợp chúng với dù để giải toán đố, hay xác định tính sai suy luận khơng phức tạp Trong chương trình mới, phần suy luận có trọng tâm tam đoạn luận đơn Tuy nhiên, lại dạng suy luận quen thuộc sinh viên Có thể khẳng định chắn dù khơng nghiên cứu phần đa số trường hợp, họ hồn tồn xác định tính sai tam đoạn luận đơn.Chính vậy, hợp lý chương trình quan tâm đến dạng suy luận khác nhiều hơn, đặc biệt suy luận với tiền đề phán đoán phức (tức suy luận logic mệnh đề) suy luận quy nạp Phần suy luận với tiền đề phán đốn phức khơng thể dừng lại việc cung cấp dạng thức suy luận thông thường (modus ponens, modus tollens, tam đoạn luận lựa chọn, tam đoạn luận điều kiện, ) - dạng thức mà dù không học mơn đại đa số sinh viên nắm vững - mà quan trọng cung cấp cho họ chiến lược xây dựng suy luận hay phép chứng minh Để làm rõ quan điểm này, chúng tơi xin so sánh với trị chơi cờ tướng Việc cung cấp cho sinh viên dạng thức suy luận thông thường giống việc dạy cho người khác biết quy tắc ăn quân đối phương quân cờ tướng, sĩ, tượng, xe, pháo, Và người chơi cờ cần biết quy tắc này, biết có chúng thơi chưa phải biết chơi cờ Muốn chơi cờ thật sự, người ta cần phải biết chiến Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 78 lược cơng phịng thủ; phải biết phương án cuộc, biết đánh giá cờ, biết chuyển sang tàn cho có lợi ; phải biết cơng pháo đầu, pháo góc nào; phải biết phòng thủ pháo gánh sao, phải biết sử dựng quân tốt, mã, xe vào thời điểm nào, Điều giống việc biết sử dụng chiến lược suy luận, biết quy tắc, dạng thức suy luận nên dùng nào, xếp thứ tự đế có kết mong muốn Cung cấp để người đọc nắm dạng thức, quy tắc suy luận tương đối dễ, khơng địi hỏi nhiều thời gian Nhưng giảng giải chiến lược suy luận cho người học vận dụng chúng Ở mức độ thành thạo chấp nhận khó nhiều Để làm việc này, thành thạo việc xây dựng chuỗi suy luận phép chứng minh giáo viên thơi chưa đủ ; địi hỏi tri thức sâu sắc hệ thống hình thức hố Về phần suy luận quy nạp, chương trình lạc hậu Cần phải bổ sung suy luận dựa sở lý thuyết xác suất thống kê toán Thứ ba, chương trình khơng tính đến đời phát triển mạnh mẽ với ứng dụng rộng rãi tin học tác động tích cực mơn logic học việc tiếp thu, tìm hiểu tin học Điều làm cho khơng đáp ứng mong mỏi người học môn học giúp cho họ tiếp thu tốt tri thức tin học mà họ né tránh Để khắc phục điểm này, cần bổ sung thêm tri thức logic vị từ nhấn mạnh logic mệnh đề (nội dung logic mệnh đề trình bày thống qua khn khổ phần phán đốn phức phán đốn) Logic hình thái (modal logic) logic thời gian cần thiết cho tin học khuôn khổ thời lượng chương trình khơng cho phép đưa vào nghiên cứu Cũng cần nghiên cứu việc sử dụng máy tính vào giảng dạy logic học (hiện giới có nhiều chương trình máy tính phục vụ cho việc này; có chương trình giảng dạy mạng Internet) Việc làm mang lại kết có ý nghĩa lớn Trước hết, giúp giải phần việc thiếu hụt giảng viên, máy tính thay cho giảng viên nhiều phần chương trình Thứ hai, nâng cao hứng thú học tập người học kích thích họ tự học, tự tìm hiểu tự nghiên cứu vấn đề nhiều Thứ tư, việc phân phối thời gian cho phần, chương trình cịn nhiều điểm bất hợp lý Chẳng hạn, phần "Các quy luật tư duy" chiếm đến gần nửa thời lượng (20/45 tiết) chương trình! Phần nên giảng khoảng từ đến tiết Lượng thời gian chủ yếu phải dành cho phần suy luận, trọng tâm chương trình logic học Hơn thế, thực tế có giáo viên theo phân bố thời gian chương trình này, mà họ dành nhiều thời gian (quá nhiều) cho phần tam đoạn luận đơn Thứ năm, chương trình nhập mơn logic học soạn chung cho tất nhóm ngành đào tạo đại học, khơng tính đến đặc điểm ngành nghề, khơng tính đến khả tiếp thu sinh viên thuộc nhóm ngành khác Theo chúng tôi, điểm bất hợp lý Trên thực tế, rõ ràng sinh viên ngành khoa học tự nhiên kỹ thuật quan tâm nhiều đến phần có liên quan đến kỹ thuật, phương pháp hợp giải, cách rút gọn hàm logic, họ dễ dàng nắm bắt nội dung Có thể khẳng định chương trình nhập mơn logic học đơn giản sinh viên Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 79 ngành khoa học tự nhiên kỹ thuật ; khơng đáp ứng kỳ vọng đáng mà họ đặt vào Và thực tế, nhiều sinh viên ngành thu nhận tri thức logic học nhiều từ ngành khoa học khác, toán học tin học, trí tuệ nhân tạo hay kỹ thuật số, kỹ thuật điện tử, cấu trúc máy tính, thuật tốn, Trong đó, nội dung vừa nêu lại không lôi sinh viên ngành Khoa học Xã hội Nhân văn, họ tiếp thu chúng khó khăn nhiều Họ cần đến quy tắc tranh luận, quy tắc đặt câu hỏi, ví dụ ngụy biện Vì vậy, có lẽ nên nghiên cứu hai chương trình khác dành riêng cho hai loại đối tượng sinh viên vừa nêu 'Nhưng dù chương trình cần phải đáp ứng yêu cầu đại Để giảng dạy môn khoa học bậc đại học ngang tầm với thời đại, chuẩn bị đội ngũ cán khoa học kỹ thuật đủ sức "đi tắt, đón đầu", xây dựng kinh tế tri thức, đội ngũ giáo viên phải có trình độ chun mơn cao tích cực tham gia nghiên cứu khoa học Vấn đề đội ngũ giáo viên logic học vấn đề xúc nan giải Ở nước ta nay, giáo viên môn logic học vừa thiếu vừa yếu chuyên mơn (xét chung tồn ngành Đại học) Tuyệt đại đa số giáo viên logic học không qua đào tạo bậc đại học môn học này, mà vốn giảng viên môn học khác, yêu cầu giảng dạy trường, chuyển sang "dạy kiêm" môn logic học Vì vậy, đa số giáo viên mơn logic học khơng có tri thức hệ thống mơn học mà giảng dạy Ngồi số giáo viên chuyển sang từ ngành toán học tin học, số giáo viên cịn lại nói chung khơng am hiểu logic học đại, vấn đề logic học truyền thống, số người không nắm vững (9) Việc nghiên cứu khoa học họ hạn chế, thiếu tài liệu tham khảo điều kiện khác (chẳng hạn điều kiện trao đổi, tranh luận học thuật, ), cịn mơn học họ môn ''tay trái" mà Điều thể rõ qua số lượng chất lượng chưa cao báo tài liệu logic học hình thức Các báo cơng bố chủ yếu Tạp chí Triết học, năm có vài bài, nội dung chủ yếu đề cập đến vấn đề liên quan đến nhận thức luận logic học truyền thống vấn đề quy luật tư duy, vấn đề khái niệm, Chính mà q trình giảng dạy, số giáo viên khơng thể xem xét hình thức quy luật tư cách độc lập - điều Aristote làm - mà xem xét chúng thơng qua ví dụ suy luận cụ thể, thế, khơng tách biệt mặt hình thức suy luận - đôi tượng logic học hình thức - khỏi mặt nội dung Về sách, có tương đối nhiều tập giảng giáo trình nhập mơn logic học tác giả nước, sách chun khảo logic học hình thức (ngồi tác phẩm logic mờ Nguyễn Hoàng Phương cộng tác viên, "Logic, ngữ nghĩa, cú pháp", "Logic tiếng Việt" Nguyễn Đức Dân, "Logic vui" Trần Dân Hiển, chúng vắng bóng) Hiện nay, Ở nước ta chưa có đào tạo giáo viên chuyên ngành logic học, mà có bước chuẩn bị ban đầu cho việc (10) ; nguồn giáo viên ngành từ nước khơng có Như vậy, để xây dựng đội ngũ giáo viên đảm nhận tốt việc giảng dạy môn học trường đại học cao đẳng, phải tiến hành song song hai công việc: Thứ nhất, mở lớp tập huấn thường xuyên dành cho giáo viên logíc học Tại lớp này, người dự khơng bổ túc, chuẩn hố tri thức có liên quan chương trình giảng dạy mơn logic học, mà họ phải cung cấp Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 80 tương đối có hệ thống kết môn khoa học nước giới Ngoài hữu ích mời chuyên gia thuộc số ngành khoa học khác vốn sử dụng nhiều kiến thức logic học nhà ngơn ngữ học, luật học, tốn học, điều khiển học, tin học, báo cáo ứng dụng logic học ngành họ Thứ hai, gấp rút tổ chức đào tạo giáo viên chuyên ngành logic học Để thực việc này, chọn đào tạo tiếp sinh viên tốt nghiệp ngành Triết học, ngành Toán học ngành Tin học ; đào tạo bậc cao học chuyên ngành logic học nước (kết hợp Viện Triết học với Khoa Triết học Trường Đại học Khoa học Xã hội Nhân văn); gửi đào tạo cao học chuyên ngành nước Còn lâu dài hơn, cần đào tạo chuyên ngành logic học Khoa Triết học Trường Đại học Khoa học Xã hội Nhân văn Hà Nội thành phố Hồ Chí Minh, với chương trình chun Iơgíc học từ 30 đơn vị học trình trở lên Thay lời kết Chức logic học truyền thống, nói, dạy cho người ta tư mặt hình thức Đây mục đích mà chương trình nhập môn logic học dành cho bậc đại học nước ta hướng đến Tuy nhiên, không nên đề cao chức logic học truyền thống, lẽ hình thức suy luận, quy luật quy tắc mà nghiên cứu người tiếp thu cách không tự giác từ nhỏ Nhiệm vụ việc giảng dạy logic học chuẩn hố (chứ khơng phải cung cấp) hình thức tư thơng thường người học, cung cấp cho họ phương pháp đại, đơn giản hiệu để xác định tính sai suy luận, quan trọng hơn, để xây dựng suy luận phép chứng minh, để phân tích mặt logic vấn đề mà họ gặp phải sống khoa học Muốn làm điều đó, mặt, cần phải đại hố chương trình giảng dạy mơn logic học ; mặt khác, phải củng cố đội ngũ giáo viên môn học (l) Z.N.Mikeladze Cơ sở logic Aristote Trong sách "Aristote toàn tập", t.2 Mátxcơva, 1979, tr.5 (tiếng Nga) (2) Một số tác giả nước ta hay gọi logic Tuy nhiên, sách báo logic học giới, thuật ngữ logic cổ điển thường dùng để logic mệnh đề, logic vị từ, logic tổ hợp, lý thuyết kiểu loại (type theory), phép tính lamda, phép tính iota số ngành logic học khác (3) Có thể nói đến tốn tử khác nữa, chúng định nghĩa thơng qua tốn tử nêu (4) Người ta chọn số tốn tử mệnh đề đó, đủ để định nghĩa tất tốn tử cịn lại (5) Nghịch lý Russell - nghịch lý dược nhà toán học người Anh Russell phát vào năm 1895 Nội đung nghịch lý sau: Xét tập hợp X có phấn tử tất tập hợp Y cho Y khơng phải phần tử Y Khí X khơng thể phần tử X đồng thời X không phần tử X Cách phát biểu tương đương: Một người thợ cắt tóc tuyên bố cắt tóc cắt tóc cho người khơng tự Hội thảo khoa học Đổi phương pháp giảng dạy theo học chế tín tr 81 cắt tóc Khi khơng thể cắt tóc cho mình, khơng thể khơng tự cắt tóc cho 6) Chẳng hạn, xem: Nguyễn Hồng Phương Tích hợp đa văn hố Đơng Tây cho chiến lược phát triển giáo dục tương lai Nxb Giáo dục, Hà Nội, 1995 (7) Xin so sánh chương trình với giáo trình Logíc học E.A Khơmencô (Nxb Quân đội nhân dân, Hà Nội, l976), giáo trình logic học D.P.Corxki (Nxb Ciáo dục, Hà Nội, J974), giáo trình Logíc học Va Kirillốp A.A.Xtarchencô (Nxb Vưsaia Skôla, l982) 8) xem: Bộ Giáo dục Đào tạo Bộ chương trình giáo dục Đại học đại cương Hà Nội, 1995 (9) Điều thể rõ qua rấtt nhiều lỗi quan trọng nhiều giáo trình logic học in ấn thời gian gần Đây tượng phổ biến nên thấy không cần nêu chi tiết Hơn nữa, tượng số tác giả nêu lên, chẳng hạn, tác giả Vũ Văn Viên, "Vấn đề xác hố quy luật logic học hình thưc”, Tạp chíTriết học, số 6,1997 (10) Khoa Triết học Trường Đai học Khoa học Xã hội Nhân văn Hà Nội bắt đầu đào tạo chuyên ngành logic học từ khoá 1996 -2000 Tuy nhiên, chương trình logic học chun ngành cịn khiêm tốn, gồm 10 đơn vị học trình ( 150 tiết giảng lý thuyết) Trong năm học 1999-2000, Khoa Triết học Trường Đại học Khoa học Xã hội Nhân văn thành phố Hồ Chí Minh xây dựng chương trình đào tạo chuyên ngành logic học với 50 đơn vị 'học trình (tương đương 750 tiết giảng lý thuyết, bao gồm nhiều ngành logic học đại, logic học biện chứng chuyên sâu, số mơn học bổ trợ tốn học cao cấp, ngơn ngữ lập trình, MỘT SỐ KINH NGHIỆM VỀ HÌNH THỨC HỌC TẬP KẾT HỢP TẠI KHOA VIỆT NAM HỌC TS Nguyễn Văn Huệ - ThS Đinh Lư Giang Khoa Việt nam học Mở đầu: ... bậc đại học môn học này, mà vốn giảng viên môn học khác, yêu cầu giảng dạy trường, chuyển sang "dạy kiêm" mơn logic học Vì vậy, đa số giáo viên môn logic học khơng có tri thức hệ thống mơn học. .. tính, Tình hình giảng dạy Logic hình thức nước ta : thực trạng giải pháp Hiện nay, nhập môn logic học đưa vào chương trình giảng dạy cho nhóm ngành đào tạo đại cương bậc đại học, số ngành bắt... 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 số mơn khoa học triết học, tốn học, điều khiển học, khoa học máy tính Ngữ nghĩa học logic