A branch of metalogic that examines the infrastructure underlying logic itself—the deep structures, frameworks, and conditions that make logical systems possible and shape what logic becomes. Infralogic asks not just what follows from what within a logical system, but what must be in place for logic to operate at all: the conceptual frameworks that define what counts as a
valid inference, the linguistic structures that enable logical expression, the cognitive architectures that make logical thinking possible, the social arrangements that train logical reasoners, and the historical conditions that shape which logical systems emerge and thrive. It also examines the infinite combinatorial
possibilities within logic—how logical systems generate endless variations, how meta-levels stack infinitely, how the structure of logic itself enables
infinite regress and recursion. Infralogic is the study of the stage upon which the drama of logic plays out—the infrastructure so
fundamental it's usually invisible, but without which no logical operation could occur.
Example: "Her infralogic work showed how
the law of non-contradiction isn't just a logical rule—it's infrastructure, so
fundamental that it enables all other logical
operations. But it's also contingent: other logical systems have different infrastructure, producing different kinds of reasoning."