IF一阶逻辑视域下的量词与量化观念
The Notion of Quantifiers and Quantification in IF First-Order Logic
颜中军1
作者信息
摘要
IF一阶逻辑及博弈论语义学比标准一阶逻辑及塔斯基语义学更加充分、更加动态和更加精细地刻画了量词之间的依赖关系.把量词视为一类选择函数,利用玩家之间的信息依赖来建模量词之间的函数依赖,严格区分约束辖域与优先辖域,为我们提供了一套全新的量化理论.但是,IF一阶逻辑及博弈论语义学并不意味着必须放弃组合原则.只要适当改变博弈方式,采用团队赋值博弈,那么组合原则又可得以复活.所以,应该正确看待IF一阶逻辑带来的"变革"与挑战.
Abstract
Compared with standard first-order logic and Tarskian semantics,IF first-order logic and game-theoretical semantics described the dependencies relationship between quantifiers more fully,dynamically and finely.Quantifier is regarded as a kind of choice function.The information dependencies between players are used to model the functional dependencies between quantifiers.It strictly distinguishes the binding scope from the priority scope and provides us with a new quantification theory.However,IF first-order logic and game-theoretic semantics do not imply that the principle of compositionality must be abandoned.If the game mode is changed appropriately and the team assignment game is adopted,then the principle of compositionality can be revived.Therefore,the"revolution"and challenge brought by IF first-order logic should be viewed correctly.
关键词
IF一阶逻辑/博弈论语义学/量词依赖/选择函数/组合原则Key words
IF first-order logic/game-theoretical semantics/the dependence of quantifiers/choice function/principle of compositionality引用本文复制引用
基金项目
国家社科基金重大项目(20&ZD046)
湖南省教育厅优秀青年项目(20B234)
出版年
2024
NETL
NSTL
万方数据