逻辑学

百科名片

逻辑学，一门研究思维、思维的规定和规律的科学，由亚里士多德创立。

目录[隐藏]

定义

特点

研究对象

研究方法

历史起源

1. 起源于古希腊
2. 宪章成为思想的牺牲品
3. 从思维的表面意义看
4. 思维被认作主体而言
5. 感性事物与思想的区别
6. 精神规定都是简单不相联系的
7. 事物都具有个别性和相互外在性
8. 共同性也是一种普遍性
9. 墨子运用逻辑推论的方法

学科分支

1. 逻辑的特定对象
2. 通过反思才能达到知识
3. 普遍规则
4. 反思作用在活动
5. 普遍是人所不见，只对精神而存在

当代逻辑的新领域--制约逻辑

1. 传统形式逻辑
2. 林邦谨创立了制约逻辑
3. 制约关系就是刻划清楚后的充分条件关系
4. 命题演算 Cm 系统和名词演算 Cn 系统
5. 林邦谨提出了两个独立性

1图书信息

内容简介

2图书信息

内容简介

定义

特点

研究对象

研究方法

历史起源

1. 起源于古希腊
2. 宪章成为思想的牺牲品
3. 从思维的表面意义看
4. 思维被认作主体而言
5. 感性事物与思想的区别
6. 精神规定都是简单不相联系的
7. 事物都具有个别性和相互外在性
8. 共同性也是一种普遍性
9. 墨子运用逻辑推论的方法

学科分支

1. 逻辑的特定对象
2. 通过反思才能达到知识
3. 普遍规则
4. 反思作用在活动
5. 普遍是人所不见，只对精神而存在

当代逻辑的新领域--制约逻辑

1. 传统形式逻辑
2. 林邦谨创立了制约逻辑
3. 制约关系就是刻划清楚后的充分条件关系
4. 命题演算 Cm 系统和名词演算 Cn 系统
5. 林邦谨提出了两个独立性

1图书信息

• 内容简介
• 2图书信息
• 内容简介

　　

[编辑本段]定义

　　逻辑学是研究纯粹理念的科学，所谓纯粹理念就是思维的最抽象的要素所形成的理念。　　〔说明〕在这部分初步论逻辑学的概念里，所包含对于逻辑学以及其他概念的规定，也同样适用于哲学上许多基本概念。这些规定都是由于并对于全体有了综观而据以创立出来的。　　只有思维本身才构成使得理念成为逻辑的理念的普遍规定性或要素。理念并不是形式的思维，而是思维的特有规定和规律自身发展而成的全体，这些规定和规律，乃是思维自身给予的，决不是已经存在于外面的现成的事物。

[编辑本段]特点

　　在某种意义下，逻辑学可以说是最难的科学，因为它所处理的题材，是抽象的感觉表象，是纯粹抽象的东西，而且需要一种特殊的能力和技巧，才能够回溯到纯粹思想，紧紧抓住纯粹思想，并活动于纯粹思想之中。但在另一种意义下，也可以把逻辑学看作最易的科学。因为它的内容不是别的，即是我们自己的思维，和思维的规定，而这些规定同时又是最简单、最初步的，而且也是人人最熟知的，例如：有与无，质与量，自在存在与自为存在，一与多等等。但是，这种熟知反而加重了逻辑研究的困难。因为，一方面我们总以为不值得费力气去研究这样熟悉的东西。另一方面，对于这些观念，逻辑学去研究、去理解所采取的方式，却又与普通人所业已熟悉的方式不相同，甚至正相反。　　逻辑学的有用与否，取决于它对学习的人能给予多少训练以达到别的目的。学习的人通过逻辑学所获得的教养，在于训练思维，使人在头脑中得到真正纯粹的思想，因为这门科学乃是思维的思维。——但是就逻辑学作为真理的绝对形式来说，尤其是就逻辑学作为纯粹真理的本身来说，它决不单纯是某种有用的东西。但如果凡是最高尚的、最自由的和最独立的东西也就是最有用的东西，那么逻辑学也未尝不可认为是有用的，不过它的用处，却不仅是对于思维的形式练习，而必须另外加以估价。

[编辑本段]研究对象

　　第一问题是：什么是逻辑学的对象？对于这个问题的最简单、最明了的答复是，真理就是逻辑学的对象。真理是一个高尚的名词，而它的实质尤为高尚。只要人的精神和心境是健康的，则真理的追求必会引起他心坎中高度的热忱。

[编辑本段]研究方法

