Final Comments and Conclusion

Let us start this concluding chapter by recapitulating the discussion of the preceding chapters. We started out talking about the skeleton and followed a reverse course to arrive at the skeleton. We then added the maximum possible laws, those that define Boolean algebras as they relate to the propositional calculus model of the usual treatises, which is possibly the best-known Boolean algebra. Next, some laws were suppressed from the Boolean structure to enter the broader domain of ortho-lattices in connection with one of its types, so-called ortho-modular lattices, which allowed us to represent the typical reasoning of quantum physics where statements, in principle precise, are not free of uncertainty. However, just as Boolean algebras are the undisputed model of reasoning without uncertainty and with precise concepts, ortho-modular lattices are not the only model used to study quantum reasoning.