Talk:Jaina seven-valued logic

Comparison with other systems of logic

The article would benefit by a comparison with other historic logic systems. It could answer, e.g. questions such as:

• Do other logic systems use more than two truth values?
• Do other logic systems combine more than two basic truth values? (Compare with Jainism's three values: True, False, Unassertible.)
• Do other logic systems systematically examine combinations of basic truth values?
• Do other logic systems contemplate "a globally inconsistent set of propositions"? (My emphasis.)

There is a mathematical literature of multi-valued logic systems, e.g. the work of Rosser and Turquette, which (roughly speaking) shows that, for most purposes, an n-valued logic system effectively reduces to our common binary logic.

However, what distinctions different philosophies make - or equivalently, what questions they ask - in setting up their logic systems, is of interest to philosophers and mathematicians as well as everyday practical reasoners (such as medical practitioners, criminologists and jurists), who seek to effectively deduce further truths from given ones as a basis for action. yoyo (talk) 02:24, 5 January 2018 (UTC)

Unassertibility is undefined

There are many possible interpretations of the word 'unassertible'. Having no definition or examples leaves this entry not entirely informative. Simply saying that it is a third value that combines with true and false is insufficient.

Possible interpretations:

Stoic: Cannot be said in a way that is consistent. (globally or locally?)

Colloquial: Cannot be expressed in the system's language. (globally or locally?)

[Unknown class]: Something else.

. Kikilamb (talk) 20:30, 13 January 2023 (UTC)