　　认知思维为逻辑学的对象这一点，是人人所赞同的。但是我们对于思维的估价，可以很低，也可以很高。一方面，我们说：这不过是一个思想罢了。——这里的意思是说，思想只是主观的，任意的，偶然的，而并不是实质本身，并不是真实的和现实的东西。另一方面，我们对于思想，也可以有很高的估价，认为只有思想才能达到至高无上的存在、上帝的性质，而其感官则对上帝毫无所知。我们说，上帝是精神，我们不可离开精神和真理去崇拜上帝。但我们承认，可感觉到的或感性的东西并不是精神的，而精神的内在核心则是思想，并且只有精神才能认识精神。精神诚然也可表现其自身为感觉（例如在宗教里），但感觉的本身，或感觉的方式是一事，而感觉的内容又是另一事。感觉的本身一般是一切感性事物的形式，这是人类与禽兽所共有的。这种感觉的形式也许可以把握最具体的内容，但这种内容却非此种形式所能达到。感觉的形式是达到精神内容的最低级形式。精神的内容，上帝本身，只有在思维中，或作为思维时，才有其真理性。在这种意义下，思想不仅仅是单纯的思想，而且是把握永恒和绝对存在的最高方式，严格说来，是唯一方式。　　对于以思想为对象的科学，也是和思想一样，有很高或很低的估价。有人以为，每个人无须学习逻辑都能思考，正如无须研究生理学，都能消化一样。即使人研究了逻辑之后，他的思想仍不过与前此一样，也许更有方法一些，但也不会有多大的变化。如果逻辑除了使人仅仅熟习于形式思维的活动外，没有别的任务，则逻辑对于我们平时已经同样能够作的思维活动，将不会带来什么新的东西。其实旧日的逻辑也只有这种地位。此外，一方面，对于人来说，思维的知识即使只是单纯的主观活动也是对他很光荣而有兴趣的事。因为人之所以异于禽兽即由于人能知道他是什么，他作什么。而且另一方面，就逻辑作为研究思维的科学来看（思想既是唯一足以体验真理和最高存在的活动），逻辑也会占有很高的地位。所以，如果逻辑科学研究思维的活动和它的产物（而思维并不是没有内容的活动，因为思维能产生思想，而且能产生它所需要的特定思想），那么逻辑科学的内容一般讲来，乃是超感官的世界，而探讨这超感官的世界亦即遨游于超感官的世界。数学研究数和空间的抽象对象。数学上的抽象还是感性的东西，虽然是没有特定存在的抽象的感性东西。思想甚至于进一步“辞别”〔或脱离〕这种最后的感性东西，自由自在，舍弃外的和内的感觉，排斥一切特殊的兴趣和倾向。对于有了这样基础的逻辑学，则我们对于它的估价，当然会较一般人通常对于逻辑的看法为高。

[编辑本段]历史起源

起源于古希腊

　　起源于古希腊，由亚里士多德提出。　　认识到比起那单纯形式思维的科学具有更深意义的逻辑学的需要，由于宗教、政治、法律、伦理各方面的兴趣而加强了。从前人们都以为思想是无足重轻，不能为害的，不妨放任于新鲜大胆的思想。他们思考上帝、自然和国家，他们深信只是通过思想，人们就可以认识到真理是什么，不是通过感官，或者通过偶然的表象和意见所能达到。当他们这样思想时，其结果便渐渐严重地影响到生活的最高关系。

宪章成为思想的牺牲品

　　传统的典章制度皆因思想的行使而失去了权威。国家的宪章成为思想的牺牲品，宗教受到了思想的打击；许多素来被认作天启的坚固的宗教观念也被思想摧毁了，在许多人心中，传统的宗教信仰根本动摇了。例如在希腊，哲学家起来反对旧式宗教，因而摧毁了旧式宗教的信仰。因此便有哲学家由于摧毁宗教，动摇政治，而被驱逐被处死的事，因为宗教与政治本质上是联系在一起的。这样，思维便在现实世界里成为一种力量，产生异常之大的影响。于是人们才开始注意到思维的威力，进而仔细考察思维的权能，想要发现，思维自诩过甚，未能完成其所担负的工作。思维不但未能认识上帝、自然和精神的本质，总而言之，不但未能认识真理，反而推翻了政府和宗教。因此亟须对于思维的效果或效用，加以辩护，所以考察思维的本性，维护思维的权能，便构成了近代哲学的主要兴趣。

从思维的表面意义看

　　§20试从思维的表面意义看来，则（α）首先就思维的通常主观的意义来说，思维似乎是精神的许多活动或能力之一，与感觉、直观、想象、欲望、意志等并列杂陈。不过思维活动的产物，思想的形式或规定性一般是普遍的抽象的东西。思维作为能动性，因而便可称为能动的普遍。而且既然思维活动的产物是有普遍性的，则思想便可称为自身实现的普遍体。

思维被认作主体而言

　　就思维被认作主体而言，便是能思者，存在着的能思的主体的简称就叫做我。　　〔说明〕这里和下面几节所提出的一些规定，决不可认为是我个人对于思想的主张或意见。但在这些初步的讨论里，既不能说是有严格的演绎或证明，只可算作事实（Eacta）的陈述。换言之，在每个人的意识里，只要他有思想，并考察他的思想，他便可经验地发现他的思想具有普遍性和下面的种种特性。当然，要正确地观察他的意识和他的表象中的事实，就要求他事先对注意力和抽象力具有相当的训练。　　在这初步的陈述里已经提到感觉、表象、与思想的区别。

感性事物与思想的区别

　　这种区别对于了解认识的本性和类别最关紧要。所以这里先将这个区别提出来促使人们注意，以便有助于他们的了解。——要对感性的东西加以规定，自应首先追溯其外在的来源，感官或感觉官能。但是，只是叫出感觉官能的名称，还不能规定感官所感到的内容。感性事物与思想的区别，在于前者的特点是个别性的。既然个别之物（最抽象的个别之物是原子）也是彼此有联系的，所以凡是感性事物都是些彼此相外（Aussereinander）的个别东西，它们确切抽象的形式，是彼此并列（Nebeneinander）和彼此相续（Nacheinander）的。至于表象便以那样的感性材料为内容，但是这种内容是被设定为在我之内，具有我的东西的规定，因而也具有普遍性，自身联系性、简单性。除了以感性材料为内容而外，表象又能以出自自我意识的思维材料为内容，如关于法律的、伦理的和宗教的表象，甚至关于思维自身的表象。要划分这些表象与对于这些表象的思想之间的区别，却并不那么容易。因为表象既具有思想的内容，又具有普遍性的形式，而普遍性为在我之内的任何内容所必具，亦为任何表象所同具。但表象的特性，一般讲来，又必须在内容的个别性中去找。诚然，法律、正义和类似的规定，不存在于空间内彼此相外的感性事物中的。即就时间而言，这些规定虽好似彼此相续，但其内容也不受时间的影响，也不能认为会在时间中消逝和变化。

精神规定都是简单不相联系的

