在命题演算,一个整体的逻辑命题相关⊃等连接词(“如果…那么”),(”和“),∼(“不”),和∨(”和“),甚至复杂的表达式如((一个⊃B)·(C⊃∼B)]⊃(C⊃∼一个可以证明)重言式通过显示在一个真值表所有可能的组合的真实值T(真正的)和F(假)——其参数A, B, C清算后,通过一个机械过程真实价值整个公式,指出,对于每一个这样的组合,这个公式T。测试是有效的,因为在任何特定的情况下,不同作业的真实值的总数是有限的变量,和整个真实价值的计算公式可以进行单独为每个任务的真实值。

从大英百科全书yabo亚博网站首页手机

认识论:重复和重大命题

的概念的重言式命题演算最初是在20世纪初由美国开发的哲学家查尔斯•桑德斯皮尔斯学校的创始人实用主义和一个主要的逻辑学家。的术语介绍了本身,然而,在奥地利出生的英国哲学家路德维希维特根斯坦,他认为的Logisch-philosophische Abhandlung(1921);Tractatus Logico-Philosophicus,1922)必要的命题是重言式存在,因此,某种意义上,所有必要的命题说thing-viz相同,一无所有。

维特根斯坦的使用术语需要扩展命题演算的一阶谓词演算(功能),可以在类范围,集,关系以及在个体变量(变量可能代表个人)。扩展重言式的概念,进一步用英语解释逻辑学家弗兰克·p·拉姆齐1926年,实际上是其前身现在通常被称为有效性。

之后,一定逻辑实证主义者,特别是鲁道夫Carnap,修改维特根斯坦的原则的区别,是一种有效的测试命题演算的同义反复,但没有这样的测试效度甚至更低谓词微积分。逻辑实证主义者认为,在一般情况下,每一个必要的真理(,因此,每一个重言式)是可诱导的一些规则的语言;它唯一的必要性是它的一个规则规定在一定的系统。因为这样的推导是很难执行的普通语言,然而,与声明“不管有开始时间必须有一个原因”的尝试,如Carnap的Der logische构造沿条(1928);世界的逻辑结构:Pseudoproblems哲学,1967),构造一种人造语言,所有必要的语句可以通过上诉公式。

百科全书的编辑yabo亚博网站首页手机这篇文章是最近修订和更新布莱恩Duignan。