Logic hay
luận lý học, từ
tiếng Hy Lạp cổ điển λόγος (
logos), nghĩa nguyên thủy là
từ ngữ, hoặc điều đã được nói, (nhưng trong nhiều
ngôn ngữ châu Âu đã trở thành có ý nghĩa là suy nghĩ hoặc
lập luận hay
lý trí). Logic thường được nhắc đến như là một ngành nghiên cứu về tiêu chí đánh giá các
luận cứ, mặc dù định nghĩa chính xác của logic vẫn là vấn đề còn đang được bàn cãi giữa các
triết gia. Tuy nhiên khi môn học được xác định, nhiệm vụ của nhà logic học vẫn như cũ: làm đẩy mạnh tiến bộ của việc phân tích các suy luận có hiệu lực và suy luận ngụy biện để người ta có thể phân biệt được
luận cứ nào là hợp lý và luận cứ nào có chỗ không hợp lý.Theo truyền thống, logic được nghiên cứu như là một nhánh của
triết học. Kể từ giữa
thế kỉ 19 logic đã thường được nghiên cứu trong
toán học và
luật. Gần đây nhất logic được áp dụng vào
khoa học máy tính và
trí tuệ nhân tạo. Là một
ngành khoa học hình thức, logic nghiên cứu và phân loại cấu trúc của các khẳng định và các lý lẽ, cả hai đều thông qua việc nghiên cứu các
hệ thống hình thức của
việc suy luận và qua sự nghiên cứu lý lẽ trong ngôn ngữ tự nhiên. Tầm bao quát của logic do vậy là rất rộng, đi từ các đề tài cốt lõi như là nghiên cứu các lý lẽ
ngụy biện và
nghịch lý, đến những phân tích chuyên gia về lập luận, chẳng hạn lập luận có
xác suất đúng và các lý lẽ có liên quan đến quan hệ
nhân quả. Ngày nay, logic còn được sử dụng phổ biến trong
lý thuyết lý luận.Qua suốt quá trình lịch sử, đã có nhiều sự quan tâm trong việc phân biệt lập luận tốt và lập luận không tốt, và do đó logic đã được nghiên cứu trong một số dạng ít nhiều là quen thuộc đối với chúng ta.
Logic Aristotle chủ yếu quan tâm đến việc dạy lý luận thế nào cho tốt, và ngày nay vẫn được dạy với mục đích đó, trong khi trong
logic toán học và
triết học phân tích (analytical philosophy) người ta nhấn mạnh vào logic như là một đối tượng nghiên cứu riêng, và do vậy logic được nghiên cứu ở một mức độ trừu tượng hơn.Các quan tâm về các loại logic khác nhau cho thấy rằng logic không phải là một ngành có thể nghiên cứu tách biệt. Trong khi logic thường có vẻ sự thúc đẩy chính nó, môn học này phát triển tốt nhất khi lý do mà chúng ta quan tâm đến logic được đặt ra một cách rõ ràng.