　　但是，这样的一些潜在的精神的规定，在一般表象之内在的抽象的普遍性的较广基地上，也同样地个别化了。在这种个别化的情形下，这些精神规定都是简单的，不相联系的；例如，权利、义务、上帝。在这种情形下的表象，不是表面上停留在权利就是权利，上帝就是上帝等说法上，就是进而提出一些规定，例如说，上帝是世界的造物主，是全知的，万能的等等。象这样，多种个别化的、简单的规定或谓词，不管其有无内在联系，勉强连缀在一起，这些谓词虽是以其主词为联系，但它们之间仍然是相互外在的。就这点而论，表象与知性相同，其唯一的区别，在于知性尚能建立普遍与特殊，原因与效果等关系，从而使表象的孤立化的表象规定有了必然性的联系。反之，表象便只能让这些孤立化的规定在模糊的意识背景里彼此挨近地排列着，仅仅凭一个又（auch）字去联系。表象和思想的区别，还具有更大的重要性，因为一般讲来，哲学除了把表象转变成思想——当然，更进一步哲学还要把单纯抽象的思想转变成概念——之外，没有别的工作。

事物都具有个别性和相互外在性

　　我们在上面曾经指出，感觉事物都具有个别性和相互外在性，这里我们还可补说一句，即个别性和相互外在性也是思想，也是有普遍性的东西。在逻辑学中将指出，思想和普遍东西的性质，思想是思想的自身又是思想的对方，思想统摄其对方，绝不让对方逃出其范围。由于语言既是思想的产物，所以凡语言所说出的，也没有不是具有普遍性的。凡只是我自己意谓的，便是我的，亦即属于我这个特殊个人的。但语言既只能表示共同的意谓，所以我不能说出我仅仅意谓着的。而凡不可言说的，如情绪、感觉之类，并不是最优良最真实之物，而是最无意义、最不真实之物。当我说：“这个东西”、“这一东西”、“此地”、“此时”时，我所说的这些都是普遍性的。一切东西和任何东西都是“个别的”、“这个”，而任何一切的感性事物都是“此地”、“此时”。同样，当我说“我”时，我的意思是指这个排斥一切别的事物的“我”，但是我所说的“我”，亦即是每一个排斥一切别的事物的“我”。

共同性也是一种普遍性

　　康德曾用很笨拙的话来表达这个意思，他说，“我”伴随着一切我的表象，以及我的情感、欲望、行为等等。“我”是一个自在自为的普遍性，共同性也是一种普遍性，不过是普遍性的一种外在形式。一切别的人都和我共同地有“我”、是“我”，正如一切我的情感，我的表象，都共有着我，“伴随”是属于我的东西，就作为抽象的我来说，“我”是纯粹的自身联系。在这种的自身联系里，“我”从我的表象、情感，从每一个心理状态以及从每一性情、才能和经验的特殊性里抽离出来。“我”，在这个意义下，只是一个完全抽象的普遍性的存在，一个抽象的自由的主体。因此“我”是作为主体的思维，“我”既然同时在我的一切表象、情感、意识状态等之内，则思想也就无所不在，是一个贯串在这一切规定之中的范畴。

墨子运用逻辑推论的方法

　　墨子是中国古代逻辑思想的重要开拓者之一。他比较自觉地、大量地运用了逻辑推论的方法，以建立或论证自己的政治、伦理思想。他还在中国逻辑史上第一次提出了辩、类、故等逻辑概念。并要求将辩作为一种专门知识来学习。墨子的“辩”虽然统指辩论技术，但却是建立在知类（事物之类）明故（根据、理由）基础上的，因而属于逻辑类推或论证的范畴。墨子所说的“三表”既是言谈的思想标准，也包含有推理论证的因素。墨子还善于运用类推的方法揭露论敌的自相矛盾。由于墨子的倡导和启蒙，墨家养成了重逻辑的传统，并由后期墨家建立了第一个中国古代逻辑学的体系。

[编辑本段]学科分支

逻辑的特定对象

　　当我们一提到思维，总觉得是指一种主观的活动，或我们所有的多种能力，如记忆力、表象力、意志力等等之一种。如果思维仅是一种主观的活动，因而便成为逻辑的对象，那么逻辑也将会与别的科学一样，有了特定的对象了。但这又未免有些武断，何以我们单将思维列为一种特殊科学的对象，而不另外成立一些专门科学来研究意志、想象等活动呢？思维之所以作为特殊科学研究的对象的权利，其理由也许是基于这一件事实，即我们承认思维有某种权威，承认思维可以表示人的真实本性，为划分人与禽兽的区别的关键。而且即使单纯把作为主观活动的思维，加以认识、研究，也并不是毫无兴趣的事。对思维的细密研究，将会揭示其规律与规则，而对其规律与规则的知识，我们可以从经验中得来。从这种观点来研究思维的规律，曾构成往常所谓逻辑的内容。亚里士多德就是这门科学的创始人。他把他认为思维所具有的那种力量，都揭示出来了。我们的思维本来是很具体的，但是在思维的复杂的内容里，我们必须划分出什么是属于思维本身的或属于思维的抽象作用的。思维的作用，一种微妙的理智的联系，综合其思维所有的内容，亚氏把这种理智的联系，这种思维形式的本身，特别突出起来加以规定。亚里士多德这种逻辑一直到现在还是大家所公认的逻辑，经过中世纪的经院哲学家虽有所推衍，却没有增加什么材料，只是对于原有材料上更加细致的发挥罢了。近代人关于逻辑的工作，可以说主要地一方面是放弃了一些自亚里士多德及经院哲学家所传袭下来的许多逻辑规定，一方面又掺进去许多心理学的材料。这门科学的主旨在于认识有限思维的运用过程，只要这门科学所采取的方法能够适合于处理其所设定的题材，这门科学就算是正确的。从事这种形式逻辑的研究，无疑有其用处，可以借此使人头脑清楚，有如一般人所常说，也可以教人练习集中思想，练习作抽象的思考，而在日常的意识里，我们所应付的大都是些混淆错综的感觉的表象。但是在作抽象思考时，我们必须集中精神于一点，借以养成一种从事于考察内心活动的习惯。人们可以利用关于有限思维的形式的知识，把它作为研究经验科学的工具，由于经验科学是依照这些形式进行的，所以，在这个意义下，也有人称形式逻辑为工具逻辑。诚然，我们尚可超出狭隘的实用观点说：研究逻辑并不是为了实用，而是为了这门科学的本身，因为探索最优良的东西，并不是为了单纯实用的目的。这话一方面固然不错，但从另一方面看来，最优良的东西，也就是最有用的东西。因为实体性的东西，坚定不移的东西，才是特殊目的的负荷者，并可以促进和实现这些特殊目的。人们必不可将特殊目的放在第一位，但是那最优良的东西却能促进特殊目的的实现。譬如，宗教自有其本身的绝对价值，但同时许多别的目的也通过宗教而得到促进和支持。基督说过：“首先要寻求天国，别的东西也会加上给你们。”只有当达到了自它自为的存在时，才可以达到特殊的目的。

