逻辑

2022

我们解释什么是逻辑以及哲学、亚里士多德、数学、计算、形式和非正式逻辑的特征。

逻辑用于各种过程，例如证明、推理或演绎。

什么是逻辑？

逻辑是一个形式科学，这是其中的一部分哲学和数学.它侧重于研究有效和无效的程序想法，即在论证、推理或演绎等过程中，以及在谬误等概念中，悖论和真相.

逻辑是一个纪律极其古老，独立诞生于伟大的思想家中古典文明和古代文明就像中国人、希腊人或印度人一样。从一开始，它就被理解为一种判断思想的方式，以检查其形式有效性，即识别思想的理想程序是什么。推理，真正通向真理的那个。

然而，从 20 世纪开始，它被认为是一个更类似于数学的领域，因为后者的应用在工业、社会和技术方面具有重要意义。

“逻辑”这个词起源于希腊语逻辑（“赋有理性”），来自术语标志，相当于“词”或“思想”之类的。

然而，在日常语言中，我们使用这个词作为“常识”的同义词，也就是说，以一种有价值的或有价值的思维方式，在他们各自的语境可能的。它也被用作同义词 “思维方式”，如“体育逻辑”、“军事逻辑”等。

我们用这个术语称哲学领域方法解决或推进某些哲学困境的逻辑，能够在所考虑的传统逻辑或相反的非经典逻辑中处理。换言之，哲学框架内的逻辑。

这是一门非常接近哲学的学科语，本质上是古代逻辑的延续，以思想和自然语言为中心。我们通常使用这个名称来区别于最新的数理逻辑。

在哲学逻辑中，始于希腊哲学家亚里士多德·德·埃斯塔吉拉（公元前 384-322 年）的著作的思想传统被认为是西方逻辑学的创始人和最重要的作者之一，被称为亚里士多德逻辑。世界哲学传统。

亚里士多德的主要逻辑著作集中在他的器官（来自希腊语“乐器”），由罗得岛的安德罗尼库斯在写作几个世纪后编纂而成。在他们身上展开了一个完整的逻辑系统，它在欧洲和中东直到之后中世纪.

此外，在这项工作中，亚里士多德假设了逻辑的基本公理：

它被称为数理逻辑，也称为符号逻辑、形式逻辑、理论或逻辑逻辑，应用于逻辑思维到某些数学领域和科学.

这意味着对推理过程的研究，通过正式的表示系统，如命题逻辑、模态逻辑或一阶逻辑，允许将自然语言“翻译”成数学语言，以进行严格的论证。

数理逻辑包含四个主要领域，它们是：

模型理论。它提出通过称为群、体或图的数学结构来研究公理理论和数理逻辑，从而将语义内容归因于逻辑的纯形式结构。
论证理论。也称为证明论，它通过数学对象提出证明并技术数学作为检查逻辑问题的方法。因此，模型理论处理给出一个语义（一个含义）对于逻辑的形式结构，证明理论处理而不是它们的句法（它的顺序）。
的理论套.重点研究对象的抽象集合，它们本身被理解为对象，以及它们的基本操作和相互关系。数理逻辑的这一分支是现存最基本的分支之一，以至于它构成了任何数学理论的基本工具。
可计算性理论。数学和数学之间的共享区域计算或者计算, 研究决策问题算法（相当于图灵机）可以应付。为此，他使用集合论，将它们理解为可计算或不可计算的集合。

计算逻辑创建智能计算系统。

计算逻辑是相同的数学逻辑，但应用于计算领域，即在计算的各个基本层次：计算电路、编程逻辑和管理算法。人工智能是该领域相对较新的领域，也是其中的一部分。

可以说，从广义上讲，计算逻辑渴望通过逻辑结构为计算机系统提供支持，这些逻辑结构以数学语言表达人类思维的不同可能性，从而创建智能计算机系统。

两个独立的逻辑领域也经常被区分：正式和非正式的，基于它们对表达语句的语言的方法。