逻辑演算相关论文
<正> 本世纪20~30年代传统逻辑在中国有过一阵子兴旺,接着却产生了种种曲解,乃至全盘否定。50年代传统逻辑又热闹起来,但不久就被“......
<正> 逻辑研究推理并且主要是研究推理形式。具体地说,它研究推理中从前提到结论的必然联系。过去,人们从自然语言出发研究这种必......
罗素的主要学术成就集中在逻辑学和分析哲学领域。在逻辑学方面,他为了避免悖论,提出(禁止)恶性循环原则,发展了简单类型论和分支......
科技文章语病汇析(七)──不合逻辑华东理工大学出版社林立科技文章的逻辑性与科学性是写作的灵魂,但本文所指的不合逻辑的语病不包括......
随着经济全球化和知识经济时代的到来,以及全球制造的出现,供应链在制造业管理中得到普遍的应用,相应的,供应链管理也越来越受到人......
在基于构件开发的软件工程 (CBSE)中,许多大型的、复杂的软件系统是在一个基本系统的基础上,通过组装机制将构件插入到基本系统中的......
一含义范畴与对象范畴在《逻辑研究》第一卷《纯粹逻辑学导引》中,胡塞尔指出,范畴概念和建立在这些范畴概念之上的规律构成了理论......
本论文着力于分析逻辑语义学中的基本概念,尤其是命题逻辑以及真值函数中的合取和析取,并对其逻辑意义,举例进行分析。
This thes......
随着新课程改革的持续推进,教师越来越多地意识到教学不应该停留在教给学生知识这一个维度上,还应该注重过程与方法,情感、态度与......
公司伦理学:概念框架与基本问题〔德〕H.斯坦曼孙向晨译一、导论1.在德国,关于企业伦理学(广义的企业伦理学包括公司伦理)的讨论至少比美国......
17世纪的德国数学家莱布尼兹(Gottfried Wilheln Leibniz,1646~1716)不仅是微积分的创始人之一,而且对计算机的发展也做出了重大贡......
该文定义了一种多论域逻辑演算语言—子目标演绎语言SDL。它是古典一阶语言的一个变型。文中以SDL语言作为描述抽象数据结构及程序......
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采......
根据文[4]构造的模型,本文证明了中介命题逻辑演算系统MP的完备性定理,从而得到MP的形式推理完备地反映了演绎推理的结果。......
我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想,假如我早在数理逻辑上好好下点功夫的话,我就不会犯这么多......
数理逻辑,又称现代形式逻辑,是传统逻辑的继承和发展。它与传统逻辑一样,都是以思维形式、思维规律以及一些简单的思维方法作为研......
逻辑是古老而至今还十分兴旺发达的科学。它有许多类型。而其中,符号逻辑可称为传统逻辑的现代类型,它发展得最为成熟,并且硕果累......
辩证逻辑的判断理论要不要研究判断的真假?这是被我国逻辑学界长期忽略了的问题。国内辩证逻辑专著出了十多本,几乎都没有讨论这个......
提出了一种适用于大规模流媒体应用的集群缓存代理体系结构,该结构包括由多个控制器构成的控制子系统和由一组内容存储器构成的分布......
DNA计算是一种模拟生物分子DNA的结构并借助于分子生物技术进行计算的新方法,开创了以化学反应作为计算工具的先例,为解决NP-完全......
莱布尼茨的语言哲学思想葛力西方哲学由认识论的转向更前进一步,趋赴语言的转向,有的哲学家,例如维特根斯坦,竟然把全部哲学的职责归结......
<正> 一什么是辩证逻辑? (一)什么是辩证思维? 逻辑是研究思维及其规律的科学,有形式逻辑、数理逻辑(数理逻辑是由形式逻辑推演出......
提出一种时序Rough逻辑,定义了时序算子及其作用于Rough逻辑公式上的意义. 描述了这种逻辑的语法和语义. 论述了时序Rough逻辑中的......
逻辑演算对推理形式有效性的研究,比传统逻辑更抽象、更严格,其原因是形式化方法的运用.形式化方法包括构造形式系统(语法的)和对......
<正> 三分析哲学:罗素与维特根斯坦(上)分析哲学是一个概称,指的是由于本世纪初数学、逻辑学和物理学等学科的重大突破而兴起的一......
<正> 言语行为理论是奥斯汀(J.Austint)在五十年代提出的,但它的某些论点早已出现在弗雷格和维特根斯坦的著作中。弗雷格曾提出,......
数理逻辑是研究推理和计算的科学。它是一门多分支和多方面的学科。它的主要特征是用严格的形式化方法建立逻辑演算系统。而形式化......
本文侧重考察自然语言逻辑史上所遇到的一些主要难题,怎样在与之苦斗的过程中寻求改良与改革的途径,又怎样在改良与改革中发现现代......
<正> 自近代以来,自然科学在物理、生物、化学等学科上取得的长足进步,使科学家们确信科学起源于经验事实,尊重观察和实验的经验......
试论类比在现代逻辑发展中的作用陈爱华类比以其独特的思维方式在科学发展中发挥着重要的作用,因而许多有成就的科学家对类比方式......
文章主要针对中国古代语言和论证的一些重要方面进行探讨,特别地,我们重点考察了儒家和墨家的观点。我们主张使用轻型的逻辑模型方......
莱布尼茨对数理逻辑的创建工作作出了开创性的贡献。他不仅提出了较为完整的关于建立新的逻辑的思想,而且还进行了整体性的富有创......
语言学中研究语言意义的一个分支。哲学语义学研究语言表达及其所指现实世界中各种事物和现象之间的关系,探讨这些语言表达是真或......
莱布尼茨的逻辑思想是在近代哲学的认识论转向和数学发展的时代背景下产生的。亚里士多德的命题理论与三段论、卢禄的概念组合术、......
中介逻辑ML是根据中介原则构造的一种新的、非古典的逻辑演算系统,详见文[1,2]。本文给出了ML的一种模型,即ML理论的一种语义解释......
<正> 七月二十四日至八月十二日,政教系和数学系举办了第一次全国性《制约逻辑》讲习班。参加学习的有来自北京、上海、吉林、辽宁......
由于电子计算机的存贮量小,运算速度慢,智能化低,特别是制造工艺趋于极限。最近,采用计算的可能性引起了人们的广泛关注,尤其是它的良好......
一、实质蕴涵不是“如果,则”的逻辑抽象一般认为,实质蕴涵是日常语言里的“如果,则”的逻辑抽象,二者的区别仅仅在于,日常语言里......
在工控领域,两台机器以上的变频器应用,必须以PLC为系统控制核心,以满足逻辑演算、过程控制、计数、计时等复杂控制。台达C2000系列一......
借助于自然语言,特别是借助于对于自然语,是从亚里士多德到中世纪以至近代一些时候是西方逻辑发展的传统阶段;17世纪莱布尼茨提出建立......