通过反思才能达到知识

　　§21（β）在前面我们既认思维和对象的关系是主动的，是对于某物的反思，因此思维活动的产物、普遍概念，就包含有事情的价值，亦即本质、内在实质、真理。〔说明〕在§5里曾提及一种旧信念认为所有对象、性质、事变的真实性，内在性，本质及一切事物所依据的实质，都不是直接地呈现在意识的前面，也不是随对象的最初外貌或偶然发生的印象所提供给意识的那个样子，反之，要获得对象的真实性质，我们必须对它进行反思。惟有通过反思才能达到这种知识。

普遍规则

　　甚至儿童也已经多少学到一些反思的能力。例如，儿童首先须学习如何把形容词和实物名词联接起来。这里他必须注意观察并区别异同。他必须紧记一条规则，并把它应用于特殊事物。这规则不是别的，即是一普遍的东西。儿童也会使特殊东西遵循这个普遍规则。再如在生活中我们有了目的。于是我们便反复思索达到这个目的的种种方法。在这里目的便是普遍，或指导原则。按照目的，我们便决定达到这目的的手段或工具。同样，反思在道德生活里也在起作用。

反思作用在活动

　　在这里反思是回忆正义观念或义务观念，亦即回忆我们须要当作固定的规则去遵循以指导我们在当前特殊情形下的行为的普遍。这个普遍规定必须包含在我们特殊行为里，而且是通过特殊行为可以认识的。又如在我们对自然现象的研究里，也有反思作用在活动。例如我们观察雷和电。这是我们所极熟习的现象，也是我们常常知觉到的事实。但人们对于单纯表面上的熟习，只是感性的现象，总是不能满意，而是要进一步追寻到它的后面，要知道那究竟是怎样一回事，要把握它的本质。因此我们便加以反思，想要知道有以异于单纯现象的原因所在，并且想要知道有以异于单纯外面的内面所在。这样一来，我们便把现象分析成两面（entzwei），内面与外面，力量与表现，原因与结果。在这里，内面、力量，也仍然是普遍的、有永久性的，非这一电闪或那一电闪，非这一植物或那一植物，而是在一切特殊现象中持存着的普遍。感性的东西是个别的，是变灭的；而对于其中的永久性东西，我们必须通过反思才能认识。自然所表现给我们的是个别形态和个别现象的无限量的杂多体，我们有在此杂多中寻求统一的要求。因此，我们加以比较研究，力求认识每一事物的普遍。个体生灭无常，而类则是其中持续存在的东西，而且重现在每一个体中，类的存在只有反思才能认识。自然律也是这样，例如关于星球运行的规律。天上的星球，今夜我们看见在这里，明夜我们看见在那里，这种不规则的情形，我们心中总觉得不敢于信赖，因为我们的心灵总相信一种秩序，一种简单恒常而有普遍性的规定。心中有了这种信念，于是对这种凌乱的现象加以反思，而认识其规律，确定星球运动的普遍方式，依据这个规律，可以了解并测算星球位置的每一变动。同样的方式，可以用来研究支配复杂万分的人类行为的种种力量。在这一方面，我们还是同样相信有一普遍性的支配原则。从上面所有这些例子里，可以看出反思作用总是去寻求那固定的、长住的、自身规定的、统摄特殊的普遍原则。这种普遍原则就是事物的本质和真理，不是感官所能把握的。例如义务或正义就是行为的本质，而道德行为所以成为真正道德行为，即在于能符合这些有普遍性的规定。

普遍是人所不见，只对精神而存在

