发布时间：
逻辑学的意义小论文如下：
逻辑学是研究思维、思维的规定和规律的科学，学习逻辑学有助于人们正确的认识客观事物，获取新的知识，学习逻辑学有助于人们准确的表达思想，严格的论证思想，学习逻辑学，有助于人们揭露和纠正谬误，批驳诡辩论。
逻辑是指思维的规律，逻辑学就是关于思维规律的学说，又称理则学。逻辑学是一个哲学分支学科。其是对思维规律的研究。逻辑和逻辑学的发展，经过了具象逻辑到抽象逻辑到具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。
逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性。思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。
逻辑学，具体来说形式逻辑，是建立现代自然科学的基石，没有古希腊的逻辑学，就不会产生始于西方的现代自然科学。由于大家每天在习惯性的使用逻辑规则，而感觉不到逻辑学的重要性，这是十分遗憾的，中国高中或大学忽视这种教育也是十分遗憾的。
杰文斯很早就在他的学说中对经济学和逻辑学展现他特有的开创性作用。边际效用理论是他的《政治经济学理论通论》的基调，最早出现在1860年的一封书信中。而他的逻辑相似代入原理（logical principles of the substitution of similars）可以在他1861年的另一封信中发现，也就是“哲学存在于发现事物的相似性”。上面提到的效用理论，指的是商品的效用的度量是商品数量的连续函数，也就是表达出经济学也是一门数学科学的观点，他的论文《政治经济学数学理论通论》中有更加形式化的表达，这篇论文是1862年写给英国经济学人协会的，那时并不受人重视，就算四年后发表于社会统计学月刊仍是如此，直到1871年，杰文斯在他的《政治经济学理论》中进一步发展了他的学说，这时受到了人们的关注。直到这部书的发表，杰文斯才被那些早期的应用数学来研究政治经济学问题的作家们所注意，特别是安东尼·奥古斯丁·库尔诺（Antoine Augustin Cournot ）和戈森（HH Gossen）。相似的效用理论在1870年左右，由奥地利的卡尔·门格尔、瑞士的利昂·瓦尔拉斯独立发展出来。由于戈森发现了交换价值和边际效用的关系，所以应该算是戈森最先发现了边际效用理论。但是这丝毫不减低杰文斯在英国带来新思想并广为传播的贡献。基于对主流思想的回应，他有时候忽略一些条件，比如《政治经济学理论》的前言就说价值完全基于的是效用，这样他的理论就被曲解了。但是为了引起大家的关注而夸大重点地方法是可以被原谅的。就在这以后，新古典主义革命开始了。 杰文斯在逻辑学上的成就和他在政治经济学学不相上下（panpassu）。1864年他出版了一本小书，名字是《纯逻辑，或数与量之间的逻辑》，其基础是乔治·布尔的逻辑体系，但摒除了他认为错误的数学外衣。随后几年他致力于研究逻辑机器，而英国皇家学会在1870年才开始。正是这个研究，他知道给定逻辑前提，可以用机械模拟出来。1866年他发现了伟大且普遍的推理法则，并于1869年以《同类替代》（The Substitution of Similars）为题描述了这个学说，最简单的格式是：“同类必有同质”（Whateveristrueofathingistrueofitslike.），他还有其他的各样表达。他在随后发表的《逻辑学初级教程》很快成为英语世界里最为流行的逻辑学基础教科书。那时他还写了很多逻辑学论文，1874年以《科学原理》为题发表，这部书里他对早期的纯逻辑和同类替代作了具体的表述，还发展了归纳是演绎的简单反转的观点。另外，他还对概率的一般原理和概率与归纳之间的关系作了出色的改造。他在各种自然科学上的造诣此时发挥了巨大作用，使他可以利用图形来处理抽象的逻辑学概念，从而获得了成功。杰文斯的归纳准则是对威廉·惠威尔理论的回归，恰是此理论受到了穆勒的批评。当然杰文斯用了新的表达，摒弃了受人批评的一些不必要的附属条件。这份努力可以算是19世纪英国最可大书一笔的逻辑学贡献之一。1880年，他出版了《演绎逻辑研究》 ，主要部分是他给学生使用的练习题。1877年及随后几年，他努力在《同时代人回顾》中对穆勒作出一个补充说明，最终出版时只有一卷，是他对穆勒哲学的批判，还有一卷本的《纯逻辑及小论文》，收集了他早期的逻辑学论文，都发表于他逝世后。这些批评不可不谓有所创见和说服力，但是不能和他其他的作品同日而语。杰文斯的长处在于开创性的思考，而不是批判；他将以一个勤勉的逻辑学家、经济学家和统计学家闻名后世。
库恩努力告诉我们的是，科学家共同体所拥有的范式本身是一套“群体的推理规则”，信仰同一个范式的科学家群体用这样的推理规则进行群体推理；而不同的科学家共同体因推理规则不同(范式不同)而得出不同的结论。因此，科学哲学家所力图揭示的是科学家进行群体推理的规则，不同的是，“逻辑主义者”哲学家认为，存在不变的规则；而“历史主义者”则认为这样的标准随群体的不同、历史的发展而变化。四、公共选择理论：研究群体选择的逻辑 我们每个人在行动选择时；根据自己的偏好在多个行动中选择有利的行动。这是一个推理过程。然而，一个包含两个或以上的行动者的群体或社会是如何做出共同行动或集体行动决策呢?即：群体是如何进行行动选择的推理的呢?每个人有自己的偏好，群体行动的选择依赖于群体个人的偏好进行“加总”(collect)，以形成群体的偏好。对群体中各个人的偏好进行加总是通过投票来完成的。对群体如何加总个人的偏好的研究是公共选择理论的重要研究内容。群体的投票规则即是群体的偏好形成的推理规则。如，一个群体对某个提案进行表决时，大多数规则——这是一个简单的易于理解的规则——说的是，一个“议案”若获得投票总人数中的一半以上则获得通过，即在此情况下，“该群体”“认为”该议案获得了通过；或者说该群体“认为”该议案通过比不通过要好。若一个“议案”没有获得投票总人数中的一半，在此情况下，“该群体”“认为”该议案不通过比通过要好。一个议案或者通过或者不通过，此时，投票群体进行投票便是在二中择一。当一个群体面临的候选对象超过两个(即三个或三个以上)时，情况便复杂起来。人们发明了许多加总投票人偏好的方法。如孔多塞的两两相决的规则，逐步淘汰的黑尔体系(Hare system)和库姆斯体系(Combs system)，一次性决策的赞成性多数(approval voting)和博达记分法(Boda count)。逻辑主要是研究推理和论证的。若研究的是推理，在推理中存在前提和结论：前提是已知的，而结论要根据有效推理得出的。在群体投票中，我们根据投票者对某个议案的偏好——这构成推理前提，和投票规则——这构成推理规则，而得出投票结果——它便是结论。这样看来，群体加总群体中个人偏好的特定投票规则便是逻辑学中所说的系统，我们称这种系统为群体偏好推理系统。在实际中存在不同的投票规则，因而存在不同的群体偏好系统。我们考察逻辑系统时，往往考察系统的完全性和可靠性。群体偏好推理系统的完全性和可靠性如何呢?对于个体，他所用的偏好关系的推理系统满足完全性和可靠性，或者我们假定它满足完全性和可靠性。 研究社会选择的经济学家首先研究理性的偏好关系。偏好关系以“≥(弱优于)”表示。某个理性人认为“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不变。这被称为阿罗不可能性定理。这个定理说明了什么?这说明了，群体作为总体不可能像个人那样，在任何情况下都能够作出“理性的”排序。孔多塞投票悖论反映的正是这个情况：群体得出了矛盾的结果。群体投票是群体推理过程，投票规则是群体推理系统。以这样的视角看，阿罗不可能性定理告诉我们，对于有三个以上的备选方案的情况下，群体推理系统不可能既是完备的——适合所有的人的偏好类型，又是可靠的——不出现矛盾性的结论。六、结语综上所述，群体推理是发生于实际社会中的现象，不同领域里的学者在自己的学术领域里研究了不同的群体推理的逻辑，并取得了丰富成果。然而，这方面的研究可以说刚刚起步，有许多工作等待我们去做。
人工智能与现今逻辑学的发展-.〔摘要〕 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 〔关键词〕 人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成功。于是，逻辑学将不得不比较全面地研究人的思维活动，并着重研究人的思维中最能体现其能动性特征的各种不确定性推理，由此发展出的逻辑理论也将具有更强的可应用性。 实际上，在20世纪中后期，就已经开始了现代逻辑与人工智能（记为AI）之间的相互融合和渗透。例如，哲学逻辑所研究的许多课题在理论计算机和人工智能中具有重要的应用价值。AI从认知心理学、社会科学以及决策科学中获得了许多资源，但逻辑（包括哲学逻辑）在AI中发挥了特别突出的作用。某些原因促使哲学逻辑家去发展关于非数学推理 的理论；基于几乎同样的理由，AI研究者也在进行类似的探索，这两方面的研究正在相互接近、相互借鉴，甚至在逐渐融合在一起。例如，AI特别关心下述课题： ·效率和资源有限的推理； ·感知； ·做计划和计划再认； ·关于他人的知识和信念的推理； ·各认知主体之间相互的知识； ·自然语言理解； ·知识表示； ·常识的精确处理； ·对不确定性的处理，容错推理； ·关于时间和因果性的推理； ·解释或说明； ·对归纳概括以及概念的学习。[①] 21世纪的逻辑学也应该关注这些问题，并对之进行研究。为了做到这一点，逻辑学家们有必要熟悉AI的要求及其相关进展，使其研究成果在AI中具有可应用性。 我认为，至少是21世纪早期，逻辑学将会重点关注下述几个领域，并且有可能在这些领域出现具有重大意义的成果：（1）如何在逻辑中处理常识推理中的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 1．常识推理中的某些弗协调、非单调和容错性因素 AI研究的一个目标就是用机器智能模拟人的智能，它选择各种能反映人的智能特征的问题进行实践，希望能做出各种具有智能特征的软件系统。AI研究基于计算途径，因此要建立具有可操作性的符号模型。一般而言，AI关于智能系统的符号模型可描述为：由一个知识载体（称为知识库KB）和一组加载在KB上的足以产生智能行为的过程（称为问题求解器PS）构成。经过20世纪70年代包括专家系统的发展，AI研究者逐步取得共识，认识到知识在智能系统中力量，即一般的智能系统事实上是一种基于知识的系统，而知识包括专门性知识和常识性知识，前者亦可看做是某一领域内专家的常识。于是，常识问题就成为AI研究的一个核心问题，它包括两个方面：常识表示和常识推理，即如何在人工智能中清晰地表示人类的常识，并运用这些常识去进行符合人类行为的推理。显然，如此建立的常识知识库可能包含矛盾，是不协调的，但这种矛盾或不协调应不至于影响到进行合理的推理行为；常识推理还是一种非单调推理，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论；常识推理也是一种可能出错的不精确的推理模式，是在容许有错误知识的情况下进行的推理，简称容错推理。而经典逻辑拒斥任何矛盾，容许从矛盾推出一切命题；并且它是单调的，即承认如下的推理模式：如果p?r，则pùq?r；或者说，任一理论的定理属于该理论之任一扩张的定理集。因此，在处理常识表示和常识推理时，经典逻辑应该受到限制和修正，并发展出某些非经典的逻辑，如次协调逻辑、非单调逻辑、容错推理等。有人指出，常识推理的逻辑是次协调逻辑和非单调逻辑的某种结合物，而后者又可看做是对容错推理的简单且基本的情形的一种形式化。[②] “次协调逻辑”（Paraconsistent Logic）是由普里斯特、达·科斯塔等人在对悖论的研究中发展出来的，其基本想法是：当在一个理论中发现难以克服的矛盾或悖论时，与其徒劳地想尽各种办法去排除 或防范它们，不如干脆让它们留在理论体系内，但把它们“圈禁”起来，不让它们任意扩散，以免使我们所创立或研究的理论成为“不足道”的。于是，在次协调逻辑中，能够容纳有意义、有价值的“真矛盾”，但这些矛盾并不能使系统推出一切，导致自毁。因此，这一新逻辑具有一种次于经典逻辑但又远远高于完全不协调系统的协调性。次协调逻辑家们认为，如果在一理论T中，一语句A及其否定?A都是定理，则T是不协调的；否则，称T是协调的。如果T所使用的逻辑含有从互相否定的两公式可推出一切公式的规则或推理，则不协调的T也是不足道的(trivial)。因此，通常以经典逻辑为基础的理论，如果它是不协调的，那它一定也是不足道的。这一现象表明，经典逻辑虽可用于研究协调的理论，但不适用于研究不协调但又足道的理论。达·科斯塔在20世纪60年代构造了一系列次协调逻辑系统Cn（1≤n≤w），以用作不协调而又足道的理论的逻辑工具。对次协调逻辑系统Cn的特征性描述包括下述命题：(i)矛盾律?(Aù?A)不普遍有效；(ii)从两个相互否定的公式A和?A推不出任意公式；即是说，矛盾不会在系统中任意扩散，矛盾不等于灾难。(iii)应当容纳与(i)和(ii)相容的大多数经典逻辑的推理模式和规则。这里，(i)和(ii)表明了对矛盾的一种相对宽容的态度，(iii)则表明次协调逻辑对于经典逻辑仍有一定的继承性。 在任一次协调逻辑系统Cn(1≤n≤w)中，下述经典逻辑的定理或推理模式都不成立： ?(Aù?A) Aù?A→B A→(?A→B) (AA)→B (AA)→?B A→A (?Aù(AúB))→B (A→B)→(?B→?A) 若以C0为经典逻辑，则系列C0, C1, C2,… Cn,… Cw使得对任正整数i有Ci弱于Ci-1，Cw是这系列中最弱的演算。已经为Cn设计出了合适的语义学，并已经证明Cn相对于此种语义是可靠的和完全的，并且次协调命题逻辑系统Cn还是可判定的。现在，已经有人把次协调逻辑扩展到模态逻辑、时态逻辑、道义逻辑、多值逻辑、集合论等领域的研究中，发展了这些领域内的次协调理论。显然，次协调逻辑将会得到更进一步的发展。[③] 非单调逻辑是关于非单调推理的逻辑，它的研究开始于20世纪80年代。1980年，D·麦克多莫特和J·多伊尔初步尝试着系统发展一种关于非单调推理的逻辑。他们在经典谓词演算中引入一个算子M，表示某种“一致性”断言，并将其看做是模态概念，通过一定程序把模态逻辑系统T、S4和S5翻译成非单调逻辑。B·摩尔的论文《非单调逻辑的语义思考》（1983）据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。自动认知推理则不是这种类型，它是与人们自身的信念或知识相关的推理，可用它模拟一个理想的具有信念的有理性的代理人的推理。对于在计算机和人工智能中获得成功的应用而言，非单调逻辑尚需进一步发展。 2．归纳以及其他不确定性推理 人类智能的本质特征和最高表现是创造。在人类创造的过程中，具有必然性的演绎推理固然起重要作用，但更为重要的是具有某种不确定性的归纳、类比推理以及模糊推理等。因此，计算机要成功地模拟人的智能，真正体现出人的智能品质，就必须对各种具有不确定性的推理模式进行研究。 首先是对归纳推理和归纳逻辑的研究。这里所说的“归纳推理”是广义的，指一切扩展性推理，它们的结论所断定的超出了其前提所断定的范围，因而前提的真无法保证结论的真，整个推理因此缺乏必然性。具体说来，这种意义的“归纳”包括下述内容：简单枚举法；排除归纳法，指这样一些操作：预先通过观察或实验列出被研究现象的可能的原因，然后有选择地安排某些事例或实验，根据某些标准排除不相干假设，最后得到比较可靠的结论；统计概括：从关于有穷数目样本的构成的知识到关于未知总体分布构成的结论的推理；类比论证和假说演绎法，等等。尽管休谟提出着名的“归纳问题”，对归纳推理的合理性和归纳逻辑的可能性提出了深刻的质疑，但我认为，（1）归纳是在茫茫宇宙中生存的人类必须采取也只能采取的认知策略，对于人类来说具有实践的必然性。（2）人类有理由从经验的重复中建立某种确实性和规律性，其依据就是确信宇宙中存在某种类似于自然齐一律和客观因果律之类的东西。这一确信是合理的，而用纯逻辑的理由去怀疑一个关于世界的事实性断言则是不合理的，除非这个断言是逻辑矛盾。（3）人类有可能建立起局部合理的归纳逻辑和归纳方法论。并且，归纳逻辑的这种可能性正在计算机科学和人工智能的研究推动下慢慢地演变成现实。恩格斯早就指出，“社会一旦有技术上的需要，则这种需要比十所大学更能把科学推向前进。”[④] 有人通过指责现有的归纳逻辑不成熟，得出“归纳逻辑不可能”的结论，他们的推理本身与归纳推理一样，不具有演绎的必然性。（4）人类实践的成功在一定程度上证明了相应的经验知识的真理性，也就在一定程度上证明了归纳逻辑和归纳方法论的力量。毋庸否认，归纳逻辑目前还很不成熟。有的学者指出，为了在机器的智能模拟中克服对归纳模拟的困难而有所突破，应该将归纳逻辑等有关的基础理论研究与机器学习、不确定推理和神经网络学习模型与归纳学习中已有的成果结合起来。只有这样，才能在已有的归纳学习成果上，在机器归纳和机器发现上取得新的突破和进展。[⑤] 这是一个极有价值且极富挑战性的课题，无疑在21世纪将得到重视并取得进展。 再谈模糊逻辑。现实世界中充满了模糊现象，这些现象反映到人的思维中形成了模糊概念和模糊命题，如“矮个子”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代，其代表性人物是L·A·查德和P·N·马林诺斯。模糊逻辑为精确逻辑（二值逻辑）解决不了的问题提供了解决的可能，它目前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然，它在21世纪将继续得到更大的发展。 3．广义内涵逻辑 经典逻辑只是对命题联结词、个体词、谓词、量词和等词进行了研究，但在自然语言中，除了这些语言成分之外，显然还存在许多其他的语言成分，如各种各样的副词，包括模态词“必然”、“可能”和“不可能” 、时态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等，以及各种认知动词，如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”，这些认知动词在逻辑和哲学文献中被叫做“命题态度词”。对这些副词以及命题态度词的逻辑研究可以归类为“广义内涵逻辑”。 大多数副词以及几乎所有命题态度词都是内涵性的，造成内涵语境，后者与外延语境构成对照。外延语境又叫透明语境，是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其中适用的语境；内涵语境又称晦暗语境，是上述规则在其中不适用的语境。相应于外延语境和内涵语境的区别，一切语言表达式（包括自然语言的名词、动词、形容词直至语句）都可以区分为外延性的和内涵性的，前者是提供外延语境的表达式，后者是提供内涵性语境的表达式。例如，杀死、见到、拥抱、吻、砍、踢、打、与…下棋等都是外延性表达式，而知道、相信、认识、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。 在内涵语境中会出现一些复杂的情况。首先，对于个体词项来说，关键性的东西是我们不仅必须考虑它们在现实世界中的外延，而且要考虑它们在其他可能世界中的外延。例如，由于“必然”是内涵性表达式，它提供内涵语境，因而下述推理是非有效的： 晨星必然是晨星， 晨星就是暮星， 所以，晨星必然是暮星。 这是因为：这个推理只考虑到“晨星”和“暮星”在现实世界中的外延，并没有考虑到它们在每一个可能世界中的外延，我们完全可以设想一个可能世界，在其中“晨星”的外延不同于“暮星”的外延。因此，我们就不能利用同一性替换规则，由该推理的前提得出它的结论：“晨星必然是暮星”。其次，在内涵语境中，语言表达式不再以通常是它们的外延的东西作为外延，而以通常是它们的内涵的东西作为外延。以“达尔文相信人是从猿猴进化而来的”这个语句为例。这里，达尔文所相信的是“人是从猿猴进化而来的”所表达的思想，而不是它所指称的真值，于是在这种情况下，“人是从猿猴进化而来的”所表达的思想（命题）就构成它的外延。再次，在内涵语境中，虽然适用于外延的函项性原则不再成立，但并不是非要抛弃不可，可以把它改述为新的形式：一复合表达式的外延是它出现于外延语境中的部分表达式的外延加上出现于内涵语境中的部分表达式的内涵的函项。这个新的组合性或函项性原则在内涵逻辑中成立。 一般而言，一个好的内涵逻辑至少应满足两个条件：（i）它必须能够处理外延逻辑所能处理的问题；（ii）它还必须能够处理外延逻辑所不能处理的难题。这就是说，它既不能与外延逻辑相矛盾，又要克服外延逻辑的局限。这样的内涵逻辑目前正在发展中，并且已有初步轮廓。从术语上说，内涵逻辑除需要真、假、语句真值的同一和不同、集合或类、谓词的同范围或不同范围等外延逻辑的术语之外，还需要同义、内涵的同一和差异、命题、属性或概念这样一些术语。广而言之，可以把内涵逻辑看作是关于象“必然”、“可能”、“知道”、“相信”，“允许”、“禁止”等提供内涵语境的语句算子的一般逻辑。在这种广义之下，模态逻辑、时态逻辑、道义逻辑、认知逻辑、问题逻辑等都是内涵逻辑。不过，还有一种狭义的内涵逻辑，它可以粗略定义一个内涵逻辑是一个形式语言，其中包括（1）谓词逻辑的算子、量词和变元，这里的谓词逻辑不必局限于一阶谓词逻辑，也可以是高阶谓词逻辑；（2）合式的λ—表达式，例如(λx)A，这里A是任一类型的表达式，x是任一类型的变元，(λx)A本身是一函项，它把变元x在其中取值的那种类型的对象映射到A所属的那种类型上；（3）其他需要的模态的或内涵的算子，例如�，ù、ú。而一个内涵逻辑的解释，则由下列要素组成：（1）一个可能世界的非空集W；（2）一个可能个体的非空集D；（3）一个赋值，它给系统内的表达式指派它们在每w∈W中的外延。对于任一的解释Q和任一的世界w∈W，判定内涵逻辑系统中的任一表达式X相对于解释Q在w∈W中的外延总是可能的。这样的内涵逻辑系统有丘奇的LSD系统，R·蒙塔古的IL系统，以及E·N·扎尔塔的FIL系统等。[⑥] 在各种内涵逻辑中，认识论逻辑（epistemic logic）具有重要意义。它有广义和狭义之分。广义的认识论逻辑研究与感知（perception）、知道、相信、断定、理解、怀疑、问题和回答等相关的逻辑问题，包括问题逻辑、知道逻辑、相信逻辑、断定逻辑等；狭义的认识论逻辑仅指知道和相信的逻辑，简称“认知逻辑”。冯·赖特在1951年提出了对“认知模态”的逻辑分析，这对建立认知逻辑具有极大的启发作用。J·麦金西首先给出了一个关于“知道”的模态逻辑。A·帕普于1957年建立了一个基于6条规则的相信逻辑系统。J·亨迪卡于60年代出版的《知识和信念》一书是认知逻辑史上的重要着作，其中提出了一些认知逻辑的系统，并为其建立了基于“模型集”的语义学，后者是可能世界语义学的先导之一。当今的认知逻辑纷繁复杂，既不成熟也面临许多难题。由于认知逻辑涉及认识论、心理学、语言学、计算机科学和人工智能等诸多领域，并且认知逻辑的应用技术，又称关于知识的推理技术，正在成为计算机科学和人工智能的重要分支之一，因此认知逻辑在20世纪中后期成为国际逻辑学界的一个热门研究方向。这一状况在21世纪将得到继续并进一步强化，在这方面有可能出现突破性的重要结果。 4．对自然语言的逻辑研究 对自然语言的逻辑研究有来自几个不同领域的推动力。首先是计算机和人工智能的研究，人机对话和通讯、计算机的自然语言理解、知识表示和知识推理等课题，都需要对自然语言进行精细的逻辑分析，并且这种分析不能仅停留在句法层面，而且要深入到语义层面。其次是哲学特别是语言哲学，在20世纪哲学家们对语言表达式的意义问题倾注了异乎寻常的精力，发展了各种各样的意义理论，如观念论、指称论、使用论、言语行为理论、真值条件论等等，以致有人说，关注意义成了20世纪哲学家的职业病。再次是语言学自身发展的需要，例如在研究自然语言的意义问题时，不能仅仅停留在脱离语境的抽象研究上面，而要结合使用语言的特定环境去研究，这导致了语义学、语用学、新修辞学等等发展。各个方面发展的成果可以总称为“自然语言逻辑”，它力图综合后期维特根斯坦提倡的使用论 ，J·L·奥斯汀、J·L·塞尔等人发展的言语行为理论，以及P·格赖斯所创立的会话含义学说等成果，透过自然语言的指谓性和交际性去研究自然语言中的推理。 自然语言具有表达和交际两种职能，其中交际职能是自然语言最重要的职能，是它的生命力之所在。而言语交际总是在一定的语言环境（简称语境）中进行的，语境有广义和狭义之分。狭义的语境仅指一个语词、一个句子出现的上下文。广义的语境除了上下文之外，还包括该语词或语句出现的整个社会历史条件，如该语词或语句出现的时间、地点、条件、讲话的人（作者）、听话的人（读者）以及交际双方所共同具有的背景知识，这里的背景知识包括交际双方共同的信念和心理习惯，以及共同的知识和假定等等。这些语境因素对于自然语言的表达式（语词、语句）的意义有着极其重要的影响，这具体表现在：（i）语境具有消除自然语言语词的多义性、歧义性和模糊性的能力，具有严格规定语言表达式意义的能力。（ii）自然语言的句子常常包含指示代词、人称代词、时间副词等，要弄清楚这些句子的意义和内容，就要弄清楚这句话是谁说的、对谁说的、什么时候说的、什么地点说的、针对什么说的，等等，这只有在一定的语境中才能进行。依赖语境的其他类型的语句还有：包含着象“有些”和“每一个”这类量化表达式的句子的意义取决于依语境而定的论域，包含着象“大的”、“冷的”这类形容词的句子的意义取决于依语境而定的相比较的对象类；模态语句和条件语句的意义取决于因语境而变化的语义决定因素，如此等等。（iii）语言表达式的意义在语境中会出现一些重要的变化，以至偏离它通常所具有的意义（抽象意义），而产生一种新的意义即语用涵义。有人认为，一个语言表达式在它的具体语境中的意义，才是它的完全的真正的意义，一旦脱离开语境，它就只具有抽象的意义。语言的抽象意义和它的具体意义的关系，正象解剖了的死人肢体与活人肢体的关系一样。逻辑应该去研究、理解、把握自然语言的具体意义，当然不是去研究某一个（或一组）特定的语句在某个特定语境中唯一无二的意义，而是专门研究确定自然语言具体意义的普遍原则。[⑦] 美国语言学家保罗·格赖斯把语言表达式在一定的交际语境中产生的一种不同于字面意义的特殊涵义，叫做“语用涵义”、“会话涵义”或“隐涵”（implicature），并于1975年提出了一组“交际合作原则”，包括一个总则和四组准则。总则的内容是：在你参与会话时，你要依据你所参与的谈话交流的公认目的或方向，使你的会话贡献符合这种需要。仿照康德把范畴区分为量、质、关系和方式四类，格赖斯提出了如下四组准则： （1）数量准则：在交际过程中给出的信息量要适中。 a．给出所要求的信息量； b．给出的信息量不要多于所要求的信息量。 （2）质量准则：力求讲真话。 a．不说你认为假的东西。 b．不说你缺少适当证据的东西。 （3）关联准则：说话要与已定的交际目的相关联。 （4）方式准则：说话要意思明确，表达清晰。 a．避免晦涩生僻的表达方式； b．避免有歧义的表达方式； c．说话要简洁； d．说话要有顺序性。[⑧] 后来对这些原则提出了不少修正和补充，例如有人还提出了交际过程中所要遵守的“礼貌原则”。只要把交际双方遵守交际合作原则之类的语用规则作为基本前提，这些原则就可以用来确定和把握自然语言的具体意义（语用涵义）。实际上，一个语句p的语用涵义，就是听话人在具体语境中根据语用规则由p得到的那个或那些语句。更具体地说，从说话人S说的话语p推出语用涵义q的一般过程是： （i）S说了p； （ii）没有理由认为S不遵守准则，或至少S会遵守总的合作原则； （iii）S说了p而又要遵守准则或总的合作原则，S必定想表达q； （iv）S必然知道，谈话双方都清楚：如果S是合作的，必须假设q； （v）S无法阻止听话人H考虑q； （vi）因此，S意图让H考虑q，并在说p时意味着q。 试举二例： （1）a站在熄火的汽车旁，b向a走来。a说：“我没有汽油了。”b说：“前面拐角处有一个修车铺。”这里a与b谈话的目的是：a想得到汽油。根据关系准则，b说这句话是与a想得到汽油相关的，由此可知：b说这句话时隐涵着：“前面的修车铺还在营业并且卖汽油。” （2）某教授写信推荐他的学生任某项哲学方面的工作，信中写到：“亲爱的先生：我的学生c的英语很好，并且准时上我的课。”根据量的准则，应该提供所需要的信息量；作为教授，他对自己的学生的情况显然十分熟悉，也可以提供所需要的信息量，但他有意违反量的准则，在信中只用一句话来介绍学生的情况，任用人一旦接到这封信，自然明白：教授认为c不宜从事这项哲学工作。 并且，语用涵义还具有如下5个特点：（i）可取消性：在给原话语附加上某些话语之后，它原有的语用涵义可被取消。在例（1）中，若b在说“前面拐角处有一个修车铺”之后又补上一句：“不过它这时已经关门了”，则原有的语用涵义“你可从那里得到汽油”就被取消了。（ii）不可分离性：如果某话语在特定的语境中产生了语用涵义，则无论采用什么样的同义结构，该含义始终存在，因为它所依附的是话语的内容，而不是话语的形式。（iii）可推导性，前面已说明这一点。（iv）非规约性：语用涵义不能单独从话语本身推出来，除要考虑交际合作原则之类的语用规则之外，也需要假定通常的逻辑推理规则，并需要把上文语句、交际双方所共有的背景知识作为附加前提考虑在内。（v）不确定性：同一句话语在不同的语境中可以产生不同的语用涵义。显然，确定某个话语的语用涵义是一个极其复杂的过程，需要综合和分析、归纳和演绎的统一应用，因此具有一定的或然性。研究如何迅速有效地把握自然语言表达式在具体语境中的语用涵义，这正是自然语言逻辑所要完成的任务之一，它将在21世纪取得进展。
加强逻辑学学科的建设和教学优秀论文
[摘要]本文认为，逻辑思维是具有创新性质与创新功能的思维，是撬动科学发展的思维工具。我们只有培养富有创新思维能力的学生，才能为科学发展源源不断地输送生力军，才能促进科学研究的繁荣和可持续发展。提高学生逻辑思维水平和创新思维能力的基本路径是高水平的逻辑教学，为此就必须加强逻辑学的学科和教学建设，切实保证和提高逻辑学的教学质量。
[关键词]逻辑思维非逻辑思维创新功能
在一些高等院校，并不重视逻辑学学科的建设和教学，原因是他们以为逻辑学研究的逻辑思维没有创新意义。这种观点颇有影响，很有市场，像大名鼎鼎的科学家彭加勒也持这种观点。这种观点的理论依据主要有二：一是认为，“科学创造性思维是一种以非经验、超逻辑和思维程序与常规思维相倒置为根本特征的反常思维方式”。[1]所以逻辑思维在科学研究过程中是没有创新意义的。二是认为，纯粹逻辑是同义反复，不能创造任何新的科学观点，所以逻辑思维对科学发现没有创新意义。事实并非如此，逻辑思维不仅自身有创新性，而且引发科学研究的繁荣和进步。所以，高等院校要培养创新性人才，为我国科学的发展输送生力军，务必加强逻辑学学科的建设和发展，提高逻辑学的教学水平和教学质量。
逻辑思维是引发科学创新和发展的思维工具
翻开科学发展史，人们就会发现，历史上的科学革命运动，往往以逻辑思维的发展为先导。如古希腊亚里士多德的演绎逻辑带来了古希腊人文和自然科学的空前繁荣；培根的归纳逻辑掀起了近代科学革命的狂飙；而现代逻辑则促进了现代科学和哲学全方位的拓展。
正是基于科学发展的这种史实，马克思主义的经典作家和世界著名科学家，都充分肯定了逻辑思维在科学创新发展中的重要地位和积极作用。列宁说：“任何科学都是应用逻辑。”[2]爱因斯坦认为：西方科学的发展是以两个伟大的成就为基础：“希腊哲学家发明的形式逻辑(在欧几里得几何中)以及通过系统的实验找出可能的因果关系(在文艺复兴时期发现)。”[2]因此科学家必须是“严谨的逻辑推理者。科学家的目的是要得到关于自然界的一个逻辑上前后一贯的摹写。逻辑之对于它，有如比例和透视规律之对于画家一样”。[3]他们如此肯定逻辑思维在科学创新发展中的地位和作用，其道理非常简单，任何科学理论的创立都是对旧理论的否定，从这个意义上来说，任何科学都具有创新性；而逻辑思维则是知识技术转为科学理论的必经之路。据此，有理由说，逻辑思维是引发科学创新和发展的思维工具。
近代科学革命没有发生在中国的史实也说明了这一点。英国著名科学史家李约瑟，看到中国人在古代取得了许多卓越的科技成就，有发生科学革命的历史基础，但近代科学革命恰恰没有发生在中国，对此他感到困惑不解，也引起了许多学者的注意和思考。在爱因斯坦看来，这是“用不着惊奇的”，[4]中国贤哲没有创造出科学创新发展所需的逻辑基础。著名物理学家吴大猷认为：“古代中国赢过西方的，大多是技术而不是科学，没有科学为基础的技术，发展是有限的。”[5]而技术优势没能转化为科学优势的一个重要条件，中国缺少知识、技术转为科学理论的逻辑思维工具。
人们知道，技术在于利用已知的科学知识，解决人类生活中的实际问题，可以在实际生活和劳动中偶然获得。科学是探索未知世界，揭示大自然客观规律，但要获得对未知世界规律性的认识，只有通过艰苦复杂的逻辑分析、推论，才能最终形成关于某一问题的科学知识体系。中国历来偏重整体直觉顿悟，而缺乏逻辑思维传统，而且注重实际应用，轻视基础科学研究，这就使中国虽然有许多伟大的技术发明，却没有产生一门完整的自然科学体系；培养了不计其数的状元、举人、秀才，却没有培养出一名牛顿般的科学家；有发明了火药的著名实践，却没有发现火药的成分结构，没弄懂科学意义上的火药的爆炸性质。如此等等，不一而足，都说明离开逻辑思维，知识、技术就是片面的和离散的，只有逻辑思维的.介入，才能最终整合成科学理论。
逻辑思维自身就有创新功能
逻辑思维的发展所以能够引发科学研究的创新，成为知识、技术转化为科学理论体系的逻辑思维工具，就在于逻辑思维本身具有创新功能。逻辑思维的创新基质在于它是一种理性的创新思维，思维主体把感性认识中获得的信息材料，抽象成概念，再用概念进行判断，形成命题，再按一定的逻辑关系，运用命题进行推理，于是就会推演出新的思想认识。
概念是反映事物特有的本质属性的思维形式。人们知道，关于某事物的概念尚未形成时，人们的感性认识无法把握事物的本质，通过概念思维，对许许多多具体事物进行分析、比较、鉴别之后才抽象出该事物特有的本质属性。可见概念思维不是机械的摹写，而是一种理性创新。没有概念思维，人们对事物的认识只能停留在现象层面上，不可能对事物的本质产生全面的新认识。
判断是断定事物情况的思维形式，它不是对感官所反映情况的简单重复。一位农学家来到某地考察畜牧业发展情况，当地人向他咨询能否发展养羊业，他说“要养羊先养猫”，这个判断体现了农学家与众不同的眼光。当人们疑惑不解时，他说：“要养羊就要大量种植三叶草，但三叶草要靠蜜蜂传粉，而本地田鼠太多，蜜蜂巢被破坏严重，影响了三叶草的发展，所以应先养猫灭鼠。”可见判断是经过逻辑分析后对事物情况作出的新断定。也是一种创新思维，本身具有创新的特征。
推理是从已知知识推出未知知识的逻辑思维形式，它包括演绎推理、归纳推理和类比推理，这些推理都有创新性质。
演绎推理以其严密性、必然性在逻辑学中奠定了重要地位。同样以其创新功能而在科学史上也占有重要的一席之地。演绎推理的创新意义在于，它能帮助人们分析现状而发现问题，还能帮助人们提出和论证新的思想观点。人们所熟知的关于物体重量与其下落速度关系问题的新认识就与演绎推理密切相关。人们知道，亚里士多德关于“物体的重量与其下落速度成正比”，即物体重量越大，其下落速度越快的观点，在一千多年里被公认为无可置疑的真理，但到了十六世纪，意大利科学家伽利略通过一个演绎推理的思想试验，对该观点提出质疑，他设想：若把轻重不同的两个物体绑在一起，其中A为重物体，B为轻物体，A与B捆绑丢下，其下落速度是比A物体单独落下时快还是慢呢？按亚里士多德的观点，A和B相加重量加大，其下落速度比A物体单独落下要快，但两个物体重量悬殊，下落时慢的B拖住了快的A，所以A与B绑在一起其下落速度比A物体单独落下要慢。通过演绎推理，亚里士多德观点中的逻辑矛盾暴露出来，而包含逻辑矛盾的观点都是不科学的，所以最后被新的观点所取代了。
归纳推理是由个别经验知识直接推出一般知识的推理，这种推理天生就有创新功能，因为作为推理结论的“一般知识”，相对于作为前提的“个别知识”来说，都是全新的知识。例如，人们发现柳树能进行光合作用，小草、大豆、棉花、水稻等亦如此，柳树、小草、大豆、棉花、水稻等是绿色植物的一部分，由此人们推出所有绿色植物都能进行光合作用。关于归纳推理推陈出新的创新实例随处可见，都证明归纳推理是一种创新思维。
类比推理也是一种极富创新功能的思维。它是根据两个或两类对象在一系列属性上相同或相异，断定这两个(或两类)对象在另外属性上的相同或相异的推理。在类比推理的思维过程中，用来比较的属性是原有的已知知识，而断定其另外的属性也相同则是全新的知识。在医学史上，哈维提出人体血液循环理论时就是根据对一条蛇的解剖观察，发现当蛇的动脉被夹紧后，蛇心由于充血变大、变紫，松开动脉则正常，夹住其静脉，蛇心由于缺血而变瘪、变白，松开则正常，由蛇推及人，于是哈维提出“人体血液循环”的观点，否定了流行了两千多年的“人体血液由心脏生产供全身器官消耗”的“血液单向运动”的说法。诸此等等的思维事实，都证明类比推理也是一种创新思维。
逻辑思维是非逻辑思维创新的前提和基础
非逻辑思维通常被称为创新思维，主要包括发散性的直觉、灵感、联想等。非逻辑思维在科学发现中具有重要作用，但它们仍然是以逻辑思维为前提和基础的。
在人类的发明创造过程中，直觉、灵感、联想起着巨大的作用，但直觉、灵感、联想的内容并非空穴来风，它是在先前艰苦的逻辑思维过程中产生的。阿基米德在浴缸里，悟出了浮力定律；牛顿被下落的苹果砸着脑袋，悟出了万有引力定律；门捷列夫踏上火车的一瞬间，悟出了元素周期表；凯库勒梦见蛇自咬尾巴，悟出了苯的分子结构……；凡此种种，科学家们似乎是凭非逻辑思维悟出科学真理的。其实并非如此，他们的顿悟无论多么奇特多样，但有一点是共同的：他们在顿悟之前，都曾冥思苦想，运用逻辑工具，进行了无数次分析、推理和论证。门捷列夫曾三天三夜未合眼，不断思考和计算；牛顿在实验室里忘记了自己是否已经进餐；凯库勒在参加舞会时仍在想着他的苯分子结构。可以说，没有逻辑思维的帮助，非逻辑思维是不可能“顿悟”出科学真理的。正如法国生物学家巴斯德说过的那样，机遇只垂青有准备的头脑。邦格说得更直接，没有漫长而且有耐心的演绎推论，就不可能有丰富的直觉。很明显，直觉、灵感、联想等非逻辑思维，的确是以逻辑思维为前提的。
逻辑思维不仅是非逻辑思维的前提，而且为直觉、灵感和联想确定目标和方向。因为，“在紧张的创造思维活动中，没有逻辑，思维就会失去方向，失去目标；没有逻辑就没有道路。任何直觉、想象、联想等，如果是有目标的，那只能是在逻辑思维指引和统率下进行的，如果离开逻辑思维，就等于是神经错乱，或者是裂脑人的互相矛盾的杂乱的思维。”[6]科学创新中的直觉、灵感和联想总是指向一定的目标和方向的，而为直觉、灵感和联想确定目标和方向的，正是逻辑思维。
逻辑思维不仅为非逻辑思维确定目标和方向，而且还为直觉、灵感、联想产生的结论作逻辑的分析、论证。非逻辑思维的特点是“直接把握”事物的本质和规律，没有清晰的逻辑思维，不能对非逻辑思维产生的新思想作出逻辑上的解释和论证，这种思想就不可能有逻辑上的确定性和自恰性，就是一种无根据的臆想。凯库勒风趣地说：“假使我们学会做梦，我们也许就会发现真理，不过我们务必要小心，在我们的梦受到清醒头脑证实之前，千万别公开它们。”因为臆想的东西人们是不可能接受的。由此可见，非逻辑思维的结果出现之后，随之就应是逻辑思维的整合论证，只有这样，非逻辑思维的结论才能成为逻辑严密的科学观点。
总而言之，逻辑思维具有创新功能，是创新性思维。高等院校担负着培养创新人才的重任，而培养创新性人才，在很大的程度上说，就是培养创新思维能力。培养学生创新思维能力有诸多路径，但最基本的路径是加强逻辑学科的建设，提高逻辑学的教学水平，以此培养学生的逻辑思维能力。这是本文的基本结论。
参考文献：
[1]列宁.哲学笔记[M].北京：人民出版社,1974:216.
[2]许良英、范岱年译.爱因斯坦文集（第1卷）[M].北京：商务印书馆，1976：574.
[3]许良英.范岱年译.爱因斯坦文集（第1卷）[M].北京：商务印书馆，1976：299 .
[4]许良英,范岱年译.爱因斯坦文集（第1卷）[M].北京：商务印书馆，1976 ：574 .
[5]詹克明,李约瑟.难题与吴大猷疑惑[N].杂文报,1996-11-19.
[6]葛润林.论假说的逻辑结构及其在思维形式系统中的地位[J].人大复印资料《逻辑》,1997,7:23.
LZ是不是张帆老师教的？？
数学是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用，由计数、计算、量度和对物体形状及运动的观察中产生。数学家们拓展这些概念，为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理。目录简介名称来源数学的意义数学史数学研究的各领域数学的分类数学的五大分支数学分支数学分类数学的发展史国外数学名家阿基米德高斯牛顿莱布尼茨中国古代数学发展史中国古代数学的萌芽中国古代数学体系的形成中国古代数学的发展中国古代数学的繁荣中西方数学的融合中国古代著名数学家及其主要贡献刘徽（生于公元250年左右）祖冲之（公元429年—公元500年）中国古代其他著名数学家及其主要贡献以华人数学家命名的研究成果数学名言数学中有关的名词现代数学衍生品简介 名称来源数学的意义 数学史数学研究的各领域数学的分类 数学的五大分支 数学分支 数学分类数学的发展史国外数学名家 阿基米德 高斯 牛顿 莱布尼茨中国古代数学发展史 中国古代数学的萌芽 中国古代数学体系的形成 中国古代数学的发展 中国古代数学的繁荣 中西方数学的融合中国古代著名数学家及其主要贡献 刘徽（生于公元250年左右） 祖冲之（公元429年—公元500年） 中国古代其他著名数学家及其主要贡献以华人数学家命名的研究成果数学名言数学中有关的名词现代数学衍生品展开 编辑本段简介名称来源 数学【shù xué】（■；希腊语：μαθηματικ?）西方源自于古这一词在希腊语的μ?θημα（máthēma），其有学习、学问、科学，以及另外还有个较狭隘且技术性的意义－“数学研究”，即使在其语源内。其形容词意义为和学习有关的或用功的，亦会被用来指数学的。其在英语中表面上的复数形式，及在法语中的表面复数形式les mathématiques，可溯至拉丁文的中性复数mathematica，由西塞罗译自希腊文复数τα μαθηματικ?（ta mathēmatiká），此一希腊语被亚里士多德拿来指“万物皆数”的概念。（拉丁文：Mathemetica)原意是数和数的技术。 我国古代把数学叫算术，又称算学，最后才改为数学。编辑本段数学的意义 数学，作为人类思维的表达形式，反映了人们积极进取的意志、缜密周详的推理及对完美境界的追求。它的基本要素是：逻辑和直观、分析和推理、共性和个性。虽然不同的传统学派可以强调不同的侧面，然而正是这些互相对立的力量的相互作用，以及它们综合起来的努力，才构成了数学科学的生命力、可用性和它的崇高价值。数学史 基础数学的知识与运用是个人与团体生活中不可或缺的一部分。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始，其发展便持续不断地有小幅度的进展，直至16世纪的文艺复兴时期，因着和新科学发现相作用而生成的数学革新导致了知识的加速，直至今日。 今日，数学被使用在世界不同的领域上，包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学，有时亦会激起新的数学发现，并导致全新学科的发展。数学家也研究纯数学，也就是数学本身，而不以任何实际应用为目标。虽然许多以纯数学开始的研究，但之后会发现许多应用。 创立于二十世纪三十年代的法国的布尔巴基学派认为：数学，至少纯数学，是研究抽象结构的理论。结构，就是以初始概念和公理出发的演绎系统。布学派认为，有三种基本的抽象结构：代数结构（群，环，域……），序结构（偏序，全序……），拓扑结构（邻域，极限，连通性，维数……）。 编辑本段数学研究的各领域 数学主要的学科首要产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件。这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的子领域相关连著。除了上述主要的关注之外，亦有用来探索由数学核心至其他领域上之间的连结的子领域：至逻辑、至集合论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习。 数量 数量的学习起于数，一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质被研究于数论中，此一理论包括了如费马最后定理之著名的结果。 当数系更进一步发展时，整数被承认为有理数的子集，而有理数则包含于实数中，连续的数量即是以实数来表示的。实数则可以被进一步广义化成复数。数的进一步广义化可以持续至包含四元数及八元数。自然数的考虑亦可导致超限数，它公式化了计数至无限的这一概念。另一个研究的领域为其大小，这个导致了基数和之后对无限的另外一种概念：阿列夫数，它允许无限集合之间的大小可以做有意义的比较。 结构 许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念，即向量，且广义化至向量空间，并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间。向量分析则将其扩展至第四个基本的领域内，即变化。 空间 空间的研究源自于几何－尤其是欧式几何。三角学则结合了空间及 数，且包含有著名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演著核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变化。 基础与哲学 为了搞清楚数学基础，数学逻辑和集合论等领域被发展了出来。德国数学家康托（Georg Cantor，1845-1918）首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的存在，为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观，所以曾受到当时一些大数学家的反对，Pioncare也把集合论比作有趣的“病理情形”，Kronecker还击Cantor是“神经质”，“走进了超越数的地狱”.对于这些非难和指责，Cantor仍充满信心，他说：“我的理论犹如磐石一般坚固，任何反对它的人都将搬起石头砸自己的脚.” 集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，测度论，拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想，把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。 数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关连性。编辑本段数学的分类 离散数学 模糊数学数学的五大分支 1.经典数学 2.近代数学 3.计算机数学 4.随机数学 5.经济数学数学分支 1.算术 2.初等代数 3.高等代数 4. 数论 5.欧几里得几何 6.非欧几里得几何 7.解析几何 8.微分几何 9.代数几何 10.射影几何学 11.几何拓扑学 12.拓扑学 13.分形几何 14.微积分学 15. 实变函数论 16.概率和统计学 17.复变函数论 18.泛函分析 19.偏微分方程 20.常微分方程 21.数理逻辑 22.模糊数学 23.运筹学 24.计算数学 25.突变理论 26.数学物理学数学分类 符号、语言与严谨 在现代的符号中，简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。 我们现今所使用的大部分数学符号都是到了16世纪后才被发明出来的。在此之前，数学被文字书写出来，这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作，但初学者却常对此感到怯步。它被极度的压缩：少量的符号包含著大量的讯息。如同音乐符号一般，现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。 数学语言亦对初学者而言感到困难。如何使这些字有着比日常用语更精确的意思。亦困恼着初学者，如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的：数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。 严谨是数学证明中很重要且基本的一部分。数学家希望他们的定理以系统化的推理依着公理被推论下去。这是为了避免错误的“定理”，依着不可靠的直观，而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因着时间而不同：希腊人期许着仔细的论点，但在牛顿的时代，所使用的方法则较不严谨。牛顿为了解决问题所做的定义到了十九世纪才重新以小心的分析及正式的证明来处理。今日，数学家们则持续地在争论电脑辅助证明的严谨度。当大量的计量难以被验证时，其证明亦很难说是有效地严谨。编辑本段数学的发展史 世界数学发展史 数学，起源于人类早期的生产活动，为中国古代六艺之一，亦被古希腊学者视为哲学之起点。数学的希腊语Μαθηματικ? mathematikós）意思是“学问的基础”，源于ματθημα（máthema）（“科学，知识，学问”）。 数学的演进大约可以看成是抽象化的持续发展，或是题材的延展。第一个被抽象化的概念大概是数字，其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破。 除了认知到如何去数实际物质的数量，史前的人类亦了解如何去数抽象物质的数量，如时间－日、季节和年。算术(加减乘除)也自然而然地产生了。古代的石碑亦证实了当时已有几何的知识。 更进一步则需要写作或其他可记录数字的系统，如符木或于印加帝国内用来储存数据的奇普。历史上曾有过许多且分歧的记数系统。 从历史时代的一开始，数学内的主要原理是为了做税务和贸易等相关多计算，为了了解数字间的关系，为了测量土地，以及为了预测天文事件而形成的。这些需要可以简单地被概括为数学对数量、结构、空间及时间方面的研究。 到了16世纪，算术、初等代数、以及三角学等初等数学已大体完备。17世纪变量概念的产生使人们开始研究变化中的量与量的互相关系和图形间的互相变换。在研究经典力学的过程中，微积分的方法被发明。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。 数学从古至今便一直不断地延展，且与科学有丰富的相互作用，并使两者都得到好处。数学在历史上有着许多的发现，并且直至今日都还不断地发现中。依据Mikhail B. Sevryuk于美国数学会通报2006年1月的期刊中所说，“存在于数学评论数据库中论文和书籍的数量自1940年(数学评论的创刊年份)现已超过了一百九十万份，而且每年还增加超过七万五千份的细目。此一学海的绝大部分为新的数学定理及其证明。”编辑本段国外数学名家阿基米德 阿基米德（公元前287年—公元前212年），古希腊哲学家、数学家、物理学家。出生于西西里岛的叙拉古。阿基米德到过亚历山大里亚，据说他住在亚历山大里亚时期发明了阿基米德式螺旋抽水机。后来阿基米德成为兼数学家与力学家的伟大学者，并且享有“力学之父”的美称。阿基米德流传于世的数学著作有10余种，多为希腊文手稿。高斯 数学天才——高斯 高斯是德国数学家、物理学家和天文学家。 高斯一生下来，就对一切现象和事物十分好奇，而且决心弄个水落石出。7岁那年，高斯第一次上学了。 在全世界广为流传的一则故事说，高斯10岁时算出布特纳给学生们出的将1到100的所有整数加起来的算术题，布特纳当时给孩子们出的是一道更难的加法题：81297+81495+81693+…+100899。说完高斯也算完并把写有答案的小石板交了上去，当时只有他写的答案是正确的。数学史家们倾向于认为，高斯当时已掌握了等差数列求和的方法。一位年仅10岁的孩子，能独立发现这一数学方法实属很不平常。 高斯的学术地位，历来被人们推崇得很高。他有“数学王子”、“数学家之王”的美称。牛顿 牛顿是英国物理学家和数学家。 在学校里，牛顿是个古怪的孩子，就喜欢自己设计、自己动手，做风筝、日晷、滴漏之类器物。他对周围的一切充满好奇，但并不显得特别聪明。 1665～1666年严重的鼠疫席卷了伦敦，剑桥离伦敦不远，为恐波及，学校因此而停课，牛顿于1665年6月离校返乡。一天在树下闲坐，看到一个苹果落在地上，便开始捉摸，这种将苹果往下拉的力会不会也在控制着月球。由此牛顿推导出物体的下落速度改变率与重力的大小成正比，而重力大小与距地心距离的平方成反比。后来牛顿的棱镜实验也使他一举成名。 牛顿最卓越的数学成就是创立了微积分，此外对解析几何与综合几何都有贡献。 牛顿有两句名言是大家所熟知的。他在一封信中写道：“如果我比别人看得远些，那是因为我站在巨人们的肩上。”据说他还讲过：“我不知道世人对我怎么看；但在我自己看来就好像只是一个在海滨嬉戏的孩子，不时地为比别人找到一块光滑的卵石或一只更美丽的贝壳而感到高兴，而我面前的 浩瀚的真理海洋，却还完全是个谜。”莱布尼茨 戈特弗里德·威廉·凡·莱布尼茨（Gottfried Wilhelm von Leibniz，1646年7月1日～1716年11月14日）德国最重要的自然科学家、数学家、物理学家、历史学家和哲学家，一位举世罕见的科学天才，和牛顿（1643年1月4日—1727年3月31日）同为微积分的创建人。他博览群书，涉猎百科，对丰富人类的科学知识宝库做出了不可磨灭的贡献。编辑本段中国古代数学发展史 数学古称算学，是中国古代科学中一门重要的学科，根据中国古代数学发展的特点，可以分为五个时期：萌芽；体系的形成；发展；繁荣和中西方数学的融合。中国古代数学的萌芽 原始公社末期，私有制和货物交换产生以后，数与形的概念有了进一步的发展，仰韶文化时期出土的陶器，上面已刻有表示1234的符号。到原始公社末期，已开始用文字符号取代结绳记事了。 西安半坡出土的陶器有用1～8个圆点组成的等边三角形和分正方形为100个小正方形的图案，半坡遗址的房屋基址都是圆形和方形。为了画圆作方，确定平直，人们还创造了规、矩、准、绳等作图与测量工具。据《史记·夏本纪》记载，夏禹治水时已使用了这些工具。 商代中期，在甲骨文中已产生一套十进制数字和记数法，其中最大的数字为三万；与此同时，殷人用十个天干和十二个地支组成甲子、乙丑、丙寅、丁卯等60个名称来记60天的日期；在周代，又把以前用阴、阳符号构成的八卦表示八种事物发展为六十四卦，表示64种事物。 公元前一世纪的《周髀算经》提到西周初期用矩测量高、深、广、远的方法，并举出勾股形的勾三、股四、弦五以及环矩可以为圆等例子。《礼记·内则》篇提到西周贵族子弟从九岁开始便要学习数目和记数方法，他们要受礼、乐、射、驭、书、数的训练，作为“六艺”之一的数已经开始成为专门的课程。 春秋战国之际，筹算已得到普遍的应用，筹算记数法已使用十进位值制，这种记数法对世界数学的发展是有划时代意义的。这个时期的测量数学在生产上有了广泛应用，在数学上亦有相应的提高。 战国时期的百家争鸣也促进了数学的发展，尤其是对于正名和一些命题的争论直接与数学有关。名家认为经过抽象以后的名词概念与它们原来的实体不同，他们提出“矩不方，规不可以为圆”，把“大一”(无穷大)定义为“至大无外”，“小一”(无穷小)定义为“至小无内”。还提出了“一尺之棰，日取其半，万世不竭”等命题。 而墨家则认为名来源于物，名可以从不同方面和不同深度反映物。墨家给出一些数学定义。例如圆、方、平、直、次(相切)、端(点)等等。 墨家不同意“一尺之棰”的命题，提出一个“非半”的命题来进行反驳：将一线段按一半一半地无限分割下去，就必将出现一个不能再分割的“非半”，这个“非半”就是点。 名家的命题论述了有限长度可分割成一个无穷序列，墨家的命题则指出了这种无限分割的变化和结果。名家和墨家的数学定义和数学命题的讨论，对中国古代数学理论的发展是很有意义的。中国古代数学体系的形成 秦汉是封建社会的上升时期，经济和文化均得到迅速发展。中国古代数学体系正是形成于这个时期，它的主要标志是算术已成为一个专门的学科，以及以《九章算术》为代表的数学著作的出现。 《九章算术》是战国、秦、汉封建社会创立并巩固时期数学发展的总结，就其数学成就来说，堪称是世界数学名著。例如分数四则运算、今有术(西方称三率法)、开平方与开立方(包括二次方程数值解法)、盈不足术(西方称双设法)、各种面积和体积公式、线性方程组解法、正负数运算的加减法则、勾股形解法(特别是勾股定理和求勾股数的方法)等，水平都是很高的。其中方程组解法和正负数加减法则在世界数学发展上是遥遥领先的。就其特点来说，它形成了一个以筹算为中心、与古希腊数学完全不同的独立体系。 《九章算术》有几个显著的特点：采用按类分章的数学问题集的形式；算式都是从筹算记数法发展起来的；以算术、代数为主，很少涉及图形性质；重视应用，缺乏理论阐述等。 这些特点是同当时社会条件与学术思想密切相关的。秦汉时期，一切科学技术都要为当时确立和巩固封建制度，以及发展社会生产服务，强调数学的应用性。最后成书于东汉初年的《九章算术》，排除了战国时期在百家争鸣中出现的名家和墨家重视名词定义与逻辑的讨论，偏重于与当时生产、生活密切相结合的数学问题及其解法，这与当时社会的发展情况是完全一致的。 《九章算术》在隋唐时期曾传到朝鲜、日本，并成为这些国家当时的数学教科书。它的一些成就如十进位值制、今有术、盈不足术等还传到印度和阿拉伯，并通过印度、阿拉伯传到欧洲，促进了世界数学的发展。
讲义安排
第一讲：数理逻辑
第二讲：集合论
第三讲：图论
第四讲：代数结构
第五讲：排列组合与容斥原理
第六讲：母函数与递推关系
第七讲：典型例题和真题讲解
第一讲：数理逻辑
一、命题
称能判断真假但不能既真又假的陈述句为命题
例1 、判断下列句子是否为命题
（1）8小于10
（2） 是有理数
（3）2是素数
（4）x + y > 10
（5）请把门开一开
（6）明年的劳动节和国庆节的晚上都是晴天
（7）21世纪末，人类将居住在太空
此种题型的关键
第一步判断是否是陈述句（陈述句才能为命题）
第二部能不能判断真假
第三部是不是既真又假
答案（1）真命题（2）假命题（3）真命题（4）不是命题（5）不是命题（6） 是命题（7）是命题（8）不是命题
解答（1）（2）（3）（6）（7）是命题，（4）（5）（8）不是命题
注意：命题必须为==陈述句==，不能为疑问句，祈使句，感叹句，命题必须具有真假值，但能判断真假，并不意味着现在就能确定其实真还是假，只要它==具有能够唯一确定的真假值==即可，如果命题的真值为真，则称为真命题，否则称为假命题，不能分成更简单的陈述句的命题为==简单命题或原子命题==，否则称为==复核命题==
2、复合命题的联结词
设p是任意命题，复合命题“非p”称为p的==否定（非）==，记为 p
设p和q是任意命题，复合命题“p且q”称为p和q的==合取（与）==，记为p q
设p和q是任意命题，复合命题“p或q”称为p和q的==析取（或）==，记为p q
设p和q是任意命题，复合命题“如果p则q”称为==p蕴含q==，记为p q
设p和q是任意命题，复合命题“p当且晋档q”称为==p与q等价==，记为p q
注意：联结词的优先顺序为： ， ， ， ， 从左到右，如有括号，括号在先
$ $
数学史上出现的三次数学危机,与其说是“数学的危机”,不如说是“数学哲学的危机”.下面我给你分享三次数学危机论文，欢迎阅读。
摘要：本文主要通过数学史上的三次危机的产生与消除，针对它们的本质浅谈自己的认识，实际导致这三次危机原因在与人的认识。第一次数学危机是人们对万物皆数的误解，随着无理数的发现，把第一次数学危机度过了。第二次数学危机是人们对无穷小的误解，微积分的出现产生了一种新的方法，即分析方法，分析方法是算和证的结合。是通过无穷趋近而确定某一结果。罗素悖论的发现，给数学界以极大的震动，导致了数学史上的第三次危机。为了探求其根源和解决难题的途径，在数学界逻辑界进行了不懈的探讨，提出了一系列解决方案，并在不知不觉中大大推动了数学和逻辑学的发展。
关键词：危机;万物皆数;无穷小;分析方法;集合
一、前言
数学常常被人们认为是自然科学中发展得最完善的一门学科，但在数学的发展史中，却经历了三次危机，人们为了使数学向前发展，从而引入一些新的东西使问题化解，在第一次危机中导致无理数的产生;第二次危机发生在十七世纪微积分诞生后，无穷小量的刻画问题，最后是柯西解决了这个问题;第三次危机发生在19世纪末，罗素悖论的产生引起数学界的轩然大波，最后是将集合论建立在一组公理之上，以回避悖论来缓解数学危机。本文回顾了数学上三次危机的产生与发展，并给出了自己对这三次危机的看法，最后得出确定性丧失的结论。
二、数学史上的第一次“危机”
第一次数学危机是发生在公元前580-568年之间的古希腊。那时的数学正值昌盛，忒被是以毕达哥拉斯为代表的毕氏学派对数的认识进行了研究，他们认为“万物旨数”。所谓数就是指整数，他们确定数的目的是企图通过揭示数的奥秘来探索宇宙的永恒真理，信条是：宇宙间的一切现象都能归结为整数或整数之比，即世界上只存在整数与分数，除此之外他们不认识也不承认别的数。在那个时期。上述思想是绝对权威、是“真理”。但是不久人们发现即使边长为1的正方形对角线不是可比数。这样毕达哥拉斯“万物皆数”是不成立的，绝对的权威受到了严重的挑战：一方面证明单位正方形对角线的长不是整数分数，按照他们的观点，这种长度不是数!另一方面，他们不承认自己的观点有问题，这就陷入了极大的矛盾之中，这是第一次数学危机。
三、第二次数学危机
第二次数学危机发生在十七世纪。十七世纪微积分诞生后，由于推敲微积分的理论基础问题，数学界出现混乱局面，即第二次数学危机。其实我翻了一下有关数学史的资料，阿基米德的逼近法实际上已经掌握了无限小分析的基本要素，直到很多年后。牛顿和莱布尼兹开辟了新的天地――微积分。微积分的主要创始人牛顿在一些典型的推导过程中，第一步用了无穷小量作分母进行除法，当然无穷小量不能为零;第二步牛顿又把无穷小量看作零，去掉那些包含它的项，从而得到所要的公式，在力学和几何学的应用证明了这些公式是正确的，但它的数学推导过程却在逻辑上自相矛盾。直到19世纪，柯西详细而有系统地发展了极限理论。柯西认为把无穷小量作为确定的量，即使是零，都说不过去，它会与极限的定义发生矛盾。无穷小量应该是要怎样小就怎样小的量，因此本质上它是变量，而且是以零为极限的量，至此柯西澄清了前人的无穷小的概念，另外Weistrass创立了极限理论，加上实数理论，集合论的建立，从而把无穷小量从形而上学的束缚中解放出来，第二次数学危机基本解决。
四、数学史上的第三次危机
1.悖论的产生及意义
(1)什么是悖论
悖论来自希腊语，意思是“多想一想”。这个次的意义比较丰富，它包括一切与人的知觉和日常经验相矛盾的数学结论，那些结论会使我们惊异无比。悖论是自相矛盾的命题，即如果承认这个命题成立，就可推出它的否定命题成立;反之，如果承认这个命题的否定命题成立，又可推出原命题成立。如果承认它是真的，经过一系列正确的推理，却又得出它是假的;如果承认它是假的，经过一系列正确的推理，却又得出它是真的。古今中外有不少著名的悖论，他们震撼了逻辑学和数学的基础，激发了人们求知和精密的思考，吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考，悖论的解决又往往可以给人带来全新的观念。
(2)悖论产生的意义
疏忽学悖论是在数学学科理论体系发展到相当高的阶段才出现的。它是对数学学科理论体系可能存在的内在矛盾的揭示。虽然暂时引起人们的思想混乱，对正常的科学研究可能会形成一定的冲击，但它对于揭露原有理论体系中的逻辑矛盾，对于揭露原有理论的缺陷或局限性，对于这一步深入理解，任何和评价原有科学理念，对于原有的科学概念或理论的进一步充实完善和促进科学管理的产生都有相当重要的意义，同时也为科学研究提供新的课题和研究方向。
2.第三次数学危机的产生与解决
(1)第三次数学危机的产生
第三次数学危机发生在1902年，罗素悖论的产生震撼了整个数学界，号称天衣无缝，绝对正确的数学出现了自相矛盾。
罗素在该悖论中所定义的集合R，被几乎所有集合论研究者都认为是在朴素集合论中可以合法存在的集合。事实虽是这样但原因却又是什么呢?这是由于R是集合，若R含有自身作为元素，就有R R，那么从集合的角度就有RR。一个集合真包含它自己，这样的集合显然是不存在的。因为既要R有异于R的元素，又要R与R是相同的，这显然是不可能的。因此，任何集合都必须遵循R R的基本原则，否则就是不合法的集合。这样看来，罗素悖论中所定义的一切R R的集合，就应该是一切合法集合的集合，也就是所有集合的集合，这就是同类事物包含所有的同类事物，必会引出最大的这类事物。归根结底，R也就是包含一切集合的“最大的集合”了。因此可以明确了，实质上，罗素悖论就是一个以否定形式陈述的最大集合悖论。
(2)第三次数学危机的解决
罗素的悖论产生后，数学家们就开始为这场危机寻找解决的办法，其中之一是把集合论建立在一组公理之上，以回避悖论。首先进行这个工作的是德国数学家策梅罗，他提出七条公理，建立了一种不会产生悖论的集合论，又经过德国的另一位数学家弗芝克尔的改进，形成了一个无矛盾的集合论公理系统(即所谓zF公理系统)，这场数学危机到此缓和下来。
现在，我们通过离散数学的学习，知道集合论主要分为Cantor集合论和Axiomatic集合论，集合是先定义了全集I，空集，在经过一系列一元和二元运算而得来的。而在七条公理上建立起来的集合论系统避开了罗素悖论，使现代数学得以发展。
三次数学危机是我们数学史发展中的一个奠基，他为我们日后更详细、深入的研究数学做了很好的铺垫，我我想以后也许会有第四次数学危机，但数学家也会把它化解掉，只有出现危机，才能使我们的数学研究达到更高的境界。
数学的产生和发展，始终与人类社会的生产和生活有着密不可分的联系。在新教材中，任何一个新概念的引入，都特别强调它的现实背景、数学理论发展背景或数学发展的历史背景，只有这样才能让学生感到知识发展水到渠成。所以特别希望在教学中能不时渗透数学史的相关知识，充分发挥和利用数学史的教育价值，使学生通过了解数学史，而更加全面更加深刻地理解数学、感悟数学。
一、集合论的诞生
一般认为，集合论诞生于1873年底。1873年11月29日，康托尔(，1845-1918)在给戴德金(JuliusWilhelmRichardDedekind，1831—1916)的信中提问“正整数集合与实数集合之间能否一一对应起来?”这是一个导致集合论产生的大问题。几天后，康托尔用反证法证明了此问题的否定性结果，“实数是不可数集”，并将这一结果以标题为《关于全体实代数数集合的一个性质》的论文发表在德国《克莱尔数学杂志》上，这是“关于无穷集合论的第一篇革命性论文”，在其系列论文中，他首次定义了集合、无穷集合、导集、序数、集合运算等，康托尔的这篇文章标志着集合论的诞生。
二、集合论成为现代数学大厦的基础
康托尔的集合论是数学史上最具革命性和创造性的理论，他处理了数学上最棘手的对象——无穷集合，让无数因“无穷”而困扰许久的数学家们在这种神奇的数学世界找回了自己的精神家园。它的概念和方法渗透到了代数、拓扑和分析等许多数学分支，甚至渗透到物理学等其他自然学科，为这些学科提供了奠基的方法。几乎可以说，没有集合论的观点，很难对现代数学获得一个深刻的理解。
集合论诞生的前后20年里，经历千辛万苦，但最终获得了世界的承认，到了20世纪初，集合论已经得到数学家们的普遍赞同，大家一致认为，一切数学成果都可以建立在集合论的基础之上了，简言之，借助集合论的概念，便可以建立起整个数学大厦，就连集合论诞生之初强烈反对的著名数学家庞加莱(JulesHenriPoincaré，1854-1912)也兴高采烈地在1900年的第二次国际数学家大会上宣布：“借助集合论概念，我们可以建造整个数学大厦。今天，我们可以说绝对的严格性已经达到了。”然而，好景不长，一个震惊数学界的消息传出，集合论是有漏洞的!如果是这样，则意味着数学大厦的基础出现了漏洞，对数学界来说，这将是多么可怕啊!
三、罗素(BertrandRussell，1872-1970)悖论导致第三次数学危机
1903年，英国数学家罗素在《数学原理》一书上给出一个悖论，很清楚地表现出集合论的矛盾，从而动摇了整个数学的基础，导致了数学危机的产生，史称“第三次数学危机”。
罗素构造了一个所有不属于自身(即不包含自身作为元素)的集合R，现在问R是否属于R?如果R属于R，则R满足R的定义，因此R不属于自身，即R不属于R。另一方面，如果R不属于R，则R不满足R的定义，因此R应属于自身，即R属于R，这样，不论任何情况都存在矛盾，这就是有名的罗素悖论(也称理发师悖论)。
罗素悖论不仅动摇了整个数学大厦的基础，也波及到了逻辑领域，德国的著名逻辑学家弗里兹在他的关于集合的基础理论完稿而即将付印时，收到了罗素关于这一悖论的信，他立刻发现，自己忙了很久得出的一系列结果却被这条悖论搅得一团糟，他只能在自己著作的末尾写道：“一个科学家所碰到的最倒霉的事，莫过于是在他的工作即将完成时却发现所干的工作的基础崩溃了。”这样，罗素悖论就影响到了一向被认为极为严谨的两门学科——数学和逻辑学。
四、消除悖论，化解危机
罗素悖论的存在，明确地表示集合论的某些地方是有毛病的，由于20世纪的数学是建立在集合论上的，因此，许多数学家开始致力于消除矛盾，化解危机。数学家纷纷提出自己的解决方案，希望能够通过对康托尔的集合论进行改造，通过对集合定义加以限制来排除悖论，这就需要建立新的原则。
在20世纪初，大概有两种方法。一种是1908年由数学家策梅洛(Zermelo，ErnstFriedrichFerdinand，1871～1953)提出的公理化集合论，把原来直观的集合概念建立在严格的公理基础上，对集合加以充分的限制以消除所知道的矛盾，从而避免悖论的出现，这就是集合论发展的第二阶段：公理化集合。
解铃还须系铃人，在此之前，危机的制造者罗素在他的著作中提出了层次的理论以解决这个矛盾，又称分支类型化。不过这个层次理论十分复杂，而策梅洛则把这个方法加以简化，提出了“决定性公理(外延公理)、初等集合公理、分离公理组、幂集合公理、并集合公理、选择公理和无穷公理”，通过引进这七条公理限制排除了一些不适当的集合，从而消除了罗素悖论产生的条件。后来，策梅洛的公理系统又经其他人，特别是弗兰克尔()和斯科伦()的修正和补充，成为现代标准的“策梅洛——弗兰克尔公理系统(简称ZF系统)”，这样，数学又回到严谨和无矛盾的领域，而且更促使一门新的数学分支——《基础数学》迅速发展。
五、危机的启示
从康托尔集合论的提出至今，时间已经过去了一百多年，数学又发生了巨大的变化，而这一切都与康托尔的开拓性工作密不可分，也和数学家们的艰辛努力密不可分。从危机的产生到解决，我们可以看到，数学的发展跟提出问题和面对困难是离不开的，期间要经历无数的挫折和失败，但是只要坚持，终会走向成功。
矛盾的消除，危机的化解，往往给数学带来新的内容，新的变化，甚至革命性的变革，这也反映出矛盾斗争是事物发展的历史性动力的基本原理。正如数学家克莱因(FelixChristianKlein1849-1925)在《数学——确定性丧失》中说：“与未来的数学相关的不确定性和可疑，将取代过去的确定性和自满，虽然这次悖论已经找到解释，危机也已化解，但是更多的还是未知，因为只要仔细分析，矛盾又将会被认识更为深刻的研究者发现，这种发现不应该被认为是‘危机’，而应该感到，下一个突破的机会来到了。”
参考文献：
1.《普通高中课程标准实验教科书——数学必修1》教师教学用，人民教育出版社
2.胡作玄，《第三次数学危机》
中华人民共和国的诞生，为中国数千年的文明史揭开了新的篇章，我国数学科学的研究出现了生机勃勃的景象，以下是我搜集的一篇关于三次数学危机探讨的论文范文，供大家阅读参考，
从我国数学的发展看三次数学危机。
1 引言
数学中有大大小小的许多矛盾，比如正与负、加法与减法、微分与积分、有理数与无理数、实数与虚数等等。但是整个数学发展过程中还有许多深刻的矛盾，例如有穷与无穷，连续与离散，乃至存在与构造，逻辑与直观，具体对象与抽象对象，概念与计算等等。在整个数学发展的历史上，贯穿着矛盾的斗争与解决。而在矛盾激化到涉及整个数学的基础时，就产生数学危机。整个数学的发展史就是矛盾斗争的历史，斗争的结果就是数学领域的发展。
2 三次数学危机
第一次数学危机发生在古希腊，源于毕达哥拉斯的以数为基础的宇宙模型和数是可公度的信条。毕达哥拉斯认为，事物的本质是由数构成的，并以数为基础，构造了宇宙模型[1].在毕达哥拉斯看来，数就是整数或整数之比。但这一信条后来遇到了困难。因为有些数是不可公度的。这一矛盾，导致了毕达哥拉斯关于数的信条的破产，并进一步导致了毕达哥拉斯以数为基础的宇宙模型的破产。这在当时产生的震动太大了，因此历史上称之为第一次数学危机。
17、18世纪关于微积分发生的激烈的争论，被称为第二次数学危机[2].在17世纪晚期，形成了微积分学。牛顿和莱布尼茨被公认为微积分的奠基者。他们的功绩主要在于把各种有关问题的解法统一成微积分，有明确的计算步骤，微分法和积分法互为逆运算[3].由于新诞生的微积分方法中隐含着逻辑推理上的严重缺陷，导致了无穷小悖论[4].当时牛顿等人不能自圆其说，而且，其后一百年间的数学家也未能有力的回答贝克莱的质问，由此而引起数学界甚至哲学界长达一个半世纪的争论，造成第二次数学危机.
19世纪末分析严格化的最高成就--集合论，似乎给数学家们带来了一劳永逸摆脱基础危机的希望。庞加莱甚至在1900年巴黎国际数学大会上宣称：现在我们可以说，完全的严格性已经达到了![5]但就在第二年，一场摇撼整个数学大厦基础的暴风雨来临了，英国数学家罗素以一个简单明了的集合论悖论打破了人们的上述希望，引起了关于数学基础的新争论。他把关于集合论的一个着名悖论用故事通俗地表述出来。
它和其它一些集合论悖论一样，对数学发展的影响是十分深刻、巨大的，甚至可以说是动摇了整个数学的基础，并导致了第三次数学危机。
3 从我国数学的发展看三次数学危机
中华人民共和国的诞生，为中国数千年的文明史揭开了新的篇章，我国数学科学的研究出现了生机勃勃的景象，这是我们国家社会主义建设的需要，也是我们党和国家非常重视科学技术的结果，
数学论文《从我国数学的发展看三次数学危机。中国科学院于1950年开始筹建数学研究所，1952年正式成立。全国各高等院校普遍设置了数学系，《数学学报》和《数学通报》复刊。1958年~1960年的大跃进时期，在极左思潮影响下，数学基础理论研究受到很大冲击，积极的一面是明确了向世界先进水平看齐的奋斗目标，也重视理论联系实际，线性规划得到大力推广并创造了切实可行的图上作业法,运筹学由此在我国发展起来。在发展我国高科技过程中，例如1965年9月17日，我国科学工作者在世界上首次用人工方法合成结晶牛胰岛素。
我们不能不承认，数学对于现实生活的影晌正在与日俱增。许多学科都在悄悄地经历着一场数学化的进程。现在，已经没有哪个领域能够抵御得住数学方法的渗透。因此，对于数学，特别是现代数学加以普及，使得数学和数学家的工作能对现实生活产生应有的积极影响，这已成为人们日益重视的课题。
4 总结
综上所述三次数学危机对数学的发展影响是巨大的。第一次数学危机中产生的欧几里德几何对树立天文学的发展起了很大的推动作用，第一次数学危机使古希腊数学基础发生了根本性的变化，使古希腊的数学基础转向几何。第二次数学危机中波尔查诺给出了连续性的正确定义;阿贝尔指出要严格限制滥用级数展开及求和;柯西指出无穷小量和无穷大量都是变量，并且定义了导数和积分;狄利克雷给出了函数的现代定义;美国数理逻辑学家罗宾逊又利用无穷小量引进超实数的概念，建立了非标准分析，同样也能精确的描述微积分，解决无穷小悖论。第三次数学危机建立了实数理论，且在此基础上建立了极限的基本定理，使数学分析建立在实数理论的严格基础之上，康托尔创立了集合论。而且还产生了公理化方法论和数理逻辑等一批新颖学科。我国以至世界各国的数学发展也都依赖于三次数学危机中产生的数学的新内容。整个数学的发展是一个层层深入、层层递进的过程。
参考文献：
[1]人民教育出版社中学数学室着.现代数学概论[M].北京：人民教育出版社，2003.
[2]张光远.现代化知识文库：二十世纪数学史话[M].知识出版社，
[3]袁小明.数学史话[M].山东教育出版社，1985.
[4]于寅.近代数学基础[M].华中理工大学出版社，.
普通逻辑学学习心得----浅谈推理练习题的解题步骤逻辑学被称为思维的体操，这样的比喻是有道理的。逻辑学确实可以训练人的思维使之具有严密性，从而提高人的逻辑思维能力。但是这种能力的获得不是靠死记硬背来实现的，而是通过做大量的逻辑习题来取得的，从这个意义上说学习普通逻辑学与学习数学有共同之处，因此学习逻辑学的重要途径就是做练习题。普通逻辑练习题根据内容的不同可分为六部分：序言部分练习题、概论部分练习题、判断部分练习题、推理部分练习题、规律部分练习题以及论证部分练习题。通过练习使我们学生达到使用的概念明确、做出的判断恰当、推理合乎逻辑、论证有说服力的目的。虽然这几个部分的练习内容不同。要实现的目的也不同，但是在做这些题时一个共同之处就是要准确理解题中所涉及的概念。在做类似要区分一个逻辑结构式的常项和变项的类型题的时候，首先必须掌握什么是常项。什么是变项。然后再确定题中哪个部分是常项、哪个部分是变项。我们知道常项是逻辑结构式中保持不变并决定其性质的项。变项是逻辑结构式中可变的项，即可被具体概念或判断来代替的部分。根据常项、变项的定义，在练习题中“所有”“都是”是逻辑结构式中保持不变并决定这个逻辑结构式是全称肯定判断的项，所以“所有”“都是”这样的词通常都是常项。而“S”“P”是可被具体概念，如“马克思主义者”“唯物主义者”或者“中国人”“亚洲人”等所代替的部分，因此是变项。同理，在分析直言三段论结构的时候，也是要把握相应的概念：大项是结论中的谓项，小项是结论中的主项，含大项的前提是大前提，含小项的前提是小前提，大小前提中共有的项是中项。（当然这之前必须要知道什么是主项、什么是谓项以及前提和结论）然后再来分析题中三段论的结构。因为普通逻辑学重点部分是推理，所以以下以推理练习题中常见的一种题型为例，谈一谈我对这种类型题的解题步骤的一些理解。例：指出下列推理是哪种类型的推理，并说明是否正确、为什么。① 有的中毒是食物中毒，因此，并非有的中毒不是食物中毒。② 人寿之长短，或许由于遗传因素，或许由后天条件；徐某长寿有遗传因素，所以他的长寿与后天条件元关。第一步：分析结构后，才能确定推理类型，所以做这样的习题首先应该分析结构。1.根据关联词语（因为、所以）确定前提和结论。“因为”后面是前提，“所以”后面是结论，“因为”前面是结论。2.根据常项确定前提和结论的判断类型。例①的前提中常项是“有的”“是”。结论中的常项是“并非”“有的”“不是”，据此可确定这个推理是直言推理。例②的前提中常项是“或许”，所以这是选言推理。3.写出逻辑结构式，指出其推理类型。①题：SIP～－SOP这是直言判断对当关系直接推理。②题：pVq^p～－q这是相容选言推理肯定否定式。第二步：根据相应推理规则指出推理形式正确与否。1.①题是下反对关系推理。根据规则。下反对关系不能同假可以同真，所以可以假推真不能以真推假；②题是相容选言推理。根据相容选言推理规则肯定一部分选言支不能否定另一部分选言支，所以不能用肯定否定式。2.指出理由回答对错。①题推理形式错误，因为根据下反对关系进行推理不能由真推假。②题推理形式错误，因为违反相容选言推理规则：肯定一部分选言支不能否定另一部分选言支。犯有误相容为不相容的逻辑错误。以上就是我学习逻辑学的一些技巧和心得，总之，我觉得，学习逻辑学要多练，熟能生巧，练多了自然就能掌握解题技巧。纯自己写的，送给你吧～
库恩努力告诉我们的是，科学家共同体所拥有的范式本身是一套“群体的推理规则”，信仰同一个范式的科学家群体用这样的推理规则进行群体推理；而不同的科学家共同体因推理规则不同(范式不同)而得出不同的结论。因此，科学哲学家所力图揭示的是科学家进行群体推理的规则，不同的是，“逻辑主义者”哲学家认为，存在不变的规则；而“历史主义者”则认为这样的标准随群体的不同、历史的发展而变化。四、公共选择理论：研究群体选择的逻辑 我们每个人在行动选择时；根据自己的偏好在多个行动中选择有利的行动。这是一个推理过程。然而，一个包含两个或以上的行动者的群体或社会是如何做出共同行动或集体行动决策呢?即：群体是如何进行行动选择的推理的呢?每个人有自己的偏好，群体行动的选择依赖于群体个人的偏好进行“加总”(collect)，以形成群体的偏好。对群体中各个人的偏好进行加总是通过投票来完成的。对群体如何加总个人的偏好的研究是公共选择理论的重要研究内容。群体的投票规则即是群体的偏好形成的推理规则。如，一个群体对某个提案进行表决时，大多数规则——这是一个简单的易于理解的规则——说的是，一个“议案”若获得投票总人数中的一半以上则获得通过，即在此情况下，“该群体”“认为”该议案获得了通过；或者说该群体“认为”该议案通过比不通过要好。若一个“议案”没有获得投票总人数中的一半，在此情况下，“该群体”“认为”该议案不通过比通过要好。一个议案或者通过或者不通过，此时，投票群体进行投票便是在二中择一。当一个群体面临的候选对象超过两个(即三个或三个以上)时，情况便复杂起来。人们发明了许多加总投票人偏好的方法。如孔多塞的两两相决的规则，逐步淘汰的黑尔体系(Hare system)和库姆斯体系(Combs system)，一次性决策的赞成性多数(approval voting)和博达记分法(Boda count)。逻辑主要是研究推理和论证的。若研究的是推理，在推理中存在前提和结论：前提是已知的，而结论要根据有效推理得出的。在群体投票中，我们根据投票者对某个议案的偏好——这构成推理前提，和投票规则——这构成推理规则，而得出投票结果——它便是结论。这样看来，群体加总群体中个人偏好的特定投票规则便是逻辑学中所说的系统，我们称这种系统为群体偏好推理系统。在实际中存在不同的投票规则，因而存在不同的群体偏好系统。我们考察逻辑系统时，往往考察系统的完全性和可靠性。群体偏好推理系统的完全性和可靠性如何呢?对于个体，他所用的偏好关系的推理系统满足完全性和可靠性，或者我们假定它满足完全性和可靠性。 研究社会选择的经济学家首先研究理性的偏好关系。偏好关系以“≥(弱优于)”表示。某个理性人认为“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不变。这被称为阿罗不可能性定理。这个定理说明了什么?这说明了，群体作为总体不可能像个人那样，在任何情况下都能够作出“理性的”排序。孔多塞投票悖论反映的正是这个情况：群体得出了矛盾的结果。群体投票是群体推理过程，投票规则是群体推理系统。以这样的视角看，阿罗不可能性定理告诉我们，对于有三个以上的备选方案的情况下，群体推理系统不可能既是完备的——适合所有的人的偏好类型，又是可靠的——不出现矛盾性的结论。六、结语综上所述，群体推理是发生于实际社会中的现象，不同领域里的学者在自己的学术领域里研究了不同的群体推理的逻辑，并取得了丰富成果。然而，这方面的研究可以说刚刚起步，有许多工作等待我们去做。
LZ是不是张帆老师教的？？
人工智能与现今逻辑学的发展-.〔摘要〕 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 〔关键词〕 人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成
生活逻辑的政治课解读及呈现《普通高中思想 政治 课程标准（实验）》指出：“本课程要立足于学生现实的生活经验，着眼于学生的 发展 需求，把 理论 观点的阐述寓于 社会 生活的主题之中，构建学科知识与生活现象、理论逻辑与生活逻辑有机结合的课程模块。”“实施意见”则强调“……努力把基本观点、原理融入生活题材之中；结合 应用 性常识，围绕学生关注的社会生活 问题 组织教学，全面落实课程目标”。新课标的理念导向和实施意见都共同指向了当前思想政治课教学中的一个现实问题——关注生活，把学科的理论逻辑和生活逻辑有机地结合起来，进而有效提升政治课教学的生命活力。 对照课标精神和中学政治课教学实际，在教学实践过程中如何正确解读“生活逻辑”这一整合高中思想政治课课程 内容 的 方法 论基础，并在课堂教学中予以有效呈现，成了体现新课标教学导向、提高思想政治课信度、实现课改目标的核心问题。 一、生活逻辑的现实本意 生活逻辑是一个偏正词组，因此，要界定“生活逻辑”的现实本意，还得从生活这一基本概念入手。 1.生活的内涵和特征。生活是一个有着多重意义的常用概念，它可以指生存——人和生物为了生存和发展所进行的各种活动，也可以指人的存在状态和存在背景。但从 教育 生活观来看，生活是“人的生命动态展开的过程”，即人通过生活才能成为人。从这个意义上说，生活具有的特征是：第一，生活的主体应该是人——有意识的能动的人，而不是动物或其他生物。第二，生活的物质基础和现实条件是 自然 和社会——构成生活展开的基本条件。第三，生活是人之所以成其为人的能动过程。在这一过程中，通过人基本的生存、享受和发展活动，逐步丰满人的本体，凸显人的社会属性。 因此，生活的本质应该是人在自然和社会时空中，通过享受、占有、内化并创造人类物质文化、精神文化和制度文化，围绕人的生命存在和发展，实现人生价值和意义的能动的活动过程。 2.逻辑的内涵和特征。 英语 logic，原意为言语、思想、思维、理性、 规律 性等。在 现代 汉语里，逻辑是多义词，结合逻辑学的定义和课标中生活逻辑的表述，我们把逻辑界定为“客观事物发展变化的规律”“思维的规律、规则”等。因此，把握逻辑概念，需要抓住以下特征：第一，抽象性。逻辑借助概念、判断、推理等思维方式反映现实，并借助抽象的思维过程来反映逻辑本身。第二，深刻性。逻辑撇开了事物的具体形象，揭示了事物内在的本质和规律性。 3.生活逻辑的现实本意。综上所述，我们结合生活的本质内涵和逻辑的基本定义，把生活逻辑理解为体现或反映人类在自然和社会空间中，享受、占有、内化并创造人类物质文化、精神文化和制度文化，实现人生价值和意义的各种活动的内在规律。 二、生活逻辑的政治课解读 高中政治是以马克思主义 经济 、政治、 哲学 的基本知识为载体，培育学生参与社会生活的素质和能力的课程。它具有很强的思想导向性、理论逻辑性、 时代 性、生活性等特点。基于这一课程定位和学科特点，高中思想政治课中的生活逻辑有其所独有的内涵。 1.从政治课的动态发展来看，生活逻辑应包含从感性素材到理性本质的飞跃过程。高中思想政治课其本身就是生活逻辑和理论逻辑的内在的统一过程，其理论逻辑的发展依赖于生活逻辑。在这一过程中，感性素材以其生动、丰富的特性更易于我们理解，而理性本质则不能被我们直接感知。因此政治课生活逻辑首先表现出的是丰富多彩的原生态生活本身，然后是人从抽象思维活动到归纳生活本质的过程。比如，经济生活中对于消费观念的阐述就是源于对日常生活中消费行为的提炼；哲学生活中的诸多原理，就是人类对自然、社会生活和人的思维的基本理解和抽象；对政府职能的概括，就是对社会政治生活中政府行为的理性表达。 2.从政治课的内容呈现看，生活逻辑应包含过去、现实和未来三个生活时态的纵向过程和社会生活的各横向侧面。从纵向发展看，人类的生活是过去生活、现实生活和未来生活的延续过程。高中思想政治课中的诸多观点或是对现实生活的直接或抽象的反映，如我国现阶段的市场经济、分配制度、财政税收、 金融 运行等；或是对未来可能生活的预想或描绘，如小康社会经济建设的目标、 科学 发展观等。“生活逻辑”应是对各种生活时态规律性的 总结 。 从横向侧面看，社会生活又是丰富多彩的，高中思想政治必修内容相应地设计为以下四个部分：经济生活、政治生活、文化生活、生活与哲学。因此，我们所探究的生活逻辑也应包含以上四个层面的内容，包括人类的生产方式、生活方式，政治、经济、文化、军事、宗教、 艺术 等生活中的基本内容以及隐含在这些生活现象之中的规律和本质都可纳入政治课生活逻辑这一范畴中。 3.从政治课涉及的课堂资源看，生活逻辑包含制度生活逻辑和日常生活逻辑。制度生活逻辑是维系社会正常运行必不可少的人类的制度生活中带有规律性的内容，从通俗意义上讲，就是政治生活、经济生活、文化生活等规范或制度的本质内容。日常生活逻辑是满足人自身生存需要的自在性生活中所包含的符合社会生活的习俗和规则等，对政治课教学而言，日常生活逻辑也是不可缺少的内容，它能直接引导学生掌握生活技能，并进一步理解制度生活的内涵，从而树立起与社会制度生活相符合的日常生活方式，提高参与社会生活的能力。 总之，政治课的生活逻辑内涵非常广泛，它是我们解剖政治课理论逻辑的重要工具，在课堂教学过程中有效地呈现生活逻辑是提高政治课教学信度的必要途径。 三、生活逻辑的课堂呈现 （一）一则呈现生活逻辑的典型课例 现以2005年杭州市高中优质课评比中杭师院附高吴欣华老师的“树立正确的消费观”一课为例解读上述 内容 。 1.消费观念“大碰撞”。播放一则自拍的反映祖孙三代不同服装消费观的家庭DV，并围绕“祖孙三代对服装消费观念有哪些不同”这一话题展开讨论，得出青年人注重品牌、个性，中年人注重料子、质量，老年人注重价格、质量等结论。然后，以晶晶和外婆为例，交流祖孙三代在吃、住、行、娱乐、积蓄等方面的差异，列表如下： 晶晶 外婆 最喜欢吃海鲜，最讨厌吃 蔬菜吃得较多，几乎不吃 吃青菜。下馆子、吃KFC较 下馆子，剩菜还用来下 频繁，也吃零食。 泡饭吃。住 赞成贷款买房，我家现在就 有住就行，绝不贷款折 在按揭。再说我们还年轻嘛！ 腾。至今地面未装潢。行 如果公交车站离家较远，或 出行坐公交车，早点起 者要迟到了，当然要打的。 来车就不挤了。娱 喜欢买CD、小饰物还有大 看电视，逛公园， 旅游 乐 头贴什么的。每年暑假旅游 公费考虑，自费一般不 要老爸老妈掏钱。 去，太累又伤财。积 我是“月光族”，有时还要问 保密，总要给子孙留点。蓄 爸爸再私下讨点用用。 由上可知两者差异：老年人比较节俭、保守；年轻人比较开放，喜欢消费。 2.消费观念差异“寻根究底”。讨论：为什么两代人的消费观念有如此大的差异？原因： 经济 收入、预期支出、所处 时代 、年龄差异、文化传统等存在差异。探讨：在这些因素中哪个是最重要的？导出生产与消费的关系。 3.消费观念“大家评”。讨论：老年人的观念你赞赏吗？为什么？引导 分析 ：消费对生产的 影响 ——倡导适度消费。 4.消费原则“大家循”。讨论：三代人的观念有哪些值得商榷的地方？你有哪些建议？ 总结 原则：第一，适度原则。①国情（详），②家情：（略）。第二，协调原则。①学生调查——消费结构，②杭州市的消费水平（质量）——恩格尔系数与杭州市争创全国文明城市。第三，健康原则。①肥胖 问题 ，②介绍健康的饮食观念，③倡导绿色（环保）消费。结束语：谈谈这堂课的收获和感受；向同学们倡议重新审视自己的消费行为和观念。 这节课以学生最熟悉的日常生活场景——祖孙三代对于服装消费的不同观点碰撞导入，并进一步拓展到日常生活中“吃、住、行、娱乐、积蓄”等具体生活问题，通过分析解剖其中的矛盾冲突， 自然 导出 科学 的消费观应该是适度（量）的消费、注重合理结构的消费、倡导绿色健康消费等结论。由于贴近学生的日常生活，加之问题设置得当，从而有效地引导学生认识了简单的消费行为中所隐含着的大道理，可以说，本节课的设计有效地体现“生活逻辑”的典范。 （二）生活逻辑的 政治 解读的呈现 通过对具体课例的分析，我们可以发现，呈现生活逻辑的课堂具有以下一些明显特征。 1.课堂以现实生活为起点。体现生活逻辑的课堂必须以现实生活为起点，因为生活逻辑总是隐藏在各种现实生活过程中的，其内在的抽象性不易被人们轻易所感知，要把生活逻辑的内涵呈现出来，必须把现实生活作为 学习 和理解的起点，通过学习大量的生活现象，进而内化对生活的感悟，并通过与 理论 逻辑的交融，最终把握生活的内在 规律 。 在上述课例中，教师以一则自拍的反映祖孙三代不同消费观念的家庭DV为导课素材，把“树立科学的消费观”这一远高于学生日常生活经验的话题从云端降到了现实生活，拉近了课堂与学生的心理距离。在课堂深化展开的进程中又以祖孙三代在“吃”“穿”“住”“行”等日常消费行为中的不同表现来折射科学消费观的内容，这些贴近学生日常生活的典型素材通过师生双方的互动得以有效丰富，为教师解剖教学的理性内容奠定了良好的基础。 2.课堂以体验生活为过程。能有效地呈现生活逻辑的课堂，必须以体验生活为过程，把课堂设计成一个感受生活意境—认识生活现实—感知生活问题—抽象生活逻辑，最终实现理论逻辑和生活逻辑有机融合的过程。在这一可具体操作的过程中，生活意境、生活现实、生活问题等都偏于感性，能让学生依据具体经验获得验证，而教师的点拨和学生的交流感悟则是感性思维上升到理性认识的催化剂。 在上述课例中，通过教师的精巧设计，把课堂学习过程巧妙地演变成了引导学生体验生活的过程：通过对日常生活中“吃”“穿”“住”“行”“娱乐”“积蓄”等的具体生活感受，让学生感受到了祖孙三代消费观的大碰撞；通过学生对比祖孙三代对吃、住、行的不同选择，让学生体验到了日常生活的许多细节，密切了师生之间、课堂和家庭之间、学习和生活之间的联系；通过校园生活调查，让学生体验到每一次不经意的消费行为中都有着丰富的经济学道理；通过对生活的解剖，让理论逻辑和生活逻辑的交互作用通过现实的生活过程清晰地展示了出来，而这种过程又构成了课堂生命活力之源泉。 3.课堂以构建可能生活为目标。对于学生的 发展 来说，思想政治课不仅要关注学生过去的生活经验和现实的生活，更要为构建学生的未来可能生活服务，这一点完全吻合思想政治课的 教育 目标。因此，体现生活逻辑的课堂还应该以构建可能生活为追求目标，着眼于学生未来的发展，通过生活经验的积累，引导学生认识 社会 、认识生活、形成规范的价值判断和符合制度生活逻辑的生活取向，为未来的生活提供保障。这样的课堂，才能真正体现生活立意，迎来政治课光明的前景。 在上述课例中，教师的视野并没有局限于告知学生一些基本观点，也不仅仅局限于引领学生反思生活、获得对现实生活的科学解读，而是本着为学生构建未来生活服务这一基本立足点，把课堂目标定位于提升学生现实生活与未来生活的能力上。如通过国情、家情的客观呈现与分析，引导学生把握适度消费原则；通过调查呈现消费结构和引入杭州市消费水平这一生活素材，引导学生进一步关注身边的生活，认识到消费必须坚持物质消费与精神消费协调发展；通过一则健康忠告，倡导绿色消费，为学生未来的健康成长提供了可以直接操作的原则。 总之，体现生活逻辑的课堂需要以具体的现实生活为起点，并通过各种可能的途径和方式引导学生认识生活现象、解释生活问题、关注生活发展；把解剖生活、提炼生活作为课堂呈现的主要过程，进而引导学生体验生活感悟，获得生活启发，把握生活规律，提升生活能力，这样的课堂才能最终向学生提供成功的生活服务，从而真正发挥政治课的课堂功能。
逻辑与生活 你自己去论文网站搜索下 这里都是复制的 没意义
普通逻辑学学习心得----浅谈推理练习题的解题步骤逻辑学被称为思维的体操，这样的比喻是有道理的。逻辑学确实可以训练人的思维使之具有严密性，从而提高人的逻辑思维能力。但是这种能力的获得不是靠死记硬背来实现的，而是通过做大量的逻辑习题来取得的，从这个意义上说学习普通逻辑学与学习数学有共同之处，因此学习逻辑学的重要途径就是做练习题。普通逻辑练习题根据内容的不同可分为六部分：序言部分练习题、概论部分练习题、判断部分练习题、推理部分练习题、规律部分练习题以及论证部分练习题。通过练习使我们学生达到使用的概念明确、做出的判断恰当、推理合乎逻辑、论证有说服力的目的。虽然这几个部分的练习内容不同。要实现的目的也不同，但是在做这些题时一个共同之处就是要准确理解题中所涉及的概念。在做类似要区分一个逻辑结构式的常项和变项的类型题的时候，首先必须掌握什么是常项。什么是变项。然后再确定题中哪个部分是常项、哪个部分是变项。我们知道常项是逻辑结构式中保持不变并决定其性质的项。变项是逻辑结构式中可变的项，即可被具体概念或判断来代替的部分。根据常项、变项的定义，在练习题中“所有”“都是”是逻辑结构式中保持不变并决定这个逻辑结构式是全称肯定判断的项，所以“所有”“都是”这样的词通常都是常项。而“S”“P”是可被具体概念，如“马克思主义者”“唯物主义者”或者“中国人”“亚洲人”等所代替的部分，因此是变项。同理，在分析直言三段论结构的时候，也是要把握相应的概念：大项是结论中的谓项，小项是结论中的主项，含大项的前提是大前提，含小项的前提是小前提，大小前提中共有的项是中项。（当然这之前必须要知道什么是主项、什么是谓项以及前提和结论）然后再来分析题中三段论的结构。因为普通逻辑学重点部分是推理，所以以下以推理练习题中常见的一种题型为例，谈一谈我对这种类型题的解题步骤的一些理解。例：指出下列推理是哪种类型的推理，并说明是否正确、为什么。① 有的中毒是食物中毒，因此，并非有的中毒不是食物中毒。② 人寿之长短，或许由于遗传因素，或许由后天条件；徐某长寿有遗传因素，所以他的长寿与后天条件元关。第一步：分析结构后，才能确定推理类型，所以做这样的习题首先应该分析结构。1.根据关联词语（因为、所以）确定前提和结论。“因为”后面是前提，“所以”后面是结论，“因为”前面是结论。2.根据常项确定前提和结论的判断类型。例①的前提中常项是“有的”“是”。结论中的常项是“并非”“有的”“不是”，据此可确定这个推理是直言推理。例②的前提中常项是“或许”，所以这是选言推理。3.写出逻辑结构式，指出其推理类型。①题：SIP～－SOP这是直言判断对当关系直接推理。②题：pVq^p～－q这是相容选言推理肯定否定式。第二步：根据相应推理规则指出推理形式正确与否。1.①题是下反对关系推理。根据规则。下反对关系不能同假可以同真，所以可以假推真不能以真推假；②题是相容选言推理。根据相容选言推理规则肯定一部分选言支不能否定另一部分选言支，所以不能用肯定否定式。2.指出理由回答对错。①题推理形式错误，因为根据下反对关系进行推理不能由真推假。②题推理形式错误，因为违反相容选言推理规则：肯定一部分选言支不能否定另一部分选言支。犯有误相容为不相容的逻辑错误。以上就是我学习逻辑学的一些技巧和心得，总之，我觉得，学习逻辑学要多练，熟能生巧，练多了自然就能掌握解题技巧。纯自己写的，送给你吧～
逻辑学的意义小论文如下：
逻辑学是研究思维、思维的规定和规律的科学，学习逻辑学有助于人们正确的认识客观事物，获取新的知识，学习逻辑学有助于人们准确的表达思想，严格的论证思想，学习逻辑学，有助于人们揭露和纠正谬误，批驳诡辩论。
逻辑是指思维的规律，逻辑学就是关于思维规律的学说，又称理则学。逻辑学是一个哲学分支学科。其是对思维规律的研究。逻辑和逻辑学的发展，经过了具象逻辑到抽象逻辑到具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。
逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性。思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。
逻辑学，具体来说形式逻辑，是建立现代自然科学的基石，没有古希腊的逻辑学，就不会产生始于西方的现代自然科学。由于大家每天在习惯性的使用逻辑规则，而感觉不到逻辑学的重要性，这是十分遗憾的，中国高中或大学忽视这种教育也是十分遗憾的。