3 1 Lịch sử hình thành của logic học Logic học là môn khoa học xuất hiện từ rất sớm trong lịch sử, khi sự phát triển của khoa học và tư duy để đưa ra những kết luận đúng đắn, có tính chân thực Ở phươn[.]
3.1 Lịch sử hình thành logic học Logic học môn khoa học xuất từ sớm lịch sử, phát triển khoa học tư để đưa kết luận đắn, có tính chân thực Ở phương Đơng, bắt nguồn từ Ấn Độ, từ thời Cổ Đại, trước Tây lịch khoảng năm ngàn năm, trước xa logic học Aristote (384-322 trước Công nguyên), xuất Nhân minh luân môn học phương pháp suy luận quy nạp Ở phương Tây, từ thời Cổ đại, Héraclite (khoảng chừng 520 – 460 tr.CN), Trường phái Élé (Ecole élé ate) (cuối TK VI – đầu TK V tr.CN), Démocrite (khoảng 460 – 370 trc.CN), Platon (427-347 tr.CN)… nghiên cứu số khía cạnh logic Tác phẩm “Bàn logic học” (hay Canon – tác phẩm bị thất truyền từ lâu) Démocrite tác phẩm logic lịch sử logic học… Tác phẩm Démocrite nêu nhiều vấn đề logic học khái niệm, phương pháp so sánh, giả thuyết… bật phương pháp quy nạp logic học mẻ với thời kì chưa nghiên cứu thật đầy đủ Tuy nhiên, đến Aristote logic học nghiên cứu có hệ thống có tư duy trở thành đối tượng nghiên cứu khoa học chuyên ngành Do đó, Aristote xem người đặt móng sáng lập logic học 3.2 Lịch sử phát triển logic học 3.2.1 Logic học truyền thống- Logique traditionnelle (Thời kì cổ đại khoảng kỉ IV tr.CN - kỉ V) Được xem cột mốc thời kì khởi đầu logic học Người đặt móng hình thành logic học nhà triết học Hy Lạp cổ đại Aristote (tiếng anh Aristotle) đóng góp to lớn vào phát triển logic học Người nghiên cứu tỉ mỉ khái niệm, phán đoán, suy luận chứng minh Qua trình nghiên cứu ơng cho đời sách gồm tập Organon (công cụ) Trong sách này, ông trình bày vấn đề logic học hình thức truyền thống phạm trù, phân loại mệnh đề, tam đoạn luận chứng minh, tranh luận, phản bác ngụy biện.Bên cạnh ơng cịn đưa quy luật : quy luật đồng nhất, quy luật mâu thuẫn, quy luật loại trừ thứ ba Học thuyết logic Aristote đặc sắc chỗ, dạng phơi thai bao hàm tất phần mục, trào lưu, kiểu logic học đại xác suất, biểu tượng, biện chứng Sau Aristote, nhà logic học khắc kỷ quan tâm phân tích mệnh đề Aristote Họ nghiên cứu quan hệ tiền đề suy luận sau đưa khái niệm bao hàm bổ sung cho logic học - Kế tục Aristote, trình bày logic mệnh đề dạng lý thuyết suy diễn - quy tắc suy diễn (tiên đề): Nếu có P có Q, mà có P có Q Nếu có P có Q, mà khơng có Q khơng có P Khơng có đồng thời P Q, mà có P khơng có Q Hoặc P Q, mà có P khơng có Q Hoặc P Q, mà khơng có Q có P - Logic học mang tính kinh viện khơng bổ sung thêm Vào cuối thời Cổ đại, Apulée đưa hình vng logic trình bày quan hệ phán đốn A, I, E, O Galien (131-200) bổ sung thêm loại hình tam đoạn luận thứ tư Bịece (khoảng 480-525) hệ thống hóa logic học hình thức, đưa số quy tắc logic mệnh đề Logic học Aristote tôn vinh suốt thời Trung cổ Ở đâu người ta phổ biến bình luận hay sùng bái logic học Aristote coi chân lý cuối cùng, tuyệt đỉnh Bòece xem cầu nối logic học hình thức thời Cổ đại với thời Trung cổ, người dịch tác phẩm logic học Aristote sang tiếng Latinh, qua giúp logic học truyền tới nhà triết học kinh viện trung cổ Logic học tôn vinh giảng dạy rộng khắp trường học Bên cạnh chủ đề bàn luận nhà triết học kinh viện thời kì Sự sùng bái logic học Aristote gần lớn logic học mang tính kinh viện khơng có phát triển đáng kể Tuy nhiên có số đóng góp nhỏ như: Abélard (1079-1142) đào sâu khía cạnh ngữ nghĩa triết học logic học, Pierre d’Espagne (khoảng 1220-1227) tóm tắt 19 kiểu hình tam đoạn luận thành vè ức thuật tiếng Tây Ban Nha, Guillaume d’Occam (1285-1347) đưa nguyên tắc lưỡi dao Occam hay Buridan (1301-1358) đào sâu phép suy luận có điều kiện, Việc nghiên cứu logic học đến thời kì chủ yếu suy luận diễn dịch nghiên cứu lĩnh vực triết học 3.2.2 Logic học ứng dụng Logique appliqueùe (Thời kỳ Phục Hưng khoảng kỉ XV- kỉ XXII) Đến thời kỳ này, trước phát triển mạnh mẽ khoa học thực nghiệm, logic học chủ yếu đề cập phép suy luận diễn dịch Aristote trở nên chật hẹp bị trích mạnh mẽ Trước phát triển khoa học thực nghiệm, Anh, F.Bacon (1561 – 1626) xuất tác phẩm Novum Oraganum (công cụ mới) để phê phán phương pháp suy diễn logic học hình thức Aristote, đề cao phương pháp suy luận quy nạp logic học ứng dụng khoa học thực nghiệm Ơng đưa ba bảng (có mặt / vắng mặt / trình độ) để tìm mối liên hệ nhân kiện Sau R Descartes (1596 – 1650) phát triển tư tưởng Bacon với tác phẩm Discours de la méthode (Phương pháp luận) Về sau, nhà logic học Anh J Stuart Mill (1806-1873) hoàn thiện phương pháp F Bacon, đưa bốn phương pháp quy nạp dựa sở mối liên hệ nhân phương pháp tương hợp (méthode de concordance), phương pháp sai biệt (méthode de différence), phương pháp đồng biến (méthode des variations concomitantes) phương pháp trữ dư (méthode des résidus) Nhìn chung, thời kì logic học nghiên cứu xa hơn, chủ yếu phương pháp suy luận quy nạp Ngoài ra, logic học có ứng dụng khoa học thực nghiệm so với triết học trước Như vậy, logic học Aristote với đóng góp Bacon, Descartes Mill trở thành logic hình thức cổ điển