逻辑学概述形式化推理基础推理题举例 [复制链接]

科学Sciences导读：介绍语言文字运用、自然语言处理、知识工程和设计开发中的逻辑学基础知识和习题。其中基本概念，如逻辑学、逻辑学专业、逻辑推理、递归、递推、循环、迭代、遍历等。

逻辑学概述、形式化推理基础、推理题举例(字)

目录

A逻辑学(字)

1.定义和释义

2.研究对象和内涵(?对象?内涵)

3.性质(?基础性?工具性?全人类性)

4.基本作用

5.国内逻辑学专业和主干课程

6.学习意义

7.产生与发展

8.研究方法

9.理论意义

B黑格尔《逻辑学》目录与形式化推理知识(字)

1.黑格尔《逻辑学》目录

2.逻辑学推理初步简介

C逻辑学推理题(字)

Part1.啥是逻辑

Part2.关键词(基础的基础)

Part3.充分条件，必要条件，逆否命题

Part4.推理规则

Part5.矛盾关系

Part6.反对关系

参考文献(字)

Appx(字).数据简化DataSimp社区简介

A逻辑学(字)

逻辑学[luójixué](哲学分支学科)

文

百度百科，数据简化DataSimp?Sat

逻辑学是一个哲学分支学科。哲学二级学科·逻辑学是对思维规律的研究。逻辑和逻辑学的发展，经过了具象逻辑—抽象逻辑—具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。

逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性；思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。

图1：逻辑学图册

1.定义和释义

逻辑学是研究思维规律的学问。逻辑和逻辑学的发展，经过了具象逻辑—抽象逻辑—具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。[1-11]中文名：逻辑学，外文名：Logic。

逻辑学有广义和狭义之分。狭义的逻辑学指：研究推理的科学，即只研究如何从前提必然推出结论的科学。广义的逻辑学指：研究思维形式，思维规律和思维的逻辑方法的科学。广义逻辑学研究的范围比较大，是一种传统的认识，与哲学研究有很大关系。整个逻辑学科的体系非常庞大复杂，如：传统的、现代的和辩证的、演绎的、归纳的和类比的、经典的和非经典的，等等。但是，它再庞杂也有相通的地方，例如：构建判断的方法；进行必然性推理；认同逻辑真理或逻辑规律等。

逻辑学作为一门科学的逻辑，是既古老又年轻的。历史悠久，源远流长。它有三大源泉：古希腊的形式逻辑，中国先秦的名辩逻辑，古印度的因明。[12]

逻辑学是一门基础性的学科，逻辑学的基本理论是其他学科普遍适用的原则和方法。同时逻辑学又是一门工具性的学科，它为包括基础学科在内的一切科学提供逻辑分析、逻辑批判、逻辑推理、逻辑论证的工具。

例如，所有语言都是传递信息的，汉语是一种语言，所以，汉语是传递信息的。

在这个论断中，“所有”，“语言”，“传递信息”，“是”，“一种”，“汉语”等是概念。由概念组成的语句，如“所有语言都是传递信息的”等等的内容称作判断。而由判断组成的论断称作推理。

思维的这几种基本形式又由其构成的元素和其联结方式(结构)不同而形成各种不同的亚形式，我们把这类亚形式，即思维内容各组成部分(或元素)的联结方式(即结构)，称作思维的逻辑形式(或思维的形式结构)。

例如，所有股票都是有价格的；所有生物都是进化的；所有法律都是具有强制性的。

这三个判断所表达的思想内容是不同的，它们分别陈述了经济学、生物学和法学领域不同对象所具有的某种属性，但是它们在结构上却是相同的，我们说它们具有相同的逻辑形式。我们用“S”表示每个判断中所陈述的对象，用“P”表示对象所具有的属性。于是，上述三个判断的共同逻辑形式是“所有S都是P”，它是判断形式中的一种类型。

再如，

1)如果温度升高，那么分子的布郎运动就会加快。如果温度升高了，所以，分子的布郎运动会加快。

2)如果两个角是对顶角，那么这两个角就相等。这两个角是对顶角，所以，这两个角相等。

我们用“p”表示“如果”后面的判断，用“q”表示“那么”后面的判断。于是，上述两个内容不同的论断，却有着共同的逻辑形式：如果p，那么q；p，所以，q。这也是推理形式的一个种类。

从上述分析可看出，每一种逻辑形式都包含逻辑常项和变项。逻辑常项是指同类逻辑形式中不变的部分。如上例中的“所有，都是”和“如果，那么”等。逻辑常项决定各种逻辑形式的性质，是区别不同逻辑形式的依据。变项是逻辑形式中的可变部分，即用拉丁字母表示的那部分。它们可以用相应的具体概念或判断代入。前例中的“S”和“P”是概念变项，它们可以代入任意概念;前例中的“q”和“p”是判断变项，也可代入任意判断。

