Nghịch lý và tư duy mới trong toán học hiện đại . Phần 2 .
Trần hồng Cơ
04/03/2012
2. Logic và vai trò của nó trong toán học và thực tiễn .
(i) Một số khái niệm và phân loại logic .
Trong triết học, Logic (từ tiếng Hy Lạp λογική logikē) chỉ về sự nghiên cứu hệ thống chính thức của các nguyên tắc suy luận hợp lệ và lý luận chính xác. Logic được sử dụng trong hầu hết các hoạt động trí tuệ, nhưng được nghiên cứu chủ yếu trong các lĩnh vực triết học, toán học, ngữ nghĩa, và khoa học máy tính. Logic khảo sát các hình thức chung nhất mà trong đó các đối số , các tham biến có thể không xuất hiện , mà thay vào đó là các dạng thức hợp lệ, kể cả đó là những nguỵ biện. Trong triết học , logic được áp dụng trong lĩnh vực chính: siêu hình học, bản thể luận, nhận thức luận và đạo đức học . Trong toán học, logic được xét như là suy luận hợp lệ trong một số hình thức tư duy dưới dạng mệnh đề chứa các ngôn ngữ ký tự . Bản thân logic cũng là đối tượng nghiên cứu trong lý thuyết lập luận. Logic đã được biết đến trong nhiều nền văn minh cổ đại, bao gồm Ấn Độ, Trung Quốc và Hy Lạp. Logic cũng được xem như là một ngành toán học theo tư tưởng của Aristotle, người đã có công đặt logic ở một vị trí cơ bản trong triết học.
