试论逻辑词的辖域问题.pdfVIP

西 南 民族学 院学报 ( 哲学 社会科学版 ) 一 九九一年第六 期 试 论 逻 辑 词 的 辖 域 问 题 袁正 校 何 向东 从 现代 逻 辑 的角度看, 逻辑 词 就 是进 行 逻 辑 演算 或操 作 的运 算子 ( 简 称算 子) 或 操 作子 o( Pe r a t o r ) , 或 者 说 是一类 特 殊 的 函子 ( f u nc t o r ) 。 逻 辑运 算或操 作总 是有 运 算 对 象 或 。 操 作对 象 的, 总是 由运 算子 或 操 作子 作 用于变 元上进 行 的 这 就 产生 了逻辑 词 的作 用域或辖 域 问 题。 ¹一 般 地讲 , 一个 逻 辑词 的辖 域 , 就 是该 逻辑 词支 配 或 作 用、 管辖 或 约束 的语 言表 达 。 代 角 , 一 公 , 一 子 子 用 的 式 从现 逻 辑 的 度讲 在 个 式 中 个逻 辑 算 的辖 域就 是该 算 作 到 变 元 , 换 句 话讲 , 就 是该 算 子进 行演 算或 操 作 的变 元, 因此, 辖 域 也 称 为 运 算 域 或 操 作 子 。 。 e r a n 。 , ( p d ) 逻 辑词 及其 作用 到 的种 种变 元 构 成 了各种 语句 的逻 辑 形式 一个语 句 的逻 , , 正 词 。 此, 词 辑性 质 它 和其他 语 句 的逻 辑关 系 是 由逻 辑 及辖 域共 同决 定 的 因 逻辑 的辖 域 、 问题, 是 形式 逻 辑的 一个 极为 重 要 的 甚至 可 以说是 一个 带 根本性 的 门题。 。 逻 辑 词 的辖 域 问题 在逻 辑史 上 曾产生 过 种种 困惑 和迷乱