美国留学

当涉及到逻辑时，我们总是觉得它是深刻和抽象的。实际上，生命到处都是“逻辑”。亚里士多德曾经说过：“人是社会的动物。”作为一种社交动物，人们必须在社会生活中频繁提出争论。证明，反驳和说服力是争论的三个主要目标，说服力是争论的最终目标。逻辑是关于推理和论证的科学。了解一点逻辑不仅可以更准确，清晰地表达自己的思想，而且可以摆脱感觉和经验，了解事物的本质和定律，并打开您的视野和模式。

1号

什么是逻辑

在中文中，“逻辑”是一个真正的外语，是由英语单词“逻辑”译成的。在英语中，“逻辑”一词来自希腊语“徽标”（即徽标），该单词拼写为“”在希腊语中，该单词被翻译为“ logiki”。 “徽标”一词最初是指单词或单词，但后来它具有思维或理性的含义。换句话说，“徽标”一开始就与参数没有太多直接关系，而是后来演变成思考和理性的含义，并且与当代逻辑研究的对象的推理或论点相关联。逻辑是对推理或论证的一般意义。作为一门学科的逻辑可以追溯到古希腊的亚里士多德，正是他奠定了哲学逻辑的基础。到中世纪，逻辑，语法和修辞被称为三个经典人文科学学科，也成为古典教育的基本部分。在现代社会中，逻辑仍然是数学，计算机科学和语言学的必不可少的一部分。根据Wikipedia的观点，逻辑研究正式推理系统和自然语言中的陈述结构和论证结构。它的主题不仅包括有效性，谬误和悖论，还包括涉及因果关系和时间的概率推理和论据。如今，逻辑也经常用于参考论点理论或论点。逻辑研究的对象实际上非常广泛。根据“智商网络百科全书”，逻辑是研究和论证的科学，其主要任务是设定标准以区分论证质量。该论点表达了推论，推论是从既定断言中产生新主张的过程。在逻辑上，人们专注于论证结构，即新生成的断言与原始断言之间的形式关系。在这里，“正式”意味着这种关系不取决于主张的特定内容。研究推论的有效性非常重要，包括研究有效性的各种可能定义以及主张有效性的适用条件。因此，逻辑在认识论中起着重要作用，这为扩展知识提供了一种机制。此外，作为副产品，逻辑提供了推理的规则：指定人类和其他智能生物，智能机器或智能系统应该如何推理。当然，对于逻辑本身而言，最基本的不是该法规，而是它们的应用。在包括认知心理学在内的其他学科中，经常研究人们实际推理的特定过程。传统上，逻辑已被研究为哲学的一个分支。自十八世纪中叶以来，逻辑就在数学上进行了研究。到20世纪后期，它也在计算机科学领域发展。作为一门科学，逻辑研究命题结构或论证结构，并将这些结构分类和编译为设计命题模式或论证类型。因此，逻辑的范围可能很大，包括对可能性和因果关系的推理。另外，谬论论证的结构和悖论也是逻辑的研究对象。在古希腊，人们有时将辩论分为两个部分：逻辑和修辞。目前，修辞被视为辩论的组成部分。从某种意义上说，由于修辞专注于有说服力的论点，因此言论也被视为当时与逻辑相对应的研究主题。无论如何，在亚里士多德的角度，分析方法（即今天提到的演绎逻辑方法），辩论方法和修辞方法是论证和评估的三个观点。它们就像三重奏中的不同部分。如果缺少任何部分，他们将失去“混合声音”的美丽。

第2号

逻辑的简短历史

