Nyāya Formalized: Exercises of Application

This article aims to provide some basic examples of the application of 'Navya-Nyāya Formal Language' (NL). NL consists in a method for formalizing Navya-Nyāya technical language and inferences. Derived especially from the works of Matilal, Staal, and Ganeri and conceived primarily as a hermeneutical tool, NL expands the expressive power of its forerunners, in particular in terms of handling complex relations and remaining faithful to the original Navya-Nyāya–style Sanskrit formulations. An extensional set-based approach and non-predicative relational syntax are adopted here, proposing solutions to deal with quantification shift. A thumbnail sketch of a relational formalistic inference is also provided.