IF一阶逻辑视域下的量词与量化观念

IF一阶逻辑及博弈论语义学比标准一阶逻辑及塔斯基语义学更加充分、更加动态和更加精细地刻画了量词之间的依赖关系。把量词视为一类选择函数,利用玩家之间的信息依赖来建模量词之间的函数依赖,严格区分约束辖域与优先辖域,为我们提供了一套全新的量化理论。但是,IF一阶逻辑及博弈论语义学并不意味着必须放弃组合原则。只要适当改变博弈方式,采用团队赋值博弈,那么组合原则又可得以复活。所以,应该正确看待IF一阶逻辑带来的“变革”与挑战。