<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

Publicado en línea: 29 mar 2023

Páginas: 1 - 14

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

Palabras clave
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

Publicado en línea: 29 mar 2023

Páginas: 1 - 14

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

Palabras claveVedānta, transition system, Brahman

© 2023 Padmanabhan Krishnan, published by Sciendo

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

Palabras clave
Vedānta, transition system, Brahman