Jaina seven-valued logic is a system ofargumentation developed byJainaphilosophers and thinkers in ancient India to support and substantiate their theory ofpluralism. This argumentation system has seven distinct semanticpredicates which may be thought of as seven differenttruth values. Traditionally, in the Jaina and other Indian literature dealing with topics inJain philosophy, this system of argumentation is referred to asSaptabhangivada orSyadvada. The earliest reference toSyadvada occurs is the writings ofBhadrabahu (c. 433–357 BCE). There is mention ofSyadvada in theNyayavatara of Siddhasena Divakara (about 480–550 CE). Samantabhadra (about 600 CE) gave a full exposition of the seven parts ofSyadvada orSaptabhanginyaya in hisAptamimamsa. TheSyadvadamanjari of Mallisena (1292 CE) is a separate treatise on the same theory. There are, of course, still later works and a large number of modern commentaries.^[1] The interpretation of Saptabhangivada as aseven-valued logic was attempted byHarvard University philosophy professor George Bosworth Burch (1902–1973) in a paper published in International Philosophical Quarterly in the year 1964.^[2]P. C. Mahalanobis, an Indian applied statistician, has given aprobabilistic interpretation of theSaptabhangivada.^[1][3]

TheSaptabhangivada, the seven predicate theory may be summarized as follows:^[4]

The seven predicate theory consists in the use of seven claims about sentences, each preceded by "arguably" or "conditionally" (syat), concerning a single object and its particular properties, composed of assertions and denials, either simultaneously or successively, and without contradiction. These seven claims are the following.

1. Arguably, it (that is, some object) exists (syad asty eva).
2. Arguably, it does not exist (syan nasty eva).
3. Arguably, it exists; arguably, it doesn't exist (syad asty eva syan nasty eva).
4. Arguably, it is non-assertible (syad avaktavyam eva).
5. Arguably, it exists; arguably, it is non-assertible (syad asty eva syad avaktavyam eva).
6. Arguably, it doesn't exist; arguably, it is non-assertible (syan nasty eva syad avaktavyam eva).
7. Arguably, it exists; arguably, it doesn't exist; arguably it is non-assertible (syad asty eva syan nasty eva syad avaktavyam eva).

There are three basic truth values, namely, true (t), false (f) and unassertible (u). These are combined to produce four more truth values, namely, tf, tu, fu, and tfu (Three-valued logic). Though, superficially, it appears that there are only three distinct truth values a deeper analysis of the Jaina system reveals that the seven truth values are indeed distinct. This is a consequence of the conditionalising operator "arguably" denoted in Sanskrit by the wordsyat. This Sanskrit word has the literal meaning of "perhaps it is", and it is used to mean "from a certain standpoint" or "within a particular philosophical perspective".

In this discussion the term "standpoint" has been used in a technical sense. Consider a situation in which a globally inconsistent set of propositions, the totality of philosophical discourse, is divided into sub-sets, each of which is internally consistent. Any proposition might be supported by others from within the same sub-set. At the same time, the negation of that proposition might occur in a distinct, though possibly overlapping subset, and be supported by other propositions within it. Each such consistent sub-set of a globally inconsistent discourse, is what the Jainas call a "standpoint" (naya). A standpoint corresponds to a particular philosophical perspective.^[4]

In this terminology, it can be seen that the seven predicates get translated to the following seven possibilities. Each propositionp has the following seven states:^[4]

1. p is a member of every standpoint inS.
2. Not-p is a member of every standpoint inS.
3. p is a member of some standpoints, and Not-p is a member of the rest.
4. p is a member of some standpoints, the rest being neutral.
5. Not-p is a member of some standpoints, the rest being neutral.
6. p is neutral with respect to every standpoint.
7. p is a member of some standpoints and Not-p is a member of some other standpoints, and the rest are neutral.

In common propositional logic, a contradiction${\displaystyle P\wedge \mathrm{\neg }P}$ and the rejection of the Excluded Middle statement${\displaystyle \mathrm{\neg }(P\vee \mathrm{\neg }P)}$ can both be rejected, i.e. provenFalse, and they are there thus formally equivalent. Indeed, this already holds inminimal logic, for example.The situation is more refined in the other logics discussed:

Truth table for the negation

${\displaystyle P}$	${\displaystyle \mathrm{\neg }P}$
True	False
Unassertible	Unassertible
False	True

• For the implementation of a generic computational argumentation system to Jaina seven-valued logic, seeOhta, Shogo; Hagiwara, Takeshi; Sawamura, Hajime; Riche, Jacques (2013)."Specializing the Logic of Multiple-Valued Argumentation to the Jaina Seven-Valued Logic"(PDF).Proceedings on the International Conference on Artificial Intelligence:1–7. Retrieved5 June 2022.
• For an exposition of the Jaina concept of logic, seeV. K. Bharadwaja (July 1982)."The Jaina Concept of Logic"(PDF).Indian Philosophical Quarterly.IX (4):362–376. Retrieved27 November 2016.
• For an exposition stating thatSaptabhangi cannot be considered as logic in the modern sense of the word, seeFabien Schang (December 2013)."A One-Valued Logic for Non-One-Sidedness".International Journal of Jaina Studies.9 (4):1–25. Retrieved28 November 2016.
• For an exposition ofSaptabhangi, seePragati Jain (July 2000)."Saptabhaṅgī: The Jaina Theory of Sevenfold Predication: A Logical Analysis"(PDF).Philosophy East and West.50 (3):385–399. Retrieved28 November 2016.
• For a discussion onSyadvada, seeJ. B. S. Haldane."The Syadvada System of Predication".Jain World. Archived fromthe original on 16 June 2008. Retrieved28 November 2016. (Sankhya 18, 195–200, 1957)
• Marie-Hélène Gorisse, Nicolas Clerbout andShahid Rahman [fr] developed a dialogical approach to the theory of standpoints.^[5]

• Many-valued logic
• History of logic
• Jain philosophical concepts

• Articles with short description
• Short description matches Wikidata
• Use dmy dates from April 2017
• Use Indian English from April 2017
• All Wikipedia articles written in Indian English
• Pages that use a deprecated format of the math tags