　　当我们这样规定普遍时，我们便发现普遍与它的对方形成对立。它的对方就是单纯直接的、外在的和个别的东西，与间接的、内在的和普遍的东西相对立。须知普遍作为普遍并不是存在于外面的。类作为类是不能被知觉的，星球运动的规律并不是写在天上的。所以普遍是人所不见不闻，而只是对精神而存在的。宗教指引我们达到一个普遍，这普遍广包一切，为一切其他的东西所由以产生的绝对，此绝对也不是感官的对象，而只是精神和思想的对象。　　§22（γ）经过反思，最初在感觉、直观、表象中的内容，必有所改变，因此只有通过以反思作为中介的改变，对象的真实本性才可呈现于意识前面。　　凡是经反思作用而产生出来的就是思维的产物。例如，梭伦为雅典人所立的法律，可说是从他自己的头脑里产生出来的。但反之另一方面，我们又必须将共体〔如梭伦所立的〕这些法律，认作仅仅的主观观念的反面，并且还要从这里面认识到事物本质的、真实的和客观的东西。要想发现事物中的真理，单凭注意力或观察力并不济事，而必须发挥主观的〔思维〕活动，以便将直接呈现在当前的东西加以形态的改变。这点初看起来似乎有些颠倒，而且好像违反寻求知识的目的。但同样我们可以说唯有借助于反思作用去改造直接的东西，才能达到实体性的东西，这是一切时代共有的信念。到了近代才有人首先对于此点提出疑问，而坚持思维的产物和事物本身间的区别。据说，事物自身与我们对于事物自身的认识，完全是两回事。这种将思想与事物自身截然分开的观点，特别是康德的批判哲学所发挥出来的，与前些时代认为事情（Sache）与思想相符合是不成问题的信心，正相反对。这种思想与事情的对立是近代哲学兴趣的转折点。但人类的自然信念却不以为这种对立是真实的。在日常生活中，我们也进行反思，但并未特别意识到单凭反思即可达到真理；　　我们进行思考，不顾其他，只是坚决相信思想与事情是符合的，而这种信念确是异常重要。但我们这时代有一种不健康的态度，足以引起怀疑与失望，认为我们的知识只是一种主观的知识，并且误认这种主观的知识是最后的东西。但是，真正讲来，真理应是客观的，并且应是规定一切个人信念的标准，只要个人的信念不符合这标准，这信念便是错误的。反之，据近来的看法，主观信念本身，单就其仅为主观形式的信念而言，不管其内容如何，已经就是好的，这样便没有评判它的真伪的标准。——前面我们曾说过，“人心的使命即在于认识真理”，这是人类的一个旧信念，这话还包含有一层道理，即任何对象，外在的自然和内心的本性，举凡一切事物，其自身的真相，必然是思维所思的那样，所以思维即在于揭示出对象的真理。哲学的任务只在于使人类自古以来所相信于思维的性质，能得到显明的自觉而已。所以，哲学并无新的发明，我们这里通过我们的反思作用所提出的说法，已经是人人所直接固有的信念。　　§23（δ）反思既能揭示出事物的真实本性，而这种思维同样也是我的活动，如是则事物的真实本性也同样是我的精神的产物，就我作为能思的主体，就我作为我的简单的普遍性而言的产物，也可以说是完全自己存在着的我或我的自由的产物。　　〔说明〕我们常常听见为自己思考的说法，好像这话包含有重大的意义似的。其实，没有人能够替别人思考，正如没有人能够替别人饮食一样。所以这话是重复的。在思维内即直接包含自由，因为思想是有普遍性的活动，因而是一种抽象的自己和自己联系，换言之，就思维的主观性而言，乃是一个没有规定的自在存在，但就思维的内容而言，却又同时包含有事情及事情的各种规定。因此如果说到哲学研究上的谦逊或卑谦与骄傲，则谦逊或卑谦在于不附加任何特殊的特质或行动给主观性，所以就内容来说，只有思维深入于事物的实质，方能算得真思想；就形式来说，思维不是主体的私有的特殊状态或行动，而是摆脱了一切特殊性、任何特质、情况等等抽象的自我意识，并且只是让普遍的东西在活动，在这种活动里，思维只是和一切个体相同一。在这种情形下，我们至少可以说哲学是摆脱掉骄傲了。

[编辑本段]当代逻辑的新领域--制约逻辑

传统形式逻辑

　　(传统逻辑与现代逻辑的有机结合)　　二千三百年前，古希腊的伟大思想家亚里士多德(Aristotelés　前384 — 前 322年)以《工具论》创立了传统形式逻辑，为逻辑发展史树起了第一座丰碑。从19世纪中叶到20世纪初，经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗索等人接连不断的努力，吸收莱布尼兹的成果，建立了后来作为电子计算机理论基础的“正统数理逻辑”的观代公理系统，这是逻辑学发展史上的第二座里程碑。

林邦谨创立了制约逻辑

　　1968年，中国形式逻辑研究会理事、北京开关厂工程师林邦谨创立了一门新的逻辑学说 —— 制约逻辑，向前两座丰碑提出了挑战。1978年，在我国逻辑学界元老沈有鼎教授的举荐下，经华裔美籍逻辑学家王浩教授推荐，林邦谨在美国数学会刊物《文摘》上发表论文《制约逻辑简介》。1985年12月，林邦谨的专著《制约逻辑》在国内正式出版。制约逻辑独树一帜，震动了逻辑学界，引起了国内外学者的关注。　　制约逻辑是传统的形式逻辑与正统数理逻辑(现代逻辑)有机结合的产物，它运用现代逻辑提供的严格精密的数学方法，去构造一个能确切地体现传统形式逻辑的深刻正确的主导思想的非正统的逻辑制约系统。林邦谨认为，传统形式逻辑密切结合人类普通思维和自然语言实际，把从已知进入未知的推理格式作为自己的主要研究对象，坚持贯彻不许循环论证，这是它的深刻而正确的主导思想。但它对一些极简单的推理却不能从理论上加以分析，演算技术也十分简陋、陈旧，远不能满足现代的需要。正统数理逻辑系统地采用了现代数学方法，论证严谨，演算精密，但它却舍弃了推理格式中起决定作用的非数学的逻辑含义这一精髓，将其处理成真值函数、个体 — 真值函数关系，因而远离了传统形式逻辑的主导思想。林邦谨大胆地综合融汇了上述两种逻辑的优点而摈弃二者之缺陷，创造出自外于传统两家的新逻辑体系 ——制约逻辑学说，即继承形式逻辑的正确主导思想和有效的推理格式，并采用数理逻辑所提供的数学方法来处理科学研究和社会生活中的各种逻辑问题。它是久盛不衰的传统形式逻辑的现代发展。

制约关系就是刻划清楚后的充分条件关系

