第1个回答 2007-11-19
逻辑学是研究纯粹理念的科学，所谓纯粹理念就是思维的最抽象的要素所形成的理念。由亚里士多德创立。
我们可以说逻辑学是研究思维、思维的规定和规律的科学。但是只有思维本身才构成使得理念成为逻辑的理念的普遍规定性或要素。理念并不是形式的思维，而是思维的特有规定和规律自身发展而成的全体，这些规定和规律，乃是思维自身给予的，决不是已经存在于外面的现成的事物。
对于以思想为对象的科学，也是和思想一样，有很高或很低的估价。有人以为，每个人无须学习逻辑都能思考，正如无须研究生理学，都能消化一样。即使人研究了逻辑之后，他的思想仍不过与前此一样，也许更有方法一些，但也不会有多大的变化。如果逻辑除了使人仅仅熟习于形式思维的活动外，没有别的任务，则逻辑对于我们平时已经同样能够作的思维活动，将不会带来什么新的东西。其实旧日的逻辑也只有这种地位。此外，一方面，对于人来说，思维的知识即使只是单纯的主观活动也是对他很光荣而有兴趣的事。因为人之所以异于禽兽即由于人能知道他是什么，他作什么。而且另一方面，就逻辑作为研究思维的科学来看（思想既是唯一足以体验真理和最高存在的活动），逻辑也会占有很高的地位。所以，如果逻辑科学研究思维的活动和它的产物（而思维并不是没有内容的活动，因为思维能产生思想，而且能产生它所需要的特定思想），那么逻辑科学的内容一般讲来，乃是超感官的世界，而探讨这超感官的世界亦即遨游于超感官的世界。数学研究数和空间的抽象对象。数学上的抽象还是感性的东西，虽然是没有特定存在的抽象的感性东西。思想甚至于进一步“辞别”〔或脱离〕这种最后的感性东西，自由自在，舍弃外的和内的感觉，排斥一切特殊的兴趣和倾向。对于有了这样基础的逻辑学，则我们对于它的估价，当然会较一般人通常对于逻辑的看法为高。
就思维被认作主体而言，便是能思者，存在着的能思的主体的简称就叫做我。
这里和下面几节所提出的一些规定，决不可认为是我个人对于思想的主张或意见。但在这些初步的讨论里，既不能说是有严格的演绎或证明，只可算作事实（�Eacta）的陈述。换言之，在每个人的意识里，只要他有思想，并考察他的思想，他便可经验地发现他的思想具有普遍性和下面的种种特性。当然，要正确地观察他的意识和他的表象中的事实，就要求他事先对注意力和抽象力具有相当的训练。
林邦谨在演绎推理问题上提出了两个独立性，具有逻辑性质“ 可独立于前后件的真假确定不会是前真而后假”的制约式定理称为第一独立性。具有逻辑性质“可在无需确定后件为真的情况下确定前件为真”的推理式定理称为第二独立性。“两个独立性”是为在论证中出现的推理式所必具的确保论证不循环的逻辑精髓。这是深刻的逻辑理论观点。国内外一些专家学者认为制约逻辑在学术和科学实践等方面有重大的意义： (1) 它可以分析、处理一系列逻辑史上迄今争论不休、久悬末决的难题。对命题的真假对错、主词存在、宾词周延和演绎推理能否推出新知，已证明的结论是否已证实，以及在数学史上引起第三次数学危机的悖论等问题，都可能给出确定的解决。 (2) 以它为逻辑基础建立的初等数论的形式系统 N ，当 Cn 。的判定问题一经解决，就可能为最终解决哥德巴赫猜想提供新的思路。这种数论系统还可能满足相容性和完全性 ( 与哥德尔不完全定理正好相反 ) ． (3) 制约逻辑形式化公理系统，为计算机语言创造了符号语言体系。以它作为计算机科学的逻辑理论基础，可为研究、设计新兰代的内涵智能机；软件可靠性确认、程序正确性证明等方面提供新的途径。 (4) 以它来分析科学理论和科学创造中的逻辑机制，可使科学工作者掌握有效而实用的科学方法。
国际逻辑学界和计算机学界对制约逻辑理论非常敏感。当林邦谨的简短论文《制约逻辑简介》在美国刚发表不久，联邦德国和加拿大的大学就积极组织专家研究班进行翻译和讨论，他们认为林邦谨“构造的这种逻辑体系是重要的，因为这种逻辑与计算机，科学，特别是‘判定程序'关系密切”。美国数学会秘书长利弗库博士推荐《制约逻辑》英文摘要给下届国。际逻辑讨论会。第八届。国际逻辑讨论会第一副主席、奥地利兰兹堡大学教授瓦因加特纳博士正式邀请林邦谨参加 1987 年在莫斯科举行的国际逻辑学术会议，并将作专题发言。在国内，林邦谨的制约逻辑现已引起学术界注意，国家科委于 1986 年在清华大学组织了高层次研讨班对制约逻辑进行剖析、探讨。