Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
![]() |
![]() ![]() |
Ultima descărcare din IBN: 2024-05-06 19:38 |
Căutarea după subiecte similare conform CZU |
510.6 (18) |
Математическая логика (18) |
![]() GUHE, Eberhard. "The absence of the difference from a pot is potness" - Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Nyaya. In: Computer Science Journal of Moldova, 2016, nr. 3(72), pp. 312-334. ISSN 1561-4042. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | |||||||
Numărul 3(72) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330 | |||||||
|
|||||||
CZU: 510.6 | |||||||
Pag. 312-334 | |||||||
|
|||||||
![]() |
|||||||
Rezumat | |||||||
The present paper deals with an aspect of the Navya-Ny¯aya “logic of property and location” (Matilal) in classical Indian philosophy, namely the so-called “absences” (abh¯ava). Following George Bealer (Quality and Concept, Oxford 1982) we may regard these negative properties as the result of applying certain algebraic operations to property terms, which Bealer names after their corresponding propositional or first-order operations (“negation of a property”, “conjunction of properties”, “existential generalization of a property” etc.). Bealer introduces these operations in his property theories in order to explain how the denotation of a complex property term can be determined from the denotation(s) of the relevant syntactically simpler term(s). An interesting case in Navya-Ny¯aya is the “conjoint absence” (ubhay¯abh¯ava), which can be regarded as the Sheffer stroke applied to property terms. We will show that an extension of Bealer’s axiomatic system T1 may serve to prove some of the Navya-Naiy¯ayikas’ intuitions concerning iterated absences, such as “the relational absence of the difference from a pot”, “the relational absence of the relational absence of a pot” or “the relational absence of the relational absence of the relational absence of a pot”. The former, e.g., was claimed to be identical to the universal “potness”. |
|||||||
Cuvinte-cheie Indian logic, Navya-Ny¯aya, intensionality, property theories, negation. |
|||||||
|