Merriam’s Calculus of Qualia as Logical Primitives

Philosopher Paul Merriam formulates the ‘Calculus of Qualia’ (CQ) as a groundbreaking formal system for consciousness studies by incorporating non-referential terms—logical primitives like █ that present phenomenal experiences (qualia) directly in awareness, rather than referring to them. This would mean, Habeeb says, that qualia are logical primitives, irreducible in themselves, and thus their intrinsic nature cannot be explained further (Merriam, 2022; Merriam & Habeeb, 2024).

According to Merriam, who later worked with theoretical physicist Mohammed A. Z. Habeeb, traditional languages, from Frege’s sense-reference model (1892) to phenomenological accounts (Husserl, 1913; Heidegger, 1927), are constrained by reference: terms denote objects, properties, or experiences (e.g., “blackness” or Nagel’s “what it’s like” [1974]), failing to capture the immediate, irreducible nature of qualia. CQ transcends this by defining non-referential terms whose meaning is their presentation, instantiated upon appearance.

Non-Referential Terms and Qualic Logic

Merriam uses the term “qualations” as expressions that contain non-referential terms and that exhibit distinct logical behaviors: instance preservation (█ + █ = █ + █, not █); non-collapse under addition; and quotation identity ("█" = █, unlike “blackness”≠ blackness). Qualic addition operates on instance sets, preserving each presentation’s distinctness, unlike referential terms where “blackness + blackness = blackness.” The Naming Calculus introduces operators ˈxˈ (name) and ˌxˌ (referent), collapsing for non-referential terms (ˈ█ˈ = █). The Reference Barrier Theorem proves no well-formed qualation equates referential and non-referential terms, as their semantic types differ, extending type-safety principles (Gödel, 1931) to phenomenal domains.

CQ’s dual truth theory distinguishes referential truth (correspondence; Tarski, 1944) from presentational truth (but accurate instantiation of qualia). The Truth Barrier Theorem confirms no terms can have both, highlighting CQ’s ability to bridge linguistic and experiential truth.

Hard Problem, Zombies, and Theoretical Distinctions

For the hard problem (Chalmers, 1996), CQ reformulates it presentationally: “Why is physical process p correlated to █?” Referential versions (e.g., “correlated to blackness”) abstract the quale, but CQ requires non-referential terms, implying solutions involve experiential pathways, such as transforming a referential brain thought [B] into █. Each quale generates a distinct problem, emphasizing qualia’s irreducibility.

The zombie argument (Chalmers, 1996) collapses under CQ: while referential formulations (“lacking consciousness/blackness”) permit conceivability, “lacking █” requires presenting █, creating a paradox—no counterfactual absence is coherent. This doesn’t empirically refute zombies but logically dissolves the argument by exposing its reliance on referential conflation. CQ thus affirms qualia’s existence more robustly than philosophical zombies do, because non-referential terms directly instantiate qualia.

CQ distinguishes itself sharply from related theories. Phenomenology describes immediacy referentially, constrained by language (Husserl, 1913; Merleau-Ponty, 1945); CQ presents qualia formally, resolving this tension. Classical phenomenal concepts (Loar, 1990) and constitutive variants (Balog, 2012) remain referential, attempting to bridge the explanatory gap via recognition or experiential inclusion, but the Reference Barrier shows they cannot capture presentation. Quotational approaches (Papineau, 2002) maintain referential distance, unlike CQ’s collapse. Representationalism (Tye, 1995) reduces qualia to content; CQ treats them as foundational primitives. Causal theories (Lewis, 1972) link meaning to function, but CQ’s non-causal logic (stimuli enable, don’t define, terms) rejects this. Unlike illusionism, CQ affirms qualia’s reality through formal presentation.

According to Merriam, CQ’s innovation parallels mathematical extensions like complex numbers, enriching expressivity without negating prior systems. By formalizing subjectivity, CQ bridges phenomenology and logic, offering tools to explore consciousness’s presentational nature, challenging reductionism, and suggesting that adequate theories of mind require non-referential frameworks (Merriam, 2022; Merriam & Habeeb, 2024).

Merriam contends that CQ is the only theory (experience) to use/introduce non-referential or presentational terms. Using only referents, he says, "is like using musical notation on sheet music but never hearing the actual music" (personal communication, 2025).