Logic là môn học nghiên cứu về lập luận hợp lệ. Nó đặt câu hỏi điều gì suy ra từ điều gì. Một lập luận hợp lệ là lập luận mà kết luận phải đúng nếu các tiền đề đúng. Logic cung cấp các công cụ để phân biệt lập luận tốt với lập luận xấu. Aristotle đã hệ thống hóa logic bằng phép tam đoạn luận. Các nhà logic học thời Trung cổ đã tinh chỉnh nó. Frege và Russell đã phát triển logic ký hiệu hiện đại, sử dụng ngôn ngữ hình thức để biểu diễn các lập luận và các quy tắc suy luận để rút ra kết luận. Logic được sử dụng trong toán học, khoa học máy tính, ngôn ngữ học và triết học.

Logic không giống như tâm lý học. Nó nghiên cứu các nguyên tắc chuẩn mực, chứ không phải cách con người thực sự suy nghĩ. Con người thường lập luận thiếu logic, nhưng điều đó không làm thay đổi yêu cầu về tính hợp lệ. Logic cũng không giống như hùng biện. Hùng biện nhằm mục đích thuyết phục. Logic nhằm mục đích chứng minh. Hai lĩnh vực này có thể chồng chéo nhau, nhưng chúng khác biệt. Logic có nhiều nhánh: logic mệnh đề, logic vị ngữ, logic modal, logic thời gian và logic đa giá trị, cùng nhiều nhánh khác. Mỗi nhánh có các ký hiệu, quy tắc và ngữ nghĩa riêng. Logic là một khoa học hình thức, giống như hình học, và nó có ứng dụng trong bất kỳ lĩnh vực nào đòi hỏi lập luận chính xác.

Các loại logic

• Mệnh đề.
• Predicate.
• Modal.
• Không trang trọng.

Logic không phải là một hệ thống kiến ​​thức về thế giới. Nó là một hệ thống kiến ​​thức về những gì suy ra từ những gì đã cho.