Author Affiliations: Department of Humanities, University of Turin
摘要
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.
目次
1. Tackling Nyāya in the Pursuit of Formalism 1 2. Meaning in Extension 4 3. Nyāya Style 7 4. Exercises of Expression 9 5. Exercising Formalistic Relational Inferences 23 6. An Action Point in the Manner of a Conclusion 26 References 30