Portal de Periódicos da CAPES

Nyāya Formalized: Exercises of Application

2022; University of Hawaii Press; Volume: 72; Issue: 1 Linguagem: Inglês

10.1353/pew.2022.0000

1529-1898

Alberto Anrò,

Syntax, Semantics, Linguistic Variation

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.