proposition. Universal proposition is defined as the proposition in which the relation between the subject term and the predicate term is without any condition, in which the predicate is either affirmed or denied of the subject unconditionally. In nyaya logic the term vyapti is a universal proposition or invariable relation between the middle term (linga/hetu) and the major term (sadya) . According to the category of relation propositions are divided into categorical and the conditional. Although proposition is a logical entity (...) which is an assertion, either affirm or deny the subject. Truth and falsity are the values of proposition. Universal proposition is of two kinds: universal affirmative proposition and universal negative proposition while universality is the quantity of the subject and affirmation or negation is the quality of the proposition. Anumana (inference) is the knowledge of the objects which follows some other knowledge. In nyaya logic Inference is a combined deductive-inductive reasoning consisting of at least three categorical propositions and in it there are at least three propositions consisting of three terms, viz. the paksa or minor term about which we infer something, the sadhya or major term which inferred object, and the linga(probans) or sadana or middle which is invariably related to the major, and is present in the minor. Indian inference resembles to the categorical syllogism of western logic. In nyaya logic inference consisting of three propositions the first proposition is the conclusion of the syllogism , the second is the minor premise and last the major premise which is totally opposite of western logic. Syllogism of nyaya logic contains five propositions, called its Avayavas or members. These are pratijna, hetu, udarana, upanaya, and nigamana. Middle term have five characteristics in order to make five Figures of syllogism as Figure is the form of the syllogism. These five characteristics, or at least four of them , must be found in the middle term of a valid inference. If not, there will be fallacies(error in reasoning). Nyayikas give us three classifications of inference. According to first inference is of two kinds, namely, svartha and parartha. According to another inference is of three kinds, purvavat, sesavat and samanyatodrsta. According to third classification inference is distinguished into kevalanvayi, kevala-vyatireki and anvaya-vyatireki. (shrink)

ABSTRACT It is well-known that Artificial Intelligence requires Logic. But its Classical version shows too many insufficiencies. So, it is very necessary to introduce more sophisticated tools, as may be Fuzzy Logic, Modal Logic, Non-Monotonic Logic, and so on. When you are searching the possible precedent of such new ideas, we may found that they are not totally new, because some ancient thinkers have suggested many centuries ago similar concepts, certainly without adequate mathematical formulation, but in the same line: against (...) the dogmatism and the dualistic vision of the world: absolutely true vs. absolutely false, black vs. white, good or bad by nature, 0 vs.1, etc. We attempt to analyze here some of these greatly unexplored, and very interesting early origins. (shrink)

This paper considers the matter of representation in Vedānta by examining key claims in the Ṛgveda and the Upaniṣads, which are some of its principal texts. Specifically, we consider the logic behind the paradoxical verses on creation and the conception of consciousness as the ground on which the physical universe exists. This also is the template that explains the logical structure underlying the principal affirmations of the Upaniṣads. The five elements and consciousness are taken to pervade each other, which explains (...) how gross matter is taken to consist of all the four different kinds of atoms that get manifested in different states of the substance. The verses on creation are an example of the use of catuṣkoṭi in Indian philosophy prior to the use of it by Nāgārjuna in the Madhyamaka tradition. It also contrasts central ideas of Vedānta with the corresponding contemporary scientific ideas on consciousness. (shrink)

In this paper I aim to situate the Naiyayika theory of perception in contemporary philosophy of mind. Following the ancients, I suggest we reconsider the taxonomy and the assumed interactions between kinds of perceptual content. This reclassification will lead us to reconsider some aspects of the Cartesian conception of mind that continue to influence the work of contemporary theorists. I focus attention on different accounts of sensory perception favoured by ancient Indian Naiyayika philosophers and Descartes as a starting point for (...) reconsidering contemporary accounts of perceptual content.I show that Descartes' account of sensory perception provides the impetus for a causal-explanatory account of conceptual content in terms of its non-conceptual counterpart. Though contemporary philosophers claim to have cast off their Cartesian heritage, my discussion reveals that some of its tenets continue to influence the work of contemporary philosophers. I offer reasons for rejecting yet another Cartesian influence and recommend that we follow the Nyaya taxonomy of perceptual states. (shrink)