开创了形式逻辑的新篇章

<BR>&nbsp&nbsp&nbsp&nbsp目前，国内对传统形式逻辑的改革发展有两种不同的方案，有的采取用数理逻辑改造传统形式逻辑的办法（通常称为“改造论”或“统帅论”），有的采取用数理逻辑取代传统形式逻辑的做法（通常称作“取代论”）。该著作不采用这两种方法。该著作的研究立足于辩证唯物论，继承我国先贤韩非自发的客体逻辑思想，以自觉的逻辑客体说为主导思想，坚持传统形式逻辑真正逻辑科学的方向，摒弃传统形式逻辑的各种积弊，尽力廓清笼罩在她身上朦胧的历史迷雾，在不背离其主导思想从而不会发展成为数学的一部分的先决条件下，借鉴现代数学精确的演算方法，去探讨具有当代科学水准的客体说当代形式逻辑。 <BR>&nbsp&nbsp&nbsp&nbsp <BR>&nbsp&nbsp&nbsp&nbsp逻辑学事实上至少划分为两类学科：传统形式逻辑与正统数理逻辑。前者要是从我国先秦墨家、名家（如墨翟、荀况）与古希腊的亚里士多德算起已有两千三百多年的历史；后者倘若从英国的布尔算起还只有一百五十年的历史。正统数理逻辑又称符号逻辑、现代逻辑、逻辑斯谛等，是数学家们缔造的，采用形式语言的用数学方法处理数学中的逻辑问题，因而舍弃了其中的非数学因素的学科，是数学的一部分；而传统形式逻辑则是以结合自然语言的作为从已知进入新知的工具的推理格式为主要研究对象。鉴于数学家们构造数理逻辑的目的是为了解决数学基础问题，并且，为了在其中全面而彻底地贯彻数学方法，因而，舍弃了在推理中出现的命题间的关系中的非数学的逻辑含义，而将其处理成真值函数、个体‐真值函数关系，这就完全背离了传统形式逻辑要求推理的结论对前提来说必须是新知的这种主导思想。正由于此，在一部分研究数理逻辑的人和一部分研究形式逻辑的人之间存在着下述有时甚至是非常动感情的对立：前者由于传统形式逻辑的陈旧简陋而将其当作新兴的数理逻辑的微不足道的局部；而后者则由于数理逻辑无视在作为从已知进入新知的工具的推理格式中起决定作用的非数学的逻辑含义而将其当作与普通的逻辑思考格格不入的异端。植根于普通逻辑思考的传统形式逻辑从演算技巧上看是陈旧简陋的，然而，它始终如一地贯彻不许循环论证，并为此在事实上全面地坚持推理的结论对前提来说必须是新知，这种概括了在普通逻辑思考实际中运用的推理格式的最根本逻辑特征的主导思想是深刻而又正确的；采用高度发展的数学方法、以命题演算和狭谓词演算为基础的正统数理逻辑的演算技巧是严格精密的，可是，它却舍弃了在作为从已知进入新知的工具的推理格式中起决定作用的非数学的逻辑精髓，把命题逻辑、名词逻辑推理格式处理成本质上是同语反复的恒真的真值函数（重言式）、恒真的个体‐真值函数，因而远离了普通逻辑思考实际。二者各有所长，也各有所短。 <BR>&nbsp&nbsp&nbsp&nbsp