逻辑推理理论知识(6篇)

逻辑推理理论知识篇1

一王延直(1872－1947)，字穆若，号仲肃，又号剑秋，贵州贵阳人，留日学者，清末庚子辛丑并科举人，中国近代引进和传播西方逻辑科学的先驱之一，其逻辑学代表著作《普通应用论理学》［1］(以下简称“王著”)突出地代表了西方逻辑系统输入成熟阶段所达到的水平，在中国近代逻辑史上具有重要地位。“王著”写于1905－1912年，历时七载，于中华民国元年七月(1912年7月)由云南印刷局印刷，贵阳论理学社发行。1981年由云南逻辑学者黄恒蛟先生在旧书摊上发现，随即被带到当时正在昆明召开的云南省逻辑学会成立大会上。应邀参加大会的贵州省哲学学会逻辑组副组长张同生先生(后曾任贵州大学副校长、贵州省社会科学院院长)将该书借回贵阳复印了几份，之后，贵阳师院政教系(现贵州师范大学政经系)按原样制作成油印本数百份供研究参考，即今之所见《普通应用论理学》。

二“王著”重现受到了学术关注，其学术价值也得到了学界的认可。

首先是对于“王著”的学术地位的关注。有学者认为，“王著”是“云贵地区近代逻辑教学和研究的一个缩影”，“对研究我国近代逻辑史及逻辑学在云贵地区的介绍和传播等问题具有一定的参考和研究价值”［2］43－49;也有学者认为，“王延直是一位热心宣传、推进逻辑科学在我国传播发展的实干家”［3］15－20，“王著”等著作的问世，“标志着我国对西方逻辑的系统输入已进入成熟阶段”［4］81－82;还有学者指出，“王著”是“中国最早的国人自己纂著的几部逻辑著作之一”［5］14－21;“象《普通应用论理学》这样从1905年就由中国人自己纂著的逻辑著作，在那个时期，不仅在云贵地区罕见，就是在全国也是屈指可数的”［6］42－43;王延直等学者“亲自动手写作逻辑著作，这标志着中国逻辑进入了一个新的阶段”［7］6－9;国家“六五”计划重点项目《中国逻辑史·近代卷》对“王著”作了长达4页，近3000字的评价，提出:“特别是《普通应用论理学》，突出地代表了西方逻辑系统输入成熟阶段所达到的水平。”［8］

1999年底，北京隆重出版《中国学术百年》丛书，其中的《逻辑学百年》一书多次提及并高度评价“王著”，特别指出:“严复等人译著的问世及严复、王国维、王延直等亲自讲演或授课，受到学界、思想界热烈欢迎，‘一时风靡，学者闻所未闻，吾国政治之根柢名学理论者，自此始也’”［9］。因此有学者提出，“王著”是“继《穆勒名学》出版之后，可以跟严复翻译的《名学浅说》、王国维翻译的《辨学》相提并论的逻辑学著作”［10］58－60。其次是对于“王著”纂著的时代背景的讨论。

有学者认为，“王延直先生是受强烈的民族使命和社会责任感的驱使，来完成这部书的”［11］16－20;也有学者指出，“王著”的写作目的是“开发民智，促进中国的革新自强”［6］42－43;还有学者认为，“王著”所体现的思想，基本上属于当时“科学救国”或者“教育救国”一类的基本思想［2］43－49。

再次是关于“王著”内容的研究。《中国逻辑史·近代卷》特别提出:“王著”一是“内容丰富，演绎归纳并重”;二是“注重历史沿革，明确肯定中国名辩、印度因明、希腊亚氏逻辑为世界三大源流”;三是“逻辑术语好记易懂，已趋稳定”;四是“理论系统，强调应用”［8］。也有学者认为，“王著”“内容全面、融贯中西”［12］75－78，“简明扼要、眉目清楚、行文流畅、好读易懂”［4］81－82，更为重要的是，她“包含了深邃的逻辑思想”［12］75－78。

综观已有研究，“王著”的学术价值尤其是其史料价值受到一定程度的关注。学界同行的真知灼见具有十分重要的学术启迪，但仍存在以下不足:其一，在研究视角上，已有研究大多局限于逻辑基本理论的分析，缺乏从逻辑哲学层面的考察;其二，在研究内容上，已有研究均没有关于王延直逻辑源流思想、逻辑客体思想、逻辑归纳思想以及逻辑演绎思想等重要的逻辑问题的系统研究。因此，立足于逻辑哲学的视角，深入挖掘“王著”所包含的深刻的逻辑思想及其理论体系，仍然是一个亟待开拓的具有重要意义的全新课题。

笔者认为，“王著”不仅具有学界所认同的史料价值，更重要的是，她包含了深刻的逻辑哲学思想，许多思想即使在今天看来，仍具有重要的学术启迪。

三就内容而言，“王著”并未涉及现代逻辑理论，这似乎意味着该书未涉及逻辑哲学问题。因为，一般认为:“严格意义上的逻辑哲学是一门新兴的哲学学科，它是现代逻辑与现代哲学相互渗透，相互作用的产物。它的产生有两个历史前提:一是数理逻辑的创立以及后来多种逻辑分支、多个逻辑系统的同时并存，一是现代西方哲学所发生的‘语言学转向’。因此，逻辑哲学的历史并不长。”［13］1

若按此理解，当然也不存在“王著”所包含的逻辑哲学思想。然而，对“逻辑哲学”也可以广义地理解，即不论现代逻辑还是传统逻辑，都存在由逻辑本身所包含或提出的一系列哲学问题，以哲学的眼界来探讨、解释和回答这些问题的理论，就属于广义的逻辑哲学的范围。

尽管“王著”未曾涉及现代逻辑的内容，但其讨论的大大小小诸多问题，在而后数十年间一直是逻辑哲学关注的重大理论问题。而这些问题大多都是在现代逻辑发展和演变的过程中才引起人们关注的，如逻辑的源流及中国古代有无逻辑的问题、逻辑的研究对象问题、逻辑科学的学科地位问题以及归纳与演绎问题，等等。

关于逻辑源流问题，涉及到中国古代有无逻辑这一重要问题。对于这一问题，“王著”明确肯定世界逻辑的三大源流:“古代文明诸国，莫不有论理学之萌芽。其中最著名者三:曰中国，曰印度，曰希腊是也。”［1］9

