·296 智能系统学报 第6卷 辑化的吗？辩证法之所以会产生，是由于单一的概 线的定义问题.在欧氏几何中，不相交的是平行线：在 念、词汇、命题对于复杂的客观事物的信息量不够. 非欧几何中，相交的是平行线.这里，“公理”即“条 相对于客观实际而言，这些命题实际并没有界定清 件”，不同的条件、公理、前提、原则，可得到不同甚至 楚，从而要想客观地反映现实世界，必须对单一概 表面矛盾的命题（指隐含这些前提条件命题时），可 念、词汇、命题进行扩充、说明、界定，也就是要对单 见，命题如果太过简短（单一命题），则可能不能涵盖 一命题施以限制条件或者给出其存在的条件，形成 客观上与此命题有关的所有丰富内容 复合命题，而这些条件在只有单一命题时都是隐含 辩证逻辑的任务，主要有两方面 的.特别地，一些单一的矛盾命题（如好、坏等），或 1)假设在条件命题a下可以得到命题（结论） 虽不矛盾、但含义相反的命题（如有优点、有缺点 A,而在条件命题b下可以得到命题（结论）非A传 等)，在加进条件命题变成复合命题后，完全可以不 统逻辑的目的就是得到A,至于a是否参与推理或 再矛盾.此类命题，可以称之为辩证命题或复合辩证 者仅是隐含的并不重要.如果在传统逻辑中推出了 命题.辩证逻辑，显然就是研究这些命题的.因此，辩 非A,那就意昧着A是假命题：如果在某前提下同时 证法的任务，可以视之为是将某种原因（认识有限、 推出了A和非A,则按排中律，由反证法说明推理的 精炼语言、语言习惯、看问题简单化)隐藏于单一命 前提有问题.传统逻辑认为上述结论是当然的、惟一 题，特别是相互矛盾的单一命题中的条件找出来，或 正确的，特别是a、b条件被隐含或不明显时.辩证逻 者将原本并不矛盾的命题，在加进相关条件后，变成 辑下，事情不能到此为止，它的任务是找出往往是隐 矛盾的.而辩证逻辑，也就应该是研究这些命题间的 含的、不明显的、甚至是隐藏很深的（这也正是“辩 推理的.而传统逻辑，一般是研究单一命题的，也就 证思想”往往非常高深、非常困难的原因)条件a、b, 是始终条件一致的命题.这里，相互矛盾的单一命题 使原先是矛盾的命题A和非A,在加上限制条件的 就是矛盾的，没有可能将其融和进一个不矛盾的复 a和b后，不再是矛盾的.当然，如果2个条件之一 合命题中，正像在现实生活中经常做的那样.显然， 非常明显任务就是找出另一个隐含的条件.由于加 这就会遗漏很多始终会涉及到的命题，它无论对语 上限制条件a、b命题后，等于是（等价于）改变了A 言元素集还是客观事物而言，都是不完备的.现举一 或非A的定义（或直接当作复合命题看），因此实质 些例子予以说明： 上它们不再是矛盾命题，或者说，它们此时只是表观 1)由于事物的相对性，比如上、下，大、小，高、 矛盾的.此一辩证逻辑推理的目的，是在看似绝对的 矮，胖、瘦等这些概念命题，在作为单一命题时是相 结论中，找出相对性.也就是原先看似绝对是对的东 互矛盾的（这里“小”可非严格地理解成“不大”，等 西，在什么条件下可以是错的，或反之.当然，这一切 等)但如果加上限制条件“相对于某人而言”或“以 都与不同的前提条件密切关联， 某人为基准”等命题，则这些复合命题不再矛盾.相 2)在传统逻辑中，如果一个系统最终得到了矛 反，如果二人同高，但加进条件“某一人站在凳子 盾命题，说明此系统有问题，其前提必须被抛弃.这是 上”，则原本同高的二人就不同高了.这里的“高 排中律所要求的.但在考虑辩证复合命题后，辩证逻 度”，已经不是指的“身体本身的高度”了· 辑中完全可以主动地直接从一个矛盾命题出发，去找 2)纸老虎、真老虎（非纸老虎）.表观是矛盾命 出不同的适用条件，也就是上面的a和b,当然也可以 题.但如果以“得不到人民支持”为条件去定义纸老 是a或者b.如此一来，原先在传统逻辑中相互矛盾的 虎，然后又以“武器好”去定义真老虎，就可以说帝 命题，变成了复合相对命题，也就是辩证命题.等价 国主义又是纸老虎，又是真老虎，它为了精炼语言， 地，等于是相对传统逻辑情况改变了原矛盾命题的定 隐含掉了复合条件命题.辩证逻辑的命题应该是确 义，于是，该命题在辩证逻辑中不再是矛盾命题了.只 定的，并不是一些学者认为的是“模糊”的.比如在 不过如果图省事，省略了其条件（隐含条件）时，会有 此例中，“老虎”又是“真老虎”，又是“纸老虎”，既 貌似矛盾的提法出现.比如“帝国主义又是纸老虎，又 “真”又“纸”，都是实实在在的.而不是“也许真”、 是真老虎”，“某人又是好人，又是坏人”等.但这时立 “也许纸”，不能确定是否“真”或者“纸”.因此，辩 论成立（即命题实际不矛盾）的基础，是被隐含的条 证逻辑本质上并不是模糊逻辑，只不过二者形式上 件、前提的存在.这种辩证逻辑的推理目的，是从原先 有些相似罢了 看似错误或就是错误的东西中，找出在什么条件下， 3)平行线又可相交又不可相交.有辩证意味，此 结论可以是或变成正确的 命题为矛盾命题.但在欧氏几何公理下，不可相交；而 总之，这种表观的“矛盾性”即辩证矛盾实际是 在非欧几何公理下，可以相交.这实际是一个对平行 康德的“二律背反”意义的“矛盾”.它由不同的前提