Contextual Seven-Valued Logic

• Contextual seven-valued logic is a system that assigns propositions seven distinct truth-values—capturing truth, falsity, and indeterminacy—based on context.
• It integrates methods from quantum mechanics, rough-set theory, and multiple-criteria decision aiding to clarify ambiguities and separate imprecision from coarseness.
• Classical Boolean logic emerges as a limiting case when contextual distinctions are aggregated, highlighting the nuanced interplay of context and truth.

Contextual seven-valued logic denotes a family of non-bivalent logical frameworks in which the truth of a proposition is indexed to a context—such as a measurement arrangement, a perspective, or an indiscernibility class—and the admissible truth statuses are seven rather than two. In the quantum literature, it is proposed as a formal response to contextuality and complementarity: propositions are not assigned a single global Boolean value, but are evaluated as true, false, indeterminate, or as context-dependent combinations of these modes. In the rough-set literature, the same sevenfold structure is realized algebraically in the Pawlak-Brouwer-Zadeh lattice and used to separate vagueness due to imprecision from ambiguity due to coarseness. Across these lines of work, the common thesis is that classical bivalence is not fundamental; it is recovered only after contextual structure is ignored, aggregated, or made to glue globally (Bolotin, 2018, Greco et al., 2023, Ghose, 1 Oct 2025).

1. Conceptual setting and scope

The immediate background of contextual seven-valued logic is the rejection of a single context-free valuation. In one line of argument, quantum propositions are identified with projection operators, and the Kochen–Specker obstruction is read semantically: a global map assigning every proposition either $0$ or $1$ cannot in general be maintained noncontextually. In a later sheaf-theoretic reconstruction, this same point is stated as the absence of a global section of a presheaf of value assignments, $\Gamma(F)=\varnothing$, over the category of contexts. In a finite orthomodular setting, classical logic is then described as the quotient obtained by “forgetting” context, rather than as the primitive calculus from which contextual logic deviates (Ghose, 13 Dec 2025, Emori et al., 10 Jul 2026).

Within that broad setting, “seven-valued” does not mean seven absolute truth-values valid in one undifferentiated logical space. The more specific claim is that once the three basic modes—truth, falsity, and indeterminacy or unsayability—are tracked across mutually incompatible contexts, one obtains seven non-empty patterns. This is the form made explicit both in the quantum contextual systems inspired by saptabhaṅgīnaya and in the rough-set/PBZ construction.

A crucial delimitation follows from the 2018 non-bivalence paper. That work argues that contextuality forces a gappy or many-valued semantics, but it does not define a fixed seven-valued logic. Its explicit options are supervaluationist gaps and an infinite-valued semantics with values in $[0,1]$, so it is best regarded as a precursor rather than itself a seven-valued system (Bolotin, 2018).

2. Non-bivalence from quantum contextuality

The non-bivalent background is formulated by introducing a hidden-variable-style assignment

$$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$

together with a circumstance-relative valuation

$$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$

A context $\mathcal{C}\subset\mathcal{O}$ is a set of mutually orthogonal projection operators, and in a maximal context the classical-looking requirement is that the assigned values sum to $1$. The localized Kochen–Specker theorem is then used to show that these requirements cannot be satisfied globally and noncontextually (Bolotin, 2018).

The sharpened result is value indefiniteness. If the system is prepared in a pure state with $h(\hat{P_i})=1$, then for some other projectors $\hat{P_j}$, both $1$0 and $1$1 can be ruled out. The key semantic statement is

$1$2

This is the formal diagnosis of failure of bivalence: some propositions are neither true nor false under a classical valuation.

Two semantic responses are explicitly distinguished. The first is gappy or partial semantics,

$1$3

described as supervaluationist and non-truth-functional. The second is many-valued semantics,

$1$4

with the probability-like reading

$1$5

Contextual seven-valued logic enters precisely at this point: it is one way of giving the non-bivalent region a finite, explicitly contextual structure rather than leaving it merely gappy or continuum-valued.

3. Sevenfold predication in quantum contextual formalisms

The most explicit quantum formulations derive the seven values from the three basic modes $1$6, $1$7, and $1$8 by taking all non-empty combinations. In the triplet formulation, every proposition $1$9 relative to a context $\Gamma(F)=\varnothing$0 receives

$\Gamma(F)=\varnothing$1

where $\Gamma(F)=\varnothing$2 means true-in-$\Gamma(F)=\varnothing$3, $\Gamma(F)=\varnothing$4 means false-in-$\Gamma(F)=\varnothing$5, and $\Gamma(F)=\varnothing$6 means unsayable or indescribable-in-$\Gamma(F)=\varnothing$7. The seven values are thus

$\Gamma(F)=\varnothing$8

In the companion quantified-conditional formulation, context is built into syntax through formulas such as

$\Gamma(F)=\varnothing$9

and the mixed predications are written as conjunctions over distinct, incompatible conditions $[0,1]$0 with clauses like $[0,1]$1 (Ghose, 1 Oct 2025, Ghose et al., 14 May 2025).

The two notational traditions align naturally:

