Generalized Quantifiers|廣義量詞:邏輯裡的「所有/存在」只是更大一整族量化方式中的兩個特例

2026-09-10 Global / English Stanford Encyclopedia of Philosophy 查看原文 ↗
WHAT 這是什麼

廣義量詞把傳統全稱與存在量詞擴張為更一般的量化結構,並成為邏輯與自然語言語義學共同使用的工具。

WHY HERE 為什麼屬於底域的世界

它提供從形式邏輯連到日常語言「多數、幾乎所有、恰好幾個」等量化表達的橋。

BLIND SPOT 補了哪一塊少看的視角

它不是單純增加幾個符號,而是改變我們對量詞本身類型與表達力的理解。

← SIGNALS MY SIGNALS 0 查看原文 ↗
邏輯量詞語義學語言形式系統