Theory of Logical Frameworks

The systematic study of how logical frameworks operate, how they're constructed, how they relate to each other, and how they're used in different contexts. The Theory of Logical Frameworks argues that logic is not one thing but many—that different frameworks serve different purposes, that no single framework is adequate for all reasoning tasks. It examines the history of logical systems (how classical logic developed, why alternatives emerged), their mathematical properties (completeness, consistency, decidability), their philosophical implications (what they say about truth and reason), and their practical applications (where each framework works best). The theory is the foundation of logical pluralism, the recognition that there are many ways to reason validly.

Example: "He'd thought logic was universal—same rules for everyone, everywhere. The Theory of Logical Frameworks showed him otherwise: different frameworks for different domains, different rules for different purposes. Classical logic worked for mathematics; paraconsistent logic worked for contradictions; fuzzy logic worked for vagueness. None was the logic; all were tools."

by Abzugal Nammugal Enkigal March 9, 2026

Flag

Get the Theory of Logical Frameworks mug.

Theory of Rational Frameworks

The systematic study of how rational frameworks operate, how they're constructed, how they change, and how they relate to culture, power, and history. The Theory of Rational Frameworks argues that rationality is not a single, universal standard but a family of related practices, each with its own logic, its own history, its own domain of applicability. It examines how rational frameworks are learned (through socialization, education, practice), how they're maintained (through institutions, norms, authority), how they change (through historical shifts, cultural contact, paradigm shifts), and how they're related to power (whose rationality dominates, whose is marginalized). The theory doesn't claim that all rational frameworks are equally good; it claims that rationality is plural, situated, and historical—and that understanding this is essential for understanding human reasoning.

Example: "He'd thought rationality was the same for everyone, everywhere. The Theory of Rational Frameworks showed him otherwise: different times, different places, different rationalities. Medieval rationality wasn't failed modern rationality; it was different rationality altogether. Understanding that didn't make judgment impossible; it made judgment more careful."

by Abzugal Nammugal Enkigal March 9, 2026

Flag