Generalized Quantifiers|廣義量詞:邏輯裡的「所有/存在」只是更大一整族量化方式中的兩個特例
WHAT 這是什麼
廣義量詞把傳統全稱與存在量詞擴張為更一般的量化結構,並成為邏輯與自然語言語義學共同使用的工具。
WHY HERE 為什麼屬於底域的世界
它提供從形式邏輯連到日常語言「多數、幾乎所有、恰好幾個」等量化表達的橋。
BLIND SPOT 補了哪一塊少看的視角
它不是單純增加幾個符號,而是改變我們對量詞本身類型與表達力的理解。
廣義量詞把傳統全稱與存在量詞擴張為更一般的量化結構,並成為邏輯與自然語言語義學共同使用的工具。
它提供從形式邏輯連到日常語言「多數、幾乎所有、恰好幾個」等量化表達的橋。
它不是單純增加幾個符號,而是改變我們對量詞本身類型與表達力的理解。