逻辑:表达力与复杂性之间的平衡

发布时间：2017-06-26 05:12

  本文关键词：逻辑:表达力与复杂性之间的平衡，由笔耕文化传播整理发布。

【摘要】：一种语言的表达力(或可表达性)是指在那种语言中能够被表达或者被沟通的思想的幅度,或指在那种语言中可表达的思想的范围。它可进一步分为理论表达力和实践表达力。理论表达力支配着处理语言和它的意义的形式描述的数学和逻辑,它们包括形式语言理论,数理逻辑和程序代数。在非形式的讨论中,该术语经常是在第二种涵义上被使用的,例如在讨论逻辑编程语言时情况往往就是如此。逻辑学家们经常基于逻辑在表达力和复杂性方面的一些特征做出选择。
【作者单位】： 苏州大学政治与公共管理学院;
【关键词】： 表达力 复杂性 一阶逻辑 二阶逻辑
【分类号】：B812
【正文快照】： 逻辑的主要任务是研究定义、推理或证明(或计算)。但是逻辑语言和形式系统的构造往往要求在表达力和复杂性之间获得一种平衡。一般说来,一个形式系统能够表达的东西越多,这一形式系统的例举也就变得越难理解。判定问题由此变得难以回答,甚至最终成为不可判定的。从历史上看,起

【相似文献】

中国期刊全文数据库 前10条

1 熊明;;一阶逻辑的内涵语义[J];湖南科技大学学报(社会科学版);2006年06期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前2条

1 张超;韩继红;王亚弟;朱玉娜;赵娟;范钰丹;;基于一阶逻辑的安全协议攻击重构策略(英文)[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年

2 潘小东;;模糊一阶逻辑研究进展综述[A];第十届中国不确定系统年会、第十四届中国青年信息与管理学者大会论文集[C];2012年

中国硕士学位论文全文数据库 前3条

1 郭美云;辛提卡IF一阶逻辑研究[D];西南师范大学;2003年

2 黄拙;一阶逻辑模型搜索问题研究[D];中国科学院研究生院（软件研究所）;2004年

3 吴瑕;布尔算子模糊逻辑中的调解法[D];东北师范大学;2002年

  本文关键词：逻辑:表达力与复杂性之间的平衡，由笔耕文化传播整理发布。

，

本文编号：484915