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. | Về Logic học hiện đại và giảng dạy Logic học ở Việt Nam Hội thảo khoa học Đổi mới phương pháp giảng dạy theo học chế tín chỉ tr. 72 VỀ LOGIC HỌC HIỆN ĐẠI VÀ GIẢNG DẠY LOGIC HỌC Ở VIỆT NAM . Phạm Đình Nghiệm Khoa Triết học 1. Vài nét về logic học Với tư cách là một khoa học, logic học ra đời vào thế kỷ IV trước CN. Người sáng lập ra khoa học này là nhà triết học Hy Lạp vĩ đại Aristote (384 -322 trước CN.). Aristote được coi là người khai sinh ra logic học “không phải vì ông là người đầu tiên đã hệ thống hoá được các thao tác suy luận vốn trước ông chỉ tồn tại riêng rẽ, chưa rõ ràng, mà chính là vì ông là người đầu tiên đã làm cho các thao tác đó trở thành đối tượng nghiên cứu, làm thành đối tượng nghiên cứu chính các thao tác suy luận đó, với tư cách là các chỉnh thể, chứ không chỉ là thành tố này hay khác của suy luận"(1). Như vậy, ở Aristote, các thao tác suy luận trở thành đối tượng nghiên cứu độc lập, chứ không chỉ được nghiên cứu trong mối quan hệ với các suy luận cụ thể. Nhà triết học người Anh F .Bacon (1561- 1626) cho rằng tam đoạn luận của Aristote hoàn toàn vô ích, vì nó không cho phép tìm ra các thông tin mới từ các tiền đề đã có, và do vậy, khi sử dụng nó trong nghiên cứu khoa học, chúng ta không thể phát hiện được các quy luật mới thông qua việc nghiên cứu các sự 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 của logic học từ khởi đầu đến khoảng giữa thế kỷ XIX, với nội dung chủ yếu được tạo thành từ các học thuyết của Aristote và Bacon, gọi là logic học truyền thoáng(2). Sự xuất hiện của logic ký hiệu, hay còn gọi là logic toán, logic học hiện đại vào khoảng giữa thế kỷ XIX thật sự là một cuộc cách mạng của khoa học logic. Logic học hiện đại còn gọi là logic toán bởi vì ở buổi đầu xuất hiện, nó sử dụng các phương pháp tổng quát của khoa học nhưng thời đó mới được sử dụng chủ yếu trong toán học ; Hơn thế nữa, các kết quả ban đầu của nó chủ yếu được sử dụng để .
