Local Sayings: Huntingdonshire

Macphail, D.

doi:10.1093/nq/s4-iv.79.20g

Search citation statements

Order By: Relevance

Paper Sections

Select...

System View1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Formally, this can also be represented by asserting that Brahman exists at each and every state. The transition system in Figure 3 can be interpreted as giving a precise semantics for the mahāvākyas [15] that appear in the different Upaniṣads. For example, the statement "tat tvam asi" (or Thou are That) can be stated as follows.…”

Section: System Viewmentioning

confidence: 99%

Using Transition Systems to Formalize Ideas from Vedānta

Krishnan¹

2023

Studia Humana

View full text Add to dashboard Cite

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.

show abstract

Section: System Viewmentioning

confidence: 99%

Using Transition Systems to Formalize Ideas from Vedānta

Krishnan¹

2023

Studia Humana

View full text Add to dashboard Cite

show abstract

Local Sayings: Huntingdonshire

Cited by 1 publication

References 0 publications

Using Transition Systems to Formalize Ideas from Vedānta

Using Transition Systems to Formalize Ideas from Vedānta

Contact Info

Product

Resources

About