Undulatory Theory with Paraconsistent Logic (Part I): Quantum Logical Model with Two Wave Functions
- 1 Laboratory of Applied Paraconsistent Logic, Santa Cecilia University, Santos, Brazil
Abstract
Paraconsistent logic (PL) is a non-classical logic that accepts contradiction in its foundations. It can be represented in the form of paraconsistent annotated logic with annotation of two values (PAL2v). When used to model quantum phenomena, PAL2v is called paraquantum logic (PQL). In this work, the concept of PQL is applied to create a logical model presenting the fundamental principles of quantum mechanics that support particle-wave theory. This study uses the well-known Young’s double-slit experiment, wherein quantum phenomena appear when a monochromatic light beam passes through the two slits. We focused on a reference point located between the slits, where we observed the effects of two types of wave interferences in a region defined as a two-wave region (2W region). Considering that the effect in this 2W region is very similar to that studied by Huygens, we adopt a paraquantum logical model in which a particle (or quantum) is represented by two wave functions. The two wave functions result in four State Vectors (Ket, Bra, , ) in the PQL Lattice that express the symmetry and the entanglement of Quantum Mechanics. The constructed model adapts well to the quantum phenomena, is strongly consistent, and can be considered as an innovative form of analysis in the field of quantum mechanics. Based on this model, we present in two parts (Part I and Part II) the comparative analysis of values found in Schr Ö dinger’s equation and probabilistic models of wave-particle theory using Bonferroni inequality.
- Faraday, M. (1831) On the Forms and States of Uids on Vibrating Elastic Surfaces. Philosophical Transactions of the Royal Society London, 52, 299-340. http://dx.doi.org/10.1098/rstl.1831.0018
- Barr, E.S. (1963) Men and Milestones in Optics II. Thomas Young. Applied Optics, 2, 639-647. http://dx.doi.org/10.1364/AO.2.000639
- Griffiths, D. (1995) Introduction to Quantum Mechanics. Prentice Hall, Upper Saddle River, New Jersey.
- Sakurai, J.J. (1994) Modern Quantum Mechanics. Revised Edition, Addison-Wesley Publishing Company, Reading, MA.
- Da Costa, N.C.A. (1974) On the Theory of Inconsistent Formal Systems Notre Dame. Journal of Formal Logic, 15, 497-510. http://dx.doi.org/10.1305/ndjfl/1093891487
- Blair, A.H. and Subrahmanian, V.S. (1987) Paraconsistent Logic Programming. 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Pune, 17-19 December 1987, 340-360. http://dx.doi.org/10.1007/3-540-18625-5_59
- Da Costa, N.C.A., Subrahmanian, V.S. and Vago, C. (1991) The Paraconsistent Logic PJ. Mathematical Logic Quarterly, 37, 139-148. http://dx.doi.org/10.1002/malq.19910370903
- Da Silva Fiho, J.I., Lambert-Torres, G. and Abe, J.M. (2010) Uncertainty Treatment Using Paraconsistent Logic: Introducing Paraconsistent Artificial Neural Networks. IOS Press, Amsterdam, 328.
- Qureshi, T. (2012) Modified Two-Slit Experiments and Complementarity. Journal of Quantum Information Science, 2, 35-40. http://dx.doi.org/10.4236/jqis.2012.22007
- Da Silva Filho, J.I. (2011) Algorithms Based on Paraconsistent Annotated Logic for Applications in Expert Systems. In: Segura, J.M. and Reiter A.C., Eds., Expert System Software: Engineering, Advantages and Applications, Nova Science Publishers, Hauppauge, 1-40.
- Da Silva Filho, J.I. (2014) An Introduction to Paraconsistent Integral Differential Calculus: With Application Examples. Applied Mathematics, 5, 949-962. http://dx.doi.org/10.4236/am.2014.56090
- Da Silva Filho, J.I. (2011) Paraconsistent Annotated Logic in Analysis of Physical Systems: Introducing the Paraquantum Factor of Quantization hψ. Journal of Modern Physics, 2, 1397-1409. http://dx.doi.org/10.4236/jmp.2011.211172
- Da Silva Filho, J.I. (2011) Analysis of Physical Systems with Paraconsistent Annotated Logic: Introducing the Paraquantum Gamma Factor γψ. Journal of Modern Physics, 2, 1455-1469. http://dx.doi.org/10.4236/jmp.2011.212180