Status	Triplet/Jaina form	PBZ/MCDA label
True	$[0,1]$2, $[0,1]$3	$[0,1]$4
True with indeterminacy across contexts	$[0,1]$5, $[0,1]$6 and $[0,1]$7	$[0,1]$8
Indeterminate	$[0,1]$9, $$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$0	$$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$1
True and false across contexts	$$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$2, $$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$3 and $$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$4	$$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$5
True, false, and indeterminate across contexts	$$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$6	$$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$7
False with indeterminacy across contexts	$$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$8, $$h:\mathcal{O}\rightarrow\{0,1\}, \qquad h(\hat{0})=0,\qquad h(\hat{1})=1,$$9 and $$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$0	$$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$1
False	$$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$2, $$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$3	$$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$4

The triplet logic defines connectives componentwise: $$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$5

$$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$6

$$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$7

with implication defined by $$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$8. A value is designated iff $$v_C:\mathcal{P}\rightarrow\{0,1\},\qquad v_C(\hat{P}_{\diamond}) = {[\![\diamond]\!]}_C.$$9. Because some values contain both $\mathcal{C}\subset\mathcal{O}$0 and $\mathcal{C}\subset\mathcal{O}$1, the consequence relation is paraconsistent: from $\mathcal{C}\subset\mathcal{O}$2 and $\mathcal{C}\subset\mathcal{O}$3, one cannot infer an arbitrary $\mathcal{C}\subset\mathcal{O}$4 (Ghose, 1 Oct 2025).

These systems are used to recast canonical quantum examples. In the double-slit case, which-path propositions are true in one context and interference propositions false there, while in the interference context the which-path proposition is unsayable rather than simply false. In incompatible spin bases, a proposition meaningful in one basis becomes unsayable in the other. In Schrödinger’s cat and Wigner’s friend, the paradox is treated as arising from cross-context conflation rather than from a single contradiction inside one Boolean frame (Ghose, 1 Oct 2025, Ghose et al., 14 May 2025).

4. Sheaf-theoretic and intuitionistic semantics

A more structural formulation treats contexts as objects of a category $\mathcal{C}\subset\mathcal{O}$5, with morphisms representing refinement or coarse-graining, and defines a presheaf of value assignments

$\mathcal{C}\subset\mathcal{O}$6

Each context $\mathcal{C}\subset\mathcal{O}$7 is assigned a set $\mathcal{C}\subset\mathcal{O}$8 of values or propositions meaningful there, and each refinement $\mathcal{C}\subset\mathcal{O}$9 induces a restriction map $1$0. The decisive logical notion is the global section: a family of local values compatible under all restrictions. Contextuality is then the failure of gluing, compactly expressed as

$1$1

This reframes Kochen–Specker and Bell-type obstructions as the impossibility of a single context-independent assignment (Ghose, 13 Dec 2025).

In this setting the internal logic is intuitionistic rather than Boolean. The truth-value object of a presheaf topos is a Heyting algebra, not a two-valued Boolean algebra, so unrestricted excluded middle and double negation elimination do not hold. The seven-valued contextual logic of Ghose and Patra is explicitly exhibited as a finite Heyting algebra that captures “patterns of truth, falsity and indeterminacy across incompatible contexts.” A mixed value such as “true-and-false” is therefore interpreted not as simultaneous truth and falsity in one context, but as truth in one context and falsity in another incompatible one.

The same paper links logical contextuality to sheafification and cohomology. A presheaf is “quantum-like” because it permits locally valid but globally non-gluable data, while a sheaf is “classical” because compatible local data uniquely determine a global section. The first Čech cohomology group

$1$2

measures the obstruction to gluing local sections into a global one. Classical physics corresponds to the sheaf case, where compatible local data glue and Boolean logic is effectively restored. A further $1$3–$1$4 interpolation,

$1$5

is introduced as a continuous picture of the transition from strongly contextual regimes $1$6 to approximately classical regimes $1$7 (Ghose, 13 Dec 2025).

5. Rough-set and PBZ-lattice semantics

Independently of the explicitly quantum line, contextual seven-valued logic is developed in the framework of the Pawlak-Brouwer-Zadeh lattice. The underlying algebra is a Pawlak-Brouwer-Zadeh distributive De Morgan lattice with two complements, a Kleene complement $1$8 and a Brouwer or intuitionistic complement $1$9, linked by $h(\hat{P_i})=1$0. A Pawlak approximation operator $h(\hat{P_i})=1$1 is added, with axioms including

$h(\hat{P_i})=1$2

This provides the algebraic semantics for seven-valued reasoning about rough information (Greco et al., 2023).

The rough-set realization starts from a knowledge base $h(\hat{P_i})=1$3, where $h(\hat{P_i})=1$4 is an equivalence relation of indiscernibility. For $h(\hat{P_i})=1$5,

$h(\hat{P_i})=1$6

Truth conditions are represented on pairs $h(\hat{P_i})=1$7, with $h(\hat{P_i})=1$8 the positive region and $h(\hat{P_i})=1$9 the negative region. The seven truth values are then defined as disjoint regions of $\hat{P_j}$0: $\hat{P_j}$1 Their interpretations are, respectively, true, sometimes true, unknown, contradictory, fully contradictory, sometimes false, and false (Greco et al., 2023).

