Structural Cognitive Influence (ICE): Toward Formalization and Independent Review

Author: Jandislei Antonio Genova — Brazilian attorney and independent researcher

A recurring conceptual difficulty arises when influence over decision-making in digital environments is discussed: distinct phenomena may be grouped under the same labels. Nudge, hypernudge, dark patterns, and related categories are essential for understanding different forms of choice architecture and influence, but they do not necessarily describe the same scientific object.

It was from this problem that I developed Structural Cognitive Influence, originally designated in Portuguese as Influência Cognitiva Estrutural — ICE. The acronym ICE is retained as the project’s authorial and public identity.

ICE is a hypothesis and a research program intended to investigate structurally organized and empirically testable forms of technological influence over decision environments.

Why mathematical formalization?

A scientific definition must permit more than approximation by resemblance.

If two categories are treated as identical, that identity must withstand formal criteria. Shared properties alone do not establish that two categories are equivalent.

Within ICE-MATH | Toward Formalization and Independent Review, I have been developing an analysis grounded in propositional logic and elementary set theory.

The purpose is to test, under explicit operational definitions, the extent to which ICE can or cannot be reduced to categories such as nudge, hypernudge, and dark patterns.

The elementary logical core has undergone internal computational verification using a versioned and preserved script. This is an auxiliary step and does not replace independent human mathematical review, which remains pending before the complete formal manuscript is disclosed.

The scientifically appropriate formulation at this stage is:

The formal analysis under development indicates that ICE has its own constitutive criteria and should not automatically be reduced to nudge, hypernudge, or dark patterns. The nature and strength of each distinction are addressed separately and remain subject to independent mathematical review.

This does not mean that these categories can never intersect. Overlap does not imply identity. This is only a foundational logical condition; the formal distinction depends on the operational definitions and discriminating criteria examined in the mathematical manuscript.

Nor does it mean that ICE has already been empirically confirmed as a universal phenomenon. The full ICE hypothesis remains unconfirmed, and its prospective validation is a separate scientific stage.

From formalization to empirical investigation

The program includes a separate empirical strand, still under development and intended for the future prospective evaluation of the hypothesis in technological environments.

Its operational details remain reserved at this stage. At a high level, the aim is to enable scientific investigation while preserving proportionate protection for proprietary technical information whenever methodologically compatible.

Current state of the project

At present:

• the conceptual architecture of ICE is documented and versioned;
• an internal logical formalization exists;
• the elementary logical core has undergone internal computational verification using a preserved script;
• independent human mathematical review remains pending;
• prospective validation of the full ICE hypothesis remains pending;
• the implementation and reserved technical documentation remain confidential.

I therefore do not present this note as the announcement of a “proven” theory.

I present it as a scientific formulation sufficiently structured to be tested, criticized, and potentially refuted.

Invitation to independent review

I am interested in engaging, at a future stage and under suitable governance, with researchers, institutions, and organizations working in mathematics and logic, formal methods, causal inference, behavioral science, algorithmic auditing, AI governance, and law and technology.

In particular, I seek to make possible an independent human mathematical review conducted by a qualified third party who is free to confirm, constrain, or refute the formal core.

A methodological rule

The purpose is not to find someone willing to “confirm” ICE.

The purpose is to subject it to a technically serious attempt at refutation.

If the formalization withstands that scrutiny, the resulting conclusion will be stronger.

If it does not, it must be corrected.

That is the function of falsifiability.

Starting conceptual references

• Thaler, Richard H.; Sunstein, Cass R. Libertarian Paternalism Is Not an Oxymoron. University of Chicago Law Review, vol. 70, no. 4, 2003.
• Yeung, Karen. “Hypernudge”: Big Data as a Mode of Regulation by Design. Information, Communication & Society, vol. 20, no. 1, pp. 118–136, 2017. DOI: 10.1080/1369118X.2016.1186713.
• Mathur, Arunesh et al. Dark Patterns at Scale: Findings from a Crawl of 11K Shopping Websites. Proceedings of the ACM on Human-Computer Interaction, vol. 3, CSCW, Article 81, 2019. DOI: 10.1145/3359183.

Scientific-status note: the full ICE hypothesis remains unconfirmed, and prospective validation is pending. The complete mathematical analysis remains subject to independent review and is not disclosed in this version.

Terminological note: ICE is the acronym of the original Portuguese designation Influência Cognitiva Estrutural and remains the identifying name of the project in this English-language version.

Intellectual-property note: this version does not disclose the reserved technical implementation. Software, confidential documentation, and other unpublished technical assets remain outside the scope of this note. The text does not purport to convert scientific theory or abstract mathematics into a monopoly.

Author: Jandislei Antonio Genova
Public-version date: 20 August 2026