前面已提到,構作邏輯系統的一個主要目的是要形式化自然語言語句。然而,何謂形式化 (formalization)?
粗略而言,所謂形式化,其實就是把自然語言中的句子翻譯成人工語言的程式。籍此程式,我們可得以清楚窺見句子的邏輯結構,從而可使我們應用邏輯方法(如真值表)去判斷由它們構成的論証的對確性。
邏輯系統有許多種。不同的邏輯系統採用的人工語言也不同。例如,謂詞邏輯除包括語句邏輯的語彙外,還包括謂詞 (predicates),個體常項 (individual constants),及量詞 (quantifiers)等語。因此同一個語句通常可以多於一種方式形式化。在本導修課中,形式化只指把自然語言翻譯為SL語言的程式。
讓我們以一些例子說明形式化。考慮下面論証:
論証一:
[前提] 荔枝是甜的而檸檬是酸的。
[結論] 荔枝是甜的。
論証二:
[前提1] 無論政康的父母願意或否,政康將會長大成人。
[前提2] 當政康長大成人後,他將會常與他的父母爭論。
[結論] 政康將會常與他的父母爭論。
要形式化論證,我們先要寫出一個翻譯架式 (translation scheme):把語句字母與論証中的陳述互相配對。例一與二的翻譯架式可分別如下寫出:
翻譯架式:論証中的陳述被翻譯作某個語句字母後。它們將被視為同義。例如 'L' 與「荔枝是甜」的同義;'P' 與「政康將會長大成人」同義。
L:荔枝是甜的。
M:檸檬是酸的。
翻譯架式:
P:政康將會長大成人。
Q:政康將會和她的父母爭論。
論証一:
[前提] (L&M)
[結論] L
論証二:
[前提1] P
[前提2] (P→Q)
[結論] Q
也可以列式表達:
論証一:L&M ⊧ L形式化論証時須留意以下數點:
論証二:P,(P→Q) ⊧ Q
P Q ----- R |
(P→Q) R --------- Q |
(P→Q) R --------- S |
(P→Q) P --------- Q |
然而,形式化論証時我們必須盡可能揭示論証的邏輯結構以便使用邏輯方法判斷論証的對確性。以下原則可助達此目的:
由這原則我們得知在以上的論証形式中只有最未一個最接近原來論証的形式。
在翻譯中我們並沒理會「政康長大成人後。」與「政康將會長大成人。」的時態之別 (語句邏輯裡並沒有表達時態的符號。)。理由在於不作此區別也不會影響我們對該論證對確性的判斷。然而,有時時態的分別在形式化中卻不能不予理會,例如:
[前提1] 如果她三年後會和我結婚,她將會是我的第二個太太。這個論證是對確的,但若我們把它的結論改為「她是我的第二個太太。」,它就變成不對確。此外,以同一個語句字母翻譯「她將會是我的第二個太太。」和「她是我的第二個太太。」也是錯誤的(你現任的太太會令你明白)。
[前提2] 她三年後會和我結婚。
[結論] 她將會是我的第二個太太。
前面我們說過SL連詞與日常連接如下對應。
SL連詞 | 日常連詞 |
---|---|
~ | 「並非?,「不是」 |
& | 「與,「並且」 |
∨ | 「或(者)/(是)」 |
→ | 「如果… 則…」 |
↔ | 「當且僅當」 |
實際上,SL連詞還可用以翻譯許多的日常連詞。下面只列舉一些例子。
否定句 ~φ |
合取句 (φ&ψ) |
分取句 (φ∨ψ) |
條件句 (φ→ψ) |
雙條件句 (φ↔ψ) |
---|---|---|---|---|
並不是φ | φ 和 ψ。 φ 但 ψ。 雖然 φ,但/可是/然而 ψ。 φ,而且ψ。 φ,還有 ψ。 |
若不 φ/ψ,就 φ/ψ。 要不是 ψ/φ,就是φ/ψ。 |
φ 只當 ψ。 ψ 如果 φ。 假若 φ 則 ψ。 φ 對於 ψ 是充分的。 ψ 對於 φ是必要的。 |
φ 和 ψ 邏輯地對等。 φ/ψ 對於 ψ/φ 既是足夠的又是必要的。 |