逻辑学和小逻辑区别范文1
关键词：中国古代逻辑；西方古代逻辑；“思维中的逻辑”；逻辑；“悖”；反证法
中图分类号：B81-092 文献标识码：A 文章编号：1003—0751（2013）01—0117—05
近读中国古代逻辑史著名专家孙中原教授《中国逻辑研究中的几个问题求解》一文（以下简称“孙文”）①，发现有一些问题。由于这些问题关系到中国古代逻辑史研究的重大原则问题，特撰写此文，将我对这些问题的主要看法加以论述，以就正于我的老友孙中原教授及中国逻辑学界诸同仁。
一、中国逻辑（学）与西方逻辑（学）的同与异
“孙文”说：“不能说‘中国逻辑与西方逻辑有本质上的共同性（共性、普遍性）外，还有本质上的不同性（个性、特殊性）’。”又说：“说‘不同民族有不同的逻辑’，‘中国逻辑与西方逻辑除有本质上的共同性（共性、普遍性）外，还有本质上的不同性（个性、特殊性）’都是虚假命题。”我们认为，首先必须把存在于人类逻辑思维中的逻辑（可简称为“思维中的逻辑”）和由逻辑学家对“思维中的逻辑”进行研究、总结形成的“逻辑”加以严格区分。②前者乃是人类通过长期的实践，逐渐正确地认识了客观世界的某些最一般的性质和关系（如：客观事物在相对稳定状态下都具有一定的质的规定性，决不可能既具有某种性质，同时又不具这种性质；类与类之间的相容或不相容的关系，等等。当人们遵守这些事物的一般性质和关系时实践就可能成功，反之，则一定失败），从而在进行思维时，能够逐渐不自觉地遵守客观事物的这些最一般的性质和关系。这样，也就是客观事物的某些最一般的性质和关系，逐渐反映到人类的思维中，成为人类逻辑思维中的逻辑规律和思维形式（亦即人类逻辑思维中的逻辑——“思维中的逻辑”）。后者乃是人类经过长期的发展，逐渐地由不自觉的逻辑思维发展到自觉的逻辑思维，这样就会有一些逻辑学家对人类思维中的某些逻辑规律和思维形式，进行科学总结，从而形成一定的逻辑知识或逻辑系统——这就是逻辑（逻辑学）。③存在于人类逻辑思维中的“思维中的逻辑”和存在于一定逻辑著述中的“逻辑”既有一致性（逻辑学是从“思维中的逻辑”中总结出来的，二者当然有一致性），也有一定的根本差别：“思维中的逻辑”乃是人类思维对客观世界某些最一般的性质和关系的正确反映。全世界事物的一般性质和关系、全人类的认识器官是一致的，决定了全人类的“思维中的逻辑”也是一致的。但是逻辑学则不然，由于人类不同民族科学发展水平和科学研究重点的不同，特别是在古代，世界各民族呈隔绝状态，各民族、国家在逻辑研究方面基本不可能相互交流，因此，各民族、国家逻辑学的内容、体系必然存在重大的差异。
从“孙文”的论述上看，他显然是把上述两者“思维中的逻辑”和“逻辑学”加以混淆了。试看“孙文”下面的话：“同样是人类，有同一本性、同一认识器官（眼耳鼻舌身和大脑），面对同一世界，必然拥有同一逻辑……”显然，“孙文”说的同一“逻辑”指的乃是“思维中的逻辑”。如上所说，由于客观事物规律和人类思维器官的一致性，“思维中的逻辑”的同一性乃是必然的。但是，全人类“思维中的逻辑”的同一性，决不意味着全人类各个民族、国家之间逻辑学也是同一的、无差别的。而事实也正是这样。例如，中国古代逻辑（存在于墨家辩学、荀子、公孙龙名学之中）和西方古代逻辑（如：亚里士多德逻辑）之间就存在着根本的差别：前者所讲述的推理形式主要是类似于“类比推理”的“推类推理”，而推类推理属非必然性推理、归纳推理，逻辑学者对之也无符号公式的刻画。严格来讲，中国古代逻辑还未形成一个完备的逻辑系统。后者讲述的推理形式则主要是三段论。三段论乃是必然性推理、演绎推理，亚里士多德对之进行了符号公式的刻画。亚氏三段论逻辑已经初步形成了完备的逻辑系统。不仅如此，即使中、西古代逻辑所论述的是同一个逻辑规律，其论述的具体内容、方式方法和学术水平也还是有根本差别的。试以矛盾律为例：众所周知，中国古代具体论述矛盾律的有墨家的《墨经》和韩非的《难一》。前者的内容是：“（辩）或谓之牛，或谓之非牛，是争彼也。是不俱当，不俱当，必或不当，不当若犬。”④后者的内容是：“楚人鬻盾与矛者，誉之曰：‘吾盾之坚，物莫能陷也。’又誉其矛曰：‘吾矛之利，于物无不陷也。’或曰：‘以子之矛，攻子之盾何如？’其人弗能应也。夫不可陷之盾与无不陷之矛，不可同世而立。”⑤而西方古代具体论述矛盾律的是亚里士多德，他是这样说的：“相反叙述不能同时两都真实。”因为，“同样属性在同一情况下不能同时属于又不属于同一主题”，“任何事物不可能在同时既是而又非是”。⑥试将上述中西古代逻辑关于矛盾律的论述相比，不难看出两者在论述的表现形态和科学的深刻程度上都是有本质的差别的。其实，关于中西古代逻辑的这种根本差别，“孙文”也是不得不承认的。“孙文”不是也说“西方逻辑是系统、发达、完善和典型的逻辑系统……中国古代逻辑系统、发达、完善和典型的程度，远逊于西方逻辑”吗？！
“孙文”说“中国逻辑与西方逻辑除有本质上的共同性（共性，普遍性）外，还有本质上的不同性（个性，特殊性），都是虚假命题”。我们认为，恰恰相反，“孙文”的这种说法违背辩证法关于事物类与类之间“本质”的“同一性”与“差别性”的关系的原理，因而乃是错误的。
什么是事物的“本质”？事物的本质就是决定该事物之所以为该事物以及该事物之所以不同于其他事物的性质。例如：“人”的本质就是“能够制造生产工具的动物”，亦即凡是具有“能够制造生产工具的动物”这种性质的都是“人”，而凡是不具有“能够制造生产工具的动物”的性质的就不是人。根据事物之间的本质的相同和相异，就构成了世界上类与类之间相同或相异的关系。根据辩证法的观点，类与类之间的这种“同”、“异”关系乃是相对的，不是绝对的。例如，“男人”和“女人”，由于两者都具有“人”的共性（能够制造生产工具的动物），因而同属于“人”一类，又由于两者各自具有“男性”与“女性”的根本特性，因而又分别属于“男人”和“女人”不同的类。扩而大之，世界上的各种事物之间既可以由于具有这样或那样的共同性质，而同属于这样或那样的类，又可以由于具有这样或那样的不同性质，又分别属于这样或那样的类。这也就是说，世界上事物之间或事物的类与类之间既具有“同一性”，又具有“差别性”。这就是事物同、异关系的辩证法。我国古代的辩证法家惠施说：“大同而与小同异，此之谓小同异，万物毕同毕异，此之谓大同异。”⑦讲的就是这个道理。
懂得了事物同、异关系的这种辩证法，那么中、西古代逻辑的“共同性”和“差别性”的道理也就很清楚了。中、西古代逻辑具有共同性：它们研究的对象都是人类思维中的逻辑——存在于人类思维中的思维形式及其规律，这些思维形式及其规律都是客观事物最一般的性质和关系的正确反映。中、西古代逻辑也有其差别性：两者所研究的思维形式及其规律的重点不同，刻画这些思维形式及其规律的方式、方法不同，成熟程度、科学水平不同，当然还有语言形式不同。这就是二者在本质上有所不同的所在。
二、“孙文”的有关论述完全无法证明中、西
古代逻辑只有共同性，没有不同性
“孙文”认为中、西古代逻辑只有本质上的共同性，没有本质上的不同性。“孙文”对此又是如何论述的呢？试看“孙文”：
从墨子活动的公元前5世纪，到《小取》产生的公元前3世纪，时代跨度200年。在当时的百家争鸣中，出于论证说服的需要，墨子具体、形象、生动地说明议论中自相矛盾的荒谬和背理，创造性地使用各种比喻。
《公孟》载墨子说：“教人学而执有命，是犹命人包而去其冠也。”“执无鬼而学祭礼，是犹无客而学客礼，无鱼而为鱼罟（网）也。”《非攻上》载墨子批评攻国者“小为非，则知而非之，大为非攻国，则不知非，从而誉之，谓之义”是自相矛盾……
我们认为，上述所引《公孟》、《非攻》中墨子所讲的话，只说明当时的墨子已经是一个自觉的逻辑思维者，也已经意识到“自相矛盾”乃是错误的，并以揭露论敌的自相矛盾驳倒对方。但是“孙文”的这种论述完全不能证明中、西古代逻辑只具有同一性而无差别性。因为，墨子这里只有对矛盾律的运用，而无对矛盾律本身的论述。因此，这些谈话根本谈不上中国古代的逻辑科学问题，自然也谈不上中、西古代逻辑的同、异问题。“孙文”说：
墨子率先在辩论中总结出元语言语义概念“悖”，表示对方自相矛盾，荒谬和背理。《耕柱》载墨子说：“世俗之君子贫而谓之富则怒，无义而谓之有义则喜，岂不悖哉……
《墨经》熟练运用“悖”概念和归谬法，反驳百家争鸣中的自相矛盾议论。《经下》说：“以言为尽悖，悖，说在其言。”即“一切言论是虚假的”自相矛盾，论证的理由，在于“一切言论是虚假的”本身是言论……
亚里士多德《形而上学》批评克拉底鲁论点“一切命题是假的”：“说一切为假的人就使自己也成为虚假的。”
古希腊有“说谎者”悖论。克里特岛人爱庇门德说：“所有克里特岛人说的话都是谎话。”如果这句话真，由于它是克里特岛人说的话，则这句话本身是谎话，即假……
“说谎者”悖论，后表述为“我说的这句话假”，这是典型的语义悖论：由真推假，由假推真。悖论是矛盾的恒假命题。语义悖论是涉及语言意义、断定和真假概念的悖论。中国、印度、西方三大逻辑传统，对语义悖论有相同思考的事实，是对中西逻辑同一性的证明。
我们认为，“孙文”所说中、西逻辑传统对语义悖论有相同思考这一论断是不符合事实的。首先，“孙文”对上述引文中“悖”这一语词的语义解释是不准确的。什么是悖？悖即悖谬，是错误、荒谬的意思，不应该把“悖”解释为“自相矛盾”。试看《墨经》中《经说下》对《经下》“以言为尽悖，悖。说在其言”一句话的解释：“悖，不可也。之人之言可，是不悖，则是有可也。之人之言不可，以审必不当。”这话是说，所谓悖，就是谬误。如果这人说的这句话正确，这句话就不是谬误，那么就是存在有不谬误的言论了。如果这人说的这句话不正确，对这句话加以审视（把这句话和天下的言论相对照），就必然会发现它的错误。我国中逻史著名专家周云之著《墨经校注·今译·研究——墨经逻辑学》一书中对《经下》这句话中“悖”这个司的解释也是：“悖：谬也，错也。”⑧再看《墨经》中另一处有关“悖”的论述：“《经下》假必悖，说在不然。”《经说下》对其中“假必悖”的解释则是：“假必非也而后假”，也就是说，“悖”是“非也”，亦即“谬误”的意思。所以，“以言为尽悖，悖，说在其言”准确的解释应该是：“认为‘一切言论是虚假的”，是虚假的，理由在于这句话本身也是言论”，而不应该像“孙文”那样解释为：“‘一切言论是虚假的’自相矛盾”。当然，“孙文”作者可以认为，《经下》作者之所以认为“以言为尽悖”，悖（错了），是因为他认识到“以言为尽悖”这句话是自相矛盾的。但是，《经下》作者认识到“以言为尽悖”自相矛盾是一回事，“以言为尽悖，悖”中后一个“悖”字是不是“自相矛盾”的意思是又一回事。决不能因为《经下》作者认识到“以言为尽悖”这句话自相矛盾，就把“以言为尽悖，悖”解释为“一切言论是虚假的，自相矛盾”。更何况，这种解释把“以言为尽悖，悖”中的前一个“悖”字解释为“虚假的”，后一个“悖”字解释为“自相矛盾”，本身也就是一种自相矛盾呢。其次，也不能把“以言为尽悖”这样的语句简单地称为“语义悖论”。“以言为尽悖”和西方的“所有克里特岛人说的话都是谎话”一样，充其量只能算是“半个悖论”。因为，悖论不仅要由其真可以推其假，还应该可以由其假推其真，而“以言为尽悖”和“所有克里特岛人说的话都是谎话”都不能由其假推其真。在西方就有人发现了这个问题，公元前4世纪麦加拉学派的欧布里德就把“所有克里特岛人说的话都是谎话”改为“我说的这句话是假话”。这句话是可以由真推假和由假推真的，乃是典型的悖论式语句。然而在中国古代就没有哪一位学者将“以言为尽悖”进一步修改为完整的悖论式语句。仅此一点就足以证明，在中国古代人们只是把这句话作为一个自相矛盾的谬论看待的，并没有真的把它作为什么“悖论”来研究的。进一步说，“以言为尽悖”不过是一个悖论式语句，并非就是有关悖论的逻辑理论。悖论、语义悖论的逻辑理论乃是近、现代西方逐步形成的逻辑学的一个新的科学分支——逻辑哲学的科学内容，它包括悖论的本质（悖论的定义、公式以及它究竟是逻辑矛盾还是辩证矛盾等）、悖论的分类、消解悖论的方法等等丰富的内容。⑨悖论式语句与悖论逻辑理论根本不同，前者只是可以供后者研究的对象，没有前者固然不会有后者，但有了前者却未必就有后者。在中国古代仅仅有悖论语句（何况还只是“半个”呢），并没有悖论的逻辑理论。因此，仅就中、西古代都存在这类语句来说，根本就不存在中、西古代逻辑的对比问题，更不能因此断定中、西古代逻辑只有同一性而无差别性。“孙文”说：
墨子率先在辩论中总结出元语言语义概念“悖”，表示对方自相矛盾、荒谬和背理……《贵义》载墨子说：世之君子，使之为一犬一彘之宰，不能则辞之。使为一国之相，不能而为之，岂不悖哉？用“悖”概念揭示对方自相矛盾、荒谬和背理，以驳倒对方，即归谬法。
我们认为，“孙文”把《贵义》所载墨子的话“世之君子……岂不悖哉”说成是“用‘悖’概念揭示对方自相矛盾、荒谬和背理，以驳倒对方，即归谬法”是不恰当的。人所共知，归谬法是一种假言推理形式——假言推理否定后件式。正像“孙文”自己文中所说，该推理形式具有“如果P则q；非q；所以非P”这样的结构，而“世之君子……岂不悖哉”一句话根本不是推理，而是由两个具有矛盾关系的命题的合取命题的否定命题。这一命题形式的公式应是：（P∧P）。如果把“使之为一犬一彘之宰，不能则辞之”作为假言命题，这一命题形式的公式当为：（（Pq）∧（Pq））。这一命题形式的公式结构和归谬法推理形式的公式结构显然不同，怎么能说它就是归谬法呢？当然，归谬法在否定后件从而否定前件时运用了矛盾律，墨子的上述命题中也运用了矛盾律（对两个相互矛盾命题的合取命题进行否定运用了矛盾律）。但决非凡是运用矛盾律（揭露对方自相矛盾）的就是归谬法。
我们认为，退一步说，即使墨子在论辩中使用了归谬法，也完全不足以证明中、西古代逻辑只有同一性，没有差异性。因为，使用归谬法，只说明墨子逻辑思维的自觉性，说明中、西思维中的逻辑的同一性，并不足以说明墨子对归谬法的逻辑理论有所创造，因而也完全涉及不到中、西逻辑的同、异问题。
三、研究中国古代逻辑的基本道路和指导思想
对于我国古代逻辑的研究，我国逻辑界有这么两派人士，一派人认为只有西方逻辑是逻辑，中国古代逻辑根本不是逻辑。他们对中国古代逻辑的“研究”，就是以西方逻辑为标准，认为既然中国古代逻辑与西方逻辑不同，因此，中国古代逻辑就不是逻辑。因此，中国古代无逻辑。他们实际上是中国古代逻辑的虚无主义者。另一派是肯定中国古代逻辑的存在，但是他们只承认全世界逻辑科学的同一性，完全否定中国古代逻辑的特殊性。他们对中国古代逻辑的研究，就是以西方逻辑为唯一标准，用西方逻辑改造中国古代逻辑——以西方逻辑为框架，把中国古代逻辑的内容生硬地填入这种框架中。这两派人物的观点表面上看来很对立——一派否定中国古代逻辑的存在，一派肯定中国古代逻辑的存在，但实质上却是一样：通过他们对中国古代逻辑的研究，抹杀中国古代逻辑的实际存在。我个人对这两派都持否定态度。我认为，研究中国古代逻辑，既要承认它与西方逻辑的同一性，又要承认它与西方逻辑的区别性。研究中国古代逻辑，当然可以借鉴西方逻辑，但决不是要以西方逻辑为指导、方法来改造中国古代逻辑。研究中国古代逻辑必须以马克思主义的辩证唯物主义和历史唯物主义为指导、方法，要揭示它与西方逻辑的同一性，更要充分揭示它与西方逻辑的差异性。要掀开其古代语言的面纱，用现代语言给予恰当的解释，从而全面地、准确地总结出其逻辑的实际内容。
“孙文”说：“当中国走向现代化……的近现代，中国古代逻辑研究，必然以弘扬西方逻辑为主轴，以传承中国古代逻辑为辅助。”我们认为，当今我国走向现代化之机，研究中国古代逻辑，决不能以弘扬西方逻辑为主轴，而是要以弘扬我国古代文化为主轴（中国古代逻辑是中国古代文化的重要内容），从而更好地传承我国优秀的传统文化，发展我国新时代的中国特色社会主义的新文化。当然，研究中国古代逻辑以传承中国文化为主轴，决不意味着拒斥西方逻辑。发展新时代的中国文化也是以汲取、引进西方科学文化为前提的。但汲取西方文化，决非是以西方文化为主轴，用西方文化来改造中国文化，使中国文化西方化。这是要切切牢记的！
逻辑学和小逻辑区别范文2
论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：P或者非P中不管变项P赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：A、B是逻辑真命题，那么A并且B、如果A那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。超级秘书网
逻辑学和小逻辑区别范文3
论文关键词:逻辑真理;真理符合论
论文摘要:逻辑学是研究推理的一门学问,而推理是由概念、命题组成的,不懂得命题就不懂得推理。普通逻辑学在研究命题时,主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵,同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的:
(一)前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的,在这里真或假不是用以描述事物状态的,而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的,例如:“台湾不是一个主权国家。”这个命题的内容是符合客观事实的,所以是个真命题。
(二)推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真,归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
(三)指派真和赋值真。在逻辑学中(特别是在现代逻辑中)把命题形式当作真值形式,而且只从真假的角度研究每一种命题形式的逻辑特征,真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假,这时的真假和具体命题内容的真假无关,而只是一种假定的真假和根据这种假定而推论出的真假。
(四)形式真。这是指永真式(重言式)或普遍有效式的真。逻辑学中有一类公式,对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真,例如:P或者非P中不管变项P赋真值或是假值,这个公式都是真的。
(五)系统真。现代逻辑建立了形式系统,如果它的定理都是形式真,即都是永真公式或是普遍有效式,那么整个系统便是可靠的和一致的,这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下,逻辑学不考虑第一种意义的“真”,而只关注后四种“真”。后四种“真”在逻辑学中有各种表现,在其他科学中也有这些意义上的真的表现,就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理,是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真,它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为:全部哲学特别是近代哲学的重大基本问题,是思维与存在的关系问题。它包括两个方面的问题,一方面是思维与存在何者为本原的问题;另一方面是思维和存在有无同一性的问题,也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看,其重大的基本问题就是逻辑与客观现实的关系问题,任何逻辑学家都要回答:逻辑真理是否与客观现实一致?逻辑真理与事实真理之间又有什么关系?
关于这个理论问题,亚里士多德在其所着《形而上学》一书中明确提出并详细论述了逻辑基本规律(矛盾律与排中律)。在谈到矛盾律时认为,事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律,是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性,其根据就是真理符合现实的理论,即所谓真理符合论。它在解释真与假这对概念时说,凡以不是为是、是为不是者,这就是假的;凡以实为实、以假为假者这就是真的。按照真理符合论,一切真理必需与现实一致,逻辑真理也不能例外。可见亚里士多德的真理观,是唯物主义的一元论,这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性,却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题,对亚里士多德的真理一元论提出了挑战。他认为有两种真理:即推理的真理和事实的真理。推理的真理是必然的,事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验,它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点,就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立,在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断;分析判断是绝对独立于一切经验的知识,即先天知识。例如:“白人是人”就是分析判断,在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后,逻辑哲学领域中出现了维特根斯坦学派,即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果,发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论,使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真,由此他断言,重言式既不能为经验所证实,同样的也不能为经验所否定,也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来,凡是先天的都是分析的;反之,凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条:分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为,哲学家们常常区分两类真理,某些陈述的真理是逻辑的、必然的、根据意义而定的,另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理,后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念,他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样,必需与客观现实相符合或者相一致,在形式语言中,一个语句是不是逻辑真理,取决于它是不是在每一种解释下都成为真语句;同时一个语句在某一解释下是否为真,取决于它在这一解释下,是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句,与它们所描述的客观现实之间的符合关系,这说明它的逻辑真理或者分析真理并非先验的真或者先天的真,它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论,表明一切真理包括事实真理和逻辑真理,它们的共同特征就是必需与客观现实相符合。
综上所述,我们可以看出亚里士多德提出的真理符合论,肯定了逻辑真理与存在规律的一致性,但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为,逻辑真理和现实绝对无关,与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础,而且只能以形式语言来构造,这种观点有一定的局限性。
马克思主义认识论认为,真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出,人的实践经过千百万次的重复,它在人的意识中以逻辑的格固定下来,而最普遍的逻辑格,就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系,是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的,事实真是基础,逻辑真是建立在事实真基础之上的,二者是一致的,但是逻辑真理与任何具体的经验事实无关。
第一,逻辑系统的公理和定理的真是逻辑系统设定,其为真的根据是某种初始的逻辑关系。第二,逻辑公理和定理经过解释的真命题,其为真不取决于解释中的内容,而取决于这些公理、定理所显示的逻辑关系。第三,逻辑推断关系这种推论的结论真是一种逻辑关系真。第四,根据逻辑联系词的性质,由逻辑真得到逻辑真。如:A、B是逻辑真命题,那么A并且B、如果A那么B都是逻辑真命题。第五,数学中的逻辑真命题,是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真,在这一点上我们可以说,在局部意义上,相对于特定的逻辑系统而言,逻辑真理可以说是分析的,是以逻辑意义为根据的,而与任何具体的经验事实无关。
逻辑学和小逻辑区别范文4
关键词: 哲学逻辑;逻辑哲学;词义;辨析
从20世纪50年代开始,哲学逻辑和逻辑哲学的研究在国际哲学界、逻辑学界蓬勃兴起,国内逻辑学界也于上世纪80年代开始,介绍、引进国外哲学逻辑和逻辑哲学的研究成果,目前对哲学逻辑与逻辑哲学的研究,从总体上讲,国内仍处于消化、吸收并尝试进行创造性研究阶段。哲学逻辑和逻辑哲学这是两门密切相关的学科,二者都是现代哲学与现代逻辑相互渗透的产物,但它们是两门不同的学科,有着不同的研究对象与范围。然而,由于“哲学逻辑”至今是一个充满歧义的词,不同的学者对它有不同的理解,并在很不相同的意义上使用它,冠以“哲学逻辑”之名的书籍五花八门,因而,和逻辑哲学在词义上发生了混乱。为了进一步推动哲学逻辑与逻辑哲学的研究,促进这两门新兴学科的确立与完善,因此,有必要对哲学逻辑的精确涵义及与逻辑哲学的关系作一番梳理与辨析。
一 哲学逻辑词义的 历史 演变
最早[论\文\网 lunwennet\com]明确使用“哲学逻辑”一词的是英国著名数学家、哲学家、逻辑学家罗素。他在《我们关于外在世界的知识》一书(1929)中,指出:“数理逻辑,除了它的初创形式之外,就连最现代的形式也不直接具有哲学上的重要意义。在初创以后,它就属于数学而不属于哲学了。我将要扼要论述的,是数理逻辑的初创形式,只有这个部分才真正称得上哲学逻辑。往后的 发展 ,尽管没有直接的哲学意义,但是对哲学研究有很大的间接用处。”①他还认为,哲学逻辑的真正对象乃是为各种命题和推理所共有的逻辑形式,哲学逻辑乃是对逻辑形式的研究。以往的哲学由于被语言表面的语法形式所蒙骗,未能认清其隐藏着的真正的逻辑形式,而犯了许多重大的哲学错误。
可见,罗素对“哲学逻辑”一词的词义只给予了初步界定,而未加阐释。后来的英国著名学者斯特劳森赋予了“哲学逻辑”以明确的含义。1967年,斯特劳森编辑出版了一本题为《哲学逻辑》的文集,该文集收入了弗雷格、格拉斯等学者的相关 论文 ,他为此书撰写了一长篇序言,在序言中,斯特劳森阐述了他对哲学逻辑的观点。他把整个逻辑领域区分为两部分:“逻辑是关于命题的一般理论。它有形式的部分和哲学的部分。”分别叫形式逻辑和哲学逻辑。在他看来,形式逻辑研究命题之间的可演绎关系或蕴涵关系,它要以系统的方式排列有关这种蕴涵关系的各种 规律 ;而哲学逻辑则要研究形式逻辑产生的哲学背景和哲学预设,以及由此引出的一系列哲学问题,例如: 究竟什么是命题? 说一个命题为真是什么意思? 命题联结词的准确性质,特别是出现在条件命题中的蕴涵的准确性质是什么? 意义概念应当怎样加以分析? 真理概念和分析性概念应当怎样加以分析? 指称和述谓( ( predica2tion)的区别与联系是什么? 哲学逻辑学家要回答这些问题,就必须回答有关语言和各种语言表达式的性质与功能等问题。因此,需要进一步研究这样一些问题:实际的言语活动模式;意义理论;语言交际的特性与条件,等等。②
很明显,在斯特劳森那里,“哲学逻辑”其实质不是逻辑,而是某种形式的哲学,是对与逻辑有关的哲学概念和哲学问题的仔细探究,它的成果和方法有直接或,间接的哲学意义。在斯特劳森观点的影响下,英国哲学家大都在哲学意义上使用了“哲学逻辑”一词。例如,格雷林在《哲学逻辑引论》一书中指出:“哲学逻辑是哲学,尽管它是提供逻辑学知识,对逻辑问题很敏感的哲学,但它是哲学。”他甚至认为,在“哲学逻辑”这一名词中,“逻辑”这一字眼的作用会引人误解,因为,哲学逻辑并不是关于逻辑的,也不是逻辑学。正是基于这些看法,格雷林的《哲学逻辑引论》所研究的主要是:命题;必然性、分析性与先验性、存在、预设与摹状词、实在论与反实在论, ③等等。与格雷林同为英国牛津大学讲师的沃尔夫拉姆在1989年出版的《哲学逻辑导论》一书中,沃尔夫拉姆也阐述了他对哲学逻辑的看法。在他看来,哲学逻辑是关于论证、意义与真理的研究,它的主题与形式逻辑相关,但其研究对象不同,它不像形式逻辑那样处理有效论证,它只检验已经建构好的逻辑系统中的基本概念。根据这种观点,沃尔夫拉姆在书中主要研究了指称与真值、必然真、分析与综合、存在与同一、意义问题,等等。④在由联合国教科文组织筹划,法国哲学家保罗·利科主编的《哲学主要趋向》( 1979)一书中,所沿用的都是这种意义上的哲学逻辑概念。
然而,数理逻辑诞生以来,数理逻辑成果被广泛运用,大批应用逻辑分支如同雨后春笋般地涌现出来,很多哲学家与逻辑学家关注了这一情况,赋予了哲学逻辑以逻辑的含义。众所周知,在逻辑发展史上,莱布尼茨最早提出了创立数理逻辑的理想,他为此付出了艰苦的努力,却未能获得成功。
1930年哥德尔证明了谓词演算的完全性,数理逻辑才算真正创立。但是,有一部分逻辑学家不满意已有的数理逻辑系统,认为它们存在严重的“缺陷”和“不足”,于是着手“修改”或“扩充”已有的一阶逻辑。他们或者创立了一些修正以至替代它们的新逻辑分支,例如直觉主义逻辑,相干和衍推的逻辑,多值逻辑,自由逻辑等等,或者应用已有的一阶逻辑工具于哲学、语言学等专门领域,创立了带有浓厚应用色彩的多种逻辑分支,例如,模态逻辑、时态逻辑、道义逻辑、认知逻辑等等。
这些新的逻辑系统或分支在20世纪20—30年代开始出现,在50—70年代繁荣兴旺起来,以至最后形成了一个新兴的逻辑学科群体。⑤因此,相当的学者越来越倾向于用“哲学逻辑”一词专指这个新兴的学科群体。例如,美国逻辑学家莱斯彻在1968年出版的《哲学逻辑论集》中阐述了他对哲学逻辑的看法。他指出,现代逻辑的发展有两个方向:一是数学方向,即数理逻辑,它是现代逻辑发展的主流;另一个方向则是哲学逻辑,它是对一些相关的哲学领域,比如本体论、认识论领域、伦理道德与规范概念等的逻辑研究,这些研究的共同特点是它们与数学并无直接联系,而往往具有较为明显的哲学背景与哲学意义,故称为哲学逻辑。⑥在他看来,模态逻辑、时态逻辑、道义逻辑、认知逻辑等等,就是哲学逻辑研究的主要内容。他所构造的哲学逻辑就是由这些研究内容所组成的学科群体。
关于哲学逻辑的词义,也有许多学者是在哲学与逻辑的双重意义上来使用。例如,柯比和古尔德合编的《当代哲学逻辑》以及冯. 赖特的论文集《哲学逻辑》都属于这一类型。在他们看来,哲学逻辑既指对逻辑所产生或引起的哲学概念和问题的哲学研究,也指这种研究所建立起来的新的逻辑。前者是非形式的,后者则是用形式化方法构造的形式系统。恩格尔则把前者叫做“非形式的哲学逻辑”,后者叫做“形式的哲学逻辑”。
二 哲学逻辑对象的界定
根据上述对哲学逻辑词义的历史考察,关于哲学逻辑的词义,国外学者是在三种不同的意义上使用的:一是哲学逻辑是哲学,是一门与逻辑有关的哲学学科,它研究由逻辑所引起或,提出的哲学问题;一是哲学逻辑是逻辑,它是与哲学有关的逻辑学科,研究具有较为明显的哲学背景与哲学意义的概念的逻辑问题;一是哲学逻辑既是哲学,又是逻辑。
仔细考究这些关于哲学逻辑词义的不同看法,可知其原因是未能把哲学逻辑与逻辑哲学这两个不同的概念区分开来所致。我们知道, 20世纪现代逻辑与现代哲学发展的一个重要特征是两者的相互渗透,由此出现了“哲学的逻辑化”与“逻辑的哲学化”两大趋势,并进而形成了“哲学逻辑”与“逻辑哲学”等新兴的交叉学科。⑦哲学的逻辑化趋势主要表现在现代西方分析哲学和语言哲学的兴起,芬兰最著名的哲学家、逻辑学家冯·赖特在其名著《20 世纪的逻辑和哲学》中指出:“20世纪哲学最突出的特征是逻辑的复兴,它是哲学发展的发酵剂。这一复兴是从本世纪开始的。最初以剑桥和维也纳为中心,后来扩大到整个分析哲学运动,这一复兴与之交汇,这是逻辑学登上哲学舞台的标志。”20 世纪以来,哲学的主要问题和研究对象既不是本体论,也不是认识论,而是语言问题,哲学研究的一般方法就是语言分析,而语言分析的基本工具就是现代逻辑,因此,在国际哲学界形成了哲学的逻辑化趋势,在这种趋势下,对一些哲学概念进行精细的逻辑分析成为一些学者关注的热点,哲学逻辑也就应运而生。逻辑的哲学化趋势是在现代逻辑的基础上,在对逻辑的哲学反思中形成的,主要表现为对逻辑本身的整体性的哲学思考或研究以及对逻辑特别是现代逻辑发展中的一些具体问题的哲学分析。由于现代逻辑本身是一个不断发展的学科群体,也由于现代逻辑发展中的哲学问题并不是一成不变的,还由于不同的研究者可以有不同的研究视野,因此,逻辑的哲学化趋势是多元的。当哲学逻辑与逻辑哲学刚登上学术舞台的时候,我国年轻学者陈波就密切关注其研究动态,在国内介绍并引进国外学者在哲学逻辑与逻辑哲学研究上的成果,并在一系列相关论著中,明确主张严格区分哲学逻辑和逻辑哲学。
在我看来,哲学逻辑是逻辑,是20 世纪20 - 30 年代开始兴起, 50～70年代蓬勃发展的一个新兴逻辑学科群体,它们以数理逻辑(主要指一阶逻辑)为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体 科学 中的应用为研究对象,构造出各种具有直接哲学意义的逻辑系统。逻辑哲学则是哲学,它在逻辑和哲学中都具有自己的起源,因而包括两部分内容:首先,逻辑哲学要研究逻辑学本身所提出的一系列哲学问题,例如逻辑究竟是什么,蕴涵与推理有效性的关系,逻辑真理和逻辑悖论等等;其次,逻辑哲学还要研究如何在哲学研究中引入现代逻辑的工具,利用它去解决传统的哲学争论和哲学难题,例如意义问题、真理问题、存在问题等等。
三 哲学逻辑的研究范围
辨析哲学逻辑与逻辑哲学的词义,可知两者有着不同的研究对象,这种不同的研究对象,决定它们有着不同的研究范围。以数理逻辑为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体科学中的应用为研究对象的哲学逻辑,其研究范围包括两大子群,一是异常逻辑( deviant logic) ,形式上表现为经典逻辑的择代系统( alternative systems) ; 一是应用逻辑( app lied logic) ,形式上表现为经典逻辑的扩充系统( extendedsystems ) 。
异常逻辑亦称非经典逻辑(non-classic logics) ,它们是相对于经典逻辑而言的。经典逻辑包括命题演算、谓词演算和关系演算,是建立在下述基本原则或假定之上的: ( 1)外延原则,即它在处理语词、语句时,只考虑它们的外延,并认为语词的外延是它所指称的对象,语句的外延是它所具有的真值;如果在一复合语句中,用具有同样指称的但有不同涵义的语词或语句去替换另一语句或子语句时,该复合语句的真值保持不变。这就是著名的“外延论题”⑧。与此相联系,一阶逻辑是建立在实质蕴涵之上的真值函项的逻辑。( 2)二值原则,即在一阶逻辑中,任一命题或真或假,非真即假,没有任何命题不具有真假值。(3)个体域非空,即量词毫无例外地具有存在涵义,并且单称词项总是指称个体域中的某个个体,不允许出现不指称任何实存个体的空词项。4. 采用实无穷抽象法,因而在其中可以研究本质上是非构造的对象。凡是因否弃其中某一个原则或假定而建立起来的逻辑理论,都属于异常逻辑。具体来说,这包括多值逻辑、相干和衍推的逻辑、直觉主义逻辑、偏逻辑、自由逻辑、量子逻辑等等。
多值逻辑就是由否弃真假二值原则而建立的逻辑理论,它可以形式定义如下:一个系统是n值的,仅当n是系统的特征模型值的最小数,当然这里的n必定大于2。随着n取大于2的不同值,多值逻辑就有不同的形态。例如,当n = 3 时,就得到最简单的多值逻辑:三值逻辑。在卢卡西维茨所构造的三值逻辑中,被经典逻辑奉为金科玉律的不矛盾律和排中律不再是普遍有效的 规律 。三值逻辑还可扩展成有穷多值甚至无穷多值逻辑。将多值逻辑应用于物 理学 领域,导致了量子逻辑的创立,后者被用来刻画微观粒子的波粒二象性和测不准特性。⑨
相干[ 论文 网 ]和衍推的逻辑、直觉主义逻辑都是由否弃实质蕴涵而建立的逻辑理论。在相干逻辑中,用相干蕴涵代替实质蕴涵。a相干蕴涵b,即是说, a与b之间有某种共同的意义内容,使得由a逻辑地推出b,并且这种推出与a, b的真值毫无关系。a与b之间内容上的相干还有其形式表现,即a 和b至少有一个共同的命题变元,这就是著名的相干原理。a衍推出b,既要求a与b相干,又要求a与b有逻辑的必然联系,所以衍推逻辑是相干逻辑,又是模态逻辑。在直觉主义蕴涵中,则用直觉蕴涵代替实质蕴涵,a直觉蕴涵b,是指存在某些构造(例如p) , 把它与a 相连接之后能产生b。这就是说,“如果a则b”要求a与b有一定的关系,亦即要求有一个过程,当把这个过程与证明a的过程配合起来之后,可以证明b真。在相干逻辑和直觉主义逻辑中,许多经典逻辑的定理不再成立。
应用逻辑则是利用经典逻辑的工具,去分析某些具体学科特别是 哲学 中的概念或范畴而建立的逻辑分支。所以冯·赖特说:“哲学逻辑有时定义为运用逻辑分析传统上哲学家所关心的概念的结构。”“我把哲学逻辑描述为构造形式系统以精确阐释我们在某些话语领域内的概念直觉。我认为,本世纪20多年来的 发展 表明:构造此类系统实际上可以在哲学家传统上感兴趣的任何领域内进行。这些系统可以称为相关领域内的‘逻辑’,例如,时间的逻辑,因果的逻辑,行动的逻辑,规范的逻辑,或者偏好(优先)的逻辑。”
应用逻辑又可以分为三组:本体论的逻辑,认识论的逻辑和伦理规范的逻辑。
本体论的逻辑是以传统哲学本体论的概念、范畴以及相关问题为研究对象的逻辑理论。具体来说,它包括模态逻辑、时态逻辑、存在逻辑、部分和整体的逻辑、莱斯涅夫斯基的本体论、构造主义的逻辑、唯名论唯实论意义上的本体论等等。模态逻辑是关于必然性和可能性的逻辑,或者说,是研究含有“必然性”、“可能性”的命题的逻辑特性及其推理关系的逻辑分支。它分为正规的和非正规的两种类型。一个正规模态命题逻辑系统是经典命题逻辑的重言式集的一个扩集,扩集满足两个条件:
(1)口(pq) (口p口q)在s中有效;
(2)在s中,从有效公式出发, 经使用分离规则, 代入规则,必然化规则,所得到的仍为有效公式。这里提到的必然化规则是:
若┝a,则┝口a。时态命题是研究时态命题的逻辑特性及其推理关系的逻辑分支,它试图把涉及时间因素的命题之间的推理关系系统化,为涉及时间因素的精确讨论和严格推理提供工具。从形式上看,时态命题逻辑系统t是不同于正规模态命题逻辑的,是经典命题逻辑重言式集的另一种扩集,它满足下述两个条件:
(1) g(pq) ( gpgq)和pgpp在t中有效;
(2)在t中,从有效公式出发,经使用分离规则,代入规则和时间性概括规则,所得到的仍为有效公式。
存在逻辑是关于存在及其同类概念的逻辑理论,它研究这些概念的性质,探讨诸如“存在是不是谓词”等问题,这种逻辑归根结底不仅依赖于纯逻辑的思考,而且依赖于本体论的思考。
认识论的逻辑是以传统认识论所研究的概念、范畴为对象的逻辑理论,它们与知识的获得、接受、传递以及对于某一知识的态度例如怀疑、断定、相信等等有关。具体来说,它包括问题逻辑、知道逻辑、相信逻辑、条件句逻辑、内涵逻辑、归纳逻辑(证据、确证、接受的逻辑)等。⑩
伦理规范逻辑:伦理学属于广义哲学的一部分,传统哲学特别是伦理学要研究诸如权力和义务、应该、允许、禁止、需要和要求、决定和选择、动机、效果与行动等概念和范畴。伦理规范的逻辑就是与这一类哲学概念和范畴相关的逻辑理论。
具体来说,它包括道义逻辑、命令句逻辑、行动逻辑、优先逻辑等等。
注:
①罗素:《我们关于外在世界的知识》,东方出版社1992 年版,第36页。
②p. f. strawson: philosophical logic, oxford university press,1967年版,第1页。
③格雷林:《哲学逻辑引论》, 中国 社会 科学 出版社1990 年版,第17页。
④ s, wolfram: philosophical logic: an introduction, routledgelondon and new york, 1989年版,第8页。
⑤陈波:《逻辑哲学》,北京大学出版社2005年版,第10页。
⑥n. rescher: top ics in philosophical logic,d. reidel publishingcompany, 1981年版,第21页。
⑦胡泽洪:《逻辑的哲学反思》,中央编译出版社2004 年版,第34页。
⑧王路:《逻辑与哲学》,人民出版社2007年版,第46页。
逻辑学和小逻辑区别范文5
关键词：逻辑；普通逻辑；数理逻辑；非形式逻辑；辩证逻辑；辩证矛盾
中图分类号：B81文献标识码：A文章编号：1003-0751（2014）01-0112-10
一问：您能给我们讲一讲人类思维发展的三个阶段问题吗？
答：人类思维发展的三个阶段问题是我整个逻辑理论问题的理论基础，我们是应该先谈谈这个问题。
在哲学史上，最早把思维分为不同类别的是康德，他把人的认识分为感性、知性和理性三个环节。他所说的“感性”，大体上相当于人们现在讲的感性认识，他所说的“知性”和“理性”，大体上相当于人们现在讲的思维发展的两个阶段。黑格尔批判性地汲取了康德关于知性和理性的概念，明确地把人的思维发展分为知性阶段和理性阶段。恩格斯又批判性地肯定了黑格尔看法的合理性，把人类思维的发展分为普通逻辑所适用的思维和辩证的思维，亦即人们现在所说的普通思维和辩证思维。恩格斯在《自然辩证法》中说：“悟性（知性的另一种译法——引者）和理性。黑格尔所规定的这个区别……只有辩证的思维才是合理的——是有一定的意思的。整个悟性活动……从而普通逻辑所承认的一切科学研究手段——对人和高等动物是完全一样的。它们只是在程度上……不同而已……相反地，辩证的思维……只对于人才是可能的，并且只对于较高发展阶段上的人（佛教徒和希腊人）才是可能的，而其充分的发展还晚得多，在现代哲学中才达到。”①根据恩格斯的说法，我又参考学习了一些关于古代人类思维的材料，提出了我的人类思维发展三阶段的理论：从有人类开始到原始社会末期为形象思维阶段，这是人类思维发展的第一阶段；从原始社会末期到马克思主义唯物辩证法的产生为普通思维阶段，这是人类思维发展的第二阶段；从马克思主义唯物辩证法的产生以后为辩证思维阶段，这是人类思维发展的第三阶段。
人类虽然一开始就已经有了语言，但在一个相当长的历史时期，语言极其贫乏（主要限于一些独词句），人们进行思维主要运用形象（我把它称之为“意象”）而不是运用概念，人们进行思维交流只是通过形象的手势等形体动作而辅之以简单的语言，这就是形象思维阶段。
随着人类生产劳动的不断发展，人类的思维能力也在不断地提高，相应地人类的语言也在不断地丰富。这样，经过漫长的岁月之后（大概在原始社会末期），人类思维也就逐渐从以“意象”为主要思维材料转化为以概念为主要思维材料，相应地，人们之间进行思维交流也从主要依靠手势逐渐转化为主要依靠语言。于是，人类思维发展也就逐渐从形象思维阶段转化为普通思维阶段。
随着人类社会的不断发展，普通思维也得到了巨大发展，到了奴隶社会末期和封建社会初期，人类的普通思维已经发展到比较成熟的程度。这种成熟的标志，就是人们已经把普通思维本身作为研究的对象，已经能够系统地总结普通思维的基本规律以及各种普通思维形式的规律——这也就是普通逻辑科学的产生。在西方，希腊学者亚里士多德创立了亚里士多德逻辑。在我国，春秋、战国时期创立了名学和墨经辩学。约在公元前6世纪以后，在印度创立和逐渐发展了“因明”。这些逻辑学说本质上都是关于普通思维的逻辑总结，我统称之为普通逻辑。
普通思维的本质就在于它是反映事物相对稳定性和质的规定性规律，反映事物的因果条件规律，不自觉或自觉地按照事物的这些规律认识世界的思维。同志说过：“无论什么事物的运动都采取两种状态，相对地静止的状态和显著地变动的状态。”②当事物处于相对静止状态时，不发生根本性质的变化，因此具有相对稳定性和质的规定性，也就是说，任何一个事物，它是什么就是什么；它不可能既是什么，又不是（这个）什么；任何事物要么是什么，要么不是（这个）什么。我们可以把这种事物的规律概括为：A（事物）是A（事物）；A（事物）不是非A（事物）；A（事物）或非A（事物）。这些规律可以统称之为事物的相对稳定性和质的规定性规律。世界上各个事物之间都存在着一种最普通也是最重要的联系——因果条件联系：任何事物的存在，都一定存在着足以使这一事物存在的原因和条件。这种事物的因果、条件联系，也表现为如下规律：A（事物）存在，因为B（事物）存在，而且B足以引起A。可以把事物的这一规律称之为事物的因果条件规律。普通思维的本质就在于它是反映事物的相对稳定性、质的规定性规律和因果条件规律，不自觉（逻辑科学创立之前）或自觉地（逻辑科学创立之后）按照事物的这些规律认识世界的思维。这也就是说，经过人类长期的实践活动，客观事物的相对稳定性、质的规定性规律、因果条件规律反映到人们的普通思维中来，也就成了普通思维的基本规律。
辩证思维就是反映客观事物的辩证法，不完全自觉或完全自觉地按照客观世界辩证法规律进行的思维。辩证思维是在普通思维的基础上产生的，就人类社会的发展来说，大概在奴隶社会末期（我国的西周社会末期及春秋、战国时期，西方的希腊时期）就已经产生了辩证思维。但是，当时普通思维在人类思维中还占据着绝对的统治地位，辩证思维在人类思维中还是处于萌芽状态，也只是在少数杰出人物的思想中存在。随着人类社会的发展，人类的辩证思维出现了从康德（1724—1804）到黑格尔（1770—1831）的德国古典哲学这样的辩证思维形态。黑格尔的辩证法是唯心主义的、非科学的，它是人类辩证思维尚未成熟的表现。但是，黑格尔辩证法的全面性和系统性也显示出人类的辩证思维距离成熟也只有一步之遥了。
马克思主义唯物辩证法的诞生是人类辩证思维已经成熟的表现。在马克思主义经典著作《反杜林论》《自然辩证法》《哲学笔记》等中，对辩证逻辑的有关问题也有过精辟的论述。因此，马克思主义哲学的产生，同时也是辩证逻辑的产生。③而马克思主义哲学和辩证逻辑的产生也正是人类开始进入辩证思维时代的标志。
我关于人类思维发展的三个阶段的理论，乃是我整个逻辑理论的基础。没有这一理论，就无法正确说明普通逻辑和辩证逻辑的研究对象和理论范围，也无法正确说明辩证逻辑与普通逻辑的关系，因而也无法建立真正科学的辩证逻辑体系。
二问：按照您的观点，究竟什么是逻辑？或者说，逻辑的根本性质是什么？
答：逻辑学是关于思维形式及其规律的科学。因此，要了解逻辑的根本性质，必须了解什么是思维形式。
客观事物存在着各种各样的性质和关系，有些是个别事物的个别性质和关系，如一张桌子的材料、大小、颜色、用途，一个国家的性质、民族、人口、土地等。客观事物又存在着诸种事物的一般性质和关系，如所有的金属都具有导电的性质，所有的社会主义国家都具有劳动人民当家作主的性质等。在客观事物的一般性质和关系中，有某些最一般的性质和关系，像事物之间的类的包含关系，事物之间的条件关系、选择关系、同时关系等等，正确地反映这些性质和关系，有助于人们正确地运用各种命题、推理形式。为了便于说明问题，我把这样的事物的一般性质和关系称之为事物的逻辑性质和关系。
思维是客观存在的反映，反映在思维中的客观存在（事物的性质和关系）就是思维内容。思维内容又可以分为思维的非逻辑内容和思维的逻辑内容。思维的非逻辑内容是客观事物的非逻辑的性质、关系的反映。例如：“中华人民共和国是伟大的社会主义国家”，“张明是马克思主义者”，在这两个命题中，前者反映了“中华人民共和国”具有“伟大的社会主义国家”这样的性质，后者反映了“张明”具有“马克思主义者”这样的性质。这样的内容都不是事物逻辑性质、关系的反映，因此，这也就是这两个命题的非逻辑内容。但是，这两个命题却有一个共同的也就是一般的内容，即都反映两个事物（非指两个具体事物，而是泛指两个事物）之间的包含关系。包含关系乃是事物之间的逻辑性质和关系。因此，反映两个事物之间的包含关系乃是这两个命题的逻辑内容。再如，“如果天下雨，那么地下湿”，“如果得了盲肠炎，那么会肚子痛”，这两个命题中前者反映了“天下雨”和“地下湿”之间的具体关系，后者反映了“得了盲肠炎”和“会肚子痛”之间的具体关系，这些都是它们的非逻辑内容。而在这两个命题中却也有一个共同的一般的内容，即都反映了两个事物之间的充分条件关系（这也是事物的逻辑关系），因此，反映事物的充分条件关系乃是这两者的逻辑内容。
可以看出，思维中的非逻辑内容乃是各个具体思维中千差万别的具体内容，人们通常就把思维的具体内容称之为思维内容。而思维中的逻辑内容乃是不同思维中反映事物逻辑性质和关系的一般内容。人们根据它们所反映的事物的逻辑性质、关系的不同，区分之为一定的类型，并称之为思维形式。
凡思维内容与其所反映的事物的非逻辑性质、关系相一致者，就叫思维真实。思维内容包罗万象、无限复杂，因此，如何保证思维真实乃是所有的非逻辑科学共同要解决的问题。逻辑学不研究思维内容问题，因为逻辑学不可能包办代替一切科学。凡思维形式与其所反映的事物的逻辑性质、关系相一致者，就叫思维形式正确（就演绎推理来说，也叫推理形式有效）。本来，就其本质来说，思维形式正确也是一种真实性，但人们为了区别于思维内容的真实性，特称之为思维形式正确。
逻辑学研究思维形式就是要总结出思维形式正确性的规律，即总结出究竟运用怎样的思维形式才能正确反映该思维形式所反映的事物的逻辑性质和关系。
一定的思维形式通过语言表现时往往表现为一定的语言形式。例如，反映事物两个类之间包含于关系的命题形式在汉语中往往表现为“所有的（一切，凡）……是……”，反映事物充分条件关系的命题形式往往表现为“如果（只要）……，那么（就）……”。因此，逻辑学研究思维形式也总是通过一定的语言形式进行的。但是，决不可把思维形式和表达它的语言形式等同起来。前者是客观事物的反映，它的正确与否，归根结底以客观世界为标准，它不具有民族性，更无阶级性，而语言形式仅仅是表达这些思维形式的符号，它们都具有民族性。
逻辑学研究思维形式，往往用一定的符号公式去刻画它们，例如，用“所有的S是P”或“SAP”去刻画全称肯定命题，用“所有的M是P，所有的S是M，所以，所有的S是P”或“（MAP∧SAM）SAP”刻画三段论第一格的AAA式的推理形式。但是，决不要把思维形式和用来刻画思维形式的逻辑公式混淆起来。思维形式是具有该思维形式的各种具体思维中的一般的逻辑内容，它之所以如此而不是如彼，归根结底是由客观存在决定的。但用以刻画各种思维形式的符号公式，却具有一定的随意性。某一思维形式所以用这一符号公式表示而不用另一符号公式表示，并不决定于思维形式本身，而是决定于制定该符号公式的逻辑学者。而用以刻画某一思维形式的符号公式虽然可以有种种，其本质却只有一个。例如，用来刻画全称肯定命题的符号公式虽有种种，但所有这些公式都刻画这样一个共同的内容，即反映两个类之间的包含于关系。因而，反映两个类之间的包含于关系才是全称肯定命题形式的本质。
三问：逻辑学是研究思维形式的，那么，普通逻辑的研究对象又是什么？
答：普通逻辑是普通思维的逻辑总结，它的研究对象是普通思维的各种思维形式和思维规律。普通思维的思维形式有普通思维的概念、命题、推理、假说、论证，这是大家熟知的，就不必细说了。
普通逻辑的思维规律有同一律、不矛盾律、排中律和充足理由律，人们也称这些规律为普通逻辑的基本规律。正是这些基本规律决定了普通逻辑的根本性质和对象范围。如上所说，普通思维是反映事物相对稳定性和质的规定性规律、事物因果条件规律，不自觉（逻辑学产生前）或自觉地（逻辑学产生后）按照事物的这些规律认识世界的思维。事物的相对稳定性和质的规定性以及事物的因果条件联系乃是事物的最经常、最普遍存在的性质和联系，认识事物的这种性质和联系，进而在实践中遵守它们的规律就成为人类正确认识世界的必要的、起码的条件。经过人类长期的实践活动，凡是人们（不自觉地）遵循事物的这些规律时，人们的实践就可能成功，凡是人们违背这些规律时，人们的实践就一定失败。久而久之，人们也就（不自觉地）愈来愈多地自然而然地按照客观事物的这些规律进行实践和思考了。这也就是说，这些客观事物的规律逐渐地反映到人们的思维中成为普通思维的基本规律了。这些规律后来经过逻辑学家的总结，也就是普通逻辑的基本规律同一律、不矛盾律、排中律和充足理由律：在同一时间和同一关系下，A（思想）是A（思想）；A（思想）不是非A（思想）；A（思想）或非A（思想）；A（思想）真，因为B（思想）真，并且B足以推出A。
四问：您认为普通逻辑都包括哪些逻辑学科？
答：普通逻辑具有三种不同的形态：一是以亚里士多德的演绎逻辑和培根、穆勒的归纳逻辑为主要内容，主要以自然语言进行论述的非形式化逻辑系统，人们也称之为传统逻辑；二是数理逻辑（指非辩证思维的数理逻辑）④；三是非形式逻辑。
五问：数理逻辑运用人工语言和数学演算方法，构造成为严密的公理系统，较之传统逻辑已有许多根本性质的变化，怎么还能属于普通逻辑呢？
答：数理逻辑较之传统逻辑确实有着巨大的差异，但是它的研究对象仍然没有超出普通思维的范围，因此，它仍然属于普通逻辑。
首先，数理逻辑所运用的范畴仍然局限于固定的、静止的范畴。在数理逻辑中，概念都是静止的，人们看不到概念内涵、外延中所包含的矛盾，当然也看不到概念的发展和转化。在数理逻辑中，不存在辩证矛盾的命题，更不存在辩证矛盾转化的推理。是否反映客观事物中的辩证矛盾乃是辩证思维与普通思维的根本区别，数理逻辑的上述特征，显示出它的研究对象仍然局限于普通思维。
其次，数理逻辑仍然以同一律、不矛盾律和排中律作为基本规律。
六问：在数理逻辑中根本无所谓基本规律，同一律、不矛盾律、排中律甚至不是数理逻辑的公理，它们不过是和该公理体系中其他的逻辑定理一样，是从公理中推出的逻辑定理。怎么能说它们是数理逻辑的基本规律呢？
答：不错，从表面上看起来，在数理逻辑中，同一律、不矛盾律、排中律都只是从一定的公理中，遵照一定的规则直接或间接地推出来的，并且它们只有在被推出之后，才能进一步作为根据推出其他定理。而实际上，在它们未被公理推出之前，它们已经作为最基本的规律（元定理）而被加以运用了。例如，在数理逻辑中有两条进行演算的最基本的规律——代入规则和置换规则。代入规则规定：在某一特定公式里，假如一个变项出现不止一次，那么，在代入时必须到处都用同一个公式替代，不能用不同的公式替代，或者不进行替代。置换规则规定：只有在两个公式的真值相等时才能互相置换。试问，为什么当一个变项出现不止一次时，在代入时必须到处都用同一个公式替代？为什么当且仅当两个公式的真值相等时才能置换？答案只有一个，就是要保证思维的同一性，也就是要遵守同一律。
进一步说，数理逻辑的命题演算是以真值表为基础的。真值表规定每种复合命题的真值，也就是规定各种复合命题的根本性质。但是，命题演算的真值表却又是以不矛盾律和排中律为基础构造起来的。试看下面负命题的真值表：
p1┒pT1FF1T
试问：为什么当p真时，┒p一定是假呢？无非是根据不矛盾律，两个矛盾的思想中，总有一个是假的；为什么当p假时，┒p一定是真呢？也无非是根据排中律，两个相矛盾的思想中，总有一个是真的。
由上可知，在数理逻辑中，同一律、不矛盾律、排中律并非只是从公理中推出的定理，而是建立整个公理系统的基础和指导思想，实际上起着基本规律的作用。
根据上述两方面的理由，我们完全可以断定：数理逻辑的研究对象仍然未超出普通思维的范围，数理逻辑仍然是普通逻辑。
七问：什么是非形式逻辑？您认为它和传统逻辑、数理逻辑是什么关系？
答：非形式逻辑是西方逻辑界在大约20世纪60年代新创立的以“批判性思维”（大体上与“论辩”相当）为研究对象的一门新的逻辑学科。近些年来，这一新兴逻辑学科也成为我国逻辑界一部分人的重点研究课题。我对于非形式逻辑没有深刻研究，仅对您的问题简要回答如下：
非形式逻辑是有关当代普通思维中论辩思维（批判性思维）形式及其规律的科学。论辩思维有思维内容和思维形式两个方面，非形式逻辑也和其他逻辑科学一样，不研究其思维内容的真实性问题，只研究其思维形式的正确性问题。论辩思维的逻辑问题有两个方面：一方面是怎样准确地运用有关的概念、命题、推理等有说服力地去论证自己的观点、论题；另一方面则是如何揭发、批判论敌在运用概念、命题、推理、论证方面的谬误，有说服力地确定论敌观点、论题的错误。非形式逻辑则是对论辩这两方面逻辑问题的总结。
在当代，论辩既可以是普通思维的，亦即运用普通思维的概念、命题、推理等进行的，也可以是辩证思维的，亦即运用或主要运用辩证思维的概念、命题、推理等进行的。当前人们所说的非形式逻辑其研究对象都仅限于普通思维，因此我认为，非形式逻辑属于普通思维逻辑。
数理逻辑是对传统逻辑的否定。传统逻辑是用自然语言论述的，它不可能完全割断与思维内容的联系。因此，它对思维形式研究的精度和深度是不够的，特别是对演绎推理必然性的研究是不够的。数理逻辑用人工语言代替了自然语言，构成了符号化的形式系统，使之成为纯思维形式的研究，把演绎推理必然性的研究推进到很高的程度，从而对许多科学的发展和人们的认识做出了巨大的贡献。因此，数理逻辑对传统逻辑的这种否定是对逻辑科学的发展，是应该充分予以肯定的。
但是，数理逻辑的发展也有它的另一方面，就是它的发展愈来愈脱离人们论辩的思维实际：论辩要运用各种思维形式，数理逻辑却仅仅研究演绎；论辩是运用自然语言进行的，论辩形式的正误往往和论辩的场合、论辩者等有着密切的联系，而数理逻辑却是纯形式的符号系统。这种情况甚至会造成数理逻辑的理论和论辩的思维实际完全脱离甚至相对立的情况。如：在数理逻辑中“pp”是当之无愧的逻辑定理，因为，如果“p”是真的，自然可以推出“p”是真的，但在实际论辩中，用p作为论据去论证和它完全相同的论题p是绝对无说服力的。总之，数理逻辑虽然是很有用的，但对日常生活和工作中的论辩却又是很无用的。于是就需要一门逻辑学科对人们生活、工作中经常要运用的论辩形式进行认真的研究，它是用自然语言进行论述的，非形式化的。这样，非形式逻辑就应运而生了。所以，非形式逻辑仍然是形式逻辑，其对象仍然是思维形式，而不是什么思维内容。它之所以叫非形式逻辑乃是相对于形式化的逻辑——数理逻辑而言的。非形式逻辑者，非形式化的逻辑，非数理逻辑之谓也。
数理逻辑是对传统逻辑的否定，非形式逻辑又是对数理逻辑的否定，这样非形式逻辑则又是对传统逻辑的否定的否定——在更高基础上的对传统逻辑螺旋形上升的复归：非形式逻辑和传统逻辑都是对普通思维的论辩（论辩也都可以说是论证，亚里士多德逻辑的对象是论证）形式的研究，都是以自然语言进行论述的非形式化的逻辑体系。传统逻辑的许多内容、它的精华部分非形式逻辑都可以加以包容和继承。但是，非形式逻辑又不能完全照搬传统逻辑的内容，非形式逻辑应该对当代人类复杂多样的普通思维的论辩形式进行全面的分析研究，从中总结出一些新的逻辑方法和技巧，以及逻辑谬误等等，同时也应该吸纳近现代逻辑科学发展中的一些新的能为非形式逻辑所用的研究成果，例如预设、语境等。总之，非形式逻辑的研究对象是当代人类的普通思维中的论辩形式，它的科学系统是非形式化的，亦即它是当代的普通思维的以论辩为主要研究对象的非形式化逻辑科学。
八问：普通逻辑研究普通思维形式，辩证逻辑的研究对象又是什么呢？
答：辩证逻辑是研究辩证思维形式及其规律的科学，它的研究对象是辩证概念、辩证命题、辩证推理、辩证假说、辩证科学理论和对立统一思维律、质量互变思维律、否定之否定思维律和从抽象上升到具体思维律等。辩证思维作为人类思维发展的一个崭新阶段，它所运用的概念、命题、推理等与普通思维的概念、命题、推理等有着许多根本不同的性质，两者还有不同的基本规律和思维方法。例如，普通概念的根本性质是确定性和抽象性，辩证概念的根本性质则是灵活性和具体性；在普通概念的内涵中是不允许有逻辑矛盾的，而辩证概念的根本特点之一则是在其内涵中包含有辩证矛盾；普通概念外延进行划分的规则之一是子项之间不得相容，辩证概念外延进行划分子项却是可以相容的；从一般的普通思维者看来，“光既是粒子又是波”“直线是曲线”乃是包含有逻辑矛盾的假命题，而从辩证思维看来，它们却是反映事物辩证矛盾的真命题；有些辩证命题形式、辩证推理形式和普通命题形式、普通推理形式表面上虽然很相似，实际上却也存在着根本的差异；还有一些辩证命题形式、辩证推理形式在普通思维中乃是根本不存在的。辩证逻辑就是要研究辩证思维形式所以不同于普通思维形式的基本特征和逻辑结构，研究不同于普通思维形式基本规律的辩证思维形式的基本规律，从而让人们自觉地遵守和运用辩证思维形式及其规律，以帮助人们尽快地从普通思维水平提高到辩证思维水平，以便更好地认识世界和改造世界。
九问：在我国，有些辩证逻辑著作认为辩证逻辑的研究对象是思维形式的辩证法，您对此有何看法？
答：在我国逻辑界，关于辩证逻辑的研究对象有两大派，一派认为辩证逻辑的研究对象是思维形式的辩证法，如概念的辩证法，判断的辩证法、推理的辩证法，等等。人们称之为辩证逻辑的哲学派。另一派认为辩证逻辑的研究对象是辩证思维形式，也就是我前面说的辩证概念、辩证判断、辩证推理等等。人们称之为辩证逻辑的逻辑派。我是辩证逻辑逻辑派的主要代表之一。
我之所以不赞成把辩证逻辑的研究对象规定为思维形式的辩证法，是因为：第一，只有辩证思维才具有辩证思维形式，普通思维决不可能有任何辩证思维形式。而思维形式辩证法则既存在于辩证思维形式中，也存在于普通思维形式中。任何一个普通命题，“如树叶是绿的，伊万是人，哈巴狗是狗等等。在这里……就已经有辩证法：个别就是一般……”⑤第二，思维形式辩证法对事物辩证法的反映通常都是不自觉的。凡是正常思维的人都会讲“张三是人”，“树叶是绿的”，但是，一般人谁也无意以此来反映事物个别与一般的矛盾。但是，对任何辩证思维形式的运用都具有自觉性，因为任何辩证思维都具有自觉性——人们只有认识到了事物的辩证法，并且有意运用辩证思维形式去反映事物的这种辩证法时，他才会运用辩证思维形式。第三，仅仅思维形式的辩证法无法具体揭示具体事物的辩证法。只有辩证思维（通过一定的辩证思维形式）才能揭示具体事物的具体的辩证法。例如，不管是概念的辩证法，还是命题的辩证法，都无法揭示“商品”内部的矛盾，只有具有辩证命题形式的辩证命题“商品是使用价值与价值的对立统一”才能具体揭示商品内部的矛盾。第四，思维形式辩证法的研究是对辩证法的研究（列宁就是在《谈谈辩证法问题》一文中讲到“伊凡是人”的辩证法问题的），属于哲学；而对辩证思维形式的研究才真正是思维形式的研究，属于逻辑学。
这里需要郑重指出，我决无意反对对思维形式辩证法的研究，问题在于把本该属于逻辑科学的研究辩证思维形式的辩证逻辑，曲解成为研究思维形式辩证法的哲学，辩证逻辑这门科学又何以存在和发展？不是也真的有一些逻辑界人士，以辩证逻辑研究思维形式辩证法为借口，认为辩证逻辑其实是哲学，并根本否定辩证逻辑的存在吗？！
十问：有些辩证逻辑的学者认为，辩证逻辑就是研究辩证法，正是在此意义上，他们承认有一种哲学是辩证法，但反对有一种逻辑是辩证逻辑。您如何看待这一观点？您认为辩证逻辑和辩证法的根本区别是什么？
答：“辩证法”一词有两种含义，一是指客观存在于自然界、人类社会和思维领域的一种普遍规律，这就是人们说的客观辩证法。它是一种客观存在，当然也无所谓阶级性。另一则是指关于这种客观规律的研究、总结的科学，它又有唯心主义和唯物主义两种。唯心主义的如黑格尔的辩证法，唯物主义的则是马克思主义的辩证法。前者是非科学的，后者是科学的。我们说的辩证法（包括您刚才说的辩证法）都是指的马克思主义的辩证法。辩证法（即马克思主义辩证法，以下同）属于哲学，是有阶级性的——它是无产阶级的哲学。
辩证逻辑和辩证法是两门根本不同的科学。两者的研究对象根本不同：辩证法研究自然、社会、思维的一般规律，辩证逻辑则仅仅研究辩证思维形式及其规律。两者的科学性质也根本不同：辩证法是哲学，属世界观，具有阶级性；辩证逻辑是一般的工具性科学，可以为各个阶级服务。
当然，辩证逻辑和辩证法也具有统一性。辩证法是客观事物辩证法的科学总结，辩证思维基本规律是客观事物辩证法的反映，而辩证逻辑基本规律又是辩证思维基本规律的逻辑总结。因此，辩证法和辩证逻辑的基本规律必然具有一致性。两者在基本规律方面的一致性，也就决定了两者在作用方面的一致性：学习辩证法，让人们了解自然、社会、思维的一般规律，以便人们自觉地遵守这些规律，以有助于人们从普通思维水平提高到辩证思维水平，从而更好地去认识世界、改造世界；学习辩证逻辑，让人们正确运用辩证思维形式，自觉遵守辩证思维规律，也同样在于让人们从普通思维水平提高到辩证思维水平，以便能够更好地认识世界和改造世界。
当然，我们决不应该因为辩证法和辩证逻辑具有一致性就将二者混而为一。因为，如果这样，势必会否定辩证逻辑的实际存在，而人们也就不可能对辩证思维形式及其规律进行具体的、深刻的研究。这对于人类从普通思维水平提高到辩证思维水平是不利的。
应该说，把辩证逻辑和辩证法相混同由来已久。黑格尔所讲辩证逻辑（他称之为“思辨逻辑”）的内容就主要是辩证法。苏联时期的辩证逻辑著作主要论述思维形式辩证法而不是辩证思维形式，而思维形式辩证法应属于辩证法而不属于辩证逻辑。在我国20世纪50、60年代的逻辑问题大论战中，虽然周谷城先生和包括我在内的9位逻辑学者论战双方，论点尖锐对立，但却在一个问题上是一致的，即都把辩证法和辩证逻辑相混同。另外，还有一件事也应该说一下，恩格斯在《反杜林论》中说形式逻辑和辩证逻辑的关系，类似于初等数学与高等数学的关系。不赞成这一提法，他说：“形式逻辑好比低级数学，辩证逻辑好比高等数学，我看不对，形式逻辑是讲思维形式的，讲前后不矛盾的，它是一门专门科学，同辩证法不是什么初等数学和高等数学的关系。”⑥如上所说，形式逻辑是逻辑学，辩证法是世界观、哲学，二者根本不属于同一门类，说两者不是什么初等数学与高等数学的关系，这当然是正确的。可是形式逻辑和辩证逻辑同属于逻辑科学，并且分别是人类思维发展不同阶段——初级阶段、高级阶段的逻辑总结，为什么不可以比作初级数学和高级数学的关系呢？显然，这里是把辩证逻辑和辩证法混而为一了。是伟大的哲学家、辩证法家，仍然把辩证法和辩证逻辑混而为一，我国逻辑界有一些同志也持类似的观点，并以此否定辩证逻辑的存在，也就是可以理解的了。
十一问：在普通逻辑里，不矛盾律是一个基本规律：对于同一对象任何命题都不能作“既是又不是”的断定。而在辩证逻辑里，为了反映辩证矛盾，对于同一对象却可以作“既是又不是”的断定。辩证逻辑难道可以不遵守普通逻辑的基本规律吗？
答：这里首先要弄清楚普通逻辑不矛盾律所反对的“逻辑矛盾”与辩证逻辑所肯定的辩证矛盾的根本区别。不矛盾律所反映的是在相对稳定状态下的事物的质的确定性的规律，事物在相对稳定状态下具有质的确定性，一个事物是A就是A，不可能既是A又不是A。因此，在同一时间和同一关系下，对于同一对象决不能既断定它是A，又断定它不是A，否则就是犯了“自相矛盾”的错误。辩证逻辑中一个命题对于同一对象所以可以作“既是又不是”的断定，则是反映事物在运动变化发展条件下的具体性和矛盾性，“运动是物体在同一瞬间在同一个地方，又不在同一个地方”，“人的思维是至上的，同样又是非至上的”，“帝国主义既是真老虎，又是纸老虎”，这些辩证判断中所显示的矛盾并不是“自相矛盾”，而是“辩证矛盾”，正是这些辩证矛盾最恰如其分地反映了判断对象的本质。
辩证逻辑与普通逻辑的联系，最根本的在于它们的客观基础之间的联系，事物的相对稳定状态只是事物辩证运动的一种状态。事物的相对稳定性、质的规定性规律只是事物辩证运动发展规律的局部，相应地，普通逻辑的基本规律也只能是辩证逻辑基本规律的局部或特例。严格来讲，普通逻辑系统应是辩证逻辑的子系统。例如，辩证逻辑反映事物的辩证矛盾，但从来也不允许自身有逻辑矛盾。辩证逻辑肯定“帝国主义既是真老虎，又是纸老虎”，但却不会肯定“帝国主义既是真老虎，又是纸老虎，并且，并非帝国主义既是真老虎，又是纸老虎”，并且同样认为这是犯了“自相矛盾”的逻辑错误。因此，普通逻辑与辩证逻辑之间虽有初等与高等之分，却是根本一致的。凡是根本违背普通逻辑基本规律的，都不会是正确的辩证思维；凡是正确的辩证思维，也都不会根本违背普通逻辑的基本规律。
十二问：究竟什么是辩证矛盾？您能比较详细地讲一讲这个问题吗？
答：“辩证矛盾”详细讲来可以有三种含义。一种指客观事物中所包含的辩证矛盾，这也就是唯物辩证法中所讲的辩证矛盾。在《矛盾论》中说：“统一物分成为两个互相排斥的对立，而两个对立又互相关联着。”⑦又说：“事物发展的根本原因，不是在事物的外部而是在事物的内部，在于事物内部的矛盾性。任何事物内部都有这种矛盾性，因此引起了事物的运动和发展。事物内部的这种矛盾性是事物发展的根本原因。”⑧这里所说的作为事物运动发展根本动力、事物内部两个既互相排斥、对立又互相关联的方面也就是事物所包含的辩证矛盾。
“辩证矛盾”的第二种含义是指辩证思维中的辩证矛盾。客观事物中的辩证矛盾，为辩证思维者所认识，反映在其辩证思维中，也就成为辩证思维中的辩证矛盾。例如：“光既是粒子又是波”，“帝国主义既是真老虎，又是纸老虎”，这是两个辩证命题，前一个命题断定“光”具有“粒子”的性质，又具有与“粒子”既对立又统一的“波”的性质；后一个命题断定“帝国主义”具有“真老虎”的性质，又具有与“真老虎”既对立又统一的“纸老虎”的性质，这也就是这两个辩证命题中所包含的辩证矛盾，当然也是辩证思维中的辩证矛盾。
就辩证逻辑来说，“辩证矛盾”还可以有第三种含义，就是指辩证逻辑中用来刻画辩证思维中的辩证矛盾的各种符号公式，例如：在拙著《辩证逻辑》中，像“人民民主”“民主集中制”这样的包含有显性辩证矛盾的辩证概念，用“A（A亠1A）”公式表示，其中“A”代表某辩证概念，“（A亠1A）”代表其内涵中所包含的辩证矛盾，“A”代表主要矛盾方面，“亠1A”代表次要矛盾方面，“”代表对立统一关系。再如，“帝国主义既是真老虎又是纸老虎”这一辩证命题的命题形式，在拙著《辩证逻辑》中被刻画为如下公式：S是（）P·亠1P（读作：S是具有对立统一关系的P且亠1P），其中S所包含的辩证矛盾结构“（）P·亠1P”已很显然，就不再多解释了。
我在前面已经讲过，逻辑学中用来刻画思维形式的符号公式既具有主观性，也具有客观性，同样的，辩证逻辑中用来刻画辩证矛盾的符号公式也是既具有主观性，又具有客观性。同一个辩证矛盾，不同的辩证逻辑学者可以用不同的符号、公式加以刻画，因此它具有主观性。但是，这种符号公式毕竟是对辩证思维中的辩证矛盾的刻画，辩证思维中的辩证矛盾又是对客观事物的辩证矛盾的反映，因此这种符号公式归根结底也是对客观事物的辩证矛盾的反映（只要这种刻画是具有科学性的），因而又是具有客观性的。
十三问：您认为辩证逻辑和普通逻辑之间是什么关系？
答：普通逻辑是人类思维发展较低阶段普通思维的逻辑总结，辩证逻辑是人类思维发展较高阶段辩证思维的逻辑总结。因此，相应地，普通逻辑是逻辑科学发展的初级阶段，辩证逻辑是逻辑科学发展的高级阶段。普通逻辑与辩证逻辑的关系类似于初等数学与高等数学的关系。恩格斯说过：“初等数学，即常数的数学，是在形式逻辑（即普通逻辑——引者）的范围内活动的，至少总的说来是这样；而变数的数学——其中最重要的部分是微积分——本质上不外是辩证法在数学方面的运用。”⑨说初等数学是在普通逻辑范围内活动的，也就是说它是普通思维的数学，说高等数学是辩证法在数学方面的运用，也就是说它是辩证思维的数学。因此，相应于初等数学与高等数学的关系，普通逻辑和辩证逻辑也可以说是初等逻辑与高等逻辑的关系。
十四问：在现代的哲学逻辑领域，很多人在研究弗协调逻辑。有学者认为，弗协调逻辑就是以现代逻辑的方法（数理逻辑的方法）做辩证逻辑的工作，您是否同意这种看法？您对弗协调逻辑是如何进行评价的？
答：弗协调逻辑（或叫次协调逻辑）是巴西逻辑学家达科斯塔1958年首创的一种数理逻辑系统。一个数理逻辑系统必须是协调的，即决不允许既可以推出A，又可以推出它的否定┒A。因为，既推出了A，又推出了┒A，也就是推出了“A∧┒A”，这与不矛盾律“┒（A∧┒A）”直接相反，在经典数理逻辑中是绝对不允许的。与此相联系，在经典数理逻辑中还有一条司脱克规则：（A∧┒A）B，即一个自相矛盾命题蕴含任意命题。试想，一个命题既可以是真的，又可以是假的，也就不存在什么真假是非了，也就可以推出一切命题了。弗协调逻辑与经典数理逻辑不同，它容忍矛盾存在，并且要求不从两个相互否定的公式推出一切公式，也就是说司脱克规则在其中失效。由于在弗协调逻辑中包含有矛盾，因此，可以说它是不协调的，但它又是把矛盾“圈禁”起来，使之不从矛盾推出一切，因此，它又不是无意义的（一个理论可以推证一切，也就是一个无意义的理论），因此，称之为弗（次）协调逻辑系统。
由于弗协调逻辑容纳矛盾，而辩证逻辑也容纳矛盾，因此许多人也就认为弗协调逻辑就是辩证逻辑。近些年来弗协调逻辑成为我国逻辑界特别是我国辩证逻辑学界研究的热门对象，桂起权教授等著的《次协调逻辑与人工智能》（武汉大学出版社，2002年）和张清宇研究员所著的《弗协调逻辑》（中国社会出版社，2003年）等专著也相继出版。不过我个人认为，弗协调逻辑存在着一些糊涂观念，主要是把普通逻辑的逻辑矛盾“p∧┒p”和辩证逻辑的辩证矛盾（我用“A亠1A”表示，A、亠1A代表思想中辩证矛盾的两个矛盾方面，A代表矛盾的主要方面，亠1A代表矛盾的次要方面，“”代表对立统一关系）相混淆。上文说过，不矛盾律┒（p∧┒p）是客观事物相对稳定状态下质的规定性的正确反映，不仅在普通逻辑中不能违反，而且在辩证逻辑中也不能违反。说弗协调逻辑中允许“p”和“┒p”同时存在，并且因此而成为辩证逻辑，这是极其荒唐的。辩证逻辑是辩证思维的逻辑总结，辩证思维和普通思维的根本差别就在于它能反映事物的辩证矛盾，因此，辩证逻辑和普通逻辑的根本差别就在于它是有关辩证思维中的辩证矛盾的逻辑。弗协调逻辑只是强调同时容纳p和┒p，而不是着重研究辩证矛盾的逻辑系统，又怎能成为辩证逻辑呢？
十五问：关于逻辑的范围和性质，我国的学术界具有两种不同的观点：大逻辑观和小逻辑观。您所倡导的大逻辑观是否就是基于辩证逻辑所形成的逻辑的视角？
答：我国逻辑界确实存在着持大逻辑观和小逻辑观的两派人物。所谓大逻辑观，就是像我前面所说的，认为逻辑是研究思维形式及其规律的科学，具体到推理来说，不管是演绎推理还是归纳推理、类比推理等都属于逻辑研究的范围。我个人就是大逻辑观的积极拥护者和倡导者。所谓小逻辑观则是认为逻辑就只是研究必然地推出的推理（也就是演绎推理）。我所以不赞成小逻辑观，并不仅仅是因为我认为辩证逻辑应该研究各种辩证思维形式（不是仅仅研究辩证演绎推理形式），而且因为，按照小逻辑观的观点，在世界逻辑史上，西方只有亚里士多德的三段论理论是逻辑（他们还认为，亚氏逻辑理论已经过时，只能摆在历史博物馆里了），培根、穆勒的归纳逻辑根本不是逻辑；在东方，中国古代的名学、辩学、印度的因明当然也不是逻辑（它们研究的都不是必然性推理），这样中国古代也就真像有的中国逻辑学者所说的那样，是无逻辑了。不仅在古代，就是在现代，人们通常所讲的普通逻辑由于它包括了对各种思维形式的论述，自然也不能算是真正的逻辑。这样说来说去，也就只有他们向来推崇的数理逻辑算是逻辑了。
因此，我过去就说过，按照小逻辑观的观点，我国逻辑学的研究只能陷入“一马（数理逻辑）奔腾，万马（数理逻辑外的一切逻辑科学）齐喑”的境地。我至今仍然坚持这一说法。
十六问：您认为辩证逻辑今后应如何发展？未来前景如何？
答：限于水平和条件，我无法全面地、准确地说明我国辩证逻辑今后应该如何发展的问题，只能简要地谈一谈我个人的一些粗浅的看法：
1.非形式化辩证逻辑
（1）要坚持辩证逻辑的对象是辩证思维形式及其规律的观点，清除其中有关思维形式辩证法的具体内容；（2）必须坚持以马克思主义辩证法为指导，但又不要和辩证法相混淆；（3）必须进一步充实各个辩证思维形式中的具体内容，特别是辩证演绎推理形式的内容（要从人们的实际思维中和马克思主义经典著作家著作中搜集实例，加以总结，用以充实演绎推理部分）；（4）各个辩证思维形式的理论要相互衔接，特别是辩证命题种类和辩证演绎推理形式之间要衔接（如，各种辩证演绎推理应该是由相关的辩证命题构成的）；（5）要有一套既和普通逻辑公式符号相衔接，又与之相区别的符号，其中要特别显示出逻辑矛盾和辩证矛盾的区别。
2.辩证数理逻辑
（1）辩证逻辑的三个基本规律对立统一思维律、质量互变思维律和否定之否定思维律应是辩证数理逻辑的基本依据；（2）辩证数理逻辑中应明确区分辩证矛盾和逻辑矛盾，整个系统必须是协调的（不允许出现逻辑矛盾），但又能充分体现辩证逻辑重点研究辩证矛盾的科学本色；（3）辩证数理逻辑系统中应能推出所有非形式化辩证逻辑所揭示的正确的辩证推理形式，并尽可能地超出这些推理形式；（4）诸多辩证数理逻辑中的定理公式一旦置于相对静止状态，可以自动转换为普通逻辑的定理公式。
由于在我国对于辩证逻辑的看法还有种种分歧，我国辩证逻辑的发展必然会遇到种种困难，特别是数理辩证逻辑更是如此。但是我对我国辩证逻辑的发展前景还是充满信心的。据我所知，我国已经有一批对辩证逻辑形式化系统有兴趣的学者组织起来，为构造辩证数理逻辑系统而辛勤努力。我坚信，经过10年、20年的努力，我国的科学的比较全面的辩证数理逻辑系统必将呈现在中国人民面前。
附录：马佩教授主要著作一览表
独著、主编或参编著作，共28部，主要有：
1.《普通逻辑》，上海人民出版社，1979年。
2.《辩证逻辑纲要》，河南人民出版社，1981年。
3.《语言逻辑基础》，河南人民出版社，1987年。
4.《辩证逻辑教程》，南京大学出版社，1989年。
5.《马克思主义的逻辑哲学探析》，河南大学出版社，1992年。
6.《玄奘研究》，河南大学出版社，1997年。
7.《辩证思维研究》，河南大学出版社，1999年。
8.《马佩文集》，河南大学出版社，2004年。
9.《辩证逻辑》，河南大学出版社，2006年。
10.《逻辑哲学》，上海人民出版社，2008年。
论文，共89篇，主要有：
1.《与周谷城先生商榷形式逻辑与辩证法问题》，《新建设》1956年第9期。
2.《形式逻辑有阶级性吗？》，《光明日报》“哲学”副刊1956年10月3号。
3.《论形式逻辑的对象和客观基础——与王方名同志商榷》，《教学与研究》1958年第5期。
4.《充足理由律是形式逻辑的重要规律——与林铭钧同志并与李先焜同志商榷》，《哲学研究》1979年第10期。
5.《也谈“A是A又不是A”与辩证逻辑——与诸葛殷同同志商榷》，《哲学研究》1994年第9期。
6.《也谈形式逻辑与辩证逻辑的关系——与彭漪涟同志商榷》，《中州学刊》1995年第1期。
7.《关于悖论的几个问题》，《中州学刊》1997年第2期。
8.《“可知性悖论”、“突击考查悖论”试解——对向可知论挑战的挑战》，《河南大学学报》2005年第1期。
9.《悖论的辩证逻辑公式及其它》，《河南大学学报》2007年第1期。
10.《也谈逻辑真理的可错性问题——与王路教授商榷》，《哲学研究》2009年2期。
11.《建构数理辩证逻辑系统必须澄清的一些问题》，《河南大学学报》2009年第4期。
12.《对我国两个著名的数理逻辑系统的评析》，《中州学刊》2009年第4期。
13.《也谈逻辑与辩证法——与王路教授商榷》，《学术研究》2010年第10期。
14.《论辩证思维与普通思维、和谐思维与对抗思维的关系——兼与左亚文教授商榷》，《西南大学学报》2011年第5期。
逻辑学和小逻辑区别范文6
关键词：逻辑学；知性思维；理性思维；普通逻辑；辨证逻辑
中图分类号：B811.01 文献标识码：A 文章编号：1000-5242（2013）05-001-06
收稿日期：2013-04-06
作者简介：马佩（1929―），男，河南巩义人，河南大学哲学与公共管理学院教授。
一、黑格尔论逻辑学
（一）黑格尔关于逻辑学对象的论述
什么是逻辑学的对象？黑格尔说：“我们可以说逻辑学是研究思维、思维的规定和规律的科学。”“逻辑学是以纯粹思想或纯粹思维形式为研究对象。”“关于思想的某些形式如概念、判断和推论与其他的形式如因果律等等的关系，只是在逻辑学本身内才能加以研究”。黑格尔又说：“对思维的细密研究，将会揭示其规律与规则……从这种观点来研究思维的规律，曾构成往常所谓逻辑的内容。亚里士多德就是这门科学的创始人。”由上可知，黑格尔认为，逻辑学是关于思维形式及其规律的科学。
我国逻辑学界关于逻辑学的对象的观点有两大派。一派人称大逻辑观派，认为逻辑学是关于思维形式及其规律的科学（本文作者属于此派）；另一派人称小逻辑观派，认为逻辑学是关于必然推出亦即研究演绎推理的科学。是否可以请持小逻辑观的同志们看一看黑格尔的《小逻辑》呢？
什么是思维形式的本质？思维形式与思维内容的关系如何？试看以下黑格尔关于形式与内容的辩证关系的论述：“我们在这里看到了形式与内容的绝对关系的本来面目，亦即形式与内容的相互转化。所以，内容非他，即形式之转化为内容；形式非他，即内容之转化为形式。”根据这段话我们可以推知：逻辑学所研究的思维形式实乃思维内容的转化。思维形式是什么思维内容的转化？黑格尔没有进一步加以说明，在拙作《逻辑哲学》中倒是有这种解释：“在客观事物的一般性质和关系中，有某些最一般的性质和关系，像事物之间类的包含关系，事物之间的条件关系、选择关系、同时关系……正确地反映这些性质和关系，能够正确地运用各种命题、推理形式，有助于人们更好地认识事物的其他一些一般的性质和关系，这样的事物的一般性质和关系我们称之为事物的逻辑性质和关系。逻辑科学的范畴（思维形式）、规律所反映的乃是事物的逻辑性质和关系。”“思维是客观存在的反映，反映在思维中的客观存在（事物的性质和关系）就是思维内容。……思维内容又可以分为思维的非逻辑内容和思维的逻辑内容两类。思维的非逻辑内容是客观事物的个别性质和关系以及非逻辑的一般性质、关系的反映……思维的逻辑内容则是各个具体思维中的某种一般内容，它是客观事物的逻辑性质、关系的反映”。这也就是说，思维形式及其规律其实也是一种思维内容。它是思维的逻辑内容，是客观事物某些最一般的性质和关系的反映。
（二）黑格尔关于逻辑学作用的论述
黑格尔对于逻辑学的作用是加以肯定的。他说：“从事这种形式逻辑的研究，无疑有其用处，可以借此使人头脑清楚，有如一般人所常说，也可以教人练习集中思想，练习作抽象的思考……人们可以利用关于有限思维的形式的知识，把它作为研究经验科学的工具，由于经验科学是依照这些形式进行的，所以，在这个意义下，也有人称形式逻辑为工具逻辑。”黑格尔又说：“概念的逻辑通常被认作仅是形式的科学，并被理解为研究概念、判断、推论的形式本身的科学，而完全不涉及内容方面是否有某种真的东西；殊不知关于某物是否真的问题完全取决于内容。如果概念的逻辑形式实际上是死的、无作用的和无差别的表象和思想的容器的话，那么关于这些形式的知识就会是与真理无涉的、无聊的骨董。但是事实上，与此相反，它们（逻辑形式）作为概念的形式乃是现实事物的活生生的精神。现实的事物之所以真，只是凭借这些形式，通过这些形式，而且在这些形式之内才是真的。但这些形式本身的真理性，以及它们之间的必然联系，直至现在还没有受到考察和研究。”黑格尔的这段话讲的是多么精彩啊！这一段话可以给我们如下三点启示：（1）逻辑学所提供的各种逻辑形式绝非是和真（理）无关的所谓思维纯形式的东西；（2）逻辑形式乃是事物的某种（些）本质（按照辩证唯物主义的观点可解释为，逻辑形式乃是客观事物某些最一般的性质、关系的反映）；（3）现实事物只有凭借这些本质才是真的（按照辩证唯物主义的观点可解释为，任何思想只有符合这些逻辑形式时才可能是真的）。
由上可知，黑格尔认为逻辑学虽然是研究思维形式的科学，但绝非是与真理无关，而是获得真理的科学。列宁在《哲学笔记・黑格尔（逻辑学>一书摘要》中曾对黑格尔的这段话作了如下批注：“逻辑学是和具体科学（关于自然和精神的科学）相反的‘形式科学’，可是它的对象是‘纯粹真理’。”“黑格尔反对纯粹形式的逻辑观……他说：逻辑中形式的东西是‘纯粹真理’。”列宁还进一步批注道：“逻辑学是和认识论一致的。”“逻辑学一关于真理的问题。”遗憾的是，我国逻辑学界至今仍有人宣扬逻辑学只研究思维形式，不研究思维具体内容，因此，是不管真假的。我们奉劝这些同志，还是读读黑格尔和列宁的这些话吧！
二、黑格尔论普通逻辑、辩证逻辑
（一）、黑格尔关于知性思维（普通思维）和理性思维（辩证思维）的论述
黑格尔并没有构建任何相对完整的普通逻辑、辩证逻辑系统。他是在论述有关知性思维、理性思维的过程中，对普通逻辑和辩证逻辑进行了相应的论述，从而形成了他关于普通逻辑和辩证逻辑的思想。
黑格尔关于知性思维和理性思维的思想来源于康德。黑格尔说：“康德是最早明确地提出知性与理性的区别的人。他明确地指出：知性以有限的和有条件的事物为对象，而理性则以无限的和无条件的事物为对象。’然而，黑格尔对于康德关于知性与理性的观点并不满意，他认为康德关于知性的观点具有片面性，因为康德“认为知性范畴之所以有限，乃因为它们仅属于我们的主观思维，而物自体永远停留在彼岸世界里。事实上，知性范畴的有限性却并不由于其主观性，而是由于其本身性质，即可从其本身指出其有限性。然而依康德看来，我们思想的内容之所以有错误，是因为我们自己在思维”。他认为康德关于理性思维的观点“仅停滞在物自体不可知性的消极结果里，而没有更进一步达到对于理性矛盾有真正积极的意义的知识。理性矛盾的真正积极的意义，在于认识一切现实之物都包含有相反的规定于自身。因此认识甚或把握一个对象，正在于意识到这个对象作为相反的规定之具体的统一”。
黑格尔认为知性思维（黑格尔也称之为理智思维）和理性思维（黑格尔也称之为辩证法的思维亦即辩证思维）乃是思维的两个阶段。他说：“思维无疑地首先是知性的思维。但思想并不仅是老停滞在知性的阶段。”什么是知性思维？他说：“就思维作为知性（理智）来说，它坚持着固定的规定性和各规定性之间彼此的差别。以与对方相对立。”黑格尔充分肯定知性思维对于认识的必要性。他说：“无论如何，我们必须首先承认理智思维的权利和优点，大概讲来，无论在理论的或实践的范围内，没有理智，便不会有坚定性和规定性。先就认识方面来说，认识起始于理解当前的对象而得到其特定的区别。例如在自然的研究里，我们必须区别质料、力量、类别等等，将每一类孤立起来，而固定其特性……知性的定律是同一律……也就是通过这种同一律，认识的过程首先才能够由一个范畴推进到别一个范畴。”接着黑格尔又从数学、法学，理论方面、实践方面，人的品格方面、人的教养方面等，说明知性思维的必要性，这里就不赘述了。
显然，黑格尔所谓的知性思维也就是由亚里士多德创始的传统逻辑所研究的思维（本文作者称之为普通思维）。但是，黑格尔又认为知性思维有其局限性，它必然要进一步上升为理性思维（辩证思维）。他说：“理智并非究竟至极之物，而毋宁是有限之物，而且理智的发挥，如果到了顶点，必定转化到它的反面。青年人总喜欢驰骛于抽象概念之中，反之，有生活阅历的人决不容许陷于抽象的非此即彼，而保持其自身于具体事物之中。”什么是理性思维（辩证思维）？黑格尔说：“在辩证的阶段，这些有限的规定扬弃它们自身，并且过渡到它们的反面。”“思辨的阶段或肯定理性的阶段在对立的规定中认识到它们的统一，或在对立双方的分解和过渡中，认识到它们所包含的肯定。”黑格尔又说：“理性矛盾的真正积极的意义，在于认识一切现实之物都包含有相反的规定于自身。因此认识甚或把握一个对象，正在于意识到这个对象作为相反的规定之具体的统一。”由上可知，黑格尔所说的理性思维也就是我们所说的辩证思维，就是按照辩证法进行思考的思维。
黑格尔给予辩证思维以最高的评价。他说：“辩证法构成科学进展的推动的灵魂。只有通过辩证法原则，科学内容才达到内在联系和必然性。”“正确地认识并掌握辩证法是极关重要的。辩证法是现实世界中一切运动、一切生命、一切事业的推动原则。同样，辩证法又是知识范围内一切真正科学认识的灵魂。”显然，这些看是对辩证法进行肯定的话，同时也就是对辩证思维的肯定。
（二）黑格尔关于普通逻辑的论述
1.黑格尔对同一律的批判
由上可知，黑格尔说同一律是知性思维的规律（也就是普通逻辑的规律），并且对同一律的作用加以肯定；但是，当他谈到知性思维局限性，当然也就是普通逻辑的局限性时，又对同一律进行了猛烈的批判：“于是同一律便被表述为‘一切东西和它自身同一”；或‘甲是甲’。否定的说法：‘甲不能同时为甲与非甲’。……这个命题的形式自身就陷于矛盾，因为一个命题总须得说出主词与谓词间的区别，然而这个命题就没有作到它的形式所要求于它的。……有人说，同一律虽说不能加以证明，但每一意识皆依照此律而进行……但这种逻辑教本上的所谓经验，却与普遍的经验是相反的。照普遍经验看来，没有意识按照同一律思维或想象，没有人按照同一律说话，没有任何种存在按照同一律存在。如果人们说话都遵照这种自命为真理的规律（星球是星球，磁力是磁力，精神是精神），简直应说是笨拙可笑。”这里对于普通逻辑同一律的批判可谓十分严厉了。如果按照同一律讲起话来就只能是“星球是星球”、“磁力是磁力”，那么，同一律乃至整个普通逻辑不仅不是什么科学，而且成了人们思维的桎梏了。问题在于真正了解同一律的人都知道，同一律并不要求人们说话只能说“星球是星球”，同一律的“甲是甲”只是要求人们思维要保持概念的确定性，不要混淆、偷换概念。黑格尔为了强调知性思维以及普通逻辑的局限性，不惜片面曲解同一律的内容，确实是不应该的！
2.黑格尔对排中律的批判
黑格尔说：“排中律是进行规定的知性所提出的原则，意在排除矛盾，殊不知这种办法反使其陷于矛盾。说甲不是正甲必是负甲；但这话事实上已经说出了一个第三者即甲，它既非正的，亦非负的，它既可设定为正的，亦可设定为负的……即就数的单纯的加减或抽象的方向而言，我们也可以说以零为它们的第三者……”可以看出，黑格尔对排中律的批判同样是在歪曲排中律的基础上进行的。众所周知，排中律的公式“甲或非甲”，是说任一事物都有它之所以为它，以及它之所以区别于其他事物的根本不同之处。因此，任一事物，要么是甲，要么不是甲，绝不可能既是甲，又不是甲，亦即任一事物，如果是甲，就不是非甲，如果是非甲，就不是甲。如果对任一事物，既称之为“甲”，又称之为“非甲”，这就是“自相矛盾”。黑格尔说排中律“意在排除矛盾”，这倒是正确的。但说排中律又使自己陷于矛盾，却是不正确的。黑格尔把排中律的“甲或非甲”歪曲为“正甲或负甲”与“正数或负数”，说什么“正甲”与“负甲”之间有“甲”这一中间物，“正数”与“负数”之间亦有“零”为中间物。但是，试问黑格尔，难道排中律的“甲或非甲”与“正甲或负甲”、“正数或负数”是一样的吗？难道“甲”能成为“甲”与“非甲”的中间物吗？
黑格尔又说：“代替抽象理智所建立的排中律，我们毋宁可以说，一切都是相反的。事实上无论在天上或地上，无论在精神界或自然界，绝没有像知性所坚持的那种‘非此即彼’的抽象东西。无论什么可以说得上存在的东西，必定是具体的东西，因而包含有差别和对立于自己本身内的东西。”这里，黑格尔用辩证思维来否定普通思维的排中律，又犯了片面性的错误。不错，任何事物都是具体的，都是内部包含有差别和对立的统一体。辩证思维能看到这一点正是它比普通思维高明（看得更深刻）之处；但是，决不能把辩证思维和普通思维对立起来，用事物都具有具体性来否定排中律。从一方面看，事物内部都包含有差别和对立的统一；但是，从另一方面看，任何事物也都有它之所以为它以及它与其他事物所以根本不同之处的规定性。并且就认识的秩序来说，人们总是首先要认识事物之间的这种差别，然后才能进一步认识事物内部的那种差别和对立的矛盾。当然，我们可以肯定普通思维有局限性，肯定普通思维与辩证思维之间初等思维与高等思维的关系，但决不能把两者对立起来，以辩证思维来否定普通思维。黑格尔要求人们必须首先承认普通思维的权利和优点，并且从多个方面证明认识事物的规定性和确定性的重要性。这里却又要用辩证思维来否定普通思维的正确性，这岂不是自相矛盾吗？
3.黑格尔对充足理由律的批判
什么是充足理由律？黑格尔说充足理由律是“某物的存在，必有其充分的根据”。首先，黑格尔对充足理由律的解释是不准确的。充足理由律是有关思维的规律，而黑格尔却把它说成有关事物的规律了。
黑格尔又说：“形式逻辑在阐明这条思维规律（指充足理由律）时，却对于别的科学提出一个坏的榜样。因为形式逻辑要求别的科学（须说出根据），不要直接以自己的内容为可靠，但它自己却提出一个未经推演、未经说明其中介过程或根据的思维规律。”我们认为，说形式逻辑未给充足理由律提供充足的根据是有一定的道理的。形式逻辑充足理由律最早是由莱布尼兹提出的，他说：“充足的理由或最后的理由应当存在于这个偶然事物的系列之外……所以事物的最后理由应当在一个必然的实体里面……而这个实体就是我们所谓上帝。”这种“上帝”是事物的充足理由或最后的理由的唯心主义说法，当然不能算是为充足理由律本身提供了充足的根据。但是，决不能说形式逻辑绝不可能为充足理由律提供充足的理由（根据）。当代具有一定形式逻辑知识的人都知道，充足理由律的客观根据（客观基础）乃是客观事物必然联系特别是事物因果联系的反映。“既然一个事物存在必然有它所以存在的条件和原因，那么，一个判断被确立为真，也必然要有足以确立该判断为真的理由；既然没有一定条件和原因的事物是根本不存在的，那么，没有充足理由，一个判断也就不能被确立为真。”因此，说充足理由律是没有客观根据的，是不正确的。
4.黑格尔对普通逻辑“概念”理论的批判
黑格尔说：“在‘知性逻辑’里，概念常被认作思维的一个单纯的形式。”但是，黑格尔却又说：“我们常说，从概念去推演出内容，例如，从财产的概念去推演出有关财产法的条文，或者相反，从这些内容去追溯到概念。由此就可看出，概念并不仅是本身没有内容的形式。因为假如概念是一空无内容的形式的话，则一方面从这种空形式里是推不出任何内容来的，另一方面，如果把某种内容归结为概念的空形式，则这内容的规定性将会被剥夺掉，而无法理解了。”很显然，黑格尔这里犯了“偷换概念”的毛病：把普通逻辑中所研究的仅仅是“概念”这种思维形式的概念，偷换成某个具体科学中的具体的概念（如“财产”）了。以这种办法来批判普通逻辑，又怎么能服人呢？
黑格尔又说：“关于知性逻辑所常讨论的概念的来源和形成问题，尚须略说几句，就是我们并不形成概念，并且一般来说，概念决不可认作有什么来源的东西。……我们以为构成我们表象内容的那些对象首先存在，然后我们主观的活动方随之而起，通过前面所提及的抽象手续，并概括各种对象的共同之点而形成概念，――这种想法是颠倒了的。反之，宁可说概念才是真正的在先的。事物之所以是事物，全凭内在于事物并显示它自身于事物内的概念活动。……换句话说，世界和有限的事物是从神圣思想和神圣命令的圆满性里产生出来的。由此必须承认，思想，准确点说，概念，乃是无限的形式，或者说，自由的、创造的活动，它无需通过外在的现存的质料来实现其自身。”先有客观事物，后有概念――概念是人们思维对事物本质属性的反映，这是关于概念的唯物主义观点，也是正确的观点。黑格尔却说什么“这种想法是颠倒了的”。黑格尔认为，概念具有神圣性、无限性，是先有概念，整个世界都是由概念创造出来的。这里，黑格尔的客观唯心主义观点倒真是把事情弄颠倒了。
由上可知，黑格尔在对普通逻辑进行论述时，为了说明普通逻辑的局限性，往往不惜对普通逻辑加以歪曲，以致造成普通逻辑与辩证逻辑的根本对立。这一情况所造成的恶果之一就是后人往往把普通逻辑与形而上学混为一谈。我国在上世纪30年代，曾经因此对普通逻辑开展了大规模的批判。苏联建国后则长期把普通逻辑排斥在大、中学校的教学范围之外。直到1940年，斯大林为普通逻辑恢复了名誉，苏联在全国范围内又进行了逻辑问题大讨论，人们才把普通逻辑与形而上学严格区分开来。
（三）黑格尔关于辩证逻辑的论述
在黑格尔的《小逻辑》中，并未把“哲学”和“逻辑学”、“辩证法”和“辩证逻辑”严格加以区分，书中有关辩证法的论述，也就是他有关辩证逻辑的论述。
1.黑格尔关于对立统一律的论述
“一切有限之物并不是坚定不移，究竟至极的，而毋宁是变化、消逝的……有限事物，本来以他物为其自身，由于内在的矛盾而被迫超出当下的存在，因而转化到它的反面”。“同一矛盾原则是构成其他一切自然现象的基本原则，由于有了内在矛盾，同时自然被迫超出其自身”。“近代哲学常被人戏称为同一哲学，殊不知，揭穿了脱离差别的单纯知性的同一是虚枉不实的，恰好就是这种同一哲学，特别是思辨逻辑学，而这种新哲学也曾确实竭力教人不要自安于单纯的差异，而要认识一切特定存在着的事物之问的内在统一性”。“在对立中，有差别之物并不是一般的他物，而是与它正相反对的他物；这就是说，每一方只有在它与另一方的联系中才能获得它自己的（本质）规定，此一方只有反映另一方，才能反映自己。另一方也是如此；所以，每一方都是它自己的对方的对方”。“无论什么可以说得上存在的东西，必定是具体的东西，因而包含有差别和对立于自己本身内的东西”。由这些话可知，黑格尔认为对立统一规律（他称之为“同一矛盾原则”）乃是事物、思维和辩证逻辑（他称之为思辨逻辑学）的基本规律。这一规律告诉我们，任何事物和思维内部都包含有既对立又统一的矛盾，正是这种矛盾推动事物的发展，推动事物由此物必然转化为他物。
2.黑格尔关于质量互变规律的论述
“如果某一质量统一体或尺度中的量超出了某种界限，则和它相应的质也就随之被扬弃了。但这里所否定的并不是一般的质，而只是这种特定的质，这一特定的质立刻就被另一特定的质所代替。质量统一体……的这种变化的过程，即不断地交替着先由单纯的量变，然后由量变转化为质变的过程”。“尺度中出现的质与量的同一，最初只是潜在的，尚未显明地实现出来。这就是说，这两个在尺度中统一起来的范畴，每一个都各要求其独立的效用。因此一方面定在的量的规定可以改变，而不致影响它的质，但同时另一方面这种不影响质的量之增减也有其限度，一超出其限度，就会引起质的改变”。黑格尔在对立统一规律中告诉我们，事物中所包含的矛盾必然促使此一事物转化为彼一事物。在质量互变规律中黑格尔又告诉我们，事物由此一事物转化为彼一事物的过程，是一个由量变到质变的过程，即一开始仅仅是数量的变化，即该事物仍然是该事物；但这种量变的逐渐积累，一旦超出一定限度，就必然引起质变，亦即该物也就变成他物了。
3。黑格尔关于否定之否定规律的论述
黑格尔在《小逻辑》中对否定之否定规律论述得比较简单，只是说，“某物成为别物，而别物一般地又成为别物。某物既与别物有相对关系，则某物本身也是一与别物对立之别物”。“如果我们另外说，无限是‘非有限’，那末就可算得真正道出真理了，因为有限本身既是第一个否定，则‘非有限’便是否定之否定，亦即自己与自己同一的否定，因而同时即是真正的肯定”。在这里黑格尔又告诉我们，事物的发展必然转化为他物，此他物对该事物来说是第一个否定，而此他物进一步发展，又必然转化为他物的他物，此他物之他物则是否定之否定，而这种否定之否定乃是真正的肯定――事物在更高层次上的发展。
以上是黑格尔关于辩证法（也是辩证逻辑）基本规律的论述。在《小逻辑》中，黑格尔也谈到了辩证逻辑与普通逻辑的关系问题以及辩证逻辑有关概念、命题和推理的一些问题，这里限于篇幅就不予涉及了。
