The Problem of Foundation in Early Nyāya and in Navya-Nyāya
2014; Taylor & Francis; Volume: 36; Issue: 2 Linguagem: Inglês
10.1080/01445340.2014.984400
ISSN1464-5149
Autores Tópico(s)Advanced Algebra and Logic
ResumoThe evaluation of arguments was not the sole concern of logicians in ancient India. Early Nyāya and the later Navya-Nyāya provide an interesting example of the interaction between logic and ontology. In their attempt to develop a kind of property-location logic (Navya-)Naiyāyikas had to consider what kind of restrictions they should impose on the residence relation between a property and its locus (which might again be a property). Can we admit circular residence relations or infinitely descending chains of properties, each depending on its successor as its locus? Early Naiyāyikas and to some extent also Navya-Naiyāyikas regard these phenomena as a kind of absurdity and they want to rule them out. Their intuitions about properties are close to well-founded systems of set theory, whereas the author of the Navya-Nyāya work Upādhidarpaṇa is a proponent of a non-well-founded property concept. Despite certain similarities with sets properties are still regarded as intensional objects in Navya-Nyāya. In the present article I demonstrate that a Quine/Morse-style extension of George Bealer's property calculus T1 (with or without a property adaptation of the axiom of regularity) may serve as a formal system which adequately mirrors the Navya-Nyāya property-location logic.
Referência(s)