謂詞邏輯不是主謂式而是函項式為啥叫謂詞邏輯？

1樓：端木弗貢

讀英文你就懂了。Predicate 是斷言的意思。中文的「謂」本來也是斷言的意思，然今人不諳文言，其本義者寡，乃以主謂之謂視之，安能弗惑？

斷言，要斷言什麼呢？所謂斷言者必須言之有物。謂何者如何者，斷言也。

說x怎麼樣就是P(x)的斷言。說某人會開車，就是CanDrive(someone) => D(x)。說某物比某物貴就是MoreExpensive(oneThing, anotherThing) => E(a,b)。

2樓：李三畏

題主疑問或來自哲學系或中文系教材，理工至少本科階段通常不使用主謂式和函項式這兩個多餘的術語。

我們不妨先從數學角度定義一下相關概念：命題的主語稱為個體，其餘部分統稱謂詞；若以量詞和描述個體的變化範圍，則這種邏輯理論稱為謂詞邏輯，也稱一階邏輯(FOL, first order logic)。

由上述定義可見，謂詞邏輯對命題的分解是按主-謂兩部分進行的。分解好主謂之後，謂詞邏輯的一階語法就設x為主語，P為謂語部分，並以函式符號P(x)表示x與P之間的關係。

函項的原文為function，其實就是函式。

綜上分析可見：由於謂詞邏輯的所有命題都按主謂分解，因而教科書不宜說謂詞邏輯是否主謂式；由於謂詞邏輯的所有命題都已被函式化，因而教科書也不宜說謂詞邏輯是否函項式；一階語法並未排除以摹狀詞作個體，即可作主語（其實從數學角度而言，謂詞演算根本無需考察包括摹狀詞在內的何種詞類能否作個體）。