构造有效关系三段论的两种方法-IndexPage.PDFVIP

2012 年全国现代逻辑学术研讨会 ∗∗ 构造构造 有效有效 关系关系 三段三段 论的论的 两种两种 方法方法 ∗∗ 构造构造 有效有效 关系关系 三段三段 论的论的 两种两种 方法方法 周 家 发 kfzhouy@ 香 港 理 工 大 学 摘摘 要要 ：： 摘摘 要要 ：： 本 文 采 用 广 义 量 词 理 论 的 框 架 ，介 绍 两 种 构 造 有 效 关 系三 段 论 的 方 法 —直 接 代 入 法 和 内 嵌 三 段 论 法 ，并 把 这 两 种 方 法 先 后 应 用 于 包 含 一 般 二 元 谓 词 (在 自 然 语 言 中 一 般 表 现 为 及 物 动 词 ) 和 具 有 传 递 性 、非 对 称 性 和 反 传 递 性 的 二 元 谓 词 ( 在 自 然 语 言 中 表 现 为 比 较 级 形 容 词 ) 的 关 系三 段 论 。 本 文 亦 以 实 例 显 示 上 述 两 种 方 法 也 可 用 来 推 导 直 接 推 理 。 关关 键键 词词 ：： 关 系三 段 论 、 广 义 量 词 理 论 、 直 接 代 入 法 、 内 嵌 三 段 论 法 、 关关 键键 词词 ：： 直 接 推 理 1. 引引 言言 引引 言言 自 从 现 代 数 理 逻 辑 兴 起 后 ， 三 段 论 丧 失 了 以 往 在 传 统 逻 辑 学 中 的 首 要 地 位 。但 由 上 世 纪 下 半 叶 开 始 ，三 段 论 重 新 引 起 部 分 学 者 的 兴 趣 。这 些 学 者 的 一 个 研 究 方 向 是 把 一 些 新 元 素 注 入 传 统 三 段 论 的 框 架 中 ，这 些 新 元 素 包 括 ：数 值 量 词 (Murphree (1991, 1998) 、Pratt-Hartmann (2008)) 、 模 糊 量 词 (Zadeh (1983) 、Peterson (2000)) 、 二 元 谓 词 (Keene (1969) 、 Thom (1977) 、 Sommers and Englebretsen (2000) 、 Pratt-Hartmann and Moss (2009) 、Moss (2010, 2011) 、van Rooij (2011)) 等 ， 其 中 包 含 二 元 ( 或 更 高 元 ) 谓 词 的 三 段 论 又 称 为 “ 关 系三 段 论 ”(relational syllogism) 。 在 自 然 语 言 中 ，二 元 谓 词 常 常 表 现 为 及 物 动 词 或 比 较 级 形 容 词 ， 因 此 “ 关 系三 段 论 ” 是 指 在 前 提 和 结 论 中 至 少 有 一 个 命 题 包 含 及 物 动 词 或 比 较 级 形 容 词 的 三 段 论 ， 有 别 于 前 提 和 结 论 都 只 包 含 一 元 谓 词 ( 在 自 然 语 言 中 表 现 为 不 及 物 动 词 、 谓 语 形 容 词 、 谓 语 名 词 ) 的 “ 简 单 三 段 论 ”(simple syllogism) 。 本 文 采 用 当 代 “ 广 义 量 词 理 论 ”(Generalized Quantifier Theory) 的 框 架 ，把 含 有 宾 语 或 关 系从 句 的 命 题 表 达 为 “迭 代 量 词 ”(iterated quantifier) ，有 关 迭 代 量 词 的 定 义 参 见 广 义 量 词 理 论 的 文 献 (例 如 Peters and Westerståhl (2006)) 。 为 清 晰 表 示 量 化 命 题 的 论 元 结 构 ， 本 文 采 用 Keenan (20