Vì sao toán học cần lôgic nhưng lại không phải là lôgic học?

Toán học là ngành học đề cao tính “chặt chẽ” và tính “chuẩn xác”. Trong các phép tính toán đều phải thực hiện từng bước theo các quy tắc tính. Trong các chứng minh hình học mỗi bước suy luận phải có lý do, có căn cứ. Các quy tắc, lý do, căn cứ là các yêu cầu “logic”. Mặc dù chúng ta chưa hề học qua một giáo trình về “logic” nhưng toán học đã đem lại cho ta cách tư duy logic một cách tự nhiên, vô thức. Các định lí toán học đã được dùng phương pháp logic để chứng minh, từng bước, từng bước một cách có căn cứ, có cơ sở lý luận, suy ra các kết quả hoàn toàn chính xác, không có gì nghi ngờ. Đó là một đặc điểm nổi bật của toán học. Vì vậy học cách suy luận logic, đó chính là một trong những mục tiêu khi học toán.

Thực ra thì suy luận logic toán học là loại tư duy hình thức mà không phải là toàn bộ. Toán học còn cần có quan sát trực quan, cần có dự đoán, cần có tưởng tượng. Với phương pháp suy luận logic: với các tiên đề chính xác các suy luận sẽ dẫn đến kết luận chính xác. Thế nhưng tiền đề đến từ đâu và có chính xác không và suy luận theo phương nào và tiến hành như thế nào thì suy luận logic không có cách nào xác định được. Ví dụ “giữa hai điểm ta chỉ có thể vẽ một đường thẳng”, “qua một điểm cho trước ta chỉ có thể vẽ một đường thẳng song song với một đường thẳng cho trước”, các mệnh đề trên đều phải qua quan sát phân tích hiện thực mà nhận được. Các khái niệm số π, số lẻ vô hạn tuần hoàn, số dương, số âm đều bắt nguồn từ việc quan sát, khảo sát hiện thực, kinh qua tư duy sáng tạo mà rút ra được. Vì vậy có thể nói logic rất quan trọng, toán học cần đến logic, nhưng toán học không đồng nhất với logic học.