Skip to main content

kelly foral

A Kelly Foral is a loving mother with a large heart and larger dobanhonkeroos(breasts).

(.)(.)
Kylie Jenner is a real Kelly Foral, look at that cleavage.
by Jacquise Belding March 3, 2024
mugGet the kelly foral mug.

Semi-formal Laws of Logic

The messy, real-world application of formal logic where human language, context, and ambiguity crash into pure reason. These are the rules that govern arguments when you're not dealing with mathematical symbols but with actual sentences that mean slightly different things to different people. "A is A" becomes "A is A, unless A is being sarcastic, or metaphorical, or referencing a meme you don't understand." Semi-formal logic acknowledges that while the underlying laws are absolute, their application in human communication requires interpretation, charity, and occasionally, asking "What do you mean by that?"
Semi-formal Laws of Logic"Technically, when I said 'I'm literally dying of hunger,' I violated the Law of Identity because I'm not literally dying. But by Semi-formal Logic, you understood I was hangry and should have offered me a snack instead of correcting me."
by Dumu The Void February 23, 2026
mugGet the Semi-formal Laws of Logic mug.
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
mugGet the Theory of Formal Social Control mug.
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
mugGet the Critical Theory of Formal Sciences mug.
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
mugGet the Contextualism of the Formal Sciences mug.
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
mugGet the Perspectivism of the Formal Sciences mug.
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
mugGet the Multicontextualism of the Formal Sciences mug.

Share this definition

Sign in to vote

We'll email you a link to sign in instantly.

Or

Check your email

We sent a link to

Open your email