- #1
nomadreid
Gold Member
- 1,670
- 204
- TL;DR Summary
- Given a complex Hilbert space, the set of closed subspaces under inclusion form an orthomodular lattice. But how to use this lattice to generate a lattice of truth values for propositions representing events is unclear to me.
One proposal that I have read (but cannot re-find the source, sorry) was to identify a truth value for a proposition (event) with the collection of closed subspaces in which the event had a probability of 1. But as I understand it, a Hilbert space is a framework which, unless trivial, keeps open the possibility of many values.
As well, if each such set of subspaces consisted of a single subspace, then I could imagine how to order (partial order) the collection of sets of subspaces, i.e., by the same order used to order the subspaces. But if there is more than one subspace in a set?
There are indeed sources on the internet which discuss this quantum logic, but the discussions of the assignments of truth values concentrate on the connectives (meet and join, orthocomplementation, <) , but if they discuss the basics of the lattice, it escapes me. I would be grateful for some clarification on the basics here.
As well, if each such set of subspaces consisted of a single subspace, then I could imagine how to order (partial order) the collection of sets of subspaces, i.e., by the same order used to order the subspaces. But if there is more than one subspace in a set?
There are indeed sources on the internet which discuss this quantum logic, but the discussions of the assignments of truth values concentrate on the connectives (meet and join, orthocomplementation, <) , but if they discuss the basics of the lattice, it escapes me. I would be grateful for some clarification on the basics here.