Using Transition Systems to Formalize Ideas from Vedānta

Krishnan, Padmanabhan

doi:10.2478/sh-2023-0011

Abstract

Vedānta is one of the oldest philosophical systems. While there are many detailed commentaries on Vedānta, there are very few mathematical descriptions of the different concepts developed there. This article shows how ideas from theoretical computer science can be used to explain Vedānta. The standard ideas of transition systems and modal logic are used to develop a formal description for the different ideas in Vedānta. The generality of the formalism is illustrated via a number of examples including saṃsāra, Patañjali’s Yogasūtras, karma, the three avasthās from the Māṇḍūkya Upaniṣad and the key difference between advaita and dvaita in relation to mokṣa.

References

Abhedananda, S. An introduction to the philosophy of the Panchadashi, 1948.
Search in Google Scholar Back to article
Ansari, A. A. The Ethical Philosophy of Yoga Vasishtha. PhD thesis, Aligarh Muslim University. 2008.
Search in Google Scholar Back to article
Aurobindo, S. Bases of Yoga. Sri Aurobindo Ashram Trust, 1981.
Search in Google Scholar Back to article
Aurobindo, S. Kena and Other Upanishads. Sri Aurobindo Ashram Trust, 2001.
Search in Google Scholar Back to article
Balcerowicz, P. Is there anything like Indian Logic? Anumana, ‘inference’ and inference in the critique of Jayarasi Bhatta. Journal of Indian Philosophy, 47:917–946, 2019.
Search in Google Scholar Back to article
Barua, A. The absolute of Advaita and the spirit of Hegel: Situating Vedanta on the horizons of British idealisms. Journal of Indian Council of Philosophical Reearch, 34:1–17, 2021.
Search in Google Scholar Back to article
Burton, J. Diagrams from Navya-Nyaya. Journal of Indian Philosophy, 48:229–254, 2020.
Search in Google Scholar Back to article
Corazza, P. Mathematics of pure consciousness. International Journal of Mathematics and Consciousness, 2014.
Search in Google Scholar Back to article
Easwaran, E. The Upanishads. Nilgiri Press, 2018.
Search in Google Scholar Back to article
Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Reasoning About Knowledge. MIT Press, 2004.
Search in Google Scholar Back to article
Floridi, L. Consciousness, agents and the knowledge game. Minds and Machines, 2005.
Search in Google Scholar Back to article
Gorrieri, R. Labeled transition systems. In Process Algebras for Petri Nets, 2017.
Search in Google Scholar Back to article
Grindrod, P. On human consciousness: A mathematical perspective. Network Neuroscience, 2017, pp. 23–40.
Search in Google Scholar Back to article
Lele, V. Yoga of Gita Expounded by Saint Dnyaneshwar: Inner Secrets of Raja Yoga. Yogeshwar Kutir Publication Vrindavan Dham, 2015.
Search in Google Scholar Back to article
MacPhail, J. The great sayings of Vedanta, integral style: Vivekananda’s iterpretation of the Mahavakyas. Lecture to Postgraduate Students, 2010.
Search in Google Scholar Back to article
Madaio, J. Liberation and Hindu studies. The Journal of Hindu Studies, 12:1–11, 2019.
Search in Google Scholar Back to article
Madhavananda, S. Vivekachudamani of Sri Sankaracharya. Advaita Ashram, 1921.
Search in Google Scholar Back to article
Malkani, G. R. A note on liberation in bodily existence. Philosophy East and West, 5:69–73, 1955.
Search in Google Scholar Back to article
Milne, J. Advaita Vedanta and typologies of multiplicity and unity: An interpretation of nondual knowledge. International Journal of Hindu Studies, 1997.
Search in Google Scholar Back to article
Milner, R. A Calculus of Communicating Systems. Springer Verlag, 1980.
Search in Google Scholar Back to article
Mishra, Y. Critical analysis of Panchakosha theory of Yoga philosophy. World Journal of Pharmaceutical Research, 8, 2019.
Search in Google Scholar Back to article
Nikhilanand, S. Mandukya Upanishad With Gaudapada’s Karika and Shankara’s Commentary. Advaita Ashram, 2006.
Search in Google Scholar Back to article
Nikhilananda, S. Dr. g-Dr. śya-Viveka: An Inquiry Into the Nature of the Seer and the Seen. Sri Ramakrishna Asrama, 1931.
Search in Google Scholar Back to article
Nikhilananda, S. Self-Knowledge: Sankaracharya’s Atma Bodha. Sri Ramakrishna Math, 1947.
Search in Google Scholar Back to article
Radhakrishnan, S. The Principal Upanishads. Indus/Harper Collins, 2016.
Search in Google Scholar Back to article
Ramadge, P. J. and Wonham, W. M. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25:206–230, 1987.
Search in Google Scholar Back to article
Schumann, A. Nagarjunian-Yogacarian modal logic versus Aris- totelian modal logic. Journal of Indian Philosophy, 49:467–498, 2021.
Search in Google Scholar Back to article
Sharma, A. Neti Neti and via negativa in Hindu thought. Prudentia, 1981.
Search in Google Scholar Back to article
Sharma, A. Philosophical notes on the dark Yajur Veda: The findings of sage Bhrigu, 2015.
Search in Google Scholar Back to article
Tononi, G., Boly, M., Massimini, M., and Koch, C. Integrated information theory: From consciousness to its physical substrate. Nature Reviews Neuroscience, 17, 2016.
Search in Google Scholar Back to article
Waxman, R. Vedanta Hinduism: The Path to Transcendence, 2018.
Search in Google Scholar Back to article

Using Transition Systems to Formalize Ideas from Vedānta

Abstract

Paradigm

My account