Abstract
This chapter establishes the philosophical-mathematical foundation of Soft logic. We briefly describe Immanuel Kant’s epistemology (Kant 1838), which was revolutionary for its time, especially for his critical distinction between the world of phenomena that our senses perceive and the world as it is in itself, the things as they stand outside the faculties of our consciousness. This distinction in Kant’s epistemological theory entails difficulties which were recognized by Salomon Maimon’s critique of Kant in his “Essay on Transcendental Philosophy” (Maimon 1790/2010). Maimon was a Jewish philosopher who developed the theory of metaphysical infinitesimals, arguing that the world is embodied by human consciousness in infinitely small sizes. Furthermore, we will present a tangible model of the infinitesimal world by distinguishing between the various multiples of the number zero. We conclude this chapter with a survey of the evolution of numbers and the development of the world of infinitesimals in mathematics (Ehrlich 2018).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adamson, D.: Blaise Pascal: Mathematician, Physicist, and Thinker About God. Palgrave Macmillan, Basingstoke (1995)
Álvarez, M.J., Ferragut, A., Jarque, X.: A survey on the blow-up technique. Int. J. Bifurcation Chaos. 21, 3103–3118 (2011)
Bell, J.A.: A Primer of Infinitesimal Analysis. Cambridge University Press (2008)
Clifford, W.: Preliminary sketch of bi-quaternions. Proc. Lond. Math. Soc. 4, 381–395 (1873)
Dascal, M.: Leibniz’s two-pronged dialectic. In: Dascal, M. (ed.) Leibniz: What Kind of Rationalist? Epistemology, and the Unity of Science, pp. 37–72. Springer, Berlin/Heidelberg/London (2008)
Datta, P.K.: National mathematics year: a tribute to Srinivasa Ramanujan. Sci. Cult. 79(3–4), 158–162 (2013)
Ehrlich, P.: Contemporary infinitesimals theories of continua and their late 19th- and early 20th-century forerunners. (2018). https://doi.org/10.48550/ar**v.1808.03345
Kant, I.: The Critick of Pure Reason, Trans. Haywood F. William Pick, London (1838)
Klein, M., Maimon, O.: Soft logic and soft numbers. Pragmat. Cogn. 23(3), 473–484 (2016a). https://doi.org/10.1075/pc.23.3.09kle
Klein, M., Maimon, O.: The mathematics of Soft logic. In: Paper presented at the IOP Second International Conference on Mechanical Engineering and Automation Science, Singapore, October 13–15 (2016b)
Klein, M., Maimon, O.: Axioms of Soft logic. P-Adic Numbers Ultrametric Anal. Appl. 11(3), 205–215 (2019). https://doi.org/10.1134/S2070046619030038
Klein, M., Maimon, O.: The dynamics in the Soft numbers coordinate system. J. Adv. Math. 18, 1–17 (2020). https://doi.org/10.24297/jam.v18i.8531
Klein, M., Maimon, O.: Fundamentals of Soft logic. New Math. Nat. Comput. 17(3), 703–737 (2021). https://doi.org/10.1142/S1793005721500356
Maimon, S.: Essay on Transcendental Philosophy, Trans. Midgley N., Somers-Hall H., Welchman A., and Reglitz M. Continuum, London (1790/2010)
Rapaport, D.: Klein bottle logophysics: a unified principle for non-linear systems, cosmology, geophysics, biology, biomechanics, and perception. J. Phys. Conf. Ser. 437 (2013). https://doi.org/10.1088/1742-6596/437/1/012024
Robinson, A.: Non-Standard Analysis. Princeton University Press (1974)
Starostin, E., Van Der Heijden, G.: The shape of a Möbius strip. Nat. Mater. 6, 563–567 (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Klein, M., Maimon, O. (2024). Philosophical and Mathematical Background. In: Foundations of Soft Logic. Springer, Cham. https://doi.org/10.1007/978-3-031-58233-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-58233-2_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-58232-5
Online ISBN: 978-3-031-58233-2
eBook Packages: Computer ScienceComputer Science (R0)