Formal slut

A girl or boy ( usually a chick) that goes to lots of formals for male validation. Either they have lots of male friends or they just want the attention.

Jack - “Holy fuck that Sarah chick is a formal slut she’s been to 4 this year”

John - “ yeh bro she’s done them all too”

by Soz x July 3, 2024

Formal Sociology

The specific application of formal methods—mathematical models, network analysis, formal logic—to the study of group dynamics and social structures. It attempts to reduce the messy complexity of human interaction to equations, graphs, and probabilities, producing beautiful diagrams that capture approximately 30% of what's actually happening. Formal sociology is beloved by academics who love numbers and distrusted by everyone who has ever been in a human relationship and knows that love, hate, and awkward silences don't fit neatly on a graph.

Example: "His formal sociology thesis mapped friendship networks using complex algorithms that predicted who would become friends based on proximity and shared interests. The algorithm correctly predicted 40% of friendships and completely missed the ones that formed because two people happened to hate the same guy. The model had no variable for 'shared enemy,' which was, formally speaking, a mistake."

by Abzugal February 14, 2026

Formal Social Sciences

The attempt to apply the methods of formal sciences—mathematics, logic, abstract modeling—to the study of human society, with predictably mixed results. Game theory explains why people cooperate (sometimes), social network analysis maps who talks to whom (approximately), and formal models of political behavior predict elections (except when they don't). The challenge is that humans are not logical symbols; we are messy, contradictory, and prone to doing things just because. Formal social sciences are what happen when mathematicians discover that people refuse to follow the rules.

Example: "A formal social sciences study used game theory to prove that rational actors would never start a war, as the costs always outweigh the benefits. The researchers then looked at human history, which is basically a list of wars, and concluded that humans are either irrational or playing a different game. Probably both."

by Abzugal February 14, 2026

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

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

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