形式逻辑（formallogic）是研究演绎推理及其规律的科学,包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必然推出的研究,它提供检验有效的推理和非有效推理的标准.它总结了人类思维的经验教训,以保持思维的确定性为核心,用一系列规则、方法帮助人们正确地思考问题和表达思想,是人们认识世界和改造世界的必要工具,是人类认识发育到一定阶段后出现思维方法.康德首先使用了这个术语. 　　形式逻辑的研究方法形式逻辑研究的推理中的前提和结论之间的关系,是由作为前提和结论的命题的逻辑形式决定的,而命题的逻辑形式（简称命题形式）的逻辑性质则是由逻辑常项决定的.要弄清逻辑常项的性质,系统地揭示推理规律,就要通过建立逻辑演算,进行元逻辑的研究.研究元逻辑的方法是形式化的公理方法. 　　形式逻辑的规则同一律、矛盾律、排中律和理由充足律.这四条规律要求思维必须具备确定性、无矛盾性、一贯性和论证性. 　　形式逻辑的缺陷与超越 　　人的思维由其内容与形式构成.而形式逻辑企图在不考虑思维内容的情况下通过把握思维的形式来了解思维的全貌,这显然是不可能的.这种企图遭遇了东西方两方面的批判. 　　东方是战国时期的名家学派,代表人物有惠施、公孙龙、桓团、魏牟,他们通过将逻辑的内容替换为极限情景或是加入时空、运动（静止）、观察者、范畴等因素来大大复杂逻辑的内容,即使用极限情景和复杂情景来使得当时的形式逻辑破产.其原理在于,形式总有一定的承载量,若内容超过了形式所能承受的限度,那么原有的形式就会崩坏,随之而来的是新的与新内容相适应的形式.但是由于哲学上的幼稚,导致他们在形式逻辑的废墟上建立起来的是诡辩论——他们由可能的发现者蜕变为纯粹的破坏者.西方则是黑格尔,他将逻辑研究地重心转向逻辑的内容,从而建立起了辩证逻辑. 　　名家没有像黑格尔那样依照内容去建立逻辑,而是通过操纵内容把形式逻辑搞垮了就满意了.他们以辩论为乐,把对手说糊涂了,他们就高兴了.于是,他们就不能避免诡辩的诱惑.黑格尔则在批判形式逻辑的时候同时着手建设新的逻辑.另外,就批判对象而言,当时中国的形式逻辑的发育程度还不高,其主张带有破碎性,这就导致名家在批判过后所能给出的是一个个孤立的诡辩命题.而黑格尔所批判的形式逻辑是系统的,若要使批判成功,则需要找到一种同样系统的逻辑来替代之,而不是玩弄几个命题.自然,黑格尔的辩证逻辑也是也还有缺陷.比方说绝对精神只否定自身两次——为什么没有第三次否定呢?此外由于对形式逻辑批过了头,导致辩证逻辑停留在纯粹思辨的层面上.这些唯心辩证法所遗留的问题,终于在唯物辩证法这里得到了解决. 　　[编辑本段]二．发展历程 　　形式逻辑已经历了2000多年的历史,19世纪中叶以前的形式逻辑主要是传统逻辑,19世纪中叶以后发展起来的现代形式逻辑,通常称为数理逻辑,也称为符号逻辑. 　　传统逻辑 　　传统逻辑通常把命题分为直言命题、选言命题和假言命题,并研究这几种命题的形式和推理形式.传统逻辑还包括关于矛盾律和排中律等逻辑规律的理论,以及有关词项的理论. 　　形式逻辑在欧洲的创始人是古希腊的亚里士多德.亚里士多德的建立了第一个逻辑系统,即三段论理论.其论述形式逻辑的代表作有《形而上学》和《工具论》.继亚里士多德之后,麦加拉-斯多阿学派逻辑揭示出命题联结词的一些重要性质,发现了若干与命题联结词有关的推理形式和规律,发展了演绎逻辑.而古希腊的另一位哲学家伊壁鸠鲁则认为归纳法是唯一科学的方法.中世纪的一些逻辑学家,发展和丰富了形式逻辑.到了近代,培根和约翰·缪勒则进一步发展了归纳法. 　　在中国,形式逻辑的产生基本与欧洲同时.代表学派有墨家与名家,此外还有儒家的荀子.有意思的是,墨家研究逻辑为的是找到逻辑的原则,而名家为的是建立诡辩体系.墨家对于逻辑的认识集中体现在《墨经》中,该书对于逻辑已有了系统地论述.例如它区分了充分条件与必要条件,提出“大故（充分条件）,有之必然,无之必不然”与“小故（必要条件）,有之不必然,无之必不然”.而名家的惠施则提出了“合同异”的诡辩原则,目的是取消概念的边界.与惠施相反,同属名家的公孙龙则提出了“离坚白”的诡辩原则,认为任何独立的概念都有且只能有单一的属性.名家提出了许多诡辩命题,例如“白马非马”、“鸡有三足”、“孤犊无母”、“连环无扣”、“白狗黑”以及“今适越而昔来”等等. 　　显然,名家此种“开倒车”的研究方法是中国特有的,它能够建立其诡辩体系恰恰表明当时逻辑发育的水平很低,有着大量漏洞——因此名家才有机可乘.不过,名家此举也使得这些漏洞得到了充分的暴露,为后人的研究提供了垫脚石——若要发展逻辑,就必须去克服名家的诡辩命题.此外,名家的诡辩命题中也有合理因素——有的确实击中了形式逻辑的要害,这就意味着,除了形式逻辑之外,还有其他逻辑.最后,名家的部分命题里,可能含有合理的关于自然界以及人的认知过程的认识.比如一个命题是“天下之中央,燕之北越之南”,这个命题若要成立,则必须以“地球是圆的”作为前提.在当时天圆地方的“盖天说”占主导的情况下,名家能有这样的认识是不易的.再有一个命题是认为“飞鸟未尝动”,若做正解,应该是名家认识到我们对于“运动”的直观概念是建立在将归纳了两次静止的认识的基础之上的.当时能做出这些判断实在不容易,可惜这些认识都是以诡辩的形式出现的. 　　此后,形式逻辑在中国的发展基本陷入了停滞. 　　在古印度,公元前四世纪时,胜论派和正理派开创了因明学,至六世纪时陈那将其完善,称新因明学.因明学,即形式逻辑. 　　数理逻辑它是现代形式逻辑.之所以称为数理逻辑,一方面是由于在研究中广泛地使用了人工的符号语言,并发展为使用一种形式化的公理方法,同时也应用了某些数学的工具和具体的结果；另一方面则是由于现代形式逻辑的发展受到数学基础研究的推动,特别是受到深入研究数学证明的逻辑规律和数学基础研究中提出来的逻辑问题的推动.数理逻辑之所以又被称为符号逻辑,是由于它使用人工的符号语言.数理逻辑的创始人是G.W.莱布尼兹.莱布尼兹提出建立“普遍的符号语言”、推理演算和思维机械化的思想.尽管莱布尼兹本人并没有实现他所提出的目标,但数理逻辑的发展却逐步（还没有全部）实现了莱布尼兹的理想.G.弗雷格在1879年发表的《概念语言》一书中,建立了第一个一阶逻辑体系.19世纪70年代,G.康托尔创立了集合论.集合论,特别是第一个一阶逻辑体系的建立,是形式逻辑的发展进入现代阶段的标志. 　　[编辑本段]三．对形式逻辑的曲解与再认识 　　20世纪30至40年代,苏联曾把形式逻辑当作形而上学来批判,并把辩证法当作惟一科学的逻辑.讲辩证法一定要批判形式逻辑.在此影响下,当时中国也有人“宣判”了形式逻辑的“死刑”.不过在1949年前这种全盘否定形式逻辑的思潮在中国还不属主流思想.1949年到1950年间这种思潮也成为中国的主流思想. 　　1950年斯大林的《马克思主义和语