text: The essential features of logic in the Western tradition are well captured in the following statement by a famous logician Alonzo Church:
  Thus, the basic features of Western logic are: It deals with a study of ‘propositions’, specially their ‘logical form’ as abstracted from their ‘content’ or ‘matter’. It deals with ‘general conditions of valid inference’, wherein the truth or otherwise of the premises have no bearing on the ‘logical soundness or validity’ of an inference. It achieves this by taking recourse to a symbolic language that has little to do with natural languages. The main concern of Western logic, in its entire course of development, has been one of systematising patterns of mathematical reasoning, with the mathematical objects being thought of as existing either in an independent ideal world or in a formal domain. Indian logic however, does not deal with ideal entities, such as propositions, logical truth as distinguished from material truth, or with purely symbolic languages that apparently have nothing to do with natural languages.
  The central concern of Indian logic as founded in nyāya is epistemology, or the theory of knowledge. Thus Indian logic is not concerned merely with making arguments in formal mathematics rigorous and precise, but attends to the much larger issue of providing rigour to the arguments encountered in natural sciences (including mathematics, which in Indian tradition has the attributes of a natural science and not that of a collection of context free formal statements), and in philosophical discourse. Inference in Indian logic is ‘deductive and inductive’, ‘formal as well as material’. In essence, it is the method of scientific enquiry. Indian ‘formal logic’ is thus not ‘formal’, in the sense generally understood: in Indian logic ‘form’ cannot be entirely separated from ‘content’. In fact, great care is exercised to exclude from logical discourse terms, which have no referential content. No statement, which is known to be false, is admitted as a premise in a valid argument. Thus, the ‘method of indirect proof’ (reductio ad absurdum) is not accepted as a valid method−neither in Indian philosophy nor in Indian mathematics−for proving the existence of an entity whose existence is not demonstrable (even in principle) by other (direct) means of proof.
  Indian logic does not make any attempt to develop a purely symbolic and content independent or ‘formal language’ as the vehicle of logical analysis. Instead, what Indian logic, especially in its later phase of Navya-Nyāya starting with the work of Gāngeśa Upādhyāya of the 14th century, has developed is a technical language, which is based on the natural language Sanskrit, yet avoids ‘inexactness’ and ‘misleading irregularities’ by various technical devices. This technical language, being based on the natural language Sanskrit, inherits a certain natural structure and interpretation, and sensitivity to the context of enquiry. On the other hand, the symbolic formal systems of Western logic, though considerably influenced in their structure (say, in quantification, etc.) by the basic patterns discernible in European languages, are professedly purely symbolic, carrying no interpretation whatsoever−such interpretations are supposed to be supplied separately in the specific context of the particular field of enquiry ‘employing’ the symbolic formal system.