Quantifications, existence-entailing predicates and existential import

量化、存在蕴涵谓词和存在导入

• 批准号: 464463954
• 负责人: Professor Dr. Dolf Rami
• 金额: --
• 依托单位: The Graduate Center
• 依托单位国家: 德国
• 项目类别: Research Grants
• 资助国家: 德国
• 项目状态: 未结题
• 来源: https://gepris.dfg.de/gepris/projekt/464463954?language=en
• 关键词: Quantifications; existence; entailing; predicates; existential

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.

这个项目的目的是强调和捍卫一个被忽视的可能性，占存在的进口量化。为此，我们的目标是开发一个新的多域世界语义学，它使我们能够正式表示存在蕴涵，不存在蕴涵和存在中性谓词之间的区别，并使用存在中性或自适应解释所涉及的量词。 我们的解释具有深远的影响，涉及各种主题，如存在的性质，超内涵修饰语的分析，量化域的外延与内涵解释之间的选择，多域逻辑框架的一般用途，以及内涵语义中量词的变量和常量域框架的优点和缺点。