逻辑有几种类型，它们的研究对象都集中在理解推理并确定它们是正确还是不正确的时候。逻辑学的研究已经从希腊哲学家亚里士多德时代发展到今天。
道德规范一直在进行调整，目的是更加具体，同时更适应人类的日常生活，从而允许在不同领域进行更切实的应用。
亚里斯多德，公认的逻辑之父。
逻辑寻求对论点和命题的系统研究，而不同类型的逻辑使人们有可能既研究这些陈述的形式结构，又研究内容的内容以及所述内容的力量。
尽管逻辑是基于对陈述的研究，但它并没有明确地关注自然语言（我们所知道的语言），但是它的有用性已经到达了不同的领域，具有不同的结构，例如数学和逻辑。计算。
最相关的逻辑类型
形式逻辑
形式逻辑，也称为古典逻辑或亚里士多德逻辑，是从结构的角度研究命题，论点，陈述或句子。它是一种构造思想并确定特定方法的正确或不正确形式的方法。
形式逻辑并不关注特定论证内容的准确性或虚假性，而是关注其形式构造的有效性或非有效性。
也就是说，形式逻辑的研究对象不是经验性的，对于逻辑学家而言，确定所提出的论据是否是真实的和经证明的并不重要。相反，他的研究显然集中在所述论点的结构上。
在形式逻辑中，有两个非常重要的分类：演绎逻辑和归纳逻辑。
演绎逻辑是指从一般概念生成的那些特定语句。通过这种逻辑，可以从已经存在的概念或理论中进行推断。
例如，在演绎逻辑中，可以说，如果人有腿，而克拉拉是人，那么克拉拉就有腿。
在归纳逻辑的情况下，自变量的构造以相反的方式发生。也就是说，一般概念是根据特定参数创建的。
例如，在归纳逻辑中，可以说，如果一只猫喜欢鱼，另一只猫也喜欢，那么另一只猫也喜欢鱼。
非正式逻辑
非正式逻辑是研究的一个分支，专注于语言和源于语义结构和论证的信息。
这种逻辑与形式逻辑不同，在于形式逻辑研究句子和命题的结构。非正式逻辑着眼于所传达信息的实质。
它的研究对象是争论以获得期望结果的方法。非正式逻辑使逻辑论证的有效性更加突出，而逻辑论证的逻辑论证结构较弱。
非经典逻辑
非古典逻辑或现代逻辑起源于19世纪，与古典逻辑的陈述背道而驰。它建立了其他形式的分析，可以涵盖比传统逻辑方法所能涵盖的更多方面。
这就是如何包含数学和符号元素，新的陈述或定理，以弥补形式逻辑系统的不足。
在非经典逻辑中，存在不同的逻辑子类型，例如模态，数学，三价等。
所有这些类型的逻辑都在某种程度上不同于形式逻辑，或者包含了互补的新元素，并使对特定语句的逻辑研究更加精确，并适应于日常生活中的效用。
符号逻辑
符号逻辑也称为一阶逻辑或数学逻辑，其特征是使用构成新语言的符号来对参数进行“翻译”。
象征逻辑的目的是将抽象思想转变为更形式化的结构。实际上，它不使用自然语言（惯用语），而是使用一种技术语言将句子转换为比自然语言可以应用的更精确规则的元素。
因此，符号逻辑允许通过演算定律来处理命题，以避免混淆或不准确。
它试图将数学元素纳入形式逻辑结构的分析中。在数学领域，逻辑用于证明定理。
简而言之，符号或数学逻辑试图通过数学语言表达人类的思想。
逻辑的这种数学应用使论点和构造更加精确。
模态逻辑
模态逻辑侧重于对论点的研究，但增加了与所讨论的陈述为真或假的可能性相关的元素。
模态逻辑试图与人类思想更加协调，因此它涵盖了诸如“可能”，“可能”，“有时”，“也许”，“可能”，“可能”，“也许”等结构的使用”，等等。
在模态逻辑中，它是考虑存在可能性的场景，并且倾向于从逻辑的角度考虑可能存在的所有可能性。
计算逻辑
计算逻辑是从符号逻辑或数学逻辑派生的一种逻辑，仅将其应用于计算领域。
计算机程序使用编程语言进行开发，并可以通过逻辑在这些语言系统上工作，分配特定任务并执行验证操作。
参考文献
- 不列颠百科全书中的“逻辑”。2017年8月4日从大不列颠百科全书检索：britannica.com
- 不列颠百科全书中的“形式逻辑”。2017年8月4日从大不列颠百科全书检索：britannica.com
- Hernández，F.墨西哥国立自治大学的“计算逻辑”。于2017年8月4日从墨西哥国立自治大学检索：unam.mx
- Muñoz，C.马德里Complutense大学的“非经典逻辑”。于2017年8月4日从马德里Complutense大学检索：ucm.es
- 朱莉娅·J。“什么是符号逻辑？” 在西班牙语的eHow中。于2017年8月4日从西班牙语的eHow检索：ehowenespanol.com
- Oller C.，《形式逻辑与论证》（2006年），拉普拉塔国立大学。于2017年8月4日从拉普拉塔国立大学检索：rfytp.fahce.unlp.edu.ar
- Junta de Extremadura中的“演绎和归纳推理”。于2017年8月4日在埃斯特雷马杜拉镇（Junta Extremadura）检索：educarex.es。