通常认为，最早的逻辑工作是亚里士多德的《工具论》。与其他传统相比，亚里士多德的逻辑在科学和数学中被广泛接受，并最终导致了现代的复杂形式逻辑系统。此外，在古希腊，由Zeno和Krisippo代表的Stoic学校还开发了一种与亚里士多德的三段论逻辑不同的命题逻辑，该逻辑成为当今传统命题逻辑的框架。现代逻辑的两个基本演算是命题演算和谓词演算。命题演算是基于斯多葛逻辑开发的，而谓词演算是根据亚里士多德的逻辑开发的。除了古希腊文明外，一些古代文明还发明了复杂的推理或论证系统，提出了有关逻辑的理论，并讨论了逻辑悖论。在印度，婆罗门教和印度教，最重要，最基本的经典《吠陀经》卷10，129提出了基于不同逻辑类别的本体论思想，后来从正式转换为四个句子：“ a”，“ non-a”，“ non-a”，“ a”，“ a and a an a an a an a and” and non-a and non-a和no-a和a。公元前325 - 250年的古代中国哲学家Gongsun Long（公元前325 - 250年）提出了悖论，例如“离开公司白人”和“白马不是马”。另外，还有Mo Histryment论点理论，它与现代西方非正式逻辑或论证理论非常相似。古代伊斯兰哲学也为逻辑的发展做出了杰出的贡献，其中波斯逻辑学家阿维森纳在伊斯兰世界中被称为亚里士多德。 Avicenne逻辑涵盖了假想的三段论，时态逻辑和归纳逻辑。尽管Avicenne Logic一直持续到15世纪，但在文艺复兴时期，它对欧洲逻辑产生了重要影响。但是不幸的是，与我的国家类似，伊斯兰世界的阿什利学校的崛起抑制了伊斯兰哲学中逻辑原始思想的发展。在古代印度，在第二世纪，由高塔玛（Gautama）撰写的《正理经》是学者学校的代表人物（也称为“ Jingli School”），是一部逻辑的经典作品。后来，Chen NA的《集量论》重点是从认识论的角度建立佛教逻辑传统（定量理论）。经过改革后，印度的逻辑传统一直持续到18世纪初，但最终被英国殖民统治所切断。在西方，亚里士多德提出的音节逻辑一直统治着逻辑领域。在中世纪后期，学者试图证明亚里士多德的思想和基督教信仰的兼容性，逻辑成为哲学家注意的重点。哲学家的主要工作是对哲学家的论点进行批判性逻辑分析，直到19世纪中叶对数学基础的研究触及了象征性逻辑的发展。德国自然科学家，历史学家，物理学家，数学家，哲学家莱布尼兹（Leibniz）十几岁的时候就做梦：找到一种一般数学，可以通过计算来代替思维。如果我们拥有这种数学，在形而上学和道德上，我们应该以与几何学和分析相同的方式进行推理……如果出现争议，需要的东西不再是两个哲学家之间的辩论，而是两个会计师之间的辩论，而是两个会计师之间的辩论，因为他们只是拿出一支铅笔，只是坐在板岩上，坐在板岩上，坐在对手身上，并对他们的对手说，如果他们能与他们的见证人相处）：这足够了！这是著名的“勒布尼兹的梦想”。

其中有两个基本的假设：（1）我们所有的思想都被少数简单的思想所复杂化，这些思想构成了人类思想的字母系统； （2）复杂的思想都是从这些简单的思想开始，从统一的对称组合开始，这些组合类似于算术操作。莱布尼兹（Leibniz）的梦想实际上是要找到一种通用的数学语言来创建电子计算机，在此基础上，发明了“ Lebniz Wheel”。尽管直到1946年创建了第一台电子计算机，但他的梦想才能实现，但它促进了与亚里士多德和斯托克逻辑不同的象征性逻辑的发展。象征性逻辑中有三个代表性人物：Boole，Frege和Russell。 1854年，英国数学家和哲学家布尔（Boole）发表了《思维规律研究》，引入了象征性逻辑和布尔逻辑规则，给出了命题计算和零级逻辑系统的基本框架。 1879年，德国数学家，逻辑学家和哲学家弗雷格（Frege）出版了《 《概念文字》一书，该书揭示了引入量词符号来研究现代逻辑的前奏，并提供了一阶逻辑系统。 1903年，由英国数学家和哲学家罗素（Russell）和他的老师怀特海（Whitehead）合着了《数学原理》。这是数学逻辑发展历史上的重要里程碑。它全面，系统地总结了自莱布尼兹以来数学逻辑研究中所取得的主要成就，并为20世纪的数学逻辑发展奠定了基础。本书的主要目的是说明纯数学是从整体逻辑的前提中得出的，并尝试仅使用逻辑概念来定义数学概念，同时试图找到逻辑本身的所有原理，并为基本数学基础提出逻辑主义解决方案。然而，在1931年，奥地利美国数学家，逻辑学家和哲学家戈德尔（Godel）只有25岁，他提出了两个不完整的定理，以实现数学的基础主义计划。他证明，只要任何形式的系统包括对基本数字理论的简单描述，并且必须一致，就必须包含某些系统中允许的方法无法证明或伪造的命题。换句话说，“没有矛盾”和“完整性”不能同时满足！这是举世闻名的“不完整的Godel定理”。戈德尔的定理不完整使数学家的信仰崩溃了两千年，一口气。它告诉我们，“真实”和“可证明”是两个不同的概念。换句话说，“经过验证的内容必须是真实的，但实际上可能无法验证实际情况。”从某种意义上说，这个悖论的阴影将永远与我们同在。 Godel定理不完整的影响甚至远远超出了数学范围。它不仅彻底改变了数学和逻辑，引起了许多具有挑战性的问题，还涉及哲学，语言学，计算机科学甚至宇宙学。自从弗雷格（Frege），罗素（Russell）和英国奥地利哲学家维特根斯坦（Wittgenstein）以来，逻辑的发展对哲学实践，哲学问题的认知本质（例如分析哲学）和数学哲学产生了深远的影响。逻辑，尤其是命题逻辑，在计算机逻辑电路中实现，并已成为计算机科学中最基本的学科。在哲学系中，逻辑经常被教授为基本主题。

