谓词逻辑

谓词逻辑是属于分析哲学的逻辑吗?谓词逻辑属于分析哲学逻辑 。定义上来理解分析:1.哲学逻辑是对逻辑更特定于哲学的方面的研究 。这个术语相对于数理逻辑 , 因为数理逻辑开发于十九世纪晚期 , 已经包含了传统上一般由逻辑处理的大多数主题 。它关心的是尽可能的以最基础的方式刻画如推论、理性思维、真理和思维内容这样的概念 , 并尝试使用现代形式逻辑建模它们 。它要谈论的概念包括引用、论断、同一、真理、否定、量化、存在性、必然性、定义和蕴涵 。哲学逻辑不关心与思维、情感、想象和类似事物相关的心理过程 。它只关心那些有能力为真和假的实体 — 思维、句子、命题 。尽管在这个范围内 , 它还感兴趣于心灵哲学和语言哲学 。弗雷格被认为是现代哲学逻辑的缔造者 。'2.谓词逻辑:谓词 , 在谓词逻辑中 , 原子命题分解成个体词和谓词 。个体词是可以独立存在的事或物 , 包括现实物、精神物和精神事三种 。谓词则是用来刻划个体词的性质的词 , 即刻画事和物之间的某种关系表现的词 。如“苹果”是一个现实物个体词 , "苹果可以吃"是一个原子命题 , “可以吃”是谓词 , 刻划“苹果”的一个性质 , 即与动物或人的一个关系 。3.首先苹果可以吃属于一个原子命题 , 语言哲学范畴 。苹果是实体 , 个体词 , 是真实存在 。推论是可以吃 , 可以吃是谓词 。是一个最基础的方式刻画推论 , 是一个真命题 。引用了苹果 , 论断可以吃 , 说的是同一件事 , 可以吃是真理 , 经过实践检验 。也可以进行否定 , 比如:苹果不可以吃假命题 。可以量化 , 比如数量两个 。苹果是真实存在的 。苹果可以吃这个结果是必然的 。苹果可以吃定义了苹果的一个蕴涵 。符合哲学逻辑所有的概念 , 存在引用 , 论断 , 同一 , 真理 , 否定 , 量化 , 存在性 , 必然性以及定义蕴涵 。所以它属于分析哲学逻辑 。rr首先要分清“谓词逻辑”是指加了“量词运用规则”的命题逻辑 。是将哲学中的命题逻辑所表达不出来的逻辑继续细化 。在谓词逻揖中 , 除研究复命命题的命题形式、命题联接词的逻辑性质和规律外 , 它还可把命题分析成个体词、谓词和量词等非命题成分 , 研究由这些非命题成分组或的命题形式的逻揖形式和规律 。哲学中的形式逻揖和命题逻輯以逻揖运算符结合原命题来构成代表“命题”的公式 , 以及允许某些公式建构成“定理”的形式“证明规则” 。哲学中的命题逻辑只考虑逻辑连接词和逻辑特性 , 不考虑命题本身 , 谓词逻辑既考虑连接词的逻辑特性 , 并且还深入分析到命题内部考虑谓词及量词的逻辑特性 。所以 , 谓词逻揖是属于分析哲学逻辑的主要“逻辑” 。


    以上关于本文的内容,仅作参考!温馨提示:如遇健康、疾病相关的问题,请您及时就医或请专业人士给予相关指导!

    「四川龙网」www.sichuanlong.com小编还为您精选了以下内容,希望对您有所帮助: