[學誌] Kahane: (Elementary) Logic. Ch.7

7.1 個體 (individual) 與性質 (property)：

個體：常數用小寫 a~ d、變數用小寫 u~z 表示。
　　　　　constant　　　　 variable
性質：大寫字母；分作單個體性質與多個體性質 (關係性質)。
　　　　　　　　　　　　monadic　　 n-place　　 relational
7.2 量限詞：全稱量限詞 (x)Px；存在量限詞 (Ξx)Px。
　　　　　　universal　　　　 existential
未定變數：未落於量限詞範圍內的個體變數；限定變數相反。
　　free　　　　　　　　　　　　　　　　　　bound
界域 (domain): 量限詞的對象所構成的集合；決定語句的真值。

7.3 全稱量限詞：兩個性質間用「蘊含」連接。attributive use

7.4 存在量限詞：兩個性質間用「並且」連接。refering use
　　兩種量限詞對象的連接詞相異的原因課本寫得稍微模糊，念語言哲學可能比較清楚。
7.6 這是 Aristotle 早在兩千多年前弄的東西，歷史意義大於哲學意義...

7.7 常見陷阱：某些看似存在量限其實是全稱。這從我說的兩種 use 可以輕易區分。
　　　　　　　Ex: a, one, only...這本課本好像沒提及切確數量的表達方式。
7.8 擴充：理解量限詞的好方法；存在量限用「抑或」、全稱用「並且」連接個例。