共查询到20条相似文献，搜索用时 106 毫秒
1.
命题逻辑是数理逻辑的重要组成部分，它的应用很广泛文章通过案件审理、人事和电路设计等方面的实例分析了怎样利用命题逻辑的演绎推理来解决日常生活中的一些问题． 相似文献
2.
王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的关系． 相似文献
3.
王建辉 《牡丹江教育学院学报》2006,(4):123-123
本文从高等数学中的数理逻辑的学科角度,分析了高中数学命题逻辑教学中的一些疑点和认知上的误区,以期提高高中数学命题逻辑教学的针对性和准确性,使建立在集合、逻辑基础上的现代数学能够以适当的方式被高中学生所接受。 相似文献
4.
5.
崔泽云 《湘潭师范学院学报(社会科学版)》2004,26(6):26-28
一个理论的本体论承诺就是按照那个理论有什么东西存在的问题。经典命题逻辑是现代形式逻辑的基础。从语义学角度和它对"逻辑真"的定义看,它的本体论承诺是可能世界。存在经典命题逻辑这一本体论承诺是实在论逻辑观的反映,是它研究内容的必然要求。把可能世界存在作为它的本体论承诺对逻辑学自身、对经验科学都有深远而广泛的影响。 相似文献
6.
南旭耀 《陕西广播电视大学学报》2001,3(2):78-81
在人类思维的逻辑领域，以数理逻辑为代表的现代逻辑，对以形武逻辑为代表的传统逻辑产生了十分深刻的影响。但在二的整合过程中，却出现了不合谐的音符，尤其是数理逻辑蕴涵命题真值表在传统逻辑中的应用，使推理中出现了标准、形武的所谓合理性与结果之间的自身矛盾性，成为困扰逻辑界的一大难题。本从数理逻辑命题的构成、蕴涵命题的取值特征、数理逻辑与形武逻辑的同一性、反差异性等几个方面，力图说明作为自我完备的一个符号体系的数理逻辑，其蕴涵命题的真值取值有着自身的值域性的缺陷，而形武逻辑在借用的过程中，却没有注意到这一点，只注重了二的同一性却忽视了二的差异性，从而导致了应用中的矛盾性也兢成为其必然的结果了。 相似文献
7.
教育部推广的全日制普通高级中学教科书(试验修订本)于2001年秋季在全国18个省市各中学启用了.其中《数学》第一册(上)添加了简易逻辑的内客,许多中学数学教帅对本节内容较陌生.本文就一些中学数学教师对某些问题的困惑及师大学生教育实习过程中带回的一些问题,从以下几方面谈谈自己的看法.1 传统逻辑与数理逻辑 逻辑一词源于希腊文,意思指:词、思想、理性、规律等.逻辑学研究的是:判别一个推理过程是否正确的标准.数理逻辑也叫符号逻辑,即用人工符号来书写逻辑法则,它是一门涉及数学、逻辑学、哲学等几门学科的横向交叉学科.传统逻辑用以表示命题形式和 相似文献
8.
冯周卓 《湖南师范大学社会科学学报》1991,(1)
本文试图突破数理逻辑的形式框框,从自然语言的实际表达功能和交际功能出发,探讨自然语言的逻辑意义。文章提出,自然语言的逻辑意义是客观事理逻辑范畴之间的组合关系,它应当成为自然语言逻辑研究的对象。文章运用现代逻辑方法初步分析了自然语言逻辑意义的结构,探讨了构成命题的语义模式。最后,文章介绍了自然语言逻辑意义在语言学、认知科学和计算机科学等领域的应用。 相似文献
9.
《湖南师范大学教育科学学报》1991,(1)
本文试图突破数理逻辑的形式框框,从自然语言的实际表达功能和交际功能出发,探讨自然语言的逻辑意义。文章提出,自然语言的逻辑意义是客观事理逻辑范畴之间的组合关系,它应当成为自然语言逻辑研究的对象。文章运用现代逻辑方法初步分析了自然语言逻辑意义的结构,探讨了构成命题的语义模式。最后,文章介绍了自然语言逻辑意义在语言学、认知科学和计算机科学等领域的应用。 相似文献
10.
数理逻辑,又称现代形式逻辑,是传统逻辑的继承和发展。它与传统逻辑一样,都是以思维形式、思维规律以及一些简单的思维方法作为研究对象。不同的是,数理逻辑是用形式化的方法来进行研究。这种形式化表现在用符号把逻辑思维表达为逻辑演算。因此.它比传统逻辑更为严谨、更为丰富。从这个意义上来讲,数理逻辑代表了形式逻辑发展的新阶段。 相似文献
11.
史银珍 《中学生数理化(高中版)》2014,(2):38-38
本文对简易逻辑教学中命题的否定及反证法的理论依据进行了一定程度的探讨,给出了命题否定的集合解释,并结合数理逻辑知识证明了反证法的正确性. 相似文献
12.
现代逻辑,也称为数理逻辑,是在传统逻辑的基础上,发端于17世纪,成熟于20世纪的一门年轻的学科.它自身是思维科学的一个分支,也是数学的一个分支.当前,数理逻辑有两个重要特征应当引起马克思主义哲学工作者的注意.
第一,由于具有强有力的形式表达和形式分析的能力,数理逻辑在哲学、语言学、经济学、法学、计算机科学、人工智能、决策学等诸多领域的现代发展中,得到了广泛的实质性的应用. 相似文献
13.
14.
知识蕴涵模态逻辑系统 总被引：3，自引：1，他引：2
使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立.在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制.根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现. 相似文献
15.
16.
马佩 《西南师范大学学报(人文社会科学版)》2010,(4):54-58
＂王文＂以数理逻辑否定普通逻辑、批判性思维逻辑、非形式逻辑是以小逻辑观否定大逻辑观;＂王文＂混淆传统逻辑与普通逻辑,混淆数理逻辑与现代逻辑,其＂以数理逻辑完全取代普通逻辑＂的错误主张偷换为冠冕堂皇的＂以现代逻辑取代传统逻辑＂的口号;绝对不能以数理逻辑取代普通逻辑,＂王文＂所提出的以数理逻辑取代普通逻辑的种种理由都是不能成立的。 相似文献
17.
盛作国 《贵阳学院学报(社会科学版)》2008,(1):54-57
真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。 相似文献
18.
陈波 《湘潭师范学院学报(社会科学版)》1998,(2)
李建华同志的《哲学逻辑》一书（湖南师范大学出版社,1997年）是一部相当有份量的学术著作,它有以下几个特点：1．选题新颖,探讨了逻辑学前沿领域的问题。哲学逻辑的产生有两个历史前提：一是数理逻辑在20世纪早期的正式诞生,二是现代西方哲学的"语言学转向"。它有广、狭两种涵义。狭义的哲学逻辑是产生于20世纪40年代,在50－70年代蓬勃发展的一个新兴逻辑学科群体,它们以数理逻辑为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体学科中的应用为研究对象,创建了一大批新的逻辑分支。广义的哲学逻辑除包含上述内容外,还涉及到… 相似文献
19.
20.
转折复句语意重心的逻辑语义分析 总被引：4，自引：0，他引：4
刘永红 《暨南大学华文学院学报》2003,(1):45-51
就已有资料来看，对转折复句的语意重心存在明显分歧，一些语言学家认为转折复句的语义重心在第二句，但此论点与论据之间的联系尚未澄清，缺少的就是一个论证过程，本试运用数理逻辑真值判定表运算对转折复句语意重心进行逻辑语义分析。 相似文献