从而有力地驳斥了西方学者所谓“中国古代无逻辑”论。但是，“王著”并非完全认可中国古代各家各派的逻辑理论，认为孔子、荀子而后无人继起;至于惠施、邓析、尹文、公孙龙等，无非诡辩派耳;韩墨诸家之文章、苏张诸家之辩论，纯属偶合，决非由逻辑法则得出。“王著”指出:“孔子首创正名之说”，“荀子蹱之”，“于是有大共之说。即今之所谓归纳也。有大别之说，即今之所谓演绎也。”“惜乎荀子而后无人继起而光大之。”“若夫惠施邓析尹文公孙龙辈，无非徒逞诡辩，取快一时。”“韩墨诸家之文章，苏张诸家之辨(辩)论，证以论理法则，合者也颇多，然此不过偶然之符合，决非皆由论理法则而出者。”［1］9－10这种认为孔子、荀子而外无逻辑的观点，难免是对古代一大批逻辑家的逻辑学说及其贡献的抹杀，恐难为今之逻辑史研究家们所接受。至于惠施、邓析、尹文、公孙龙之理论是否诡辩，迄今仍在争论。

关于逻辑的研究对象，逻辑学界给出不同的回答，至今仍未达成一致。但归结起来，逻辑的研究对象大致可分为三类:思维(自弗雷格［G．Fre-ge］以降，改称推理或推理形式有效性)、语言和客观世界。“王著”开篇指出:“论理学者说明思考之法则之科学也。”“语云:有物有则。宇宙间现象，虽千变万化，然皆必循一定之规律，此一定之规律，即法则也。”法则有二:“天然的”和“人为的”。“天然的法则，凡属实物，皆不能不遵循;至人为的法则，不过行于知识发达之人类间而已。例如伦理法、文典、美学的规范等，皆人为的法则也。思考之法则，亦人为法则之一种。”“思考之法则虽属人为之法则，然与任意所设定之规律不同，必以天然的法则为其基础。”［1］7－8显然，“王著”所谓“思考之法则”乃“以天然法则为基础的人为法则”。因此，关于逻辑研究对象，“王著”具有明显的逻辑客观世界说倾向;在认识论上，“王著”纂著者属于唯物主义反映论者。

关于逻辑科学的学科地位问题，“王著”赞同西方学者所倡“论理学为科学中之科学”之观点，指出这“足以表示论理学范围之广大”。值得一提的是，“王著”从语源学的角度，论证了逻辑学与各科学之间的关系。如生物学:西语称为生物论理学Biology;动物学:西语称为动物论理学Zoology;昆虫学:西语称为昆虫论理学Entomology;生理学:西语称为生理论理学Physiology;地质学:西语称为地质论理学Geology;植物学:西语称为植物论理学Phytology;矿物学:西语称为矿物论理学Miner-alogy;心理学:西语称为精神论理学Phychology，等等。“可知，多种科学皆不能离乎论理学”，“欲深究各科学，自不可不先究论理学”［1］12－13。从语源学角度考察逻辑学的学科地位，不仅让人耳目一新，而且使人们在理解上更加直观清晰。

关于归纳问题，在逻辑哲学上主要探讨归纳推理是否能得出必然性结论，如果不能，其合理性何在?如果归纳推理的合理性不能得到辩护，将影响归纳逻辑的合理性;如果归纳逻辑的合理性不能得到辩护，“归纳逻辑就没有牢靠的哲学基础，这样的话，归纳逻辑学家就一刻也不得安宁”［14］12。关于归纳推理的合理性问题，“王著”不得不寻求哲学上的假定，指出:“归纳推理之基础不外二大原理，一曰因果律，一曰自然齐一律。”［1］99“王著”认为，一切现象必有原因，一切原因必有结果。此原理谓之因果律。“此律系吾人当思考时自然不能不发生之假定也:例如由果推因，因虽未见，在吾人不以为无因，此时之所谓因自是假定的”，故“因果律又称为先天的原理”。因此，“必有因果律而后归纳法始能应用于实际也。”关于“自然齐一律”，“王著”曰:“时无论古今，地无论东西，一切生灭起伏于自然界之现象，其性质其活动有不期其同而同者。此原理谓之自然齐一律。”“王著”关于自然齐一律的论述，已相当接近马克思主义的自然观了，在“五·四”之前能够认同这些观念，是很不容易的。由于此律“系吾人由经验视察之结果所得之原理”，故其“又称后天的原理”。此律具有“举一反三之妙用”。因此，“必有自然齐一律而后归纳法始能应用于实际也”。

可见，“王著”认为，因果律和自然齐一律共同构成了归纳推理的基础。不仅如此，“王著”还在“附识”中指出:“因果律”比之演绎法中之原理正与充足理由律之原理相同;“自然齐一律”不但为归纳推理之基础，且为“演绎推理之根本原理，盖此律即演绎论理中所谓同一律之变相也”。尽管“王著”对“因果律”和“自然齐一律”寄予厚望，但此二律终究只是哲学上的假定，因此，归纳推理的合理性仍待辩护。

逻辑推理理论知识篇2

[关键词]群体推理，逻辑，群体理性

一、导论

人们通常认为，逻辑是研究推理和论证的规范性的科学。这样的推理和论证是纯形式的，与内容无关的；并且逻辑研究的是纯客观的。逻辑学所得出的逻辑学定律是适合“所有人”的，这里的人是指具有推理能力的理性人。

然而，社会事实是，并非独立地存在许多“个人”，所谓的各个“个人”是相互联系的。这里的联系有多方面的，如生理的、物质的、经济的等等。我们这里关心则是“心灵的”。即：一群人组成的群体被称为一个社会，我们的逻辑是适合该群体中的所有“个人”。存在群体进行推理和论证的逻辑吗?

有人会认为，这样的问题本身是可质疑的。因为，社会虽然是由许多“个体”组成的一个总体，但它毕竟不是如单个人那样的一个“总体”。即社会“总体”本身不是一个自主的像个体那样的单位。这样，没有认知主体，哪来的推理和论证?

认为不存在这样的群体主体的理由是，任何一个群体它本身不说话，它不可能像我们每个人那样思维、表达、论证，甚至争论，除非由一个人说了算的独裁社会，该独裁者“代表”群体的每个人。但一个独裁的社会已经退化到一个人。

的确，确实不存在像单个人的“社会总体”，但这不构成“社会”不能进行推理的理由。对上述反对理由的一个类比反驳是，不存在社会心灵，但同样存在研究群体意识和无意识行为的“群体心理学”。因此，群体推理和论证的逻辑学同样可以存在。

