Abstract
In this paper, we develop the foundation of a new mathematical language, which we term “Soft Logic”. This language enables us to present an extension of the number 0 from a singular point to a continuous line. We create a distinction between −0 and +0 and generate a new type of numbers, which we call ‘Bridge Numbers’ (BN):
where a, b are real numbers, “a” is the value on the \(\overline {\bf{0}} \) axis, and “b” is the value on the \(\overline {\bf{1}} \) axis. We proceed by defining arithmetic and algebraic operations on the Bridge Numbers, investigate their properties, and conclude by defining goals for further research. In the Attachment, we continue comparing our results with existing mathematical work on Infinitesimals, Dual numbers, and Nonstandard analysis. The research is a part of “Digital living 2030” project with Stanford University.
Similar content being viewed by others
References
W. Clifford, “Preliminary sketch of Bi-quaternions,” Proc. London Math. Soc. 4, 381–95 (1873).
M. Dascal (Ed.), Leibniz: What Kind of Rationalist? Logic, Epistemology, and the Unity of Science, 13 (Springer, Netherlands, 2008).
A. Khrennikov, Information Dynamics in Cognitive, Psychological, Social, and Anomalous Phenomena, Theories of Physics (Kluwer, Dordreht, 2004).
A. Khrennikov, “Interpretations of probability and their p-adic extension,” Theory Probab. Appl. 46(2), 312–325 (2001).
M. Klein and O. Maimon, “The mathematics of soft logic,” IOP Second International Conference on Mechanical Engineering and Automation Science (Singapore, 13–15 October 2016).
M. Klein and O. Maimon, “Developing soft logic in kindergarten,” to be published at Literature and Arts Review, ISSN 2517–9446, USA (2019).
M. Klein and O. Maimon, Soft Logic and Soft Numbers, Pragmatics & Cognition (John Benjamins Publishing Company, 2016).
Y. Landsberg, A Course in Mind-Bending And/Vs. Mind-Binding, Personal Notes (2018).
A. Robinson, Non-Standard Analysis (Princeton University Press, 1974).
E. Study, Geometrie der Dynamen (Leibzig, 1903).
Author information
Authors and Affiliations
Corresponding authors
Additional information
The text was submitted by the authors in English.
Funding
This paper was supported by the Koret foundation grant for Smart Cities and the Digital Living 2030.
Rights and permissions
About this article
Cite this article
Klein, M., Maimon, O. Axioms of Soft Logic. P-Adic Num Ultrametr Anal Appl 11, 205–215 (2019). https://doi.org/10.1134/S2070046619030038
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S2070046619030038