　　制约逻辑学说指出，制约关系就是刻划清楚后的充分条件关系。制约关系事实上构成了传统形式逻辑中可据以进行不循环论证的推理格式的理论核心：推理式的前后件之间必定满足普遍有效的制约关系，而在前件或后件中也必定出现制约关系。制约逻辑体系由语义学、语构学、语用学三者组成。制约逻辑语义学研究客观世界的逻辑结构和逻辑规律，而以其中的客观的制约关系和有关制约关系的客观的逻辑规律为主要研究对象。制约逻辑语构学研究刻划客观的逻辑结构和规律的表意的人工符号的机械的排列结构和变形规则。制约逻辑语用学研究在指谓同一的原则下符号语言与自然语言的互相翻译。总的说来，制约逻辑所研究的领域是：观实世界对象域上的个体、集、一元或多元函数、一元：或多元关系、关系间的直值函数关系、关系间的充分条件 ( 即制约 ) 关系，和上述种种关系的客观规律，以及它们在意识中的反映 —— 概念 ( 词 ) 、命题和推理。其中，制约 ( 充分条件 ) 关系为研究核心。

命题演算 Cm 系统和名词演算 Cn 系统

　　林邦谨在深入分析人类普通的逻辑思维实际的基础上，运用数理逻辑的演算技巧，提出了命题演算 Cm 系统和名词演算 Cn 系统。 Cm 中的“制约”命题夕 p → q 跟 p 和 q 的真假共有七种， p → q 也获得三真四假的纪录。这，点与莱维斯 (Lewis) 的严格蕴涵一致。但 Cm 跟莱维斯的模态系统是有区别的。 Cm 系统有以下主要特征： (1) 在 Cm 中，所谓“必然”，并非某二命题的性质，而只能是两个命题间的联系。 p → q 表示 p 和 q 之间有某种 " 必然 "联系。 (2) 除了为一般模态系统所避免的象 p → (q → p) 等著各的蕴涵怪论以外， Cm 还避免了象 T p → q 这一类最难避免因而为一般模态系统所容纳的蕴涵怪论。 (3) 跟一般模态系统不同， Cn有象 [p → (q → r)] → [q → (p → r)] 这一类公式。 (4) 相当于在一般形式逻辑书中列出的传统命题逻辑推理式的定理它都具有。 (5) 没有象 T (pVq)—>q 这一类公式。 (6) 凡是在传统形式逻辑中看起来好像是用了相当于被 Cｍ排除了的二值系统中的定理的地方， Cm 都有很好的处理方法。　在Ｃｍ系统的基础之上建立的 Cｎ系统，只是扩充形式语言（引八个体变元、函数词和谓词），而不用量词。这样不仅在技巧上可避免拿有量词的形式系统所不可避免的许多麻烦，使演算的进程原则上是命题演算，而且更接近于普通逻辑思维实际。同时， Cｎ系统将对解决判定问题提供明朗的前景。

林邦谨提出了两个独立性

　　林邦谨在演绎推理问题上提出了两个独立性，具有逻辑性质“ 可独立于前后件的真假确定不会是前真而后假”的制约式定理称为第一独立性。具有逻辑性质“可在无需确定后件为真的情况下确定前件为真”的推理式定理称为第二独立性。“两个独立性”是为在论证中出现的推理式所必具的确保论证不循环的逻辑精髓。这是深刻的逻辑理论观点。国内外一些专家学者认为制约逻辑在学术和科学实践等方面有重大的意义： (1) 它可以分析、处理一系列逻辑史上迄今争论不休、久悬末决的难题。对命题的真假对错、主词存在、宾词周延和演绎推理能否推出新知，已证明的结论是否已证实，以及在数学史上引起第三次数学危机的悖论等问题，都可能给出确定的解决。 (2) 以它为逻辑基础建立的初等数论的形式系统 N ，当 Cn 。的判定问题一经解决，就可能为最终解决哥德巴赫猜想提供新的思路。这种数论系统还可能满足相容性和完全性 ( 与哥德尔不完全定理正好相反 ) ． (3) 制约逻辑形式化公理系统，为计算机语言创造了符号语言体系。以它作为计算机科学的逻辑理论基础，可为研究、设计新兰代的内涵智能机；软件可靠性确认、程序正确性证明等方面提供新的途径。 (4) 以它来分析科学理论和科学创造中的逻辑机制，可使科学工作者掌握有效而实用的科学方法。　　国际逻辑学界和计算机学界对制约逻辑理论非常敏感。当林邦谨的简短论文《制约逻辑简介》在美国刚发表不久，联邦德国和加拿大的大学就积极组织专家研究班进行翻译和讨论，他们认为林邦谨“构造的这种逻辑体系是重要的，因为这种逻辑与计算机，科学，特别是‘判定程序'关系密切”。美国数学会秘书长利弗库博士推荐《制约逻辑》英文摘要给下届国。际逻辑讨论会。第八届。国际逻辑讨论会第一副主席、奥地利兰兹堡大学教授瓦因加特纳博士正式邀请林邦谨参加 1987 年在莫斯科举行的国际逻辑学术会议，并将作专题发言。在国内，林邦谨的制约逻辑现已引起学术界注意，国家科委于 1986 年在清华大学组织了高层次研讨班对制约逻辑进行剖析、探讨。　　对《制约逻辑》的批评也是较尖锐、激烈的（郭世铭、董亦农：评《制约逻辑》中的几个形式系统，《自然辩证法通讯》 1987， No．3)。他们认为制约逻辑的 Cm 系统与二十几年前国外发表的相干逻辑的命题演算 R 系统形式等价，而 R 是不可判定的，那么 Cn 系统亦就是不可判定的 ( 林邦谨认为Cm 和 Cn 是可判定的）。即使假若 Cn可判定， Cn 的判定方法用到数论系统Ⅳ上去也无济于事， 因为一阶数论是不能有穷公理化的，因此要想在 Cn 基础上构造一个满足完全性的初等数论的形式系统N来解决哥德巴赫猜想等问题，是完全不可能的。 Cm 没有语义学，更无语义可靠性和完全性。 Cn 无法定义“必然”、“可能”这类概念。 Cn 没有实用价值，不可能证明任何一个有意义的必然命题和可能命题。N系统既不一致，也无足够的表达能力，当然也不可能完全，而且没有可判的公理集。N系统无法定义“整数”、“素数”、“减”之类的基本数论概念，无法表示象歌德巴赫猜想这类的命题。因此，N系统是一个罕见的百病缠身的系统。　　那么,制约逻辑何处为真理，何处是谬误；对它的学术性地位将怎样做成历史性的评价；究竟会有多大作为；是不是逻辑学上的一次革命；它能否经受得住社会实践的考验；相信时间终将会给予我们确切的答案。　　普通逻辑学　《普通逻辑学》是一门关于思维的基本形式、思维方法及其发展规律的科学。通过学习此课程，使学生系统地理解和掌握普通逻辑学的基本概念、基本原理和推演技巧，提高思维的准确性和敏捷性，增强语言的表达能力和论辩能力，以及初步具有运用逻辑知识解决实际问题的能力，并为进一步学习其他专业知识提供必要的逻辑工具。

