Formal Sciences

The branch of knowledge that studies abstract structures and symbolic systems, unconcerned with whether they correspond to anything in the real world. Mathematics, logic, and theoretical computer science live here, in a pristine realm where 2+2 always equals 4 and arguments are either valid or invalid, not just "like, your opinion, man." Formal sciences are beautiful, consistent, and utterly indifferent to the messy reality of human existence, which is why mathematicians are so calm and everyone else is so confused.

Example: "He loved the formal sciences because in mathematics, unlike in relationships, things either worked or they didn't, and when they didn't, you could prove why. His girlfriend pointed out that this attitude might be why he had so much time for mathematics."

by Abzugal February 14, 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

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

Chilling Effect Theory (Formal Sciences)

A framework analyzing how conformity pressures within formal sciences—logic, mathematics, computer science, and related fields—can discourage innovative approaches, unconventional proofs, or critiques of foundational assumptions. While often imagined as immune to social pressures, the formal sciences have their own orthodoxies: preferred frameworks, “acceptable” methods, and gatekeepers who decide what counts as rigorous. The chilling effect appears when researchers avoid foundational questions (e.g., challenges to set theory, critiques of mainstream computational paradigms) for fear of being dismissed as “cranks” or unprofessional.

Example: “A promising mathematician abandoned her work on alternative set theories after senior colleagues warned it would ruin her career. Chilling Effect Theory (Formal Sciences) shows that even the most abstract fields enforce boundaries.”

by Abzugal March 27, 2026