逻辑是一门形式科学，也就是说，就像任何形式科学一样，它创造了自己的研究和推理对象，而思想的创造是其工作和知识的方法论，而且，逻辑，它也是哲学中最重要和最受欢迎的分支，其研究对象是论证和有效推理的原则，这些方法最终将使我们能够区分正确推理和错误推理。.
逻辑的起源可以追溯到古典希腊的黄金时代，希腊哲学家亚里士多德被认为是它的创造者和父亲，因为他是第一个使用这个概念并赋予它直到今天的实体，研究论证作为科学真理的表现。
我们上面描述的这种逻辑也被称为亚里士多德作为其创始人的逻辑 形式逻辑同时，还有一个 非正式逻辑 它将把注意力集中在对哲学、修辞学和演说学以及处理这些问题的其他科学中的那些可能论点的有条理的研究上。
基本上，非正式逻辑将所有精力都花在识别谬误和悖论以及正确构建话语上。
但是在正式和非正式逻辑中，这个问题并没有穷尽，因为我们还发现其他类型的逻辑提出了完全不同的方法，例如 自然逻辑 这是由自然思想提出的，因为它运行时不求助于形式科学作为支持基础。
那么 模糊逻辑或也称为模糊 它相对于其他人需要某些许可，并承认其命题的真假之间存在某种模糊性，与人类理性密切一致并与之相关。
在另一个顺序中，我们可以找到 数理逻辑 使用人工和符号语言处理，并对内容进行抽象。最后是 二元逻辑 它适用于只允许两个离散值的变量。
