Sự hình thành và phát triển của lôgíc học

5Aristote (384-322 T.CN) nhà triết học Hilạp cổ đại được coi là người sáng lập ra Lôgíc học. Với những hiểu biết sâu rộng được tập hợp lại trong bộ sách Organon (công cụ) đồ sộ bao gồm 6 tập, Aristote là người đầu tiên đã trình bày một cách có hệ thống những vấn đề của Lôgíc học. Ông là người đầu tiên nghiên cứu tỉ mỉ khái niệm và phán đoán, lý thuyết suy luận và chứng minh. Ông cũng là người xây dựng phép Tam đoạn luận và nêu lên Các qui luật cơ bản của tư duy : Luật đồng nhất, Luật mâu thuẫn, Luật loại trừ cái thứ ba v.v… Sau Aristote, các nhà lôgíc học của trường phái khắc kỷ đã quan tâm phân tích các mệnh đề. cũng như phép Tam đoạn luận của Aristote. Lôgíc các mệnh đề của những người khắc kỷ được trình bày dưới dạng lý thuyết suy diễn. Họ đã đóng góp cho lôgíc học 5 qui tắc suy diễn cơ bản được coi như những tiên đề sau :

1. Nếu có A thì có B, mà có A vậy có B.
2. Nếu có A thì có B, mà không có B vậy không có A.
3. Không có đồng thời A và B, mà có A vậy không có B.
4. Hoặc A hoặc B, mà có A vậy không có B.
5. Hoặc A hoặc B, mà không có B vậy có A.

Lôgíc học của Aristote được tôn vinh trong suốt thời Trung cổ. Ở đâu người ta cũng chỉ chủ yếu phổ biến và bình luận Lôgíc học của Aristote coi đó như những chân lý cuối cùng, tuyệt đích. Có thể nói, trong suốt thời trung cổ, Lôgíc học mang tính kinh viện và hầu như không được bổ sung thêm điều gì đáng kể.

Thời Phục hưng, Lôgíc của Aristote chủ yếu đề cập đến phép suy diễn, đã trở nên chật hẹp, không đáp ứng được những yêu cầu mới của sự phát triển khoa học, đặc biệt là các khoa học thực nghiệm.

F.Bacon (1561-1626) với tác phẩm Novum Organum, ông đã chỉ ra một công cụ mới : Phép qui nạp. Bacon cho rằng cần phải tuân thủ các qui tắc của phép qui nạp trong quá trình quan sát và thí nghiệm để tìm ra các qui luật của tự nhiên.

R.Descartes (1596-1659) đã làm sáng tỏ thêm những khám phá của Bacon bằng tác phẩm Discours de la méthode (Luận về phương pháp).

6J.S. Mill (1806-1873) nhà Lôgíc học Anh với tham vọng tìm ra những qui tắc và sơ đồ của phép qui nạp tương tự như các qui tắc tam đoạn luận, chính Mill đã đưa ra các phương pháp qui nạp nổi tiếng (Phương pháp phù hợp, phương pháp sai biệt, phương pháp cộng biến và phương pháp phần dư).

Lôgíc học Aristote cùng với những bổ sung đóng góp của Bacon, Descartes và Mill trở thành Lôgíc hình thức cổ điển hay Lôgíc học truyền thống.

Trước đó, nhà toán học người Đức Leibniz (1646-1716) lại có tham vọng phát triển Lôgíc học của Aristote thành Lôgíc ký hiệu. Tuy vậy, phải đến giữa thế kỷ 19, khi nhà toán học G.Boole (1815-1864) đưa ra công trình “Đại số học của Lôgíc” thì ý tưởng của Leibniz mới trở thành hiện thực. Lôgíc học đã được toán học hóa. Lôgíc ký hiệu (còn gọi là lôgíc toán học) phát triển mạnh mẽ từ đó. Sau Boole, một loại các nhà toán học nổi tiếng đã có công trong việc phát triển Lôgíc toán như Frege (1848-1925), Russell (1872-1970), Whitehead v.v… làm cho lôgíc toán có được bộ mặt như ngày nay.

Lôgíc toán học là giai đoạn hiện đại trong sự phát triển của lôgíc hình thức. Về đối tượng của nó, Lôgíc toán học là lôgíc học, còn về phương pháp thì nó là toán học. Lôgíc toán học có ảnh hưởng to lớn đến chính toán học hiện đại, ngày nay nó đang phát triển theo nhiều hướng và được ứng dụng trong nhiều lĩnh vực khác nhau như toán học, ngôn ngữ học, máy tính v.v…

87Vào thế kỷ 19, Hégel (1770-1831) nhà triết học Đức đã nghiên cứu và đem lại cho lôgíc học một bộ mặt mới : Lôgíc biện chứng. Tuy nhiên, những yếu tố của Lôgíc biện chứng đã có từ thời cổ đại, trong các học thuyết của Héraclite, Platon, Aristote v.v… Công lao của Hégel đối với Lôgíc biện chứng là chỗ ông đã đem lại cho nó một hệ thống đầu tiên, được nghiên cứu một cách toàn diện, nhưng hệ thống ấy lại được trình bày bởi một thế giới quan duy tâm.

Chính K.Marx (1818-1883), F.Engels (1820-1895) và V.I Lénine (1870-1924) đã cải tạo và phát triển Lôgíc học biện chứng trên cơ sở duy vật, biến nó thành khoa học về những qui luật và hình phản ánh trong tư duy sự phát triển và biến đổi của thế giới khách quan, về những qui luật nhận thức chân lý.

Lôgíc biện chứng không bác bỏ lôgíc hình thức, mà chỉ vạch rõ ranh giới của nó, coi nó như một hình thức cần thiết nhưng không đầy đủ của tư duy lôgíc. Trong lôgíc biện chứng, học thuyết về tồn tại và học thuyết về sự phản ánh tồn tại trong ý thức liên quan chặt chẽ với nhau.

Nếu như Lôgíc hình thức nghiên cứu những hình thức và qui luật của tư duy phản ánh sự vật trong trạng thái tĩnh, trong sự ổn định tương đối của chúng thì Lôgíc biện chứng lại nghiên cứu những hình thức và qui luật của tư duy phản ánh sự vận động và phát triển của thế giới khách quan.

Ngày nay, cùng với khoa học kỹ thuật, Lôgíc học đang có những bước phát triển mạnh, ngày càng có sự phân ngành và liên ngành rộng rãi. Nhiều chuyên ngành mới của Lôgíc học ra đời : Lôgíc kiến thiết, Lôgíc đa tri, Lôgíc mờ, Lôgíc tình thái v.v… Sự phát triển đó đang làm cho Lôgíc học ngày càng thêm phong phú, mở ra những khả năng mới trong việc ứng dụng Lôgíc học vào các ngành khoa học và đời sống.