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

The article in the issue 12:3:

The date of the publication:
The number of pages:
The issue:
The Authors
Padmanabhan Krishnan, Subhash Kak, Vladimir K. Shokhin, Andrew Schumann, Lluis Oviedo, Konrad Szocik,

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.


Using Transition Systems to Formalize Ideas from Vedānta

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.


The Authors:


Write the cod from the picture: