谓词逻辑

谓词逻辑属于分析哲学逻辑。

定义上来理解分析：1.哲学逻辑是对逻辑更特定于哲学的方面的研究。

这个术语相对于数理逻辑，因为数理逻辑开发于十九世纪晚期，已经包含了传统上一般由逻辑处理的大多数主题。

它关心的是尽可能的以最基础的方式刻画如推论、理性思维、真理和思维内容这样的概念，并尝试使用现代形式逻辑建模它们。

它要谈论的概念包括引用、论断、同一、真理、否定、量化、存在性、必然性、定义和蕴涵。

哲学逻辑不关心与思维、情感、想象和类似事物相关的心理过程。

它只关心那些有能力为真和假的实体 — 思维、句子、命题。

尽管在这个范围内，它还感兴趣于心灵哲学和语言哲学。

弗雷格被认为是现代哲学逻辑的缔造者。

'2.谓词逻辑：谓词，在谓词逻辑中，原子命题分解成个体词和谓词。

个体词是可以独立存在的事或物，包括现实物、精神物和精神事三种。

谓词则是用来刻划个体词的性质的词，即刻画事和物之间的某种关系表现的词。

如“苹果”是一个现实物个体词，"苹果可以吃"是一个原子命题，“可以吃”是谓词，刻划“苹果”的一个性质，即与动物或人的一个关系。

3.首先苹果可以吃属于一个原子命题，语言哲学范畴。

苹果是实体，个体词，是真实存在。

推论是可以吃，可以吃是谓词。

是一个最基础的方式刻画推论，是一个真命题。

引用了苹果，论断可以吃，说的是同一件事，可以吃是真理，经过实践检验。

也可以进行否定，比如：苹果不可以吃假命题。

可以量化，比如数量两个。

苹果是真实存在的。

苹果可以吃这个结果是必然的。

苹果可以吃定义了苹果的一个蕴涵。

符合哲学逻辑所有的概念，存在引用，论断，同一，真理，否定，量化，存在性，必然性以及定义蕴涵。

所以它属于分析哲学逻辑。

首先要分清“谓词逻辑”是指加了“量词运用规则”的命题逻辑。

是将哲学中的命题逻辑所表达不出来的逻辑继续细化。

在谓词逻揖中，除研究复命命题的命题形式、命题联接词的逻辑性质和规律外，它还可把命题分析成个体词、谓词和量词等非命题成分，研究由这些非命题成分组或的命题形式的逻揖形式和规律。

哲学中的形式逻揖和命题逻輯以逻揖运算符结合原命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的形式“证明规则”。

哲学中的命题逻辑只考虑逻辑连接词和逻辑特性，不考虑命题本身，谓词逻辑既考虑连接词的逻辑特性，并且还深入分析到命题内部考虑谓词及量词的逻辑特性。

所以，谓词逻揖是属于分析哲学逻辑的主要“逻辑”。