Nyaya and FOL w.s.r Charak Samhita Vimansthan – Pragmatic View

Logic and Human discourse are interdependent on each other. It is logic that helps in illuminating Human discourse. India owes a rich inherent logical trait in form of Philosophical systems among which Nyaya is the central concern. In West mathematical formal logic undertook a development beginning from propositional to first order to second order and higher order logic. Among these it is the First order logic which deals with relations, so does the Nyaya system of philosophy. Both work to achieve the common goal i.e. enlightening human discourse. The classical ayurvedic texts such as Charak Samhita, Sushrut Samhita etc. are written in Sanskrit with sentences profoundly propositional in nature. So, in the present study an attempt has been made by selecting a no. of sentences from Charak Samhita Vimansthan and then converting them to First order logic. Additionally, both the proof theories of Nyaya and First order logic are analyzed to see whether there is any resemblance between the two. It is concluded that though both the theories are parallel to each other FOL is an integral part of Nyaya system of Philosophy.