Theory of Formal Social Control

The analysis of the organized, codified, and institutionalized systems that a society uses to enforce conformity and punish deviance. This includes laws, police, courts, prisons, military, regulatory agencies, and official sanctions. It is the visible, "hard" architecture of control, backed by the state's monopoly on legitimate violence.

Theory of Formal Social Control Example: A speed limit sign, a traffic camera, a ticket, a court date, and a fine are all components of Formal Social Control. They are explicit, written rules with defined penalties, administered by authorized agents of the state to control behavior (driving speed) for public order.

by Abzugal Nammugal Enkigal February 4, 2026

Critical Theory of Formal Sciences

The application of Critical Theory to the formal sciences—mathematics, logic, computer science, and related fields—examining how even these seemingly pure disciplines are shaped by social contexts and power relations. Critical Theory of Formal Sciences asks: How do mathematical concepts reflect cultural values? How has logic been used to exclude? Whose interests are served by treating formal sciences as neutral? Drawing on critical mathematics education, feminist critiques of logic, and philosophy of computer science, it insists that no knowledge is value-free—not even 2+2. Understanding formal sciences requires understanding the society that produces them.

"Math is universal, they say. Critical Theory of Formal Sciences asks: universal for whom? Developed where? Mathematics has history, culture, politics. It's been used to justify racism (intelligence testing), to enable surveillance (algorithms), to concentrate power. Formal sciences aren't neutral; they're human products. Critical theory insists on asking: what values are built into the equations?"

by Abzugal Nammugal Enkigal March 4, 2026

Jargon Based Life Form

A human that is quite ambitious and works in private industry and speaks excessively in odd industry terms. These individuals are typically middle management all the way to the top of companies and they constantly spout statements that are popular at the time, jargon and specific to whatever is in fashion in their industry. A good example as of early 2026 would be the CEO of a massive burger restaurant chain taking a tiny bite of a cheese burger and calling it a "product." Suspiciously avoiding any language that may cause the viewer to think the product was actually food.

Investigations indicate that all MBA students are trained to be Jargon Based Life Forms.

I was shocked to be the only non jargon based life form in that board meeting.

by Dr Cornelius Higginbotham March 13, 2026

Contextualism of the Formal Sciences

A philosophical framework holding that formal systems—logic, mathematics, computer science, information theory—are context-dependent in their meaning and application. What a formal system means depends on the context of its interpretation; what counts as a valid derivation depends on the context of its rules; what a formalism is useful for depends on the context of its application. Contextualism in the formal sciences opposes the idea that formal systems have meaning independent of their use. It insists that formalisms are tools whose significance emerges in context.

Example: "His contextualism of the formal sciences meant he rejected the idea that formal logic alone determines meaning. The same logical formula means different things in a programming language, a philosophical argument, and a legal document—context determines interpretation."

by Dumu The Void March 20, 2026

Perspectivism of the Formal Sciences

A philosophical framework holding that formal systems are always from a perspective—that what a formalism reveals depends on the perspective from which it is developed and applied. Different logical systems reveal different aspects of reasoning; different programming paradigms reveal different aspects of computation; different formal frameworks make different phenomena visible. Perspectivism demands that formal scientists be explicit about their frameworks, recognizing that the formalisms they choose shape what they can express.

Example: "Her perspectivism of the formal sciences meant she saw functional programming, object-oriented programming, and logic programming not as competing for the one true way to compute, but as different perspectives on computation—each suited to different problems."

by Dumu The Void March 20, 2026

Multicontextualism of the Formal Sciences

A philosophical framework holding that formal sciences operate within multiple, irreducible contexts—mathematical, computational, linguistic, practical, cultural—that shape what formalisms are developed and how they are used. A formal system emerges from the context of mathematical tradition, the context of computing technology, the context of practical problems, the context of institutional training. Multicontextualism insists that understanding formal sciences requires attending to this contextual multiplicity.

Example: "His multicontextualism of the formal sciences meant he studied the development of programming languages not just through computer science, but through the context of military funding, the context of corporate research labs, the context of academic fashions, the context of hardware constraints—all of which shaped what languages were built."

by Dumu The Void March 20, 2026

Multiperspectivism of the Formal Sciences

A philosophical framework holding that formal reality is rich enough to sustain multiple, irreducible perspectives—different logical systems, different foundations for mathematics, different programming paradigms, different models of computation. Multiperspectivism rejects the idea that there is one true formal system. Classical logic, intuitionistic logic, and paraconsistent logic are different perspectives on reasoning; Turing machines, lambda calculus, and cellular automata are different perspectives on computation. This framework demands that formal scientists be pluralists, recognizing that their domain is defined by its multiplicity, not despite it.

Example: "Her multiperspectivism of the formal sciences meant she taught students not just one programming paradigm, but functional, object-oriented, logic, and concurrent—not because they'd use all, but because each perspective on computation deepens understanding."

by Dumu The Void March 20, 2026