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."

Formal Sciences by Abzugal February 14, 2026

Historical-Dialectical Formal Sciences

Similar to exact sciences, but emphasising purely formal systems (logic, mathematics, theoretical computation). It studies how formal systems emerge from and interact with material history, how they are not timeless but evolve through contradictions (e.g., intuitionism vs. classical logic), and how they are embedded in social practices. It also critiques the claim that formal sciences are perfectly neutral, showing how they reflect and reproduce class society (e.g., ‘rational choice’ models in economics).

Historical-Dialectical Formal Sciences Example: “Historical‑dialectical formal sciences show that the standard model of probability was not discovered but constructed in response to gambling, insurance, and industrial risk management—and that alternative models (e.g., fuzzy logic) arise from different material contradictions.”

Historical-Dialectical Formal Sciences by Abzugal May 1, 2026

Hard Problem of Formal Sciences

The paradox that formal systems like mathematics and logic, which are human creations of pure thought and symbol manipulation, describe and predict the physical universe with uncanny, often inexplicable accuracy. These sciences deal with abstract, necessary truths (2+2=4 is true in any possible universe). The hard problem is why these mind-born rule-sets, which require no empirical input, are so deeply "baked into" the fabric of our contingent, empirical reality. It's the question of whether we invent mathematics or discover it, and if we discover it, why is the universe inherently mathematical? The success of the formal sciences suggests a pre-established harmony between human reason and cosmic structure that borders on the mystical.

Example: A mathematician, working purely from axioms and logic, derives a strange, non-intuitive structure called a "Lie group." Decades later, a physicist finds that this exact mathematical structure perfectly describes the behavior of fundamental particles and forces in the Standard Model. The hard problem: How did a game of intellectual symbols, played out on notebooks, anticipate the operational code of the cosmos? It's as if the universe runs on software written in a programming language that the human brain, by sheer coincidence, independently invented for fun. This "unreasonable effectiveness" is the foundational shock of the formal sciences. Hard Problem of Formal Sciences.

Hard Problem of Formal Sciences by Enkigal January 24, 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?"

Critical Theory of Formal Sciences 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."

Contextualism of the Formal Sciences 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."

Perspectivism of the Formal Sciences 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."

Multicontextualism of the Formal Sciences by Dumu The Void March 20, 2026