<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>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 <italic>saṃsāra</italic>, Patañjali’s <italic>Yogasūtra</italic>s, <italic>karma</italic>, the three <italic>avasthā</italic>s from the <italic>Māṇḍūkya Upaniṣad</italic> and the key difference between <italic>advaita</italic> and <italic>dvaita</italic> in relation to <italic>mokṣa</italic>.</p>
</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.

Using Transition Systems to Formalize Ideas from Vedānta

Studia Humana

This work is licensed under the Creative Commons Attribution 4.0 International License.

{"article-title":"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...

Using Transition Systems to Formalize Ideas from Vedānta

Published Online: Mar 29, 2023

Page range: 1 - 14

DOI: https://doi.org/10.2478/sh-2023-0011

Keywords
Vedānta, transition system, Brahman

© 2023 Padmanabhan Krishnan, published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Using Transition Systems to Formalize Ideas from Vedānta

Published Online: Mar 29, 2023

Page range: 1 - 14

DOI: https://doi.org/10.2478/sh-2023-0011

KeywordsVedānta, transition system, Brahman

© 2023 Padmanabhan Krishnan, published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Keywords
Vedānta, transition system, Brahman