错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Truthmaker Semantics, Ground, and Generality

  • Kit Fine,
  • Louis de Rosset

摘要

Our aim in this paper is to extend the semantics for the kind of logic of ground developed in deRosset and Fine (2023). In that paper, the authors very briefly suggested a way of treating universal and existential quantification over a fixed domain of objects. Here we explore some options for extending the treatment to allow for a variable domain of individuals.