Lôgic hình thức đại cương

Lôgic học là một môn học thuộc Khoa học Triết học. Với tư cách là một bộ môn khoa học, tư tưởng về lôgic học xuất hiện từ rất sớm cùng với các tư tưởng về các môn học triết học khác. Tuy nhiên, người được coi là sáng lập ra môn học này là nhà triết học Hy Lạp thời cổ đại Arixtốt. Từ đó đến nay, bộ môn Lôgic học tiếp tục phát triển và mở rộng qua các thời kỳ với sự đóng góp của các nhà triết học cũng như các nhà khoa học tự nhiên trong lịch sử.

Ngày nay, trước nhu cầu của thực tiễn cũng như sự phát triển mạnh mẽ của khoa học công nghệ hiện đại, bộ môn Lôgic học đã có nhiều biến đổi. Nó không chỉ thuần túy là một môn học triết học mà ở một góc độ nào đó nó được tách ra thành một bộ môn khoa học độc lập. Vì thế khả năng thâm nhập và ứng dụng của lôgic học hiện đại trong tất cả các ngành khoa học là vô cùng to lớn.

Những năm gần đây, bộ môn Lôgic học đã được đưa vào giảng dạy cho sinh viên tại một số đơn vị ở Đại học Quốc gia Hà Nội. Tuy nhiên, do không phải là môn học bắt buộc đối với tất cả các ngành học nên các tài liệu hiện có dành cho môn học hoặc chưa phù hợp, hoặc chưa thống nhất. Thực tế đó đã gây ra không ít khó khăn cho cả người dạy và người học đối với môn học. Xuất phát từ yêu cầu trên, tác giả mạnh dạn xuất bản cuốn Lôgic hình thức đại cương (dùng cho bậc đại học, cao đẳng). Đây là cuốn sách dạng chuyên khảo, được biên soạn dựa trên nguyên tắc vừa chú trọng đảm bảo các kiến thức cơ bản đối với môn học dành cho sinh viên đại học và cao đẳng không chuyên ngành triết học ở Đại học Quốc gia Hà Nội, vừa có thể là tài liệu tham khảo tốt cho các đối tượng người học khác. Tác giả vô cùng biết ơn tới PGS. TS. Nguyễn Anh Tuấn, TS. Trương Quốc Chính - những người đã đọc, góp ý bổ sung một số nội dung góp phần hoàn thiện cuốn sách này. Do xuất bản lần đầu tiên nên chắc chắn cuốn sách không tránh khỏi những sai sót nhất định. Rất mong nhận được những ý kiến đóng góp của bạn đọc để chúng tôi có điều kiện chỉnh lý, bổ sung cho lần xuất bản sau tốt hơn.

Tác giả