第3号

逻辑的本质

逻辑形式是逻辑的核心概念，通常分为命题形式和推理形式。演绎推理和归纳推理是逻辑研究中最重要的两种推理类型。逻辑系统是现代逻辑的主要研究对象，具有一致性，有效性，可靠性和完整性。到目前为止，逻辑的定义尚无共识。本书认为逻辑是推理或论证的科学。此外，逻辑上还有一些竞争定义，例如逻辑是关于思维科学（弗雷格的定义），或者逻辑与判断科学有关（康德的定义），并且两个定义都具有很大的影响。一般来说，“逻辑形式”是逻辑的核心概念。逻辑学家通常认为，论证的有效性是基于其逻辑形式而不是其内容确定的。亚里士多德的三段论和现代符号逻辑是这种逻辑的经典例子，因此这种逻辑通常称为“正式逻辑”。逻辑通常被认为是正式的，其目的是根据论点的形式来判断其有效性。参数表格通过使用形式的语法和逻辑系统的象征表示陈述，以便以形式推断其内容。这是表现论证的众所周知的逻辑形式。由于在日常语言中直接句子的多样性和复杂性，因此在推论中并不容易使用，因此，这种逻辑形式的论证形式是必要的。那么，如何展示论点的逻辑形式？首先，忽略与逻辑无关的语法特征，例如语音，词缀的一部分，并用逻辑语言替换每日语言：例如，替换”和“不仅”和“不仅.”以及其他代表平行，渐进式和遗传关系的连词，例如“所有”或“全部”（x）（x）（x）”（x）”（x）或“（x）”（x）”，“其次，使用示意图符号代替语句的某些组成部分，例如用s代替主题并用P代替对象。对于逻辑，“形式”是一个基本概念，在古老的西方得到认可。在《前分析篇》中，亚里士多德使用变量字母来表达有效的推论。因此，波兰数学家和逻辑学家卢卡西维奇（Lukasivich）认为，变量的引入是“亚里士多德的伟大发明之一”。根据Aristotle的一组追随者（例如Armnius）的观点，只有示意图术语所陈述的逻辑原则属于逻辑，而具有特定术语的逻辑原则不属于逻辑。诸如“人”和“死”之类的特定术语类似于示意占位符的替代价值“ A”，“ B”和“ C”，被称为“推理的“基础”。现代形式逻辑与传统形式逻辑或亚里士多德逻辑之间的根本差异在于，他们处理逻辑命题的分析方法是不同的。根据形式的传统逻辑观点，作为一个简单明了的命题，标准（钝）命题形式由四个部分组成：（1）测量术语，例如“全部”等。（2）主要项目就像“人”。 （3）优惠券，例如“是”。 （4）称为一个术语，例如“死”。因此，我们有一个标准的直率主张，“所有人都会死”。以钝性命题的形式，逻辑常数和逻辑变量之间存在区分，其中逻辑常数包括测量术语（例如“ all”和“ lose”等）和连词项（例如“是”和“否”等）。

对于直率的命题，这是一个固定的模式，每个钝命题都可以标识其测量术语和连词，然后通过这些恒定项来判断命题的逻辑形式。从现代逻辑的角度来看，简单命题的基本形式以递归形式给出，涉及逻辑连词，例如具有约束变量的量化符，这些量子与其他可能并行结构的陈述合并。亚里士多德系统中的简单判断将涉及两个或更多逻辑的连词，现代逻辑观点更为复杂。例如，“每个人都一定要死”的陈述涉及两个非逻辑术语“人”（由“ m”表示）和“由“ d”表示）。通过判断A（m，d）来给出此陈述。在谓词逻辑中，此陈述涉及两个相同的非逻辑概念，在此处分析为m（x）和d（x）（x）（x）（x）（x）。涉及“全名量化”和“印象”的结合。量化量化的推论。

