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

摘要：

一种语言的表达力(或可表达性)是指在那种语言中能够被表达或者被沟通的思想的幅度,或指在那种语言中可表达的思想的范围.它可进一步分为理论表达力和实践表达力.理论表达力支配着处理语言和它的意义的形式描述的数学和逻辑,它们包括形式语言理论,数理逻辑和程序代数.在非形式的讨论中,该术语经常是在第二种涵义上被使用的,例如在讨论逻辑编程语言时情况往往就是如此.逻辑学家们经常基于逻辑在表达力和复杂性方面的一些特征做出选择.

关键词：表达力、复杂性、一阶逻辑、二阶逻辑

所属期刊栏目：18

分类号：B81(逻辑学(论理学))

在线出版日期：2015-08-12（万方平台首次上网日期，不代表论文的发表时间）

页码：25-30