检索结果-内蒙古大学图书馆

社会科学 2000年第9期 38-42页

作者：曾昭式信阳师范学院哲学系

中国近代,逻辑学东渐后没有得到足够的重视和很好的发展.这说明逻辑学并没有真正扎根于中国文化.任一文化领域的发展不仅受经济状况的制约,而且受其它文化领域的发展状况的影响.换言之,每一学科的发展都需要相应的文化环境,环境适宜该... 详细信息

中国近代,逻辑学东渐后没有得到足够的重视和很好的发展.这说明逻辑学并没有真正扎根于中国文化.任一文化领域的发展不仅受经济状况的制约,而且受其它文化领域的发展状况的影响.换言之,每一学科的发展都需要相应的文化环境,环境适宜该学科才能生长起来.具体到逻辑学而言,当前国内逻辑学发展状况与其生长的文化环境密切相关.那么,逻辑学的发展需要什么样的文化环境呢?我们对于逻辑学东渐命运的文化原因探析也许能为此提供一点启示.同时此种探讨本质上是想从逻辑学角度对西方文化在近代中国之命运作一透视,此种透视对于当代中国文化建设,对于中国文化的再生显然具有积极的意义.

关键词：逻辑学东渐文化原因同一律谓词演算命题演算形式逻辑的基本规律命题函数演算现代逻辑形式逻辑逻辑学

来源：评论

学校读者我要写书评

暂无评论

答《中介数学没有包括经典数学》一文及其它

引用

Journal of Mathematical Research with Applications 1989年第1期 149-151页

作者：朱梧槚肖奚安南京大学数学系空军气象学院数学教研室

(一)关于经典逻辑演算之推演规划是中介逻辑演算之导出规则的证明。朱水林同志在文中简括而确切地指出:“我们可以把上面关于中介数学和经典数学之关系的引文简括成一个结论和两个论据:

关键词：定理谓词演算命题函数演算三值系统集论公理集合论经典数学

来源：评论

学校读者我要写书评

暂无评论

弗晰集合结构(Ⅰ)

引用

华中科技大学学报(自然科学版) 1979年第4期 10-16+7页

作者：张锦文中国科学院计算技术研究所

本文研究实值弗晰集合结构的逻辑性质,证明了这一结构是弱谓词演算WL的一个模型.本文是我们对弗晰集合论与布尔值集合论进行统一的一个环节.

关键词：实值定义赋值格值逻辑谓词演算命题函数演算推理规则引理

来源：评论

学校读者我要写书评

暂无评论

元逻辑

引用

世界哲学 1979年第3期 39-47页

作者：王浩张尚水

1.形式语言和形式系统 1.1 语法和语义元逻辑(metalogic)可以定义为对形式语言和形式系统的语法和语义的研究。它与自然语言的形式处理有关,但不包括自然语言的形式处理。一形式语言通常需要一组形成规则,即对合式公式(语句或有意义的... 详细信息

1.形式语言和形式系统 1.1 语法和语义元逻辑(metalogic)可以定义为对形式语言和形式系统的语法和语义的研究。它与自然语言的形式处理有关,但不包括自然语言的形式处理。一形式语言通常需要一组形成规则,即对合式公式(语句或有意义的表达式)的机械的和完全的详细说明。这个详细说明通常包含三部分:机械地给定原始符号(基本单位)表,这些符号的某些组合被机械地

关键词：元逻辑数理逻辑定理选择公理公理(数学) 数学哥德尔协调性语句谓词演算命题函数演算概念思维形式显定义递归

来源：评论

学校读者我要写书评

暂无评论

Kripke语义学及其一些哲学问题

引用

北京大学学报(哲学社会科学版) 1987年第4期 20-29页

作者：周北海

Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它得到了蓬勃的发展。其中Kripke語义学的提出是极为重要的,模态逻辑的发展因此而进入了一个新的阶段,而且它还在... 详细信息

Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它得到了蓬勃的发展。其中Kripke語义学的提出是极为重要的,模态逻辑的发展因此而进入了一个新的阶段,而且它还在哲学研究方面提出了新的工具以及新的观点和问题,表现了逻辑和哲学在现代形式下的相互依赖和促进的关系。一、模态逻辑的形式系统模态逻辑简单地说就是关于必然性与可能性的逻辑。“必然”和“可能”作为模态概念在模态逻辑里通常分别用符号□和◇表示,称为模态词,从演算的角度,也称为模态算子。有了模态概念和符号后,就会产生以下三种模态公式:

关键词：模态逻辑语义学专名长庚星启明星模型结构谓词演算命题函数演算 Kripke 个体变元摹状词理论模态词公理模式模态命题演算固定指示词

来源：评论

学校读者我要写书评

暂无评论

可靠性

引用

电子计算机参考资料 1974年第Z2期 47-52页

1.引言当计算机用户变成更有经验,成熟和觉醒时,有效性的要求通常就为可靠性的要求所代替。这有许多原因: a)因为装备变得更廉价和快速,这方面的压力在减少而追求它“牢固”。 b)不可靠的软件,不论如何有效也不值钱。 c)对于某些应用说... 详细信息

