论逻辑的本质与逻辑学分类标准20140422.docVIP

[2007人文学术研究，吉林人民出版社，2007（238-243）] 论逻辑的本质与逻辑学分类标准 张寅生 　（中国科学技术信息研究所，北京复兴路15号，100038， e-mail: zhangyinsheng@） 摘要:本文认为，在本质上，逻辑是若干要素的多级组合规则，即若干要素的不同组合导致（对应）若干要素的不同组合结果，因此它是人的思维和计算机运行所共有的特征。在这个定义下，本文分析了逻辑学分类的原则，即：逻辑学的分类应该以组合要素的类别不同而分类，该分类接受了目前通行的逻辑学分类标准。 关键词:逻辑的定义，逻辑学分类，排列和组合，机器的逻辑 On Essence and Classification of Logic Zhang Yinsheng 1 1 Institute of Science Technology Information of China, No.15 Fuxing Road, Beijing，100038 e-mail: zhangyinsheng@, zhangyinshengnet@ Abstract. The author alerts that the essence of logic is the rules on combination and permutation, so it is the general characters both for human and computers. Under the definition, the author analyzed classification of logic. Keywords: definition of logic, classification of logic, combination and permutation, logic for machine 一、关于逻辑学定义的回顾 “逻辑”一词虽然诞生在古希腊，但是作为学科的称谓，实际上在近代１７世纪才被学术界广泛接受。一般认为，亚里士多德是西方逻辑学奠基人，亚里士多德在著述其在今天称为逻辑学的奠基作--------关于三段论的著作《工具论》时并未将其知识列为“逻辑”的称呼下。今天称为“逻辑”的知识体系西方在近代之前一般称为“辨证法”，它不太严格地指谓关于思维的方法，主要思维规则，特别是论证的规则。１７世纪的《波尔·罗亚尔逻辑》一书对于将研究包括亚里士多德在内的今天称之为逻辑学的内容称为“逻辑”起到了决定性的作用，但是该书的作者安托万·阿尔诺和皮埃尔·尼古拉在“逻辑”概念下仍然指谓思维的方法和规则，不是今天通常意义理解的逻辑学。将“逻辑”定义为今天意义的逻辑的人是康德，它确定了逻辑是研究形式化的概念和推理的规则的，这与今天的理解是大致一致的。1 因此可以看出，与许多学科一样，逻辑学的定义至今并不是唯一并被非常普遍接受的。虽然有多种关于逻辑的定义，但是，显然，从康德以来对逻辑这个词汇所指谓的对象是有确定的特征的。 下述定义是有代表性的： 例1：逻辑是关于有效推理的条件或正确推理的结构和原则的研究。2 例2：（逻辑是）一门以推理形式为主要研究对象的科学。3 例3：逻辑学是研究证明和反驳的方法的科学。4 上述对于逻辑的定义在本质上并无二致。它似乎是可以接受的，但是，当出现下列一些情况时，我们不得不对这些逻辑的定义产生了怀疑。 对于计算机科学而言，我们熟悉逻辑运算，主要的运算是“与”(∧)、“或”(∨)和“非”(～)运算。其中“或”运算规则如下： 例4： 当A=0,B=0时，A∨B=C=0； 当A=0,B=1时，A∨B=C=1； 当A=1,B=0时，A∨B=C=1； 当A=1,B=1时，A∨B=C=1。 我们称A∨B=？的求解过程为逻辑运算，但是为什么这个运算被称之为“逻辑的”运算呢？其中有推理过程吗？ 例4的四句话虽然可以理解为推理规则，即将每一句的结构理解为“当……时, 则……”的结构，如当A=0,B=0时，则A∨B=0。这是一个假言推理的结构（在计算机科学中的产生式结构），但是我们在本例中所指的逻辑不是一个假言推理的结构（我们指谓“或”逻辑，而不是假言推理的逻辑！）。显然我们所指的是A和B不同赋值的组合的结果。因此，在我们称之为“逻辑”的研究对象实际上已经超出了推理形式或方法。 还有一个使用“逻辑学”这一术语的例子是德国古典主义哲学家黑格尔所说的逻辑学。黑格尔把他的学说命名为逻辑学，但是，一般的哲学史家并不认为他的学说是逻辑学。奇怪的是，哲学史家却不解释为什么他的学说不是逻辑学。显然，需要一种说明，以说明黑格尔所指谓的