Sign-inferences in Greek and Buddhist Logic

Abstract

The Yogācāra school of logic developed a theory of sign-inferences that has many features of the Stoic and Epicurean logical teachings with small inclusions of Aristotelian ideas. In the Nyāyabindu of Dharmakīrti, we can find the following schemes of formal reasoning: modus Barbara (Figure I) and modus Camenes (Figure IV) of the Aristotelian syllogistic, and all the inference rules of the Stoic logic: modus ponens, modus tollens, modus ponendo tollens, modus tollendo ponens I, modus tollendo ponens II. The three premises of Yogācāra inference (if p, then q; there is an example that p and q occur together; p; then q) corresponds to the Epicurean doctrine of three premises with a necessary exemplification. Thus, the paper is a comparative study of Greek and Buddhist theory of sign-inferences, showing a deep similarity between them.