Studia humana (SH) is a multi-disciplinary peer reviewed journal publishing valuable
contributions on any aspect of human sciences such as...


Padmanabhan Krishnan

Studied computer science at IIT Kanpur, India  and The University of Michigan Ann Arbor, USA. His professional interests are in program analysis, security and formal methods. He has recently been studying aspects of Hindu philosophy.



Issue: ()

Using Transition Systems to Formalize Ideas from Vedānta

Issue: 12:3 (The forty sixth issue)
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.