單調性推理

3. 單調性推理
3.1 基本定義

「單調性」(Monotonicity)是現代數學和邏輯學上很常見的概念，也是廣義量詞理論重點研究的量詞普遍性質之一。對於單調性，廣義量詞理論研究當量詞的論元被換成其「母集」(Superset)或「子集」(Subset)後，該量詞的真值條件有何變化。由於限定詞有左、右兩個論元，相應地也應有兩類單調性，下表給出「左單調性」的兩個次類的定義。在以下定義中，設Q為限定詞，A、A'、B和B'為集合。

1. 引言

「推理」在一般人心目中似乎是一種學術味很濃，專屬於某些「智者」的活動，但根據當代語義-語用學家的研究，「推理」其實是一般人日常語言中的必要元素。沒有「推理」，人們幾乎無法進行交談。在日常語言的各種推理中，有一種頗為特別的「梯級推理」(Scalar Reasoning)，以往較少人作系統研究，但卻是一種頗常見的推理，其應用涉及多個語言層面，本文將簡介這種推理。