逻辑学论文【精品多篇】

导语：逻辑学论文【精品多篇】为网友投稿推荐，但愿对你的学习工作带来帮助。

计量逻辑学(Ⅰ 篇一

计量逻辑学(Ⅰ)

在多值命题逻辑系统中提出了公式的真度概念。基于此，提出了公式间的'相似度与伪度量，研究了所得的逻辑度量空间的基本性质，提出并研究了逻辑理论的发散度与相容度概念，给出了三种近似推理的模式，初步建立了计量逻辑学理论。

作 者：王国俊 WANG Guo-jun  作者单位：陕西师范大学数学研究所，西安，710062;西安交通大学基础科学研究中心，西安，710049 刊 名：工程数学学报  ISTIC PKU英文刊名：CHINESE JOURNAL OF ENGINEERING MATHEMATICS 年，卷(期)： 23(2) 分类号：O141.1 关键词：真度   相似度   伪度量   发散度   相容度   计量逻辑阿拉伯逻辑学 篇二

阿拉伯逻辑学

从公元8世纪中叶起，阿拉伯人开始大量翻译古希腊逻辑学著作至今，阿拉伯逻辑学经历了1000多年的发展历史，许多阿拉伯学者在逻辑学的研究中，结合本国本地区的'具体情况，发展了逻辑学，取得了丰硕的成果。

作 者：李振中 LI Zhen-zhong  作者单位：北京语言文化大学，北京，100081 刊 名：回族研究  PKU CSSCI英文刊名：JOURNAL OF HUI MUSLIM MINORITY STUDY 年，卷(期)： “”(2) 分类号：B81-093.71 关键词：阿拉伯   逻辑学   法拉比   伊本・西那   伊本・路西德学习数理逻辑学的意义论文 篇三

学习数理逻辑学的意义论文

简要介绍数理逻辑的发展史，探讨数理逻辑在现代数学的解决、论证数学命题过程中的运用，以及学习这门课程的必要性。

逻辑是研究推理的科学，分为形式逻辑和辨证逻辑。数理逻辑学开始于用数学方法对形式逻辑中推理规律的研究，后来进一步发展到对数学中基础性问题及逻辑性问题的研究。现在数理逻辑是用数学方法研究形式逻辑的一门科学，也就是用数学方法研究推理的科学。所谓数学方法[1],主要是指引进一套符号体系的方法，因此数理逻辑又叫符号逻辑。现代数理逻辑主要有四大分支：证明论、模型论、递归论和公理集合论，其中命题演算和谓词演算(即一般的所谓古典数理逻辑)是各个分支的共同基础。

命题是形式逻辑中的基本术语，也是数学中最基本的元素。一个命题是一个或真或假而不能两者都是的断言，也就是说，命题是一个非真即假的陈述句。由此我们可以看出一个命题具有两种可能的取值：如果命题是真，我们说它的真值为真，通常用T(True)表示；反之，用F(False)表示真值为假的命题。在计算机语言中则是分别用1和0来表示一个命题真值的真假。像这样只有两种取值的命题逻辑称为二值逻辑。命题的真值与所讨论问题的范围有关，不能一概而论的说某个命题一定是真或一定是假。在所有断言中有叫悖论的断言值得一提。

数学命题包括简单命题(亦称原子命题，)和复合命题。前者是只用一种判断性谓语动词叙述某事物的属性、发展趋势、变化方式等状态的语句或数学表达式。把一个或几个简单命题用联结词(与、或、非等)联结所构的新的命题，就是复合命题。基本的逻辑联结词有：⑴表示“非P”含义的否定词 ;⑵有“与”、“并且”含义的合取词∧;⑶表达“或者”、“也许…也许…”含义的析取词∨;⑷表达“如果…那么…”因果关系含义的蕴涵词→。所有的命题被翻译成复合命题后，根据真值表来判断命题真值的真或假。

数理逻辑学在数学理论研究中也有到很多的应用，并不只是单单在离散数学中或普通命题演算中显示其作用。逻辑演算理论是一种有效的工具，如果熟练地掌握了逻辑演算的方法和技巧，就为进一步了解和掌握诸如归结原理、逻辑程序设计和定理自动证明等奠定了基础。

尤其是前面提到的数理逻辑的四个分支，都是现在数学理论研究的重要工具。比方说，递归论应用于数学中不少判定问题的解决(著名的如群论字问题的否定解决，Hilbert第十问题的否定解决);模型论应用与不少代数及分析数学问题的证明；公理集合论应用于不少数学问题独立性的证明。

数理逻辑学的任务在于探讨如何为整个数学建立严格的逻辑基础，其特点在于使用形式

化的方法包括公理化的方法，因而比较抽象和艰深，这种抽象化的方法除了在建立数学的基础方面已经取得很大成功而外，还在计算机科学上有重要的应用。人工智能又称机器智能，是计算机科学中一门新兴的'边缘学科，它采用人工技术和方法，研制智能机器或者智能系统以模仿、延伸和扩展人的智能，实现智能行为、赋予机器模拟人处理问题的能力。

自17世纪德国数学家和哲学家Leibniz开创数理逻辑这门学科，至今，由于它采用数学符号化的方法，给出推理规则，建立推理体系，进而讨论推理体系的一致性、可靠性和完备性，在现代的数学和计算机科学以及在自然科学和社会科学的一些研究中，数理逻辑都有着广泛的应用。而在现在的大学教育中数理逻辑却没有得到其应有的重视，忽略了这门学科不仅提供了一种新的数学命题的论证途径，更重要的是在培养科学、严谨的思维能力方面更有其独到之处。在很多代数、集合论方面通常只给出了某些定理，但定理的证明运用本方向的知识却没法得到证明，只有依据了数理逻辑学方面的知识才得到理论上的支持，从而肯定其定理的正确性。

语言学中的逻辑推理与逻辑论证的论文 篇四

随着近些年信息化的不断推进，使得计算机成为实现信息化的重要前提，而作为抽象语言的一种，计算机以数字逻辑为基础，通过设计者设计，确保能够实现计算机内部逻辑的相应功能，计算机语言主要包括C语言和基于对象的程序设计语言，在逻辑方面，两者一方面存在互通性，另一方面有存在差异性。相关研究发现，计算机技术开发依托计算机语言的逻辑功能，实现不同软件的需求，从而实现软件功能。程序开发是计算机软件实现中最为重要的环节，且保证了程序的合理实现。我国在进行计算机软件开放设计中，还需要去不断采取新的编程技术，以便能够优化计算机软件开发设计工作，有效保证使用过程中计算机软件的可维护性，确保软件的质量与功能均可得到提升。本研究通过研究计算机语言逻辑，对计算机软件开发设计应用展开深入分析。

1、C语言逻辑开发

C语言不仅可以将其应用到嵌入式的软件编程中，也可将其应用到设计软件的硬件驱动程序中；C语言还可被应用到计算机底层的编程设计之中。在当前计算机软件开放设计中，应用C语言的优点就是，能够实现嵌入汇编，直接运用C逻辑语言与计算机硬件打交道，也可做底层的软件开发。C语言是面向过程的语言，由方法、函数与数据共同组成，三者成为彼此连接的关系，而数据类型则主要包括浮点型与整型，可以与普通编程需要相满足，相对数据运算程来说，其库函数极为强大，C语言典型语句和函数是C语言编程的前 ……此处隐藏7091个字……的作用。卡西尔说：“符号系统的原理，由于其普遍性、有效性和全面适用性，成了打开特殊的人类世界——人类文化世界大门的开门秘诀！一旦人类掌握了这个秘诀，进一步的'发展就有了保证。”

二、逻辑学及其方法

逻辑作为一门科学，诞生至今已有两千多年。

亚里士多德是古代西方最早全面！深入！系统地探讨思维形式和思维规律的逻辑学家。逻辑问题起源于三个古老的国家，即古代的希腊、印度和中国。这三个国度逻辑研究的兴起都是同论辩的盛行相联系的，是服务于如何正确论辩的。逻辑在很长一段时间内，都没有被称作逻辑学。直到中世纪后期，欧洲一些国家还把逻辑教材和论着，称为“论辩术”或“思维术”。16世纪末期，英国哲学家弗兰西斯？培根创立了归纳逻辑，他的逻辑论着就是《新工具（1662年发行的被后人视为近代逻辑学代表的“波尔？罗亚尔逻辑学”，它的原名叫《思维的艺术》。印度的逻辑学叫“因明”，而我国称其为“名学”、“辩学”、“论理学”，直到19世纪末期，欧洲逻辑学传入时，才将其音译为“逻辑学”。

逻辑学是一门历史悠久的学科。按照逻辑学发展的阶段或历程，逻辑学可以分为两个阶段：传统逻辑阶段和现代逻辑阶段。前者包括传统演绎逻辑与传统归纳逻辑。后者包括现代演绎逻辑和现代归纳逻辑，也叫数理逻辑或符号逻辑。逻辑学的主要研究方法是形式化、系统化的方法。主要研究手段是采取人工符号，研究语言符号的结构。

三、符号学和逻辑学的相互联系

从二者区别来看，两者研究的对象和方法不同。符号学以人类社会的符号现象为研究对象，研究符号的构成、分类、符号与符号之间的关系（语形学），研究符号与其所指的对象之间的关系（语义学），研究符号与符号使用者之间的关系（语用学）等等。符号的方法是人文学科与社会科学的方法论。它是从语形、语义与语用及其相关性上去研究符号及其形成的一些基本概念，再推及整个符号系统，逐步建立一个讨论一般符号的理论体系。逻辑学的研究对象是思维的逻辑形式及其规律的科学逻辑方法，尤其是以推理的形式为主要对象。逻辑学以形式化、系统化为主要研究方法。以数理逻辑为例，它借助人工语言表示思维的形式，用符号化、形式化的方法处理逻辑联结词和量词的命题形式、推理形式和推导规则。

从二者相互联系来看，亚里士多德是逻辑学的创建者，他的逻辑研究同时体现了他的符号学思想。正如海森堡所说：“亚里士多德在他的逻辑中分析了语言形式，分析了与它们的内容无关的判断和推理的形式结构。”亚里士多德开创了对符号的语言学和逻辑学的研究。他在《解释篇》中说：“口语是心灵的经验的符号，书面语是口语的符号。”斯多亚学派把符号学看作哲学的一个基本部分，并认为逻辑学和知识论包括在符号学之中。洛克在《人类理解论》一书中把科学分为三类，其中第一、二类为物理学和实践学，至于第三类，他说：“可以叫做semiotic，就是所谓符号之学。各种符号因为大部分是文字，所以这种学问，也叫做逻辑学。”索绪尔侧重于符号社会功能的探索，期望建立一种符号学，以便使语言在其中得到科学的描述，认为“语言是一种表达观念的符号系统，因此，可以比之于文字/聋哑人字母/象征仪式/礼节形式/军用符号等等。它只是这些系统中最重要的”。因此，我们可以设想有一门研究社会生活中符号生命的科学，它将构成社会心理学的一部分，因而也是普通心理学的一部分，我们管它叫符号学。语言学不过是这门一般科学的一部分。皮尔斯着重于符号自身的逻辑结构的研究。他认为符号是“扩展了的逻辑学”。他还说：“逻辑学就其一般意义来说，……仅仅是符号学的别名，是符号学的带有必然性的或形式的学说。”我们可以把逻辑看作是“关于符号的一般必然规律的科学”。

逻辑学是符号学的一部分，而符号学的发展拓展了逻辑学的研究空间与视域。符号学丰富了逻辑学的发展。符号学分为三大块，每一大块都可以推动逻辑学的发展。逻辑学就是符号学：从语形学上看，逻辑学是狭义符号学的语形学；从语义学上看，逻辑语义学又叫形式语义学；从语用学上看，逻辑学也包含着语用逻辑。符号学尤其是语用学的发展，促进了语用逻辑这一新的部门逻辑的诞生和发展。语用学研究语言及其使用者的关系，是关于语言交际的理论。语用逻辑是语用学与逻辑学交叉产生出来的新学科，它从语用学的视野来研究逻辑学，是现代逻辑学语言逻辑的一个分支。从语用学的观点看，逻辑学呈现出与以往不同的一些重要特征：第一，逻辑学更加关注语言的使用者，关注语言使用中人的因素；第二，逻辑学关注包括语言使用者在内的所有语境因素。逻辑学深化着符号学，为符号学的研究提供新范式。符号学家高概在《话语符号学》一书中说）对于符号学的研究，在60年代的法国，有一个占主导地位的逻辑学、数理学或称形式主义的范式。”而且他认为，法国符号学家罗兰&巴尔特的关于文本符号分析的论文集《写作的零度》，就充分表现了逻辑学范式的基本思想。这种范式是一种对于符号文本的无主体分析，着重于文本的曾遍性和必然性，在这种范式下分析的结果是显现文本的逻辑特征和数理特征。在逻辑学的范式中，符号的意义是由符号所指称的对象所决定的。即使在符号学的语用学范围内，符号的意义虽然和符号所在的语境紧密相关，但在逻辑学范式下的语境概念仅仅只是决定真值的一个参考点，逻辑语用学范式中的符号意义空间仍然只是一个欧几里德的平面空间。逻辑学也运用符号学的范式。我国逻辑学家李先焜先生认为逻辑学本身研究的对象就是一种符号。现代逻辑称为数理逻辑或符号逻辑，绝非偶然。由于使用了符号语言，现代逻辑较之传统逻辑获得了更为精确、有效的分析和表述工具，从而大大发展了传统逻辑对于命题和词项推理的研究，并建立起命题逻辑和谓词逻辑的精确完备的体系。总之，符号学和逻辑学两者之间具有不可分割的互动关系。逻辑学推动着符号学的发展，符号学要成为规范性的学科，就要借助于逻辑学。

逻辑学读书笔记 篇九

最大的收获是学会了三段论推理，以后的日子，用易经推演，用逻辑学推理，相辅相成。

北大的时候，王强选修了一门课程，叫《形式逻辑学》，当时，整个北大选修这门课的人只有3个人，其中包括王强。王强说，当时上课的女教授说的一句话，影响了他的一生。这句话就是：逻辑学是门推理的科学，你们很聪明，选修了这门课，逻辑学对你人生最大的作用就是：当你的人生需要获得重大结论的时候，你可以省去人类千百年来积累的推理过程，可以直接从前提推到结论。

当年王强出国，到了加拿大留学，他想选修计算机，但从性价比上来说，在国外读本科要4年，需要花4年的钱，读硕士只要2年，只花2年的钱。所以读硕士是性价比最高的。但是他没有任何计算机的基础，他面临两难的选择。此时，王强想到了他选修的逻辑学课程，他把逻辑推理的三段论，即：大前提，小前提，结论，用在了这个选择上。他说，面对这种情况，大前提是：计算机是人发明的；小前提是：人一定能学会人发明的东西；由此，他直接推出结论：王强一定能学会计算机，或者是王强不是人。根据这个推理结论，他果断的在计算机知识0基础的情况下，选择了计算机硕士，用了2年时间顺利毕业，毕业后进了贝尔实验室。

你也可以在搜索更多本站小编为你整理的其他逻辑学论文【精品多篇】范文。