不透明谓词、隐含集合及其逻辑
Opaque predicates, veiled sets and their logic
摘要：
出于对量子力学基础的考虑和对模糊谓词文献的启发，我们引入了不透明谓词的概念。在模糊谓词的情况下，关于谓词有一种不确定性，在这个意义上，不确定性涉及一个明确确定的对象是否满足它，而在不透明谓词的情况下，不确定性是关于应该满足它们的对象。换句话说，尽管对象满足谓词的条件是众所周知的，但它们的扩展并没有很好地定义。我们建议，这种不透明的谓词（更一般地说，我们称之为不透明的关系）可以由一个逻辑，其中包括一个语义建立在准集理论，并呼吁他们的扩展面纱集。
英文摘要：
Motivated by considerations in the foundations of quantum mechanics and inspired by the literature on vague predicates, we introduce the concept of an opaque predicate. While in the case of vague predicates there is a kind of indeterminacy with respect to the predicate, in the sense that the vagueness concerns whether a well-determined object satisfies it or not, in the case of opaque predicates the indeterminacy is with regard to the objects which should satisfy them. In other words, their extensions are not well-defined, despite the fact that the conditions for an object to satisfy the predicates are well-known. We suggest that such opaque predicates (and more generally, what we call opaque relations) can be characterized by a logic which encompasses a semantics founded in quasi-set theory, and call their extensions veiled sets.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