1.引言当计算机用户变成更有经验,成熟和觉醒时,有效性的要求通常就为可靠性的要求所代替。这有许多原因: a)因为装备变得更廉价和快速,这方面的压力在减少而追求它“牢固”。 b)不可靠的软件,不论如何有效也不值钱。 c)对于某些应用说来,因故障而损失的代价比之于计算机系统的代价还高,例如过程控

关键词：程序员软件可靠性操作系统计算机系统技术发展水平程序验证软件系统谓词演算命题函数演算

来源：评论

学校读者我要写书评

暂无评论

近年来苏联形式逻辑研究综述

引用

世界哲学 1984年第6期 46-52页

作者： B.H.布留申金张岚罗颂全苏纺织和轻工业函授学院哲学副博士

这个综述的任务就是对逻辑学中有时被(不很恰当地)称为“哲学逻辑”的这一正在急剧发展着的领域给予尽可能完整的描述。换句话说,在这个综述里将谈到的是与提出和解决哲学问题及方法论问题直接有关的研究。在所要考察的时期(1979—1983)... 详细信息

这个综述的任务就是对逻辑学中有时被(不很恰当地)称为“哲学逻辑”的这一正在急剧发展着的领域给予尽可能完整的描述。换句话说,在这个综述里将谈到的是与提出和解决哲学问题及方法论问题直接有关的研究。在所要考察的时期(1979—1983),这些研究的主要问题是什么呢?可以列出下述现在在哲学逻辑中讨论得最活跃的问题和方面。1.符号逻辑的哲学基础;2.作为研究和使哲学上有意义的概念精确化的手段的模态逻辑和内涵

关键词：形式逻辑三段论空词项逻辑学哲理逻辑模态逻辑元逻辑相干逻辑命题函数演算谓词演算类逻辑数理逻辑谓词逻辑自然语言分析模型论逻辑语义学逻辑分析模态命题逻辑学家苏维埃社会主义共和国联盟苏联

来源：评论

学校读者我要写书评

暂无评论

程序模式和谓词演算

引用

计算机学报 1979年第3期 174-189页

作者：周巢尘中国科学院计算技术研究所

本文给出了AEA公式的不可满足问题至程序模式的终止问题的归约,从而证明了程序模式基本特性的不可判定性,并使用谓词演算的判定方法,证明了一类广义Ianov模式的基本特性是可判定的。文末讨论了定理的机器证明和程序模式特性机器证明的... 详细信息

本文给出了AEA公式的不可满足问题至程序模式的终止问题的归约,从而证明了程序模式基本特性的不可判定性,并使用谓词演算的判定方法,证明了一类广义Ianov模式的基本特性是可判定的。文末讨论了定理的机器证明和程序模式特性机器证明的本质区别。一般情况下,后者不必历经整个Herbrand域,而仅需考虑一个一致有界分叉的无穷树状子域。另外也毋需讨论通常的可满足性问题,为此,本文中提出了通路可满足的概念。

关键词：程序模式谓词演算命题函数演算元素组成机器证明定理证明通路归约序列当且仅当可满足性引理 AEA 定理

来源：评论

学校读者我要写书评

暂无评论

向程序员开展程序表示法、程序证明和程序研制的教育

引用

计算机科学 1981年第3期 1-11页

作者： D.GRIES 吴民伟邝桃生

本文介绍了程序设计技术的现状,认为有效的程序设计需要大多数程序员具有更多的“数学素养。”由于形式逻辑往往用于非形式地思考程序和规范,因此开展形式逻辑和程序设计理论方面的教育就可以大大提高程序员的能力。这样的教育能使程序... 详细信息

本文介绍了程序设计技术的现状,认为有效的程序设计需要大多数程序员具有更多的“数学素养。”由于形式逻辑往往用于非形式地思考程序和规范,因此开展形式逻辑和程序设计理论方面的教育就可以大大提高程序员的能力。这样的教育能使程序设计成为一门科学,而不只是一种技巧。这一观点通过举例可得到充分证实。

关键词：表示法定义程序不变式谓词演算命题函数演算程序员形式逻辑逻辑学形式化程序变量

来源：评论

学校读者我要写书评

暂无评论

负超有序消解原理

引用

厦门大学学报(自然科学版) 1981年第3期 297-304页

作者：蔡经球厦门大学数学系

Robinson在1965年提出消解原理后,定理机械证明的研究工作取得了重大进展。但消解原理过于一般化,在消解过程中产生了许多不相干的多余子句。为了提高消解效率,继又提出了各种消解策略,其中语义消解原理是研究得较多的消解策略。在语义... 详细信息

Robinson在1965年提出消解原理后,定理机械证明的研究工作取得了重大进展。但消解原理过于一般化,在消解过程中产生了许多不相干的多余子句。为了提高消解效率,继又提出了各种消解策略,其中语义消解原理是研究得较多的消解策略。在语义消解中,为了减少消解过程中多余子句的生成,主要采取三项措施:(1)利用(任意)

关键词：句节所有出口电子命题演算不完备轻子谓词演算命题函数演算完备性定理

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：