Logic học là một trong số những ngành học cổ xưa nhất, và cũng là hiện đại nhất, về trí tuệ. Những khởi nguồn của ngành học này bắt đầu từ thế kỷ thứ tư trước Công nguyên. Chỉ có hai ngành học cổ xưa hơn là triết học và toán học, mà logic học đã và đang có liên kết mật thiết với cả hai. Logic học đã được cách mạng hóa vào khoảng đầu thế kỷ 20, do việc ứng dụng những kỹ thuật mới của toán học, và trong nửa sau thế kỷ này logic học đã tìm được những vai trò hoàn toàn mới và quan trọng trong phương pháp tính toán và xử lý thông tin. Do đó, nó là một chủ đề chính yếu cho nhiều suy tư và nỗ lực của con người. Quyển sách này là một dẫn luận vào logic học, như các nhà logic học đương thời hiểu về môn này. Tuy nhiên, nó không có tham vọng trở thành một quyển sách giáo khoa. Có vô vàn đầu sách như thế đang lưu hành. Mục tiêu của quyển sách này là khảo sát những cội rễ của logic học, vốn nằm sâu trong triết học. Một số vấn đề logic học hình thức sẽ được giải thích trên lộ trình ấy.
Mời bạn đón đọc.