分枝量词的语义解释及其本体论承诺.pdfVIP

逻辑学研究 2018 年第4 期，114–124 文章编号：1674-3202(2018)-04-0114-11 分枝量词的语义解释及其本体论承诺* 颜中军 湖南科技大学人文学院 yzjstudent@163.com 摘 要：经典逻辑恪守组合原则，假定量词之间相互依赖，致使前置的重叠量词之间 呈现线性特征，即域窄的存在量词受制于域宽的全称量词。如果考虑量词的独立性，允 许重叠量词之间具有某种偏序关系，那么将产生所谓的分枝量词。研究表明，我们不 仅可以在形式语言层面上构造分枝量化式（可行性），并且确实需要用分枝量化式来刻 画某些自然语句（必要性）。对分枝量化式做不同的语义解释将带来不同的形而上学后 果。如果将分枝量化式等价于某种类型的司寇伦函数式，那么将面临复杂的嵌套结构 并承诺相应的二阶语义实体。如果采用更为直观的博弈论语义学，那么可以避免直接 谈论二阶语义实体和使用复杂的嵌套结构。但无论采取何种解释方案，分枝量化式与 经典量化式都将面临相同的本体论承诺。因为逻辑公式的本体论承诺与其语义解释有