Logic (từ tiếng Hy Lạp cổ đại: ÃƒÅ½Ã‚Â »ÃƒÅ½Ã‚Â¿ÃƒÅ½Ã‚Â³ÃƒÅ½Ã‚Â¹ÃƒÅ½Ã‚ÂºÃƒÅ½Ã‚Â®, logike) là nhánh triết học liên quan đến việc sử dụng và nghiên cứu lý luận xác đáng. Nghiên cứu logic cũng có đặc điểm nổi bật trong toán học và khoa học máy tính. Logic đã được nghiên cứu ở một số nền văn minh cổ đại, bao gồm Ấn Độ, Trung Quốc, Ba Tư và Hy Lạp. Ở phương Tây, logic học được thiết lập như một bộ môn chính thức bởi Aristotle, người đã cho nó một vị trí cơ bản trong triết học. Nghiên cứu về logic là một phần của bộ ba cổ điển, bao gồm cả ngữ pháp và tu từ học.