量化词辖域

量化词辖域（quantifier scope），文学-语言文字-语义学-量化-量化词辖域，量化词所管辖的开放命题。常常涉及辖域歧义概念，即开放命题存在多种解读的可能。比如①中，全称量化词every所管辖的开放命题为student x studies（即学生x学习），every所贡献的全称量化算子约束开放命题中的变量x，要求x的每一个赋值都能使命题student x studies为真。①的逻辑表达式如②所示。②的a为命题逻辑（propositional logic）下的全称量化式；在谓词逻辑框架下，开放命题student x studies可以被继续拆分为两个子命题所构成的条件式student(x)→study(x)（即如果x是学生，那么x学习）（见②的b中的表达式）。②的b中的全称量化算子依然约束变量x，要求x的每一个赋值都使其辖域内的条件式成立。②的c中，开放命题则被分解为两部分，即限定域和核心域，限定域student(x)对应量化词的量化对象，即表示①中的量化对象为学生的集合；而核心域则对应量化词需要量化对象所满足的条件，即要求学生中的每一员都具有学习这一属性。