一阶逻辑的推理理论范文篇1
毛泽东立足于中国革命的伟大实践。继承和发展马克思、恩格斯和列宁等革命前辈的思想成果，对形式逻辑和唯物辩证法提出了独特的见解，进行了创造性的阐述。
一、毛泽东的形式逻辑思想
1、形式逻辑的研究对象和性质。
毛泽东认为形式逻辑只管形式，不管内容，因而没有阶级性。1961年，毛泽东指出：形式逻辑只管形式，不管内容，从错误的前提推出错误的结论，在形式上也可以是正确的。”形式”是对思维结构的要求和规范，它确保人们在思维中从结构上不犯错误。思维内容的真假却靠具体科学去解决。毛泽东还认为形式逻辑不应包括充足理由律。1965年12月，他说：什么充足理由律?我看没有什么充足理由律。不同的阶级有不同的理由。哪一个阶级有充足理由?”无论什么人，不管他是哪个阶级、哪个民族在进行思维活动时，都要运用概念、判断、推理，都要遵循形式逻辑的基本规律，否则，就不能正确地进行思维、表达和交流。1957年，毛泽东接见周谷城，周谷城说：形式逻辑这个东西是敌我共同的武器本文由http://收集整理，我方可用，敌也可用，它没有阶级性。”毛泽东问：何以见得?”周谷城举例说：资产阶级说，凡生产资料应该私有，所有大工厂是生产资料，所以，大工厂应该私有；无产阶级说，凡生产资料应该公有，所有大工厂是生产资料，所以，大工厂应该公有。”毛泽东笑着说：言之成理，也有力。”
2、形式逻辑与辩证逻辑、形而上学方法的关系。
毛泽东认为形式逻辑不同于形而上学方法、唯物辩证法。1938年3月25日，毛泽东写道：潘梓年同志寄来了他所作一册《逻辑与逻辑学》，本日看至93页，颇为新鲜。”对于潘梓年在方法论”和技术论”下把形式逻辑与形而上学、辩证法区分开来，并把形式逻辑与辩证法结合起来，各司其职，共同作用于思维实际，毛泽东认为是可取的。党中央编辑整理出版《毛泽东选集》时，毛泽东于1951年3月8日给田家英等人写信，指出《矛盾论》中论形式逻辑的后面几段，词意不达，还须修改”。在《矛盾论》正式发表时，按照毛泽东的建议，把形式论理的同一律与辩证的矛盾律”一节删去。周谷城发表《形式逻辑和辩证法》一文，反对把形式逻辑混同于形而上学加以批判，认为形式逻辑既可为寻求真理的人们服务，又可为形而上学和进行诡辩的人服务。有一次，周谷城当面对毛泽东说：我意见很少人赞成，我很孤立，成了众矢之的。”毛泽东答曰，你的意见有人赞成，并不孤立”，不要害怕，要积极地写”。他又说：formallogic本来就是formal的，要把它同辩证法混同，甚至改成辩证法，是不可能的。它是一门独立学问，大家都要学一点。……就自然科学本身来说，是没有阶级性，但是谁人去研究和利用自然科学，是有阶级性的。”
毛泽东还认为形式逻辑与辩证逻辑的关系不同于低级数学与高级数学的关系。1965年12月，毛泽东说：说形式逻辑好比低级数学，辩证逻辑好比高等数学，我看不对。形式逻辑是讲思维形式的，讲前后不相矛盾的。它是一门专门科学，同辩证法不是什么初等数学和高等数学的关系。数学有算术、代数、几何、微分积分，它包括许多部分。形式逻辑却是一门专门科学。任何著作都要用形式逻辑，《资本论》也要用。”
3、形式逻辑的应用。
毛泽东很注重逻辑理论的应用，他主张写文章和文件都应具有逻辑性。1955年10月，毛泽东指出：写文章要讲逻辑。就是要注意整篇文章、整篇说话的结构，开头、中间、尾巴要有一种关系，要有一种内部的联系，不要互相冲突”。1958年2月，毛泽东指出：文章和文件都应当具有三种性质：准确性、鲜明性、生动性。准确性属于概念、判断和推理问题，这些都是逻辑问题。鲜明性和生动性，除了逻辑问题以外，还有词章问题。现在许多文件的缺点是：第一，概念不明确；第二，判断不恰当；第三，使用概念和判断进行推理的时候又缺乏逻辑性；第四，不讲究词章。”毛泽东还指出：概念、判断的形成过程，推理的过程，就是调查和研究的过程，就是思维的过程。……就是‘从群众中来’的过程；把自己的观点和思想传达给别人的过程，就是‘到群众中去’的过程。”
新中国成立后，毛泽东力推形式逻辑文集的编辑、出版和发行工作。1957年，他邀见周谷城、金岳霖和王方名，谈论了辩证逻辑和形式逻辑的著译等有关问题。1958年，他收到周谷城的信，得知其新的逻辑著作出版，很高兴，回信说：大著出版，可资快读。”在毛泽东授意下中央政治研究室编辑出版《逻辑丛书》时，打算收入章士钊旧作《逻辑指要》。毛泽东征求作者意见时，章士钊曾因此书印于重庆，与叛党有关”而有所顾虑。毛泽东笑曰：此学问之事，庸何伤!”后来毛泽东看完《逻辑指要》，又对章士钊说：吾意此足为今日参考资料，宜于印行。”在《逻辑指要》校改完毕后，毛泽东于1959年6月7日给章士钊的回信中说：既有颇多删补，宜为几句说明。即借先生之著，为之筹策。”随之把其代拟的序言写出。毛泽东作出宜于印行”的决策，有助于解决当时逻辑资料奇缺的问题。
二、毛泽东的唯物辩证法思想
辩证法的三大规律，首先是黑格尔在《逻辑学》中阐述，恩格斯最早从中抽象和总结出来的。列宁把唯物辩证法简要地确定为关于对立面的统一学说，并写下了《谈谈辩证法问题》，对辩证法进行了说明。毛泽东在1936年读《辩证唯物论教程》时说辩证法的本质即对立的统一法则”。1937年，毛泽东在延安讲述唯物辩证法时，结合北伐战争和土地革命战争的历史经验。特别是1927年和1934年两次严重失败的教训，阐述和发挥了列宁的关于对立统一规律是辩证法实质和核心的思想。此后，毛泽东多次指出辩证法就是对立统一性或互相渗透。他指出：事物的矛盾法则，即对立统一的法则，是唯物辩证法的最根本的法则”。什么是矛盾呢?毛泽东解释说：没有什么是不包含矛盾的，没有矛盾就没有世界。”矛盾即是运动，即是事物，即是过程，也即是思想。”毛泽东认为，人们的思想要正确地反映现实矛盾，就要全面地反映客观对象中矛盾双方既相互排斥又相互依赖的关系。
毛泽东将辩证法与形而上学的对立同唯物主义与唯心主义的对立联系起来。他说：在人类的认识史上，从来就有关于宇宙发展法则的两种见解，一种是形而上学的见解，一种是辩证法的见解，形成了互相对立的两种宇宙观”。两种宇宙观的根本区别在于是否承认事物因内部矛盾引起发展”。毛泽东从唯物辩证法的总体着眼，将辩证法与形而上学的对立同唯物主义与
唯心主义的对立联系起来，是对马克思主义哲学的重大发展。
毛泽东系统论述了内外因相互作用规律。他认为内因是事物的内部矛盾及其诸方面关系，内部矛盾是事物自己运动的源泉；外因是一事物与周围其他事物的相互关系，推动事物发展变化，进而把发展观理解为内部联系和外部联系。毛泽东指出新陈代谢是宇宙间普遍的永远不可抵抗的规律”、任何事物的内部都有其新旧两个方面的矛盾，形成为一系列曲折的斗争。斗争的结果，新的方面由小变大，上升为支配的东西；旧的方面则由大变小，变成逐步归于灭亡的东西”这是对马克思主义发展观的实质性概括。
毛泽东从矛盾的普遍性与特殊性的相互联系上发掘出矛盾精髓”思想，对矛盾特殊性作了独到深入的研究。列宁认为：个别一定与一般相联而存在。一般只能在个别中存在。只能通过个别而存在。任何个别都是一般。任何一般都是个别的。任何一般只是大致地包括一切个别事物。任何个别都不能完全地包括在一般之中，如此等等。”列宁并未把个别和一般的范畴同矛盾范畴联系起来，毛泽东全面地分析了矛盾的普遍性与特殊性同整个矛盾体系的紧密联系，进而提出矛盾精髓”思想，并强调不懂得它，就等于抛弃了辩证法”他指出：对于物质的每一种运动形式，必须注意它和其他各种运动形式的共同点。但是，尤其重要的，成为我们认识事物的基础的东西，则是必须注意它的特殊点，就是说，注意它和其它运动形式的质的区别。只有注意了这一点，才有可能区别事物。”
毛泽东提出复杂过程中的部分质变思想以及发展具有阶段性问题，使量变质变规律变得更加完善。他认为，所谓部分质变，就是指事物发展过程的根本矛盾及为此根本矛盾所规定的过程的本质”还没有消灭，即是说在事物的质的规定性未变之前，在总的量变过程中所发生的部分的、局部的性质上的某些变化。1959年毛泽东在读苏联编写的《政治经济学(教科书)》时明确提出：量变和质变是对立的统一。量变中有部分的质变，不能说量变的时候没有质变，质变是通过量变完成的，不能说质变中没有量变。质变是飞跃，在这个时候，旧的量变中断了，让位于新的量变。在新的量变中，又有新的部分质变。”部分质变思想是毛泽东对量变质变规律认识深化的结晶，揭示了事物发展阶段性的内在根据，并联系中国革命的实践和社会主义建设的实际，对社会主义发展阶段问题提出了许多重要的思想。
一阶逻辑的推理理论范文
【英文摘要】philosophicallogicisapolysemantincontemporarylogicalliterature.webelieveit'sanon-classicallogicwithphiloso-phicalpurportorcause.itsrisearosesalotoftheoreticalproblems.thisessayexpoundsthelimitsofclassicallogic,non-monotonyanddeduction,logicalmathematicalizationanddepart-mentalization,theownershipofinductivelogic,etc.
【关键词】经典逻辑/非经典逻辑/演绎性/数学化/部门化/哲学逻辑classicallogic/non-classicallogic/deduction/mathematicalization/departmentalization/philosophicallogic
【正文】
哲学逻辑的崛起引发一系列理论问题。我们仅就其中几个提出一些不成熟的看法。
一、经典逻辑和非经典逻辑的界限
在这里经典逻辑是指标准的一阶谓词演算(cqc)，它的语义学是模型论。随着非经典逻辑分支不断出现，使得我们对经典逻辑和非经逻辑的界限的认识逐步加深。就目前情况看，经典逻辑具有下述特征：二值性、外延性、存在性、单调性、陈述性和协调性。
传统的主流观点：每个命题（语句）或是真的或是假的。这条被称做克吕西波(chrysippus)原则一直被大多数逻辑学家所恪守。20年代初卢卡西维茨(j.lukasiwicz)建立三值逻辑系统，从而打破了二值性原则的一统天下，出现了多值逻辑、部分逻辑（偏逻辑）等一系列非二值型的逻辑。
经典逻辑是外延逻辑。外延性逻辑具有下述特点：第一，这种逻辑认为每个表达式（词项、语句）的外延就是它们的意义。每个个体词都指称解释域中的个体；而语句的外延是它们的真值。第二，每个复合表达式的值是由组成它的各部分表达式的值所决定，也就是说，复合表达式的意义是其各部分表达式意义的函项，第三，同一性替换规则和等值置换定理在外延关系推理中成立。也是在20年代初，刘易士(c.i.lewis)在构造严格蕴涵系统时，引入初始模态概念“相容性”（或“可能性”），并进一步构建模态系统s1-s5。从而引发一系列非外延型的逻辑系统出现，如模态逻辑、时态逻辑、道义逻辑和认知逻辑等等出现。
从弗雷格始，经典逻辑系统的语义学中，总是假定一个非空的解释域，要求个体词项解释域是非空的。这就是说，经典逻辑对量词的解释中隐含着“存在假设”，在60年代被命名为“自由逻辑”的非存型的逻辑出现了。自由逻辑的重要任务就在于：(1)把经典逻辑中隐含的存在假设变明显；(2)区分开逻辑中的两种情况：一种与存在假设有关的推理，另一种与它无关。
在经典逻辑范围内，由已知事实的集合推出结论，永远不会被进一步推演所否定，即无论增加多少新信息作前提，也不会废除原来的结论。这就是说经典逻辑推理具有单调性。然而于70年代末，里特(r.reiter)提出缺省(default)推理系统，于是一系列非单调逻辑出现。
经典逻辑总是从真假角度研究命题间关系。因而只考察陈述句间关系的逻辑，像祈使句、疑问句、感叹句就被排斥在逻辑学直接研究之外。自50年代始，命令句逻辑、疑问句逻辑相继出现。于是，非陈述型的逻辑存在已成事实。
经典逻辑中有这样两条定理：（p∧q）（矛盾律）和p∧pq（司各特律），前者表明：在一个系统内禁不协调的命题作为论题，后者说的是：由矛盾可推出一切命题。也就是说，如果一个系统是不协调的，那么一切命题都是它的定理。这样的系统是不足道的(trivial)。柯斯塔(m.c.a.dacosta)于1958年构造逻辑系统cn（1〈n≤ω）。矛盾律和司各特律在该系统中不普遍有效，而其他最重要模式和推理规则得以保留。这就开创了非经典逻辑一个新方向弗协调逻辑。
综上所述非经典逻辑诸分支从不同方面突破经典逻辑某些原则。于是，我们可以以上面六种特征作为划分经典逻辑与非经典逻辑的根据。凡是不具有上述六种性质之一的逻辑系统均属非经典逻辑范畴。
二、非单调性与演绎性
通常这样来刻画演绎：相对于语句集合γ，对于任一语句s，满足下述条件的其最后语句为s的有穷序列是s由γ演绎的：序列中每个语句或者是公理，或者是г的元素，或者根据推理规则由前面的语句获得的。它的一个同义词是导出(derivation)。演绎是相对于系统的概念，说一个公式（或语句）是演绎的只是相对于一不定的公理和推理规则的具体系统而言的。演绎概念是证明概念的概括。一个证明是语句这样的有穷序列：它的每个语句或是公理或是根据推理规则由前面的语句得出的。在序列中最后一个语句是定理。
现在我们考察单调逻辑中演绎情况。令w是一阶逻辑公式的集合，d为缺省推理的可数集，cons(d)为d中缺省的后承的集合。我们来建立公式φ的缺省证明概念：首先我们必须确定从wucons(d[,0])。导出φ这种性质的缺省集合d[,0]。为确保在d[,0]中缺省的适用性，我们须确定缺省集合d[,1]，致使能从wucons(d[,1])中得出在d[,0]中缺省的所有必须的预备条件。我们从这种方式操作直至某一空的d[,k]。这意谓着从w得出在d[,k-1]中的必须的预备条件。然后我们确定一个证明，只是我们不陷入矛盾，即是w必须跟包括在证明中的所有缺省后承的集合相一致。例如，给定缺省理论：
t=(｛p｝,｛δ[,1]=p:r/r,δ[,2]=r:ps/ps｝)(｛δ[,2]｝),｛δ[,1]｝，φ是s在t中的缺省证明。
形式地说，φ在正规缺省理论t=(w,d)中的一个缺省证明是满足下述条件的d的子集合的有穷序列(d[,0],d[,1],…d[,k])：
（i）φ从wucons(d[,0])得出。
（ii）对于所有i〈k,从wucona(d[,i+1])得出缺省的所有预备条件。
（iii）d[,k]=φ。
（iv）wucons(u[,i]d[,i])是一致的。
由上面可以看出缺省推理中的证明是与通常的演绎证明是不同的，前者比后者要宽广些。
附图
由此可见，缺省逻辑中的推出关系比经典逻辑中的要宽。因而相应扩大了“演绎性”概念的外延。于是可把演绎性分为：强演绎性和弱演绎性。后者是随着作为前提的信息逐步完善，而导出的结论逐步逼近真的结论。
三、逻辑的数学化和部门化。
正如有人所指出的那样，“逻辑学在智力图谱中占有战略地位，它联结着数学、语言学、哲学和计算机科学不同学科。”[2]作为构建各学科系统的元科学手段的逻辑与各门科学联系越来越密切。它在当代发展中，表现出两个重要特征：数学化和部门化。
逻辑学日益数学化，这表现为：(1)逻辑采取更多的数学方法，因而技术性程度越来越高。一些逻辑问题（如系统特征问题）的解决需要复杂的证明技术和数学技巧。(2)它更侧重于数学形式化的问题。其实数学化的本质是抽象化、理想化和泛化（普遍化）。这对像逻辑这样的形式科学显然是非常重要的，近一个世纪逻辑迅速发展就证明了这一点。逻辑方法论的数学化在本世纪下半叶正在加速。这给予逻辑的一些重要结论以复杂的结构和深入的处理，使逻辑变得更精确更丰富。但是，由于逻辑中数学专门化已定型并且限定了它自己，所以逻辑需向其他领域扩张，拓宽其研究领域就势所必然。
逻辑向其他学科领域的延伸并吸收营养，于是出现了各种部门逻辑，如认知逻辑、道义逻辑、量子逻辑等等。我们把逻辑学这种延伸和部门逻辑出现称做逻辑部门化。
哲学逻辑就是逻辑部门化的产物，它是方面逻辑或部门逻辑。众所周知，经典逻辑演算的理论、方法和运算技术具有高度的概括性，它适用于一切领域、一切语言所表达的演绎推理形式。所以，它具有普遍性，是一般的逻辑。有人认为一阶演算完全性定理表明“采用现代数学方法和数学语言来刻画的全体‘演绎推理规律’恰好就是人们在思维中所用的演绎推理规律的全体，不多也不少！”[3]。表达一阶逻辑规律的公式是普通有效的，即是这些公式在任何一种解释中都是真的。而哲学逻辑各分支只是研究某一方面或领域的演绎推理规律，表达这些规律的公式只是在一定条件下在某一领域是有效的，即是它们在具有某种条件解释下是真的。例如，模态公式(d)pp,(t)pp,(b)pp,(4)pp,(e)pp，分别在串行的、自反的、对称的、传递的、欧几里得的模型中有效。而动态逻辑的一些规律只适用于像计算程序那样的由一种状态过渡到另一种状态转换的动态关系。
部门逻辑另一种含义是为某一特定领域提供逻辑工具。例如，当人们找出描述一个微观物理系统在某一时刻的可观察属性的命题的一般形式。对其进行运算时，发现一些经典逻辑规律失效，如分配律对这里定义的合取、析取运算不成立。于是人们构造一种能够描述微观物理世界新的逻辑系统，这就是量子逻辑。
四、哲学逻辑划界问题
哲学逻辑形形并且难于表征。在现代逻辑文献中，“哲学逻辑”是个多义词。它的涵义主要的有三种：它的第一种涵义是指关于现代逻辑中一些重要概念和论题的理论研究。例如，对于名称（词项）、摹状词、量词、模态词、命题、分析性、真理、意义、指涉、命题态度、悖论、存在乃至索引等概念及与它们相关的论题的理论研究以及利用形式逻辑工具处理逻辑和语言的逻辑结构的哲学争论。它的第二种涵义是指非经典逻辑中一个学科群体，它包括模态逻辑、多值逻辑等等众多逻辑分支。它的第三种涵义是兼指上述两种涵义的“哲学逻辑”。
我们认为，第一种涵义上的“哲学逻辑”不是研究推理有效式意义上的逻辑，而是逻辑哲学。我们赞成在第二种涵义上使用“哲学逻辑”一词。于是可以给出下述定义：哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑，在这里应对“哲学”做广义的理解。哲学逻辑不仅与传统哲学中的概念和论题有直接或间接联系。而且也涉及各门科学中具有方法论性质的问题和其他元科学问题。
在我们看来，“归纳”和“演绎”一样，是传统哲学所关注的重要哲学概念，而且也是现代一些哲学家所争议的问题之一。同时归纳逻辑方法的启发作用在认知过程中不可低估，归纳的一些方法和技术同样是一些学科的元科学因素，是发现真理构建学科系统不可少的。因此，它应属于哲学逻辑。《哲学逻辑杂志》亦把它列入哲学逻辑诸分支之首。
问题在于，归纳推理的复杂性，对它的形式刻画和找出能行程序遇到不易克服的困难，致使其成果与演绎推理所获得成果相比，显得不那么丰硕。然而，由于人工智能等技术上的需要，推动着更多的人研究归纳推理，总会有一天，归纳逻辑也像演绎逻辑那样用形式方法来处理。
【参考文献】
[1]antoniou,g.:1997,nonmontonicreasoning,themitpress,cambridge,masschusetts.
一阶逻辑的推理理论范文
精品课程建设是教育部提出的被称之为改革之魂的质量工程”的核心内容和重大举措，也是确立高等院校教育信誉的窗口和门面。因此，各高校非常重视，不惜重金悬赏，以激励精品课程建设。本文将结合武汉警官职业学院（以下本文由论文联盟收集整理简称我院”）首个申报成功的湖北省精品课程逻辑学”的建设经验，谈谈笔者之管见，抛砖引玉，以期带给大家些许启示。
一、注重精品课程建设的领导和宣传
政治路线确定之后，干部就是决定因素。学院精品课程建设步伐不大，风气平淡，与学院重视不够是相关联的。精品课程是我负责申报成功的，你应该感谢我”，持有这种自私和狭隘的想法，是对精品课程建设的伤害。所以，加强领导也是精品课程建设的有力保障。同时，我院优质学科、优秀教师很多，所谓人才辈出，但对精品课程建设他们或者不了解，或者不愿做。学校建设的核心是教学质量，应该加大对质量工程”品牌意识”的宣传力度，为精品课程建设提供舆论保障。
二、建立精品课程建设的投资和激励长效机制
精品课程建设是通过现代科学技术手段作为载体才能完成和实现的，没有科学技术这个背景是无法进行的，三尺讲台、一块黑板、一支粉笔”的教学方式显然不能实现。因此，要加大投资力度，改善教学环境，保证精品课程建设顺利进行。同时，学校还要建立健全精品课程激励机制。应该看到，学校的竞争，归根结底是人才的竞争，而人才的积极性是竞争成败的关键。精品课程是教师辛勤的劳动成果，是教师的心血结晶，不是动动嘴皮子、挥挥手轻而易举就能成功的，要建立健全激励机制，充分调动教师的积极性，让他们心甘情愿全身心地投入和创造。
三、加强师资队伍建设，优化专业师资队伍结构
精品课程建设，归根结底是教师来承担和完成的。建设一支专业的、结构合理的相对稳定的教师队伍，是精品课程建设成败的关键。一般有两种做法：一是让在校教师以访问工程师”的形式到企业的一线生产岗位进行技能培养，有计划地让教师向双师型”方向发展；二是聘请本行业的知名专家、技术能手上课堂，使学生在课堂上就能接受生产岗位的实践技能训练。这样，不仅让学生懂了什么”，更重要的是会做什么”。由主讲教师、实训指导教师、兼职教师三者组成的教师队伍，是职业教育在师资队伍构成上的另一个特点。
四、打造科学的、可操作的新型司法逻辑理论应用体系
新型司法逻辑理论应用体系将以分析司法实践思考路径”为主轴，其具体构成包含如下几个微观方面：
（1）或然逻辑。作为司法思维活动发生阶段的或然逻辑，远不是传统逻辑中模态判断和模态推理的狭窄范围，它还应包括归纳推理、类比
推理，更包含演绎推理中只能推出或然性结论等复杂内容。或然逻辑的直接目标就是要临摹出错综复杂案情较清晰的司法思维图形，它是司法思维的发生阶段，也是还原案情真相必需的阶段。
（2）实然逻辑。实然逻辑应该把重点放在传统逻辑关于概念、判断、推理与司法实践的关系性研究上。传统逻辑就是研究实然逻辑，所以新型司法逻辑理论应用体系要把突然逻辑的重点放在司法实践课的设计上，使司法逻辑由或然逻辑向必然逻辑顺利过渡。
（3）必然逻辑。必然逻辑当然主要是指传统演绎推理，必然归纳逻辑着重研究演绎推理复杂形式，尤其是各种演绎推理的综合性推理模式。毫无疑义，必然逻辑的目标在于生动刻画司法思维实践蓝图，真正还原案情真实，避免司法实践中的冤假错案；也只有如此，才能真正展现逻辑的无穷魅力。