Logic là một khoa học chính thức, giống như bất kỳ khoa học chính thức nào, nó tạo ra đối tượng nghiên cứu và lý luận của riêng mình và việc tạo ra các ý tưởng bởi trí óc là phương pháp luận của nó về công việc và tri thức, nhưng ngoài ra, logic, Nó là một trong những các nhánh quan trọng và phổ biến nhất trong Triết học, đối tượng nghiên cứu của nó là các nguyên tắc chứng minh và suy luận hợp lệ, là những phương pháp cuối cùng sẽ cho phép chúng ta phân biệt lý luận đúng với lý luận sai..
Nguồn gốc của logic bắt nguồn từ thời kỳ hoàng kim của Hy Lạp cổ điển và nhà triết học Hy Lạp Aristotle được coi là người sáng tạo và cha đẻ của nó., vì ông là người đầu tiên sử dụng khái niệm và cho nó là thực thể mà nó vẫn giữ cho đến ngày nay, để nghiên cứu các lập luận như những biểu hiện của chân lý trong khoa học.
Logic mà chúng tôi đã mô tả ở trên và trong đó Aristotle là người sáng lập ra nó còn được gọi là Logic chính thứctrong khi đó, cũng có một logic không chính thức sẽ tập trung sự chú ý vào việc nghiên cứu một cách có phương pháp những lập luận có thể xảy ra từ triết học, hùng biện và hùng biện, trong số các khoa học khác liên quan đến chúng.
Về cơ bản, logic phi chính thức dành tất cả nỗ lực của mình vào việc xác định các ngụy biện và nghịch lý cũng như cấu trúc chính xác các diễn ngôn.
Nhưng trong logic chính thức và không chính thức, câu hỏi không phải là cạn kiệt vì chúng ta cũng tìm thấy các loại logic khác đề xuất các phương pháp luận hoàn toàn khác như logic tự nhiên là cái được đề xuất bởi tư tưởng tự nhiên, khi nó vận hành, mà không cần dùng đến khoa học chính thức làm cơ sở hỗ trợ.
Sau đó logic mờ hoặc còn được gọi là mờ rằng nó có những giấy phép nhất định đối với những giấy phép khác và thừa nhận một sự mơ hồ nhất định giữa sự thật hay sai lầm của các mệnh đề của nó, trong sự đồng ý và mối quan hệ chặt chẽ với lý trí của con người.
Theo một thứ tự khác, chúng tôi có thể tìm thấy Lôgic toán học được xử lý bằng cách sử dụng ngôn ngữ tượng trưng và nhân tạo và làm cho nội dung trở nên trừu tượng. Và cuối cùng là logic nhị phân hoạt động với các biến chỉ thừa nhận hai giá trị rời rạc.