推荐阅读今天

《逻辑学导论》（第二版），由Xiong Minghui Chen Jun Jun-in-Chief Fudan University Press出版社

内容摘要

由于亚里士多德提出了术语逻辑，因此逻辑学家提出了许多类型的逻辑。莱布尼兹（Leibniz）的梦想导致了象征性逻辑的出现，对普遍性和必要性的追求曾经成为逻辑学家的最高目标。 Godel的不完整定理击中了数学逻辑学家。现实生活挑战了数学逻辑学家的理想，并且出现了一群非正式逻辑学家。本书的基本目的是在当代逻辑的简介教科书中反映这种历史背景，并将传统逻辑与现代逻辑，正式逻辑与非正式逻辑，演绎逻辑和归纳逻辑相结合。这本书是第二版《逻辑学导论》。这是基于过去20年的教学实践和最新研究结果的重大修改。它增加了许多客观练*，可以通过“国家高等教育智能教育平台”同时学*（在线课程链接3https://higher.smartedu.cn/course/659f1cf11cf117e038462636 aff36）。本书适合作为基本专业课程教科书的哲学，逻辑和其他专业，也适用于整个学校一般课程的“逻辑简介”教科书。

作者个人资料

男性，哲学博士学位的Xiong Minghui于1968年出生于吉州省Zunyi City的Wuchuan Gelao Miao Autonomous County。国家社会科学基金的主要项目的首席专家。他目前是高江大学（Guanghua）法学院的杰出教授（自由艺术领域的领先人才），智人大学哲学哲学学院的双重招聘教授，Zhejiang大学数字法治实验室的总监数字法少校的辅导小组，智格大学社会科学系学术委员会成员，智吉安格大学广泛法学院学术委员会成员，高级智能系统与推理联合实验室成员（Zlaire）的成员，以及Zhejiang University-Luxuxembourg University ussers of Servers as Serves as Serves and Servers and Servors and Servor and Servor and Servor and Servor and Seriotor and Serioal and Serior and Chiotor and Chiotor and Chiotor and Chiotor and Sercor and Chioal and The Al Cognitive, Sun Yat-sen University, a key research base in humanities and social sciences of the Ministry of Education, a doctoral supervisor of the Department of Law Theory of Sun Yat-sen University, a doctoral supervisor of the International Joint Doctoral Program of "Law, Science and Technology" (LAST-JD-ExtroVerse) of the Law School of Bologna, Italy, and a professor of the "2011 Plan" Judicial Civilization Collaborative Innovation Center of China政治与法律大学。该候选人于2009年被选为“教育部新世纪杰出人才支持计划”，并于2013年为“珍珠河学者”杰出教授选中该候选人。主要兼职社会工作包括：欧盟法律，科学和技术联合博士计划（Last-JD-IROE）的欧洲法律委员会成员的欧洲联盟法律委员会成员，该学院的合作委员会成员，新的LIS范围，新的LIS委员会成员，是新的。论证（包括AHCI，包括AHCI）（2013年），《逻辑学研究》（包括CSSCI）（包括CSSCI）（2007年），国际数字法杂志和治理编辑委员会成员（2024年- 2024年- ），中国逻辑学会副主席（2020年至），中国逻辑专业委员会的副主席，著名的中国逻辑专业委员会主席，涉及中国逻辑委员会的副主席- 2010年，Vice tice the Cice tice the Cice the Vice the Vice-2010- vice-evice to to. 2010-协会（2018年），中国人工智能协会人工智能逻辑专业委员会副主席（2023年- ），中国计算机协会计算法分支机构常务委员会（2021年）。主要研究领域：逻辑（非形式逻辑和法律逻辑），法律理论（法律推理，法律论证和法律方法），数字法（法律人工智能和法律信息学）等。数十本学术论文已发表在重要的国内和外国期刊上，例如逻辑和计算，杂志《中国社会科学》和其他重要的国内外期刊。作者的个人主页：https://person.zju.edu.cn/xiongminghui。

这个问题的编辑|有关Li Yingtong的重印与合作，请联系：liyingtong25@163.com