[编辑本段]1图书信息

　　书 名: 逻辑学　　作　者：程树铭　　出版社： 科学出版社　　出版时间： 2009年09月　　ISBN: 9787030252968　　开本： 16开　　定价: 26.00 元

[编辑本段]内容简介

　　《逻辑学》在选材上兼顾了逻辑基本原理和批判性思维知识。在逻辑基本原理方面，系统地介绍了概念、命题、推理、逻辑规律、逻辑方法、逻辑谬误等；在批判性思维知识方面，详细地介绍了假设、推断、支持、削弱、评价、解释等题型及其解析方法。　　《逻辑学》可作为高等学校逻辑学课程的教材使用，也适合报考GCT、MBA、MPA人员学习选用。

[编辑本段]2图书信息

　　书 名: 普通逻辑学(修订版)　　作　者：姜成林　　出版社： 中央广播电视大学出版社　　出版时间： 1999　　ISBN: 9787304018177　　开本： 32　　定价: 14.00 元

[编辑本段]内容简介

　　中央广播电视大学中文、法律、经济等系的专业基础课。全书包括：一、引论；二、概念；三、简单判断及其演绎推理（一）；四、简单判断及其演绎推理（二）；五、复合判断及其演绎推理（一）；六、复合判断及其演绎推理（二）；七、模态判断及其演绎推理；八、归纳推理；九、类比推理、回溯推理和假说；十、普通逻辑学基本规律；十一、论证等十一章内容。根据不同专业特点，编写了密切联系中文、法律、经济专业内容的学习指导书（包括练习题）。使学生通过阅读教材、电视讲授、面授辅导和做练习，能比较系统地理解和掌握普通逻辑学的基本概念、基本原理和推演技巧，提高思维的准确性和敏捷性，增强语言的表达能力和论辩能力，以及初步具有运用逻辑知识解决实际问题的能力，并为进一步学习其他专业知识提供必要的逻辑工具。　　3 图书信息　　书 名：逻辑学　　作 者：杨树森　　出版社：高等教育出版社　　出版时间：2010年4月　　书 号：ISBN 978-7-04-028974-9　　开 本：850×1168 1/32（大32开）　　字 数：34万　　印 张：13.5 （连目录432页）　　定 价：21.40元　　内容简介：　　本书是为高等学校非哲学专业编写的逻辑学教材,是逻辑学的入门读本。全书用通俗易懂的语言和贴近现实生活的实例,系统阐述逻辑学的基本原理,注重培养学生的创新精神和逻辑观念,力图提高学生的逻辑思维能力、正确表达思想的能力和分析问题解决问题的能力。为便于教学和自学,每章都有“本章内容概要”和“练习与思考”,并在书末附有各章练习题参考答案。　　本书可用作中文、政教、法律、新闻、秘书、经济、管理、教育等专业的专业基础课教材,也可用作高校素质教育公共通识课教材。　　作者介绍　　杨树森,1948年出生,安徽郎溪人,中国逻辑学会第五届理事,安徽师范大学文学院教授。长期在高校从事逻辑学教学和研究,出版有逻辑学论著数部,发表论文100余篇。参加国家“十五”、“十一五”规划教材《逻辑学教程》(高等教育出版社1999初版、2004再版)的编写,独撰的《普通逻辑学》(安徽大学出版社2001)在国内逻辑教学领域产生广泛影响。　　出版前言　　在联合国教科文组织的学科分类中,数学、逻辑学、物理学、化学、天文学、地学、生命科学并列为七大基础学科,逻辑学作为一门工具性学科差不多与数学一样重要。人文学者则将教人求真的逻辑学、教人求善的伦理学、教人求美的美学并列为哲学二级学科,这说明逻辑学又属于典型的人文科学。在西方发达国家和我国港台地区，逻辑学都是大学生必修的课程,相比较而言，我国大陆高校对逻辑学的重视程度远远不够。　　自20世纪70年代末以来,我国逻辑学界同仁为提高逻辑学在国民教育中的地位、提高国民的逻辑素养和思维品质,做出了许多艰苦的努力和有益的探索。但是,关于我国高等学校逻辑课程的教学体系,逻辑学界并没有取得一致意见。目前各高校使用的逻辑学教材在内容取舍、体例编排、对数理逻辑知识的处理等许多方面存在着很大差异。有的教材因“内容陈旧”而遭到诟病,另一些教材则因“内容艰深”而让读者望而生畏。　　本书是为适应高校非哲学专业“逻辑学”基础课和素质教育“逻辑学”通识课的教学编写的教材。作者认为，要让教育主管部门、高校和院系领导重视逻辑这门课,要让逻辑学教师安心于教授逻辑这门课,要让大学生和各界青年乐于学习逻辑这门课,要让整个社会认识到逻辑学兼具基础工具学科和重要人文学科的巨大价值,作为高校各专业通用的逻辑学教材必须做到科学、实用、易学好教。作者在这三个方面都作了力所能及的努力。在科学性方面,本书注意弥补传统逻辑的某些明显不足,吸收了逻辑学界许多新的研究成果,使整个体系更趋完整、严密、科学,经得住实践的检验和理论的推敲。在实用性方面,本书力争使课程内容能够解决日常思维和语言表达中绝大多数逻辑问题,特别注重培养学生的创新精神和逻辑观念，力图提高学生的逻辑思维能力、正确表达思想的能力,以及运用逻辑知识分析问题、解决问题的能力。在易学好教方面,本书保持了传统逻辑贴近普通思维和自然语言的优点,对许多传统逻辑中没有涉及而日常思维和语言表达中需要应用而新知识(大多为数理逻辑和现代归纳逻辑的成果),也主要用自然语言“不露痕迹”地加以引进,而避免使用文科学生和一般读者感到陌生的专门数学符号,使读者不必借助数学知识也能享受现代逻辑的研究成果。　　完成一定数量的练习是学好逻辑学的必要条件,为此本书每章都附有较大分量的练习和思考题。考虑到逻辑学作为公共通识课的课时十分有限,而教师通常是大班上课,很难有足够的时间和精力对众多学生作具体的解题指导,我们在书末“附录”中提供了各章练习与思考题的参考答案。需要注意的是，参考答案是供同学们在独立思考完成习题后参照比对以检查自己学习效果的；如果不动脑筋不认真做练习而直接查找答案,就失去了练习和思考题的作用,也辜负了作者精心设计练习和思考题的一片苦心。　　作者在高校从事逻辑学教学和研究已近30年，这30年也是我国逻辑学界探索逻辑教学改革之路的30年。本书是作者近30年从事逻辑教学和研究的结晶,也是对高校逻辑学教材改革作出的一个新的尝试。限于作者水平,本书不足之处在所难免，恳请逻辑学界同仁、使用本教材的老师、学生以及其他读者朋友对本书提出宝贵意见。　　在写作中，作者吸收了逻辑学界同仁的许多研究成果,在此表示由衷的谢意。　　作 者 2010年1月

