Câu 2
Câu hỏi: Quá trình hình thành và phát triển của lôgic học?
Gợi ý trả lời:
Thời kỳ Cổ đại:
- Với tư cách là một khoa học, lôgic học được hình thành từ thế kỷ thứ IV trước Công nguyên và được đánh dấu bằng bộ sách Organon (công cụ nhận thức) của triết gia người Hy Lạp Aristote. Aristote (384 – 322 TCN) được coi là người sáng lập ra lôgic học. Ông đã bao quát được toàn bộ phạm vi và nắm được thực chất, đối tượng của lôgic học, đặt nền tảng cho khoa học lôgic, đó là sự tổng kết những hình thức cơ bản của tư duy và những quy luật cơ bản của tư duy. Đặc biệt Aristote đã xây dựng hoàn chỉnh lý thuyết về tam đoạn luận, hình thức cơ bản nhất của suy lý diễn dịch. Lôgic truyền thống đã tiếp thu học thuyết của Aristote về các cấu hình, cách thức và quy tắc tam đoạn luận đúng đắn.
Thời kỳ Trung cổ:
- Lôgic học trong thời kỳ này mang tính kinh viện và hầu như không có đóng góp điều gì mới mẻ. Lôgic học Aristote đã bị Thiên chúa giáo lợi dụng để bảo vệ niềm tin vào Thiên chúa. Thời đó “Organon” bị biến thành “Canon” (luật pháp).
Thời kỳ Phục hưng – Cận đại:
- Vào thời kỳ Phục hưng, mặt tích cực, tinh thần khách quan khoa học của lôgic Aristote được phục hồi và phát huy để chống lại thần học. Tuy nhiên, bấy giờ nó đã bộc lộ sự chật hẹp, hạn chế trước tiến bộ của khoa học. Điều đó đặt ra nhu cầu cần phải đề xuất thêm phương pháp tư duy mới trong việc khám phá chân lý.
Thời hiện đại:
- Lôgic hình thức cổ điển dưới hình thức toán bộc lộ những hạn chế. Từ đó xuất hiện hai khuynh hướng:
- Thứ nhất, ra sức hoàn thiện những công trình lôgic, hình thức hóa và toán học hóa để nhằm khắc phục các mâu thuẫn và nghịch lý lôgic.
- Thứ hai, xét lại một số quy luật cơ bản của lôgic cổ điển, phát triển thành lôgic phi cổ điển.
- Đặc điểm chung của lôgic hình thức phi cổ điển là lôgic đa trị khác hẳn với lôgic hình thức cổ điển là lôgic lưỡng trị. Trên cơ sở đó người ta phát triển hệ thống phép tính lôgic phi cổ điển như lôgic tam trị của Lukasiewicz (1878 – 1956), lôgic tam trị xác suất của H. Reichenbach (1891 – 1953), lôgic trực giác của L. E. Brower và A. Heiting, lôgic kiến thiết của A. A. Marcov, A. N. Kolmogorov, V. I. Glivenko, lôgic mờ của L. A. Zadeh, lôgic tình thái, lôgic thời gian…
