较低的谓词演算

主要参考

• 
  在形式逻辑:降低谓词演算

  谓词演算中,唯一的变量发生在量词是单个变量称为低或一阶谓词演算。各种低谓词结石已经建立。在最简单的,最…

  阅读更多

公理化

• 
  在数学:康托尔

  …系统确实存在的例子中,一阶谓词微积分但没有被发现能够让数学家做一些有趣的数学。

  阅读更多

弗雷格

历史发展

• 
  在历史的逻辑:命题和谓词逻辑

  …逻辑,量化理论,或较低的谓词演算。逻辑系统还允许在高阶量化的实体被称为高阶逻辑。这种分离的一阶高阶逻辑主要是由大卫·希耳伯特和他的同事完成在20世纪的第二个十年;这是…

  阅读更多

元逻辑

• 
  在元逻辑:逻辑和元逻辑

  …要确定一阶谓词演算的,微积分的变量是局限于个人固定domain-though它可能包括身份的逻辑,象征“=”以身份的普通属性作为逻辑的一部分。从这个意义上讲…

  阅读更多
• 
  在元逻辑:一阶谓词演算

  谓词演算的一致性问题是相对简单的。世界可能会假定只有一个对象一个。在这种情况下,普遍量化和存在量化的句子(∀x)一个(x)和(∃x)一个(x)减少…

  阅读更多

模态系统

• 
  在形式逻辑:替代系统的模态逻辑

  …通过类似增加LPC的而不是电脑。

  阅读更多

模型理论

• 
  在元逻辑:一阶逻辑的性格特征

  有了上面列出的证据基本逻辑没有包括句子的完整性维护身份。然而,证明可以扩展完整的基本逻辑相当直接的方式。因此,如果F是一个句子包含平等,…

  阅读更多

集理论

• 
  在形式逻辑:集合论

  …一个相当温和的LPC的形式不包含谓词变量和只有一个原始的二元谓词常数(∊)代表会员。有时使用LPC-with-identity,然后有两个原始的二元谓词常量(∊和=)。在一些版本的变量x,y(……

  阅读更多