广义量词单调性推理的拓展.PDFVIP

廣義量詞單調性推理的拓展 周家發 ［摘 要］在經典的廣義量詞理論之下，1,1 型廣義量詞被看成以兩個集合作為論元 的真值函項 ，而單調性則是關於把廣義量詞的論元換成其真母集或真子集後對廣義量 詞真值條件的影響。本文把上述經典概念加以推廣，把1,1 型廣義量詞重新理解為由 集合有序偶組成的集合，並發掘出新型的單調性推理，即 「以廣義量詞作為其他廣義量 詞論元的單調性推理 」，以及「以廣義量詞作為命題聯結詞論元的單調性推理 」，大大拓 展了單調性推理的範圍。 ［關鍵詞 ］廣義量詞；廣義量詞理論；單調性推理；三分結構；命題聯結詞 一、廣義量詞理論 傳統邏輯只研究兩個量詞(quantifier) － 「全稱量詞」和 「存在量 詞 」的邏輯性質，當代的 「廣義量詞理論 」(Generalized Quantifier Theory)則把研究範圍從傳統的「量詞」擴充為「廣義量詞」(generalized quantifier) 1 ，並且廣泛採用現代數學和數理邏輯的知識來研究廣義量 2 詞 。此外，亦有一些學者把廣義量詞理論應用於自然語言語義和推 3 4 理的研究 ，我國學者亦把這套理論應用於漢語語義和推理的研究 。 廣義量詞可分為多種類型，其中以1,1 型廣義量詞最為重要(例 子如 「所有 」、「至少八成」、「大多數」等) 。廣義量詞是以集合作為 「論元 」(argument) 的 「真值函項」(truth function)( 又可稱 「算子 」 operator) 。廣義量詞理論的學者設計了一種用數字表達廣義量詞類型 5 的方法 ，這種方法用數字 「1 」代表集合，那麼1,1 型廣義量詞就  本文內容現載於本人的博士論文 Inferential Patterns of Generalized Quantifiers and their Applications to Scalar Reasoning ，如欲引用本文內容，請註明出處。 1 Mostowski, A., “On a generalization of quantifiers”, Fundamenta Mathematicae , Vol. 44, 1957, pp. 12 – 36. 2 Keenan, E.L. and Westerstahl, D.,. “Generalized Quantifiers in Linguistics and Logic”, van Benthem, J. and ter Meulen, eds., Handbook of Logic and Language , Amsterdam: Elsevier Science, 1997, pp. 837-893. 3 Barwise, J. and Cooper, R., “Generalized quantifiers and natural language”, Linguistics and Philosophy 4, 1981, pp. 159-219; van Benthem, J., “Quantifiers and Inference”, Krynicki, M. et al eds., Quantifiers: Logic, Models and Computation, Vol. II, 1995, pp. 1 – 20. 4 鄒崇理：《邏輯、語言和信息》，北京：人民出版社，2002 年 ；蔣嚴、潘海華：《形式語義學引 論(第二版) 》，北京：中國社會科學出版社，2005 年。 5 Lindström, P., “First Order Predicate Logic with Generalized Quantifiers”, Theoria, 32, 1966, pp. 186 – 195. · 1 · 是以兩個集合作為論元的真值函項，這兩個論元可分別稱為「左論元」 和 「右論元」。為了突出1,1 型廣義量詞的上述結構，以下把