邏輯語(yǔ)義篇Ⅲ-邏輯推導(dǎo)式(Semantics)
邏輯語(yǔ)義篇Ⅲ
?
上期對(duì)接了邏輯符號(hào)，徒有外殼。無(wú)獨(dú)有偶，我們還可以借助「Predicate Logic謂語(yǔ)邏輯」這個(gè)外殼！
?
A predication consists of argument and predicate.
?
“Socrates is a man” Socrate is <the argument>, man is <the predicate>.
即M(s), 得到一個(gè)函數(shù)表達(dá)式，秀得頭皮發(fā)麻。
字母即對(duì)應(yīng)單詞開(kāi)頭，里小寫(xiě)，外大寫(xiě)！
?
M(s)隨著s的變化而變化，Socrates確定是人時(shí)，M(s)為真。
?
Cupid(丘比特) is an angel.
So, “Cupid is a man” the logical formula M(c) is false.
?
用數(shù)字1代表真，0代表假，我們可以寫(xiě)，M(s)=1，M(c)=0.
?
[論文課題]——我估計(jì)除0, 1之外還會(huì)再有小數(shù)表達(dá)，可以對(duì)接下【貝葉斯主義-科學(xué)哲學(xué)】，傳送門(mén)BV1CV4y1n74H，可以看看感不感興趣哦~
經(jīng)歷了【邏輯實(shí)證主義】【證偽主義】【范式轉(zhuǎn)換】后，迭代到迄今最強(qiáng)勢(shì)的科學(xué)觀【貝葉斯主義】，它里面涉及了<置信度百分比>，可以對(duì)接一下！
?
<主系表>、<be句>是<單變量結(jié)構(gòu)>，因?yàn)橹飨当碇?lt;謂語(yǔ)動(dòng)詞的本質(zhì)屬性>就是賦能，是連接紐帶，表達(dá)主語(yǔ)的特征、狀態(tài)、屬性等！在函數(shù)表達(dá)式中，謂語(yǔ)沒(méi)顯現(xiàn)但能理解。
?
<多變量結(jié)構(gòu)>該來(lái)還是會(huì)來(lái)的，John loves Eléa.
其邏輯式寫(xiě)成L(j, m), 其中有兩個(gè)arguments, 分別是John和Mary.
?
如果[戴]寫(xiě)，他會(huì)寫(xiě)成JOHN, ELEA (LOVE). [戴]對(duì)該部分?jǐn)⑹鎏倭耍?，我們以[胡]為指導(dǎo)。
?
?
John gave Eléa a book. 邏輯式G(j, m, b).
?
根據(jù)arguments的數(shù)量給謂詞分類(lèi)，
“man” is a one-place predicate, “l(fā)ove” two-place predicate, “give” three-place predicate.
方程式結(jié)構(gòu)對(duì)應(yīng)為one-place predication, two-place predication, three-place predication.
?
?
很多時(shí)候吶，其他章節(jié)也是哈，比如樹(shù)狀圖、括號(hào)法、二分法、邏輯符號(hào)，不講究絕對(duì)唯一。在此吶，[胡]說(shuō)了邏輯式不唯一 “John love Eléa”,可以表示為(Lm) (j). [戴]也是這樣認(rèn)為。
我們?cè)诘谒恼聲r(shí)候說(shuō)了超級(jí)易錯(cuò)點(diǎn)-<Predicate>, 它是除主語(yǔ)之外的部分，(Lm)是一個(gè)復(fù)雜的謂語(yǔ)。
但【走的人多了便成了路】，即便及物動(dòng)詞，謂語(yǔ)動(dòng)詞可以是謂詞，所以就有了L(j, m).
?
[論文課題]——如果我去發(fā)展，我會(huì)統(tǒng)一單變量和多變量的邏輯式，而不是各路神仙各寫(xiě)各的，看不懂的都看開(kāi)了。[胡]甚至還涉及了<謂詞竟暗含主語(yǔ)>，頭大，我懶得說(shuō)了。
?
?
?
回到正題，“All men are rational”. 倒寫(xiě)A的符號(hào)?表示all, as universal quantifier.
Argument “men” doesn’t refer to any particular entity, and it is a variable.
邏輯式 ? x ( M(x)→R(x) )
邏輯式重塑翻譯為“For all x, it is the case that, if x is a man, then x is rational.”
?
?
some用反E符號(hào)?表示
示范“Some men are clever”.
? x ( M(x) & C(x) )
用了&或∧符號(hào)表示“存在x既是人，又是聰明的！”
?
在此不能用→或V符號(hào)，? x ( C(x)→M(x) )表示“聰明的x都是人”不符合原句，也不符合現(xiàn)實(shí)基礎(chǔ)，AI機(jī)器挺聰明的，但不是人。
而? x ( M(x) V C(x))表示“There are some x is a man; there are some x is clever”
?
M(x)=John, Harry, Potty, 戴大師, 胡大師
C(x)=god, dogs, robots, Harry, Potty.
選取特定只能通過(guò)<交集>完成！
?
?
?
試試邏輯式上動(dòng)動(dòng)手術(shù)刀，
“All men are rational”, 否定命題為“并非所有人是聰明的”≡“存在至少一個(gè)人，他不是理性的”。
? x ( M(x)→R(x) ) ≡ ~? x ( M(x) → ~R(x) ).
設(shè)p, 則?p為? x ( M(x) → ~R(x) ).
?
勇士們，看懂了嗎？！
?
? x, P(x) ≡ ~? x, ~P(x)
~ ? x, P(x) ≡ ? x, ~P(x)
? x, P(x) ≡ ~ ? x, ~P(x)
~? x, P(x) ≡ ? x, ~P(x)
?
自己隨便舉一個(gè)正常的例子就能判斷對(duì)，自己推導(dǎo)！在表達(dá)式會(huì)使用的情況下，如果覺(jué)得難，就回高中重造數(shù)學(xué)邏輯學(xué)吧！
?
?
然后，All men are rational, and Socrates is a man.→Therefore, Socrates is rational.
推導(dǎo)式，如下：
? x ( M(x)→R(x) )
M(s).
∴R(s).
?
如圖，能畫(huà)個(gè)圓畫(huà)個(gè)圓！?。?/strong>
上可以看作T (s) 的不同語(yǔ)法表現(xiàn)！可以說(shuō)邏輯式不展現(xiàn)時(shí)態(tài)信息，也可以理解為the grammatical form does not affect the semantic predication of the sentence.
?
?
It形式主義不展現(xiàn)，如it is hot, 邏輯式為(H). 為no-place predication.
?
?
然后呢，更深入的研究已經(jīng)超出考研的范圍了！
?