The point of the construction is not merely to multiply truth-values, but to distinguish two kinds of uncertainty. Imprecision is captured by the usual rough-set gap between lower and upper approximation. Coarseness or ambiguity comes from the indiscernibility classes themselves, since one equivalence class may contain support for different judgments. The extra dimension $\hat{P_j}$2 refines Belnap’s four-valued scheme by separating ordinary contradiction from fully contradictory cases, and by distinguishing “sometimes true” and “sometimes false” from their definite counterparts.

Belnap’s four-valued logic is explicitly recovered by aggregation: $\hat{P_j}$3 More generally, the seven-valued logic is treated as a generator of a family of coarser many-valued logics obtained through unions and intersections of upward and downward truth regions. This is why the paper presents it as a canonical fine-grained substrate for “reasoning about data” (Greco et al., 2023).

6. Preference logic and multiple-criteria decision aiding

The rough-set seven-valued scheme has been extended to Multiple Criteria Decision Aiding. There the target propositions are preference statements such as $\hat{P_j}$4, evaluated not under one fixed model, but across multiple perspectives and admissible perturbations of model parameters. For a given perspective $\hat{P_j}$5, the relation is true, false, or unknown depending on the sign of the extremal score differences

$\hat{P_j}$6

over the feasible set $\hat{P_j}$7, with

$\hat{P_j}$8

and $\hat{P_j}$9 holding when the interval crosses $1$00. Because the feasible weight set is a convex polyhedron, the characterization can be reduced to its vertices (Greco et al., 2024).

Across three perspectives, the seven values become:

• true in all perspectives,
• true in one or two perspectives and unknown in the rest,
• unknown in all perspectives,
• true in one or two perspectives and false in another,
• true in one perspective, false in another, and unknown in the third,
• false in one or two perspectives and unknown in the rest,
• false in all perspectives.

This yields the same semantic profile as the PBZ and quantum-contextual sevenfold schemes, but now interpreted as robustness of preference rather than truth of physical propositions. The paper applies the logic both to additive value-function models and to ELECTRE-like outranking models, and compares the resulting framework with ordinal regression, robust ordinal regression, stochastic multiattribute acceptability analysis, stochastic ordinal regression, and related combinations (Greco et al., 2024).

A robust recommendation is then defined through a global score $1$01 assigning gains and losses to the seven-valued pairwise relations. A basic convention sets

$1$02

with monotonicity constraints such as

$1$03

The resulting logic is presented as expressive, robust, traceable, reducible to coarser logics, and computationally tractable in polyhedral settings, while also depending sensitively on the choice of perspectives and modeling assumptions (Greco et al., 2024).

7. Relation to classical logic, quantum logic, and recurring misconceptions

A recurrent misunderstanding is that contextual seven-valued logic is simply standard quantum logic with extra truth-values appended. The cited work does not support that description. The 2018 projector-based paper is not a lattice-theoretic development of traditional orthomodular quantum logic; it is a semantic account of why classical truth assignment fails. Conversely, the 2026 “logic of contexts” paper does offer an explicit orthomodular context calculus, but its native structure is not seven-valued: the free orthomodular lattice on two generators decomposes as

$1$04

with a six-element context factor $1$05 and a sixteen-element Boolean content factor. Classical logic appears through the context-forgetting homomorphism

$1$06

so that

$1$07

This is a contextual many-valued skeleton, but not itself a seven-valued logic (Emori et al., 10 Jul 2026).

A second misunderstanding concerns contradiction. In the sheaf-theoretic and quantified-conditional formulations, “true-and-false” is explicitly a cross-context pattern: true in one context and false in another incompatible one. In the triplet formulation, mixed values such as $1$08 and $1$09 are admissible and the consequence relation is paraconsistent, so explosion is blocked. The two formalisms are presented as complementary rather than identical: one emphasizes algebraic compactness, the other makes experimental conditions syntactically explicit (Ghose, 1 Oct 2025, Ghose, 13 Dec 2025).

A third misunderstanding is that seven-valued contextual logic is offered as a replacement for the full mathematical formalism of quantum mechanics. One of the relevant papers states explicitly that the framework is a formal philosophical account rather than a new dynamical theory, and another treats it as a reinterpretation of measurement in terms of sheafification rather than collapse. The significance of the program lies elsewhere: it attempts to formalize Bohr’s complementarity, preserve logical coherence under contextuality, and explain how classical Boolean discourse is recovered only in regimes where local contextual data can be treated as globally coherent (Ghose et al., 14 May 2025, Ghose, 13 Dec 2025).

Taken together, these works present contextual seven-valued logic as a technically plural family of systems rather than a single canonical calculus. Its stable core is the same across formulations: three primitive semantic modes—truth, falsity, indeterminacy—are distributed across incompatible contexts, producing seven exhaustive contextual patterns; classical bivalence is then a special limiting case, not the universal background against which contextual discourse must be judged.