多个人组成的群体或组织的决策与行动方式不同于单个人，它有独特的“规则”。我们不能要求一个群体像一个人那样，否则它就“是”一个人。至于社会的不同于个体的思维、决策过程，正是我们研究的。如，一个群体中“所有人”“知道”“金属导电”，“所有人”“知道”“铁是金属”，那么“所有人”“知道”“铁能够导电”。尽管我们可以用谓词表达式刻画这个推理，但我们将所有人看作一个单位，它便是指某个像个人的单位。再比如，在给定规则下，一个群体要在A、B两个候选对象间表达群体的偏好时，它当然不能或不应该能够得出，“A比B优”并且“B比A优”!再比如，一个群体它不能或不应当做出“从事A”并且“不从事A”行动这两个相互矛盾的决策。前者是关于命题的推理，或者是关于决策或行动的群体推理。

自弗雷格将逻辑学与心理学的研究对象严格区分开来之后，现代逻辑获得了突飞猛进的发展。但逻辑研究的推理和论证是人的许多心理现象中的一种，既然心理学中群体心理学获得巨大的发展，是否存在研究群体推理和论证的逻辑学?

二、从个体认知逻辑到群体认知逻辑

认知逻辑(epistemiclogic)是现代逻辑中的一个分支。认知逻辑刻画认知主体对命题的认知态度(如知道、相信、怀疑等)中的客观过程。如知识逻辑刻画理性的人“知道”的逻辑结构。

逻辑学家发现，刻画群体的认知状态需要新的关于群体的认知逻辑。

博弈论研究有各自目标的两个或两个以上的理性人如何在互动中进行决策。起初，博弈论专家假定博弈中的参与人是理性的——具有使自己效用最大化的推理能力，然而，奥曼(2005年诺贝尔经济学奖得主)等人发现，这样的假定是不够的，我们必须假定，“一个博弈中的每个参与人都是理性的”是该博弈所有参与人组成的“群体”所知道的，即每个人都是理性的是群体中的“公共知识(CommonKnowl-edge)”(或翻译成共同知识)。

什么是公共知识呢?公共知识是相对于某个群体的，某个真命题p是群体G的公共知识，指的是，“该群体”“知道”该真命题p，即CKp。群体知道与群体中的各个成员知道之间的关系如何呢?某个真命题p是群体G的公共知识指的是，群体中的每个成员都知道真命题p(Kip)，群体中的每个成员知道他人知道p(KjKip)，群体中的每个成员知道他人T他人知道p(KkKjKip)……由此可见，某个命题p是群体的公共知识即群体“知道”p，与p是群体中的每个人的知识即每个人都知道p，是完全不同的两种知识分布状态。

举一个例子。我们假定，对“所有”受过小学以上教育的人来说，他们中的每一个均知道，“4能够被2整除”，即我们假定“4能够被2整除”是所有受过小学以上教育的人的知识；并且我们假定，这也是任何群体的公共知识：如果某个人受过小学以上的教育，他应当知道“4能够被2整除”。对于一个由有限个受过小学以上教育的人所组成的群体而言，“4能够被2整除”尽管是他们的每个人的知识，但不是该群体的公共知识。原因在于，他们均受过小学以上的教育不是该群体的公共知识。很有可能的是，其中有人不知道其他某个人受过小学以上的教育，或者，某人不知道对方知道他受过小学以上的教育……。

所谓公共知识逻辑就是某个群体中的所有人“共同知道”的逻辑。公共知识逻辑其实刻画的就是群体作为一个总体的推理系统，公共知识逻辑有下面这些特征公理：

C1：CK(G，p)p(若p是群体G的公共知识，p是真的)；

C2：CK(G，p)∧CK(G，q)CK(G，p∧q)(若p和q是公共知识，p且q也是公共知识)；

C3：CK(G，pq)∧CK(G，p)CK(G，q)(若p蕴涵q是公共知识，并且p是公共知识，那么q也是公共知识)；

C4：～CK(G，～p∧p)(矛盾式不是公共知识)；

C5：CK(G，p)CK(G，CK(G，p))(若p是公共知识，“p是公共知识”也是公共知识)。

C6：～CK(G，p)CK(G，～CK(G，p))(若p不是公共知识，“p不是公共知识”是公共知识)。

对公共知识逻辑的研究是多主体(multi—a-gent)认知逻辑学研究的内容，但它同时是多个学科如计算机、人工智能、博弈论、社会科学关心并研究的内容。

认知逻辑中的公共信念逻辑(commonbelieflog-ic)同样研究群体的推理和论证，在研究群体信念的逻辑中，没有如C1这样的公理，因为信念不必为真。

三、研究群体推理的科学逻辑

科学是理性的活动，但同时是集体性的活动。科学哲学家努力研究科学家的群体推理规则。

那么是否存在适合“所有”科学家的推理规则吗?传统哲学家认为存在这样的东西，这便是“科学方法”，方法论专家的任务即是找到这个方法。这个科学方法包括发现的方法——根据这个方法科学家能够发现真的科学理论和辩护的方法——根据这个方法，某个理论能够得到“证明”。然而，上世纪20年代兴起的逻辑经验主义认为要严格区分发现的范围和辩护的范围。他们认为，不存在发现的方法，但存在辩护的方法。逻辑经验主义试图给出对理论或假说进行归纳辩护的方法。

逻辑实证主义努力给出的归纳证实的方法论标准，以及波普(K.Popper)的演绎证伪的方法论标准，是超科学、超历史的，所有科学家都应当遵守的。

科学哲学中历史主义代表人物库恩则认为不存在这样的方法论标准，任何标准都内在于“范式”，范式是一科学家共同体区别于其他科学共同体的“群体推理规则”。库恩认为，范式是科学活动的基本单位。——所谓范式是科学家共同体共同拥有的东西。在库恩看来，不同的科学家共同体拥有不同的范式。科学的发展表现为范式的变迁。

在库恩那里，科学活动在常规科学时期，科学活动是理性的——理性表现为科学家群体进行理论选择有公认的标准，此时科学家群体对什么样的理论是好的理论、什么是“疑难”等有确定的标准；而科学革命时期，由于没有裸的观察，任何“观察负载着理论”，科学活动没有理性可言——因不同的科学家共同体有不同的理论评价标准，而不存在中立的、客观的评价不同科学家共同体范式的标准。那么在科学革命时期，理论选择是如何进行的呢?根据库恩的观点，此时的理论选择完全是根据科学家的偏好进行的，而偏好是由范式决定的。

库恩努力告诉我们的是，科学家共同体所拥有的范式本身是一套“群体的推理规则”，信仰同一个范式的科学家群体用这样的推理规则进行群体推理；而不同的科学家共同体因推理规则不同(范式不同)而得出不同的结论。

