The Leibniz principle in quantum logic
- Cite this article as:
- Giuntini, R. & Mittelstaedt, P. Int J Theor Phys (1989) 28: 159. doi:10.1007/BF00669807
The principle of the “identity of indiscernibles” (Leibniz Principle) is investigated within the framework of the formal language of quantum physics, which is given by an orthomodular lattice. We show that the validity of this principle is based on very strong preconditions (concerning the existence of convenient predicates) which are given in the language of classical physics but which cannot be fulfilled in orthomodular quantum logic.