Analysis of Physical Systems with Paraconsistent Annotated Logic: Introducing the Paraquantum Gamma Factor γ<sub>ψ</sub>
- 1
Abstract
In this paper we use a non-classical logic called ParaQuantum Logic (PQL) which is based on the foundations of the Paraconsistent Annotated logic with annotation of two values (PAL2v). The formalizations of the PQL concepts, which is represented by a lattice with four vertices, leads us to consider Paraquantum logical states ψ which are propagated by means of variations of the evidence Degrees extracted from measurements performed on the Observable Variables of the physical world. In this work we introduce the Paraquantum Gamma Factor γ<sub>Pψ</sub> which is an expansion factor on the PQL lattice that act in the physical world and is correlated with the Paraquantum Factor of quantization h<sub>ψ</sub> whose value is associated with a special logical state on the lattice which is identified with the Planck constant h. Our studies show that the behavior of the Paraquantum Gamma Factor γ<sub>Pψ</sub>, at the time of reading the evidence Degrees through measurements of the Observable Variables in the physical world, is identical to that one of the Lorentz Factor γ used in the relativity theory. In the final part of this paper we present results about studies of expansion and contraction of the Paraquantum Logical Model which correlate the factors γ<sub>Pψ</sub>, and γ. By applying these correlation factors, the lattice of the PQL suitable for the universe understudy can be contracted or expanded, allowing the quantization model to cover the several study fields of physics.
- N. C. A. Da Costa and D. Marconi, “An Overview of Para- consistent Logic in the 80’s,” The Journal of Non- Classical Logic, Vol. 6, No. 1, 1989, pp. 5-32.
- D. Krause and O, Bueno, “Scientific Theories, Models, and the Semantic Approach,” Principia, NEL—Episte- mology and Logic Research Group, Federal University of Santa Catarina (UFSC), Santa Catarina, 2007, pp. 187- 201.
- N. C. A. Da Costa, V. S. Subrahmanian and C. Vago, “The Paraconsistent Logic PJ,” Mathematical Logic Quar- terly, Vol. 37, No. 9-12, 1991, pp. 139-148. doi:10.1002/malq.19910370903
- J. I. Da Silva Fiho, G. Lambert-Torres and J. M. Abe, “Uncertainty Treatment Using Paraconsistent Logic: Introducing Paraconsistent Artificial Neural Networks,” IOS Press, Amsterdam, 2010, p. 328.
- J. I. Da Silva Filho, A. Rocco, A. S. Onuki, L. F. P. Fer- rara and J. M. Camargo, “Electric Power Systems Con- tingencies Analysis by Paraconsistent Logic Applica- tion,” International Conference on Intelligent Systems Applications to Power Systems, Toki Messe, 5-8 November 2007, pp. 1-6. doi:10.1109/ISAP.2007.4441603
- J. I. Da Silva Filho, A. Rocco, M. C. Mario and L. F. P. Ferrara, “PES-Paraconsistent Expert System: A Computational Program for Support in Re-Establishment of the Electric Transmission Systems,” Proceedings of VI Congress of Logic Applied to Technology, Santos, 21-23 November 2007, p. 217.
- J. I. Da Silva Filho, A. Rocco, M. C. Mario and L. F. P. Ferrara, “Annotated Paraconsistent Logic Applied to an Expert System Dedicated for Supporting in an Electric Power Transmission Systems Re-Establishment,” 2006 IEEE PES on Power Systems Conference and Exposition, Atlanta, October 29 2006-November 1 2006, pp. 2212- 2220.
- P. A. Tipler and A. Llewellyn, “Modern Physics,” 5th Edition, W. H. Freeman and Company, New York, 2007.
- J. M. Abe and J. I. Da Silva Filho, “Inconsistency and Electronic Circuits,” In: E. Alpaydin, Ed., Proceedings of EIS’98 International ICSC Symposium on Engineering of Intelligent Systems, Vol. 3, 1998, pp. 191-197.
- N. C. A. Da Costa, “On the Theory of Inconsistent Formal Systems,” Notre Dame Journal of Formal Logic, Vol. 15, No. 4, 1974, pp. 497-510. doi:10.1305/ndjfl/1093891487
- J. I. Da Silva Filho and A. Rocco, “Power Systems Outage Possibilities Analysis by Paraconsistent Logic,” 2008 IEEE Power and Energy Society General Meeting: Conversion and Delivery of Electrical Energy in the 21st Century, Pittsburgh, 20-24 July 2008, pp. 1-6.