在逻辑上,全称量化要求量化域内的所有成员都能够满足谓词指代的命题函数。汉语副词"都"是否是全称量化词,目前学界尚持不同意见。文章就"都"作为全称量化词存在的问题进行梳理,认为"都"是典型的表示全称意义的逻辑算子,它对其量化域内的所有成员进行穷尽操作。"都"遵循禁止双重约束原则,只能约束一个变量。被"都"约束的变量可以是简单变量(包括"每NP/所有NP"),也可以是多个简单变量组合成的复合变量。