Opaque predicates, veiled sets and their logic

Details Opaque predicates, veiled sets and their logic Opaque predicates, veiled sets and their logic

1998-10-29

arxiv.org/abs/quant-ph/9810090v1

Physics

Quantum Physics

Latex2e, no fiugures

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Opaque predicates, veiled sets and their logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Opaque predicates, veiled sets and their logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Opaque predicates, veiled sets and their logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-17846