Quantifications, existence-entailing predicates and existential import

本项目旨在强调和捍卫一种被忽视的可能性，以说明量化的存在意义。为此，我们的目标是开发一种新的多领域世界语义学，它允许我们形式化地表示存在蕴涵、非存在蕴涵和存在中性谓词之间的区别，并使用存在中性或适应性解释所涉及的量词。我们的解释具有深远的影响，涉及各种主题，如存在的性质，超内涵修饰语的分析，量化域的外延解释与内涵解释之间的选择，多领域逻辑框架的一般用途，以及内涵语义学中量词的可变和恒定领域框架的优缺点。

This project aims to highlight and defend an overlooked possibility to account for the existential import of quantifications. For this purpose, we aim to develop a new multiple-domain world semantics, which allows us to formally represent the distinction between existence-entailing, non-existence-entailing and existential neutral predicates and makes either use of an existentially neutral or adaptive interpretation of the involved quantifiers. Our account has far-reaching consequences that concern a variety of topics such as the nature of existence, the analysis of hyper-intensional modifiers, the choice between extensional vs. intensional interpretations of the domain of quantifications, the general usefulness of multiple-domain logical frameworks, and advantages and disadvantages of variable and constant domain frameworks for quantifiers within intensional semantics.