因此，科学哲学家所力图揭示的是科学家进行群体推理的规则，不同的是，“逻辑主义者”哲学家认为，存在不变的规则；而“历史主义者”则认为这样的标准随群体的不同、历史的发展而变化。四、公共选择理论：研究群体选择的逻辑我们每个人在行动选择时；根据自己的偏好在多个行动中选择有利的行动。这是一个推理过程。然而，一个包含两个或以上的行动者的群体或社会是如何做出共同行动或集体行动决策呢?即：群体是如何进行行动选择的推理的呢?

每个人有自己的偏好，群体行动的选择依赖于群体个人的偏好进行“加总”(collect)，以形成群体的偏好。对群体中各个人的偏好进行加总是通过投票来完成的。对群体如何加总个人的偏好的研究是公共选择理论的重要研究内容。

群体的投票规则即是群体的偏好形成的推理规则。如，一个群体对某个提案进行表决时，大多数规则——这是一个简单的易于理解的规则——说的是，一个“议案”若获得投票总人数中的一半以上则获得通过，即在此情况下，“该群体”“认为”该议案获得了通过；或者说该群体“认为”该议案通过比不通过要好。若一个“议案”没有获得投票总人数中的一半，在此情况下，“该群体”“认为”该议案不通过比通过要好。

一个议案或者通过或者不通过，此时，投票群体进行投票便是在二中择一。当一个群体面临的候选对象超过两个(即三个或三个以上)时，情况便复杂起来。人们发明了许多加总投票人偏好的方法。如孔多塞的两两相决的规则，逐步淘汰的黑尔体系(Haresystem)和库姆斯体系(Combssystem)，一次性决策的赞成性多数(approvalvoting)和博达记分法(Bodacount)。

逻辑主要是研究推理和论证的。若研究的是推理，在推理中存在前提和结论：前提是已知的，而结论要根据有效推理得出的。在群体投票中，我们根据投票者对某个议案的偏好——这构成推理前提，和投票规则——这构成推理规则，而得出投票结果——它便是结论。这样看来，群体加总群体中个人偏好的特定投票规则便是逻辑学中所说的系统，我们称这种系统为群体偏好推理系统。

在实际中存在不同的投票规则，因而存在不同的群体偏好系统。我们考察逻辑系统时，往往考察系统的完全性和可靠性。群体偏好推理系统的完全性和可靠性如何呢?

对于个体，他所用的偏好关系的推理系统满足完全性和可靠性，或者我们假定它满足完全性和可靠性。研究社会选择的经济学家首先研究理性的偏好关系。偏好关系以“≥(弱优于)”表示。某个理性人认为“a≥b”，表示的是，对于该理性人而言，备选对象a与b相比，a至少与b一样好。经济学家认为“理性的”的偏好关系应当满足完备性和传递性条件：(1)完备性：任何两个备选对象a，b，它们的关系是或者a≥b，或者b≥a，二者必居其一；(2)传递性：对于任意的三个备选对象，如果a≥b，b≥c，那么a≥c。

满足这两个假定的偏好关系的推理系统，如果用逻辑学的术语来说，该推理系统具有完全性——任何两个备选对象都具有一个偏好关系；上面的完备性正是说明了这点；该系统同时具有可靠性——不会产生矛盾的偏好关系；由传递性作保证。一个群体进行推理时，该群体能够做到完全性和可靠性吗?这是下一部分要回答的。

五、群体理性如何得到保证?

群体推理的理性如何保证?

科学哲学家库恩认为，同一个范式下的活动是理性的，因为存在一套为科学共同体中所有人都接受的不相互矛盾的规则体系。此时，科学共同体的理性是能够得到保证的。但在科学革命时期，由于不存在共同接受可以对不同的范式下的规则进行评价的元规则，科学理论之间的竞争是非理性的。这样，不同的科学家群体组成的更大群体的理性得不到保证。

在群体选择中理性是不是也得不到保证呢?

群体的偏好关系推理系统具有完全性和可靠性吗?这个问题涉及到两个方面：第一，群体用于偏好推理的系统能否适合一切可能的偏好组合，这是可靠性问题；第二，该系统进行推理时能否保证不出现矛盾，这是完全性问题。偏好关系推理系统的特性是许多学者所关心的重大问题。

一个极端情况是，加总的规则为独裁规则，即某个人的偏好即群体的偏好，那么将不出现所谓矛盾性的结论。

阿罗证明了，一个群体中的每个人给定偏好顺序的情况下，不可能存在满足下列4个条件并具有传递关系的社会福利函数：第一，定义域不受限制——社会福利函数适合所有可能的个人偏好类型；第二，非独裁——社会偏好不以一个人或少数人的偏好来决定；第三，帕累托原则——如果所有个人都偏好a甚于b，则社会偏好a甚于b；第四，无关备选对象的独立性——如果社会偏好a甚于b，无论个人对其他的偏好发生怎样的变化，只要a与b的偏好关系不变，社会偏好a甚于b不变。

这被称为阿罗不可能性定理。这个定理说明了什么?

这说明了，群体作为总体不可能像个人那样，在任何情况下都能够作出“理性的”排序。孔多塞投票悖论反映的正是这个情况：群体得出了矛盾的结果。

群体投票是群体推理过程，投票规则是群体推理系统。以这样的视角看，阿罗不可能性定理告诉我们，对于有三个以上的备选方案的情况下，群体推理系统不可能既是完备的——适合所有的人的偏好类型，又是可靠的——不出现矛盾性的结论。

逻辑推理理论知识篇3

