从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷：一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑：首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

对比教学法在离散数学形式逻辑授课中的运用

为提高学生的语言表达能力,使学生能够准确地交流和表达思想,文章在离散数学的逻辑教学模块简要介绍形式逻辑的问题,提出以数理逻辑知识为先导,对比数理逻辑介绍形式逻辑的教学设计,使学生尽快掌握形式逻辑基本内容的同时,也在对比中更好地把握数理逻辑的思想内涵,切身体会两者在研究方法和研究成果上的差异。     

OA系统中模糊查询的设计与实现

１　问题的提出目前，各机关和企事业单位正在逐步建立局域网、推行办公自动化工作，ＯＡ系统的开发也就方兴未艾。ＯＡ系统主要的功能是帮助实现办公的自动化和数据的共享，涉及的数据量非常大，对查询的要求多种多样，查询者对他所要查的资料往往还只有一个轮廓，因而，在ＯＡ系统中提供模糊查询就非常必要。２　设计要求●简单，查询方式简明扼要。●易懂，用户一看就明白，不需要进行长时间的培训。●使用方便，用户不需要高深的逻辑运算知识、也不需要对查询条件的输入格式有什么了解。●功能强大，需要的内容模糊查出。３　设计思想Ｎ…     

一项计算机基础课程改革的启示（七）

奚：王老师，您这一次的文章用到了李未院士的专著《数理逻辑》（以下简称《数》）中的一些概念。 王：是的，主要是版本序列和三个语言环境。 奚：您的改革是以辩证唯物主义为指南的，这样看来，唯物辩证法与版本序列和三个语言环境的概念是有密切联系的。     

通识教育与离散数学教学

文章通过介绍通识教育的内涵与来源,窥探我国教育发展的现状,分析实施通识教育的原因以及实施过程中存在的主要问题。通过概述离散数学的主要组成,探讨离散数学独特的教学内容与教学方法对通识教育的重大影响。     

论逻辑学的认识论回归

本文评析了对亚里士多德、培根、康德和黑格尔的逻辑思想的误读,讨论了逻辑主义的反认识论的错误,呼唤逻辑学的认识论回归,并介绍了构建认识逻辑学的思路历程.作者认为,演绎的公理是认识中长期没有发现反例情况下、心理认同逐渐被强化的经验归纳,归纳是类比的发展,类比、归纳、演绎整合的推理链,是科学发现的逻辑的轴心,西方归纳派和演绎派的长期分歧被推理链整合了,认识论的研究也深入到了微观的逻辑层次.     

故障树分析法在大型电力变压器故障研究中的应用

故障树分析方法是最早美国贝尔实验室研究的,是一种行之有效的逻辑模式分析的方法,常用于安全工程的主要分析方法。使用故障树分析法需要具有数理逻辑的基础,了解逻辑符合,理解逻辑操作,从顶层开始进行故障树的编制。本文利用故障树的科学分析方法,对大型电力变压器系统进行分析,对故障做出研究。     

数控机床故障诊断的数理逻辑分析方法研究

以数理逻辑为理论基础,对数控机床常见故障进行分析.提出数控机床故障诊断的数理逻辑运算方法,并在此基础上,以数控机床冷却故障为例阐述数理逻辑分析方法的应用.结果表明,数理逻辑分析方法对数控机床外围故障的判断和排除有着事半功倍的作用,以众多的环境因素、故障信息为依据,不断排除非故障因素,在不拆卸或少拆卸的情况下确定故障的部位和原因,有效避免盲目拆卸、调整造成的设备额外故障,提高了故障诊断的效率.     

对称与非对称三值逻辑的关系

1.对称三值逻辑的基本运算 对称三值逻辑的三个基本运算可以表示成非对称三值逻辑的导出运算。     

浅谈数理逻辑在计算机科学中的应用

数理逻辑是离散数学课程中研究推理的逻辑学科,它为确定一个给出的论证是否有效提供各种法则和技巧,在计算机科学里用来检验程序的正确性,也可以验证定理和推论,同时在计算机模型、计算机程序设计语言、计算机硬件系统等方面有着重要作用。研究数理逻辑在计算机科学领域中的应用,必须从研究数理逻辑的符号化开始讨论、加以分析、验证结论。