Formal Infrasciences

The branch of infrascience that examines the infrastructure underlying the formal sciences—logic, mathematics, systems theory, and related fields that study formal structures rather than empirical phenomena. Formal infrasciences investigate the foundational systems, structures, and conditions that make formal inquiry possible: logical infrastructure (rules of inference, proof systems) that enables deductive reasoning; conceptual infrastructure (definitions, axioms, frameworks) that provides foundations; computational infrastructure (formal systems, algorithms, software) that extends formal capabilities; notational infrastructure (symbol systems, languages) that enables formal expression; and institutional infrastructure (departments, journals, conferences) that supports formal research. Formal infrasciences reveal that even the most abstract formal systems depend on infrastructure—that logic doesn't float free but is practiced by communities using tools developed over centuries, and understanding formal science requires understanding this infrastructure.

Example: "His formal infrasciences research examined how the development of computer proof assistants is transforming mathematical practice—not by replacing human reasoning, but by providing infrastructure that extends what humans can prove. New tools, new proofs, new mathematics."

by Abzugal March 16, 2026

Formal Metasciences

The systematic study of the formal sciences themselves—a second-order discipline that takes logic, mathematics, systems theory, and related fields as its objects of inquiry. Formal metasciences ask meta-level questions about formal knowledge: How do formal scientists know what they claim to know? What methods do different formal disciplines use? How does formal knowledge change over time? How do social, cultural, and institutional contexts shape formal science? What are the limits of formal understanding? Formal metasciences are the formal sciences reflecting on themselves—the attempt to understand what formal science is, what it can achieve, and how it relates to other forms of knowledge. They're essential for formal science to be self-aware rather than merely practiced, for formal scientists to understand their own activities rather than just engaging in them.

Example: "Her formal metasciences research examined how Gödel's incompleteness theorems transformed logic's understanding of itself—showing that formal systems have inherent limits, and that the dream of complete, consistent foundations for mathematics is impossible. Logic studying itself discovered its own boundaries."

by Abzugal March 16, 2026

formidulous

scary, frightening, yknow words like that

person 1: dude that ride was so formidulous

person 2: is that even a real word?

person 1: i dont know.

by themadcrystal March 26, 2026

Formals

an evening gown.

"cocktail parties every night so the ladies can show off their formals"

by Arminkshipper June 30, 2025

Formal

an occasion on which evening dress is worn.

"the college will be hosting their annual formal on February 6"

by Arminkshipper June 30, 2025

Formiculate

To invent, construct, or fabricate a narrative, idea, or explanation in a deliberate, structured, and formal manner — often with the intention of giving it credibility, whether or not it is entirely truthful.

Usage notes:
• Suggests a blend of creativity and strategic presentation.
• Often used when someone is making something up that sounds convincing or official.
• Can be neutral, clever, or deceptive, depending on context.

⸻

Example sentences:
1. The witness didn’t lie — he simply formiculated a version of events that painted him in a better light.
2. Writers of historical fiction are experts at formiculating the gaps in recorded history.
3. She’s not dishonest; she’s just good at formiculating answers that keep the peace.

by Kmac010 July 18, 2025

Former Finalist

Someone who competed in the finale of a show or challenge. Who likely lost, considering it isn't 'former winner'.

M. Leafy: "You should really value my company, I AM a former finalist!"
Pin: "Why do you say that like it's impressive? You're saying you got second, AKA you lost. Which means you're a loser!"

by termina11yCapricious July 29, 2025