One of the most challenging and fascinating issue in mathematical and theoretical physics concerns the possibility of identifying the logic underlying the so-called quantum universe, i.e., Quantum Mechanics and Quantum Gravity. Besides the sheer difficulty of the problem, inherent in the actual formulation of Quantum Mechanics—and especially of Quantum Gravity—to be used for such a task, a crucial aspect lies in the identification of the appropriate axiomatic logical proposition calculus to be associated to such theories. In this paper the issue (...) of the validity of the conventional principle of non-contradiction is called into question and is investigated in the context of non-relativistic Quantum Mechanics. In the same framework a modified form of the principle, denoted as 3-way PNC is shown to apply, which relates the axioms of quantum logic with the physical requirements placed by the Heisenberg Indeterminacy Principle. (shrink)