逻辑学研究概念、判断和推理，不研究具体的思维内容，而是暂时抛开具体内容，研究其逻辑形式及各种逻辑形式之间的关系。

2.研究对象和内涵(?对象?内涵)

2.1对象

逻辑学是关于推理和论证的科学，它的主要任务是提供识别有效的推理、论证与无效的推理、论证的标准，并教会人们正确地进行推理和论证，识别、揭露和反驳错误的推理和论证。

逻辑学是一门关于推理或论证的学问。它主要研究推理的有效性或正确性问题。推理的有效性或正确性是指推理形式的有效性或正确性，因此，逻辑学的主要研究对象是推理形式及其规律。

逻辑学的主要任务是系统地研究正确推理的形式及其规律，为判定推理形式是否正确提供判定方法或检验程序，为有效推理提供推导规则或推导方法。法律逻辑是一门逻辑学与法学交叉的学科，是一门以法律推理为主要研究对象的学科。它主要研究法律推理的规律、规则和方法。它是一门尚处创建阶段且正在迅速发展的学科。

2.2内涵

逻辑学是研究推理和论证的学问。然而，推理论证广泛地渗透在人们的认知思维活动之中，逻辑学不可能并且也不需要研究推理论证的所有方面。逻辑学的研究目的是将正确的推理同错误的推理、可靠的论证同不可靠论证区分开来。[13]

正确推理又被称作有效推理。一个推理是有效的，那么在推理中，作为前提的语句真时作为结论的语句不可能假，不会出现前提真结论假的情况。论证则主要是由推理构成的。一个论证是可靠的首先要求构成论证的推理是有效推理。因此从狭义上讲，逻辑学是以推理的有效性及其根据为研究对象的。

一个推理实际上是一个语句的集合，但是这并不意味任意语句集合都可以表达一个推理。一个语句集合表达推理首先要求作为集合元素的语句必须表达的是命题。

命题是描述事件的，一个命题所描述的如果符合事实，它就是真的，如果不符合事实，它就是假的。因此，一个语句表达命题则它或者是真的或者是假的，无所谓真假的语句不表达命题。例如语句“王武当时在案发现场吗？”是一个疑问，它表达的是对某情况的疑问，无所谓真假，因此我们说它不表达命题。

而语句“王武当时在案发现场。”是一个陈述句，它所陈述的若符合事实它就是真的，否则就是假的。因此该语句表达一个命题。

一般来说·，只有陈述句才有真假，因此只有陈述句表达命题。这就意味着一个推理首先是一个陈述句的集合。

但是，我们不能由此就推论所有陈述句的集合都可以表达推理。如果一个陈述句集合表达推理，那么我们就可以把作为该集合元素的语句区分为两部分，即区分为前提和结论。凡是不能做出这种区分的语句集合就不是推理。如下是两个不同的陈述句集：

(1)“张珊是中国公民；张珊已年满18岁；凡是年满18岁的中国公民都有选举权；所以，张珊有选举权。”

(2)“张珊是中国公民；张珊已年满18岁；张珊有选举权。”

这里的(1)表达一个推理，它的前三个语句是前提，因为它们都出现在语词“所以”前面，最后一个语句则是结论，因为它出现在语词“所以”的后面。就是说凡是表达推理的语句集合中一定包含有特殊的语词，如“所以”、“因为”、“因此”等等。根据这些语词我们区分出前提与结论。而(2)中没有这样的语词，它就仅仅是一个陈述句集合而不是一个推理。

由上述分析我们看到：推理不仅是由命题构成的，并且在推理中还包含有“所以”、“因为”、“因此”等特殊语词，根据这些语词我们可区分出推理中哪些命题是前提，哪个命题是结论。

然而，“所以”、“因为”等这些语词的重要性并不仅仅在于可以根据它们区分推理的前提和结论，而且还在于它们描述了一种推导关系，即作为结论的命题是由前提推导出来的，结论是否为真或者说是否可靠依赖于前提。

因此，推理的实际上描述的是作为前提的命题同作为结论的命题之间的一种逻辑关联性。那么前提和结论之间具有怎样的联系才能保证推理是正确的呢？要说明这个问题，我们就必须对推理的构成要素——命题进行分析。

命题作为人们能完整表达思想的最基本单位，是人们的所有思维活动认识活动都必需的东西。而所有科学理论都表现为命题的集合。从这个意义上讲，各个学科的理论研究都是在分析命题。逻辑学对命题的分析研究与其它学科不同，它是围绕着如何理解把握推理的有效性及其根据等问题来展开分析研究的。它