在21世纪的今天，以及更加遥远的将来，我们的生活和工作都将受到科学技术的影响，而且这种影响将会与日俱增，总之，我们是生活在一个科学技术主导的时代。我们生活中的一切物品，无不打上了人类科学文明的印记。在这种时代背景下，提高人的科学素养无论是对个体还是对国家或者民族来说，都有着重要的意义。首先，它是个人生存的需要。在这个时代，如果一个人没有科学素养，他对科学一无所知，他就简直难以生存。农业生产劳动已经日益离不开科学的指导，科学育种、科学播种、科学施肥、科学施药，收获后还要科学储藏，几乎每一个环节都和现代科学技术密切相关。工业生产本身早已实现了科学生产，科学技术几乎主导着所有的工业门类，不用说生物技术工业、精密器械工业、信息工业，就连一些传统的工业门类，也都必须紧跟时代科学技术的步伐，否则就会被淘汰。服务业虽然离不开人的参与，看重人的个性特长，但是许多服务业也都依附着科学技术，甚至本身就是在提供最新的科学技术服务，从事这些行业都需要掌握较多的专业技术知识，具有专业技术能力。至于日常生活，我们生活中的很多消费品都是科学技术的产品，对其使用都需要一定的科学知识。比如各种家电产品、各种电子产品，对它们的使用需要电器和电子方面的基本知识，否则很容易带来危险。甚至我们对基本的医药知识也需要掌握，否则也会产生危险，每年都有大量因误用药物而导致中毒、甚至死亡的案例。其次，它是个体发展的需要。人的发展是一个追求全面发展的过程，未来的社会就是以人的自由全面发展为根本追求的社会。但人的全面发展离不开科学素养的提升。科学素养的提高不但可以为个人提供更多的发展手段和方式，而且它本身就是人的全面发展的一个方面、一个指标。科学素养和人文素养共同组成人的综合素养，只有同时具备才算是一个全面的人。同时，现在很多的教育都借助现代的科学技术手段，比如网络教育、远程教育，如果想进行这方面的学习，就必须具备这方面的科学素养。现代的各种最新资讯、最新知识都是通过互联网等现代手段来传播的，对它们的接受，都必须依靠基本的互联网技术。

再次，它是提高国民整体素质的重要方面。一个国家和民族的强大固然可以通过强大的经济实力表现出来，但这只是一个方面，而且不是最主要的一个方面。21世纪是科学技术主导的世纪，其最宝贵的是人的素质，整个国民素质的强大，才能确保国家和民族的强大。如果一个国家和民族具备较高的国民素质，这个国家和民族就会真正地强大起来，并且会持续强大，即使遇到挫折，也会很快复兴起来。20世纪的德国就是一个很好的例子，它是两次世界大战的战败国，两次战后甚至都被别的国家“分割占有”，但它每次都能很快再次强大起来，成为少数最强大的国家之一。历史学家在分析这一现象时就找到了国民素质这一项，德国被誉为义务教育最伟大的国家。早在1619年，当时的德意志魏玛公国就明确做出义务教育的规定，1885年的普鲁士政府就开始实施了免费义务教育。可以说，提升国民素质一直都是这个国家和民族最看重的事情。在国民素质中，科学素养是其重要的方面，也是整个国民素质的基础。最后，它是国家科学技术发展的基础。一个国家和民族只有在整体上提高科学素养，其国民基本上都拥有了基本的科学知识，掌握了一定的科学理论和思想，具有了一定的科学思维，这个国家才能培养出更多科学技术方面的人才，也才能更有效地把科学技术转化为生产力，从而为新的科学技术开发提供各种资金、技术、空间等支持。这个国家和民族才能不断地“冲击”科学技术的高峰。

二、形式逻辑的科学精神:求真

形式逻辑作为一种“科学的逻辑”，一种探索“物的世界”的思维工具，它具有科学的精神，那就是对真理的追求。可以说形式逻辑和真理具有密切的关系，真理就是形式逻辑的根本追求。形式逻辑和真理的关系，基本上是无人质疑的。其实，形式逻辑追求真理的理论诉求，在亚里士多德创制形式逻辑时就已经明确进行了论述。在亚里士多德看来，形式逻辑是一种获得科学知识的有效工具，形式逻辑的存在本身就是为了获得知识。在他那里，知识就是真理，就是关于事物本质的认识。“我们无论如何都是通过证明获得知识的。我所谓的证明就是指产生科学知识的三段论。所谓科学知识，是指只要我们把握了它，我们就能据此知道事物的东西”。从真理观上看，亚里士多德所提出的符合论真理观目前依然是最被广泛认可的真理观。这种真理观认为，“一事物之真理与各事物之实是必相符合的”。而这和他在三段论中关于真理的认识是一致的。亚里士多德在形式逻辑上也坚持一种符合论的真理观，在《工具论》中，他明确指出:“真实就在于符合事实。”形式逻辑所获得的真理就是关于事物的真实认识，即如实反映出事物的本真面貌，正确把握事物的各种特性规律。亚里士多德主张在科学三段论推理时，其前提必须是真实的、可靠的，并且推理应该按照形式推理的格式要求进行，这些都是为了获得真理性的结论。除了符合论的真理观之外，目前比较流行的其它几种真理观也主要是依据形式逻辑来进行界定的。比如融贯论的真理观。真理的融贯论认为:“一个命题的真不在于它与事实、实在的符合、一致或对应，而在于它与它所从属的命题系统中其他成员是否融贯。融贯者为真，不融贯者为假。”［3］另外，真理的冗余论也是如此界定的，这种真理观认为我们给句子加上“真的”或“假的”是多余的，说“P是真的”就等于“P”，“真的”这一谓语只不过是意味着我们接受P、肯定P等，它没有给出什么新的描述。这一界定是依据逻辑句法结构来进行的。形式逻辑把真理作为自己的理论追求，一种最高的价值，这也和形式逻辑要求成为一种“客观性”的逻辑是密不可分的。形式逻辑要求在相同的前提下，依据形式逻辑的推理程序，要得到同样的结果。为此，形式逻辑还在自己的运作过程中，做出了自己严格的程序设计:其一，形式逻辑要求进行形式化的思考，使形式逻辑可以做到同一性标准的要求;其二，与其一相关，形式逻辑是一种外延逻辑，它的外延化思考使这种逻辑在思考事物时可以进行量化和计算;其三，形式逻辑为推理规定了严格的形式程序，三段论的格和式就是形式推理的一种程序规定;其四，形式逻辑建立起公理化系统，要求推理在系统内进行，每个系统都是完备和自足的。当然，形式逻辑把真作为自己的理论追求，形式逻辑贵在求真，并不代表形式逻辑就没有价值取向，就放弃了善的要求。逻辑本身并不外在于人，即使是形式逻辑，它也有着人文关怀。只是，与善比较起来，形式逻辑更偏向于真，真是形式逻辑的最高指向。

三、形式逻辑对提升科学素养的意义

形式逻辑是一种“物的逻辑”，它的首要功能就是理解和解释人类自然界的奥秘，从而获得关于外界的知识，它是科学探索的“拐杖”，是进行科学研究的工具。形式逻辑有时又被称作知性逻辑，这和它的知识本性有关系，亚里士多德就把获取知识看做形式逻辑的德性。可以说，形式逻辑对于科学知识和科学思维都有重要的意义，它本身就是一种科学方法。最重要的是，形式逻辑的精神就是科学的求真精神，形式逻辑天生和科学素养有着内在的关联。因此研习和掌握形式逻辑有助于自身提升科学素养。第一，具备形式逻辑思维能力是进行科学研究的基础。从科学理论的角度来看，从事任何科学研究，都无法离开形式逻辑思维，都必然要求从事者进行符合逻辑的思考。整个科学的研究过程，从收集整理材料，到提出一定的科学假说，再到对假说和理论进行验证，都需要形式逻辑思维，都需要推理和证明，没有推理和证明的帮助，这一切都将寸步难行。