扩展阅读：

1.http://www.ilucking.com/book/DA037046/

开放分类：

逻辑学，形式逻辑，数理逻辑，当代逻辑，制约逻辑

[我来完善] “逻辑学”相关词条：

更多数学天文物理经济学生物学政治学药学预测学语言学元素科学技术哲学公安学基础理论科学哲学 东方哲学 马克思主义哲学原理 认知科学 马克思哲学 中国哲学 秘书学 政治经济学 哲学原理 社会学 自然哲学 情报学 西方哲学 美学 中国哲学史 军事科学 行政学 思辨哲学 思维科学 本体 法哲学 传播学 心理学 知识论 马克思主义哲学 人性论 宗教学 本体论 精神哲学 价值论 形而上学 现代西方哲学 宇宙论 马克思主义 自然神学 历史学 非是非非 王学鸿 仰绍其 个人与社会 平方根 余数

“逻辑学”在汉英词典中的解释(来源：百度词典)：

1.logic

百度百科中的词条内容仅供参考，如果您需要解决具体问题
（尤其在法律、医学等领域），建议您咨询相关领域专业人士。本词条对我有帮助1025

• 分享到i贴吧
• 添加到搜藏

• 分享到新浪微博
• 分享到豆瓣网

合作编辑者

gdjyibu 、hainida 、huyan_2009 、ilucking 、轻韵筑雪 、千里航船 、且听浅唱低吟 、bhd555 更多如果您认为本词条还需进一步完善，百科欢迎您也来参与编辑词条在开始编辑前，您还可以先学习如何编辑词条

如想投诉，请到百度百科投诉中心；如想提出意见、建议，请到百度百科吧。

百科四周年之百科名片

• 无排名竞争，有积分即可换奖
• 有徽章升级，炫徽章新玩法
• 看新增好礼，多劳多得，积分累计

特别提示：系列活动最后一波，冲刺拿奖不能错过！#usertaskstatus {line-height:22px;}#usertaskstatus .task-list{ margin-bottom:10px}#usertaskstatus .task-list li{background:url(http://img.baidu.com/img/baike/active/0613/list.gif) no-repeat 0 6px;padding-left:12px;font-size:14px;}#usertaskstatus .task-list li span{ color:#c91001; font-weight:bold;}#usertaskstatus .t-award{color:#e96602;font-weight:bold;}#usertaskstatus .special-tips{border:1px solid #daeffd; background:#fafdff; padding:8px; padding-right:0; margin:10px auto 0}#usertaskstatus .st-tit{background:url(http://img.baidu.com/img/baike/active/0613/gift.gif) no-repeat 0 1px; padding-left:22px; font-size:14px; font-weight:bold; color:#3579b1; }

词条统计

浏览次数：约 219850次
编辑次数：28次 历史版本
最近更新：2010-06-15
创建者：jabx

最新动态

百科也爱世界杯：

百科消息：

百度百科权威合作

百科个人中心改版后华丽登场

编辑器V3.0重装升级

百科分类管理员主页

我的船长我的船--船长的航海日志

推广链接 逻辑,日本ROHM高品质
提供IC,分立式半导体,光学器件,无源元件,模块等电子零件,以及实..
www.rohm.com.cn/
买《逻辑学》来当当网
当当网 最新低价,全场2折起!在线购买,送货上门,让买书变得很轻松.
www.DangDang.com