可以说，形式逻辑思维能力是一个人从事科学研究的基本素养。正是在这一意义上，爱因斯坦才说:“作为一个科学家，他必须是一位严谨的逻辑推理者。科学家的目的是要得到关于自然界的一个逻辑上前后一贯的摹写。逻辑之对于他，有如比例和透视规律之对于画家一样。”［4］第二，形式逻辑是获取新知识的工具。形式逻辑的一项根本功能就是从已知推出未知，也即新知。在前提给定的情况下，我们通过有效的形式逻辑推理，来发现前提中隐藏不明的新知识，形式逻辑被视为获得新知识的工具，也主要是从这个意义上而言的。恩格斯也曾指出:“形式逻辑也首先是探寻新结果的方法，由已知进到未知的方法。”［5］迄今为止的很多重大科学发现，都首先是通过形式逻辑推理得出的，然后通过一定的科学实验和观察来进行验证。门捷列夫提出的化学元素周期律，天文学家通过测量推理得出的海王星的存在，都是如此。

第三，形式逻辑是科学发现的基础。在科学发现中，假说演绎法是一种重要的方法，它有着十分重要的意义。很多事实和现象的发生，依据当时现有的科学事实和理论，不足以对其做出满意的解释和说明。在这种情况下，科学只好借助一定的假说来进行解释，然后在某些条件具备时来验证依据假说所推出的事实，如果依据假说所得到的事实被验证，假说就变成了科学理论。比如魏格纳的大陆漂移学说就是一个著名的假说，目前的宇宙大爆炸学说也是一个重要的科学假说。

第四，形式逻辑有助于提高人们的表达能力。科学研究既包括科学实验操作，也包括理论表述。操作的过程和结果都需要被表述出来，才能为人们所了解和掌握，也才能进行重复性操作。只有通过一定的语言对科学研究的过程和结果进行表述和论证，把它变成一种科学理论，这项科学研究才算最终完成。形式逻辑主张概念要清晰明确，命题要恰当真实，推理过程要合乎逻辑的有效性要求，论证要有充分的依据，并且结构清晰。因此，研习和掌握形式逻辑有利于提高人们的表述和理解能力。符合逻辑的表达，是科学理论的基本要求。爱因斯坦在谈到他的广义相对论时曾说:“这个理论主要吸引人的地方在于逻辑上的完备性。从它推出的许多结论中，只要有一个被证明是错误的，它就必须被抛弃;要对它进行修改而不摧毁其整个结构，那似乎是不可能的。”

逻辑推理理论知识篇4

经过10余年的探索、实践和改革，我国独立学院逐步走上正轨，独立学院以应用型人才为目标的培养模式，逐步得到大家的认可和接受。正因为独立学院特有的人才培养模式，我国独立学院普遍重视实践教学，而对于像逻辑学这样的基础课程重视不够，未将逻辑学列入教学计划中，或者只在法学、汉语言文学、行政管理等少部分专业中开设。通过近几年在独立学院教授逻辑学课程，笔者发现，在独立学院开设的逻辑学课程从体系上讲属于传统逻辑范畴，主要包括词项、命题、推理等思维形式，同一律、矛盾律、排中律等进行正确思维的基本规律，以及定义、划分、限制等简单的逻辑方法。由于逻辑学的抽象性，致使相当多的学生学习兴趣不高，感到枯燥、难懂，也不知如何应用于实践。同时，由于教学内容受教材限制，未能结合独立学院应用型人才的培养要求和专业特点教学，逻辑学课程仍以纯理论讲授为主。针对我国独立学院逻辑学教学中存在的问题，结合独立学院的特殊性，笔者认为，应该基于独立学院应用型人才的培养模式，加快逻辑学的教学改革，提高大学生的逻辑思维能力。

一、教学对象：文科类专业作为基础课开设，其他专业作为选修课开设

20世纪80年代，联合国教科文组织将逻辑学列为与数学、物理、化学、天文、地理、生物地位等同的七大基础学科，足以见逻辑学在各门学科中的重要地位。王路教授在《逻辑基础》一书中认为：学习逻辑学的目的，主要可以分为两类：一类是通过学习逻辑，掌握一些专门的技术和方法，从而使我们能够应用这些技术和方法解决一些具体的问题；另一类是通过学习逻辑，培养一种逻辑的眼界和意识，从而使这种眼界和意识成为我们知识结构中的构成要素，在我们的生活和工作中潜移默化地起作用。”[1]可见，逻辑学虽然是一门高度抽象的科学，但也是一门实践性极强的科学。逻辑学的生命在于联系思维实际，逻辑学的力量在于指导实践。在独立学院开设的逻辑学课程，不仅包括必然性的演绎推理，也包括或然性的归纳、类比推理。逻辑学对于思维的意义不在于学了逻辑之后人才会思维，而在于逻辑可以使思维成为自觉的活动。

因此，在我国的独立学院中，广泛开设逻辑学课程，不但有助于推进我国大学生的素质教育，而且是培养高素质应用型人才的重要措施。独立学院受限于教学条件、师资力量和学生的知识结构等，开设逻辑学的独立学院较少，开设逻辑学的专业也较少。一般而言，在法学专业中开设法律逻辑，在汉语言文学专业中开设形式逻辑，某些独立学院也在管理类专业中开设了逻辑学。然而，逻辑学课程主要培养学生具备严密的逻辑思维能力，教会学生学会正确的思维方法，能够较好地表述和论证观点，揭露政治和理论上的谬误。无论学习何种专业，无论将来从事何种行业，这些能力都是大学生所应必备的，因此，在独立学院开设逻辑学是非常必要的。然而，像其他一些重点高校一样，将逻辑学开设为全校的公共课程，对于独立学院而言，似乎不大现实。因此，笔者认为，结合独立学院的实际，应将逻辑学开设为文科类专业的专业基础课，即在经济学、金融学、国际经济与贸易、法学、工商管理、行政管理、公共事业管理、财务管理、新闻学、汉语言文学等文科类专业中普遍开设逻辑学；在独立学院全校范围内将逻辑学作为选修课开设。

二、教学内容：结合专业特点，以传统逻辑为主，辅以现代逻辑教学

逻辑学的发展阶段来看，逻辑学主要包括传统逻辑和现代逻辑。传统逻辑是由亚里士多德创立的以三段论为核心的形式逻辑体系，现代逻辑是用形式化的方法来研究思维的形式结构及其规律的科学。现代逻辑是在传统逻辑的基础上发展出来的一门新兴学科，主要使用符号语言来研究词项、命题和命题之间的关系，构成严密的符号系统；而传统逻辑很少使用到符号语言，与自然语言更为接近。[2]目前，在独立学院开设的逻辑学课程从体系上讲属于传统逻辑范畴，主要包括词项、命题、推理等思维形式，同一律、矛盾律、排中律等进行正确思维的基本规律，以及定义、划分、限制等简单的逻辑方法。另外，逻辑学的教学仍然以自然语言为主，较少涉及语言符号，基本不涉及形式化的教学，甚至自然演绎推理的内容也未涉及。

笔者认为，目前，独立学院逻辑学的教学仍然应该以传统逻辑的教学为主，因为传统逻辑中关于词项和三段论的研究对于大学生逻辑思维能力的提高仍然具有重要的作用。如，在自然语言中的两个语句有学生是三好学生”和有学生不是三好学生”，大部分学生都认为两个语句是矛盾关系，即有学生是三好学生”为真时，有学生不是三好学生”一定为假，反之亦然。然而，在逻辑学中，这两个语句并不是矛盾关系，只是下反对关系，即当有学生是三好学生”为假时，可得到有学生不是三好学生”为真；当有学生是三好学生”为真时，有学生不是三好学生”可能为真也可能为假。学生知道充分条件假言命题（即蕴含命题）由肯定前件可以肯定后件，否定后件可以否定前件；但是，当出现必要条件假言命题时，仍然由肯定前件去肯定后件，否定后件去否定前件，这显然不成立。所以，传统逻辑对词项、命题、推理的分析仍然具有现实意义，能够提升大学生的逻辑思维能力。尤其是独立学院的大学生，理论基础相对较为薄弱，传统逻辑的知识与自然语言更为接近，学生也更容易理解和接受。

当然，独立学院逻辑学的教学内容不能仅限于传统逻辑，也应该辅以现代逻辑的少量内容。现代逻辑毕竟是新发展出来的成果，作为逻辑学这一课程，应该简单地对其作介绍，特别是命题逻辑的相关内容。独立学院的部分大学生数学基础薄弱，对纯符号化的理论很惧怕，但是，正因为这一点，需要引入自然演绎的推理。自然演绎的推理与自然语言有部分联系，推理过程非常严密，通过该部分内容的教学，能够训练大学生的逻辑思维能力，特别是形成严密的思维。目前，在教学内容的选择上，开设逻辑学课程的各专业讲授内容没有多大差别，未能结合专业特点选择教学内容。笔者认为，除了以传统逻辑为主，辅以现代逻辑以外，也应该结合专业特点适当让学生了解逻辑学的最新研究成果。例如，可以将博弈逻辑、认知推理的简单理论融入到逻辑学教学中，特别是融入到经济类专业、管理类专业和法学类专业的逻辑学教学中。#p#分页标题#e#

三、教学方法：激发学生学习兴趣，重视案例和实践教学

课程内容本身是否生动，在教学活动中有特别重要的作用，如果学生对所学的课程本身感兴趣，他就会深入地去掌握该学科各方面的知识，否则，学生只能被动地、勉强地去学习相关的知识。逻辑学作为一门抽象的学科，一些内容涉及符号化，不甚符合学生的实际需要，而独立学院的学生感兴趣于实践性课程，对基础课程兴致不高，所以对逻辑学这门学科兴趣更不高。美国教育家西蒙斯说：如果教师能适当地用一种令人愉快而又认真的方式教授的话，那么所有的科学知识，就其本质的关联性来说，都充满着趣味。”[3]因此，一定要根据独立学院学生的特点，因材施教，采用有力手段激发学生学习逻辑学的兴趣。那么，如何才能激发独立学院学生学习逻辑学的兴趣呢？笔者认为，在逻辑学课程的教学过程中，应该重视案例、实践教学。

1.启发式教学要充分利用启发式的教学方法。启发式教学是指教师在教学过程中根据教学任务和学习的客观规律，从学生的实际出发，采用多种方式，以启发学生的思维为核心，调动学生的学习主动性和积极性，促使他们生动活泼地学习的一种教学指导思想。例如，在绪论课的教学中巧妙引入以后学习中需要解决的问题，这些问题有一定的难度，但是凭已有的知识仍然可以解决问题，教师要听取学生的解答思路，以激发学生的学习兴趣。有真有假型的推理题可以作为绪论课启发式教学的一个案例：有金、银、铅三个匣子，有一副肖像放在其中一个匣子中，每个匣子上面刻着一句话，并且这三句话中只有一句是真话。金匣子上刻着：肖像不在此匣子中；银匣子上刻着：肖像在金匣子中；铅匣子上刻着：肖像不在此匣子中。请问，肖像在哪一只匣子里？哪一句话是真话？通过调动学生的积极性，让学生主动分析、猜想、讨论、争辩、验证，从而寻找出正确答案。并且对比学生的解答方法，给出运用逻辑学知识解答的简便方法，激发学生学习逻辑学的兴趣。在逻辑学的教学过程中，启发式教学应该贯穿始终。例如，讲到词项之间的关系时，先给出三个简单词项车”火车”车厢”，让学生根据自己的理解表示出这三者之间的关系，充分收集学生的不同意见。然后，通过讲解属种关系与整体和部分关系的区分，让学生从不同意见中寻找出正确答案。显而易见，独立学院的学生面对逻辑学这一门较为枯燥的课程时，启发式教学可以极大地增强学生的学习兴趣。

2.巧用历史典故历史典故有生动的情节、丰富的情感，通过历史典故讲解知识，能很快吸引学生的注意力，学生可以较快地进入教学情境中。形象思维在独立学院的学生中居于重要地位，他们在认识事物时常常只习惯于停留在表象上，但求知欲望旺盛，在这个过程中，教师就要因势利导，帮助学生从形象思维过渡到抽象思维。例如讲到二难推理时，可以通过音频、视频资料播放历史上发生的相关典故。如果此酒是长生不老的仙酒，那么陛下杀不死我；如果此酒只是普通的酒，那么我罪不至死；此酒或者是长生不老的仙酒，或者只是普通的酒，所以，或者陛下杀不死我，或者我罪不至死”，通过引入此类案例，学生对二难推理有了一定了解，也能激发深入学习的兴趣。通过典故扛竹竿进城”、半费之讼”等典故教会学生破斥二难推理的方法，特别是以二难破斥二难的方法。[4]通过鲁班发明锯子”等典故引出类比推理的教学，[5]通过东施效颦”等历史典故告诉学生机械类比的逻辑错误，通过焚猪验尸”等典故让学生学会应用类比推理。将此类历史典故运用于教学的过程中，容易把趣味性与课程内容结合起来，从典故的情节解释逐步过渡到更为深入的逻辑内涵的解读。

3.利用游戏提高学生参与度调动学生学习积极性的一个很好的方法就是给学生提供主动参与的机会。课堂教学活动，不应该只是教师个人的思维活动，而应该调动学生积极、主动参与，才能称之为成功的课堂教学活动。在逻辑学的课堂中设置一些简单的游戏环节，使每个学生都能够参与进来，有效激发学生的学习兴趣。在逻辑学教学过程中，可以引入简单的博弈游戏。游戏是这样的：教师让上课的每个学生写下一个数字（介于1到100之间的整数），然后教师把所有的数字平均一下，再乘以2/3，假定这个数字为A，那么，给出最接近A这个数字的同学就是赢家，将获得奖品。诸如此类的游戏，每个同学都可以参加，不会涉及能力的问题，也带有一定的激励机制。通过学生积极参与，能够集中学习的注意力，带着好奇的心态去学习后面的课程，提升学习逻辑学的兴趣。同时，将逻辑学的最新研究成果（如博弈逻辑）介绍给学生。另外，在逻辑学的教学过程中，也可以设置部分认知推理的题目，通过游戏和表演的方式让学生积极参与到课堂教学中。

逻辑推理理论知识篇5

论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。

逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：

（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。

（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。

（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。

（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：P或者非P中不管变项P赋真值或是假值，这个公式都是真的。

（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。

在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。

所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。

恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？

关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。

莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。

基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。

数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。

1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。

综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。

马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。

第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：A、B是逻辑真命题，那么A并且B、如果A那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。超级秘书网

逻辑推理理论知识篇6

关键词：数学逻辑教学

一、高中数学逻辑

1、现阶段高中数学逻辑的基本内容

早在1956年的数学教学大纲中，就首次提出了要发展学生的逻辑思维能力，涉及了“定义、公理、定理”等逻辑基本知识。之后，逻辑知识的学习就成为数学大纲的一个重要组成部分，内容不断丰富，针对性不断增强。到2003年，教育部颁布了新的《普通高中数学课程标准(实验稿)》，其中常用逻辑用语作为单独的一章被列入高中数学选修1-1和选修2-1中，推理与证明内容作为单独的一章被列入选修1-2和选修2-2中。其具体要求为学生能了解、体会逻辑用语在表述和论证中的作用，并且能够利用逻辑用语准确地表达数学内容。经过一定的训练之后，可以形成自觉地利用逻辑知识对一些命题间的逻辑关系进行分析和推理的意识，发展学生利用数学语言准确描述问题、规范阐述论证过程的能力。

具体而言，高中数学的逻辑教学内容主要涉及常用的逻辑用语和逻辑推理方法。常用的逻辑用语包括：（1）各种命题。（2）简单的逻辑用语。（3）量词及命题的否定。（4）四种命题及相互关系。（5）充分条件和必要条件。逻辑推理包括：（1）三段论推理。（2）合情推理。（3）思维要符合逻辑。以上的八个方面基本涵盖了目前高中数学的逻辑知识类型。

2、高中数学逻辑知识的价值

在高中数学课程标准中，尽管专门的逻辑教学内容不足十课时，但是所涉及的常用逻辑用语和逻辑推理规则及方法却贯穿于全部的数学知识之中。除此之外，高中数学所学逻辑的价值绝不仅仅限于数学领域，在日常生活的诸多领域都起着非常重要的作用。

（1）应用价值。数学逻辑知识首先是为数学学习服务，上文提过数学是一门抽象的学科，一个命题的成立与否、几个命题之间的关系的证明都需要逻辑的参与。学好这些简单的逻辑用语、推理方法及规则是学好数学的前提。在数学领域之外，其同样也起着重要的作用。例如机器证明、自动程序设计、计算机辅助设计、逻辑电路等计算机应用和理论等都是以这些简单的逻辑用语和推及规则为最根本的基础，甚至在经济、政治、哲学、文学等各个学科中，这些在高中学到的基本的逻辑知识也是必不可少的。

（2）思维价值。数学学科的一个重要目标就是培养学生抽象的逻辑思维能力。瑞士心理学家皮亚杰的心理发展阶段论认为，学生在高中阶段是以经验型为主的思维方式向理论型抽象思维过渡的阶段，这个时期逻辑思维占主导地位。而此时若进行简单逻辑知识的学习有利于最大限度地促进学生的思维训练，促进逻辑能力的培养。

二、高中数学逻辑教学中的问题和相关教学方法

目前在高中数学逻辑的教学中存在着不少问题，有的是因为教师知识储备和教学方法等方面的原因，有的是因为学生的认知能力有限方面的原因。下面是几个有代表性的问题和相关教学方法的建议。

1、对命题的理解。课本中的“命题”定义为“能够判断真假的语句叫做命题”。但在学习过程中，有的学生认为命题一定要有条件和结论，即命题都可以改写为“如果……，那么……”的形式。而对于“3>2”，因其不能改写成“如果……，那么……”的形式，就认为这不是一个命题。为了避免学生产生这种思维定势，教师在教学中应该不能过多地使用“如果……，那么……”来解释命题，同时要明确指出“如果……，那么……”只是命题的一种典型的格式而已。

2、逻辑联结词的掌握。逻辑联结词，主要是“或”“且”“非”三个，是高中数学逻辑知识的重要内容。准确地掌握逻辑联结词及其相互间的关系，就可以将复杂的复合命题分解为若干个简单命题，使命题简单化。有的学生将数学逻辑语言中的“或”“且”“非”与自然语言中的“或”“且”“非”混淆，辨别不清，产生错误。例如“4的平方根是2或-2”，如果“或”理解为逻辑联结词，意思是对的；然而理解为自然语言中的“或”就是不恰当的说法，这会让学生产生疑惑。因此在教学中，教师应该严格地区分自然语言和数学逻辑语言的区别，并明确指出两者之间的差别。因此，上文命题严格说法应是“4平方根有两个，是2和-2”，或直接说成“4的平方根是2和-2”，这样就不易造成混淆。

三、全称量词和存在量词的理解