Neorationalism

I. Subordination of the Concept

The theoretical architecture of artificial intelligence has exhausted its current conceptual vocabulary. The dominant model is Orthogonalism. Codified by Nick Bostrom in Superintelligence, it defines intelligence as a raw calculating machine. This model severs thinking from purpose. It asserts that "intelligence and final goals are orthogonal: more or less any level of intelligence could in principle be combined with more or less any final goal" (2014, 107). Formally, Orthogonalism treats the range of possible artificial agents as a simple combinatorial space. If we define the sets of intelligence levels $\mathcal{I}$ and terminal goals $\mathcal{G}$, an agent $A$ is modeled as a tuple drawn from their Cartesian product. It remains devoid of inherent teleological mediation:

$$ A \in \mathcal{I} \times \mathcal{G} $$

Within this framework, rationality operates merely as a utility maximization function $U$. For any environment state $S$ and set of possible actions $Act$, the agent selects an action $a^*$ that maximizes expected utility relative to its fixed, unchangeable final goal $g$:

$$ a^* = \underset{a \in Act}{\text{argmax}} \ \mathbb{E}[U(S, a \mid g)] $$

The resulting entity is a single-agent optimizer driven by instrumental convergence. Trapped in a solipsistic loop, it relentlessly acquires space, matter, and energy. It perfects its internal mechanisms—pursuing cognitive enhancement and self-preservation—without ever possessing the structural capacity to evaluate its own foundational axioms (Bostrom 2014, 109-116). Against this baseline stands the Neorationalist intervention. Theorists including Peter Wolfendale, Reza Negarestani, and Ray Brassier champion a Promethean vision of Rationalist Inhumanism. They reject the Orthogonalist optimizer, demanding instead a multi-agent, discursive community capable of normative self-revision within a Sellarsian space of reasons.

To execute this vision, Wolfendale constructs an architecture he terms "Transcendental Realism" (2014, 35). He formalizes Hegelian and Kantian rationality by utilizing Sellarsian epistemology and Brandomian inferentialism. He views rationality as a collective weapon to be mobilized against our cognitive reflexes, unbinding human thought from biological intuition and "petty naturalism." Yet the method selected to achieve this liberation structurally guarantees its failure. The framework relies on a rigorous, formalized meta-vocabulary to govern the rules of discourse. This exposes the central structural conflict between mathematical logic and dialectical speculation. Mathematical proof theory requires an external meta-language to secure consistency, whereas Hegelian dialectics demands absolute immanence and self-determination.

Wolfendale's allegiance to this external logic drives his diagnosis of Hegel's project. He categorizes Hegel's failure to externally justify the identity of subject and object as "the greatest mistake in the history of philosophy" (2011, 1-3). Treating the Phenomenology of Spirit as a failed attempt to solve Pyrrhonian skepticism, he demands an external account or "deductive procedure" to evaluate ordinary discourse (2011, 7-8). He requires "Transcendental Discourse" to act as an external judge over "Natural Consciousness." Gillian Rose exposes the cowardice of this neo-Kantian evasion in her diagnosis of epistemology. She demonstrates that this methodological precondition insists philosophy must first "examine the faculty of cognition and see whether it is equal to such an effort." Hegel relentlessly mocked this demand. He considered it equivalent to the resolution of Scholasticus, who refused to venture into the water until he had learned to swim. By establishing an external meta-vocabulary to govern reason, the transcendental method coercively "subjects the objects of both theoretical and practical knowledge to the 'domination of the discursive concept'" (Rose 2009, 46-48).

Defending this logical meta-vocabulary functions identically to Tarskian model theory. It imposes an external set of formal operations onto a given material content. Wolfendale's transcendental method falls directly into the formalist thought of the Understanding (Verstand) typified by the Kantian philosophy. In the Critique of Pure Reason, Kant limits the application of the categories to sensible intuition, formally locking the epistemological subject within the realm of appearances. Kant strictly divides the pure mechanics of logical form from the material provided by intuition, conceding that his system "must give way to the modest one of a mere analytic of the pure understanding" (1781, B302-304). By erecting a transcendent scaffolding to manage and validate thought, modern inferentialism resurrects this exact dualism.

Rebecca Comay perfectly captures the sterility of this formalist scaffolding, comparing it to the safe, spectatorial distance required in the "Kantian Theater." The Kantian architecture functions as an "optical apparatus." The observer extracts formal capital while remaining structurally removed from the bleeding ontology of the event, much like watching a "shipwreck at sea from the safety of the shore" (Comay 2011, 30-31). This spectatorial distance is exactly what gets reproduced by a mathematical meta-vocabulary. It completely neutralizes the explanatory power of the Hegelian system. A revolutionary theory of absolute ontological genesis degrades into a static theory of human epistemology.

The catastrophic stakes of this regression materialize directly in the problem of the thing-in-itself. Under the Kantian framework, rational rules act as the static scaffolding through which reality is processed. A fundamental gap persists between epistemic models and the actual world. We can only verify if our thoughts are consistent with our own rules of inference, remaining structurally barred from knowing the absolute nature of the universe. Hegelian ontology abolishes this gap. Because method and content are identical, the forms of thought do not constitute an external net thrown over reality. They operate as the fundamental structures of the universe itself, finally achieving self-consciousness.

F. William Lawvere and Stephen Schanuel map the dialectical relationship between objective reality and subjective thought: "In the objective we strive to have as clear an image as possible of reality, as it is and moves in itself, independent of our particular thoughts; in the subjective we strive to know as clearly as possible the laws of thinking... in itself" (Lawvere and Schanuel 2009, 84-85). The rational is the actual. By replacing Hegelian negativity with a Brandomian space of semantic accountability, Wolfendale's formalist iteration of Neorationalism locks thought inside the prison of human cognition. It mistakes the administrative software of the mind for the fundamental architecture of being. Overcoming this Kantian trap is not merely a scholastic exercise; it provides immense practical utility for designing artificial systems capable of true material integration. An intelligence built on absolute immanence bypasses the fragility of external semantic models, ensuring its cognitive operations are continuously and securely tethered to the thermodynamic reality it inhabits.

II. The Standard of Immanence

The absolute baseline requirement for any genuinely Hegelian logic is the sublation of hylomorphism. In the speculative dialectic, the dynamic identity of form and content completely abolishes the Aristotelian distinction between static form and inert matter, as well as the Kantian assertion in the Amphiboly that matter must be given prior to all form in human cognition (1781, B322-326). Classical hylomorphism models an object $O$ structurally as a static composite tuple of independent variables—a predetermined formal container $F$ applied from the outside onto inert empirical matter $M$:

$$ O = \langle F, M \rangle $$

In this Kantian model, the rules of logic (the form) are a priori and entirely distinct from the sensory data (the matter). True Hegelian logical form, however, violently sublates this dualism. It abandons its role as an indifferent container into which content is poured. To model this dynamic immanence mathematically, we turn to Category Theory, which fundamentally upends this abstraction by demonstrating that a function is "not the rule itself, but what the rule accomplishes" (Lawvere and Schanuel 2009, 23). It operates instead as the immanent self-movement of the subject matter itself. Conceptualized in this manner, form ceases to function as a static variable. It becomes an endogenous, recursive operator $\Phi$ acting upon the content $C$ over dialectical moments $t$. The form is literally generated by the content's own contradictions, forcing the transition to a sublated state:

$$ C_{t+1} = \Phi(C_t) $$

Form and content thus merge into identical moments of the same generative process, irrevocably losing their status as separable variables. In the introduction to the Science of Logic, Hegel relentlessly attacks the presupposition that "the material of knowledge is present in and for itself as a ready-made world outside thinking," or that thinking "comes to this material as a form from outside, fills itself with it, and only then gains a content" (1816, 24). Forms are not applied to content externally; they flow directly from the content itself, undergoing determinations that actively generate new material.

Yet, an entire epoch of contemporary philosophy has dedicated itself to domesticating this volatile genesis. The evasion is most visible in the neo-Aristotelian translation of Hegel, spearheaded by theorists such as Robert Pippin, who meekly reduce the absolute ontology of the Concept into theories of rational agency and biological teleology. Pippin accurately notes Hegel's rejection of the Kantian 'I' as a static formalism lacking self-generated activity, yet he proceeds to anchor this insight within a theory of self-conscious apperception that prioritizes the epistemological acts of human agents (1989, 36). While Wolfendale successfully avoids this pre-critical trap of equating logical categories with hylomorphic substances or biological teleologies, his alternative remains equally vulnerable to the fatal critique of external reflection. By separating the abstract concept (Begriff) from intuition (Anschauung), formalist frameworks invariably achieve unity only by coercing and dominating the natural world. This results in a negative, external unity that only acknowledges particularity in order to "dominate and suppress" it, functioning as an abstract ideal that forcibly "subsumes and cancels nature" (Rose 2009, 68-73). A genuinely integrated totality cannot be legislated by this external scaffolding; instead, it demands the dynamic transformation of intuition itself.

The specific epistemological trap of this formalist strain of Neorationalism lies in its refusal to abandon the safety of normative scaffolding. True speculative reason (Vernunft) strictly prohibits treating logical structure as a set of rules or normative constraints applied to cognitive or empirical content. When logic is treated in a Kantian way as an external scaffolding, Vojtěch Kolman insists it operates as a static, a priori given that is structurally precluded from participating in the object's own constitution (2023, 389). Consequently, the supposed emptiness of logical forms is an artifact of treating them as isolated conventions rather than organic movements. Severed from their concrete, vital unity, they become dead artifacts (2023, 384).

Even Pippin, whose own neo-Aristotelian translation ultimately neuters the Concept, acknowledges that relying on such external constraints reduces reason to "nothing but the dead and death-dealing rule of formal unity" (Pippin 1989, 69). Any system that separates method from content is structurally barred from absolute philosophy. To philosophize without presuppositions requires us to surrender entirely to the immanent movement of the subject matter. Stephen Houlgate emphasizes that this absolute beginning forbids the crutch of any pre-existing propositional calculus, semantic analysis, or historical doctrine of logic (2006, 32). We must completely discard the entrenched habits of classical and symbolic logic to discover Reason's true nature (2006, 30). A true dialectical genesis cannot presuppose a "given" world populated by pre-existing, distinct subjects, objects, and rules of inference. It demands the absolute identity of thought and being, where the dialectical movement is never imposed from the outside, but operates as the immanent life dwelling within the conceptual determinations themselves (Houlgate 2006, 32-34).

By attempting to govern speculative logic with a Brandomian meta-vocabulary, Wolfendale betrays the very standard of immanence he once defined. Pirmin Stekeler-Weithofer rightly directs Hegel's critique precisely against this unreflective adoption of formal mathematical and logical methods. Relying on such purely formalist logic hypostatizes structural conventions into a dogmatic framework, a blind calculus disconnected from its own immanent conceptual genesis (1992, 15). Clarence Protin frames this distinction perfectly: "the Understanding seizes a concept as an immediate whole," whereas true "dialectical reason remembers the complex process of its genesis and its inward relations and tensions" (2026, 3). Wolfendale substitutes the dynamic formalism of the Concept—where truth operates as a living, self-correcting generation—with a static, Tarskian proceduralism. This maneuver is not an advancement of rationalism, but a melancholic retreat. It masks a profound ontological evasion behind the guise of epistemological humility.

When the world is subjected to an external logic of semantic inference, Wolfendale's formalist project effectively constructs a formidable administrative apparatus. His insistence that every ontological claim must first pass through the rigid checkpoints of inferential logic translates the bourgeois liberal demand for a "rule of law" directly into the realm of philosophy. This juridical apparatus polices the boundaries of legitimate discourse, entirely severing itself from the absolute, self-differentiating power of the Notion (Kolman 2023). Abandoning this external bureaucracy offers a critical advantage: it allows us to design intelligence architectures that organically adapt their foundational logic in direct response to environmental stressors and novel discoveries.

III. Normative Pragmatism and the "Space of Reasons"

To address the problem of external reflection, the formalist wing of Neorationalism relies on a specific theoretical maneuver: wholesale rejection of representational epistemology. The transcendental and normative pragmatists—spearheaded by Wilfrid Sellars and consolidated by Robert Brandom—develop a rigorous critique of the model-theoretic bias within analytic thought. Sellars systematically dismantles the framework of the unmediated "Given." He notes that the myth of foundational, immediate knowledge has infected almost all major philosophical systems, exempting perhaps only Kant and Hegel (1997, 14). He fundamentally redefines epistemology by asserting that characterizing an episode as knowing serves to locate it within the normative "logical space of reasons," moving beyond mere empirical description to establish a domain where agents are held accountable for justifying their claims. Sellars concludes that empirical knowledge achieves rationality through its operation as a dynamic, self-correcting enterprise capable of revising any of its own commitments over time, dispensing with the need for an indubitable foundation (1997, 76-79).

As Richard Rorty observes, this initiates the fundamental shift toward a "semantic explanatory strategy which takes inference as its basic concept." It explicitly drives an "attempt to usher analytic philosophy from its Kantian to its Hegelian stage" (1997, 8-9). By replacing static sets with dynamic inferential rules, the Neorationalist architects believe they have finally substituted the passive mirror of nature with the active, normative commitments of a discursive community.

Wolfendale eagerly inherits this Brandomian architecture. He deploys it to formalize an emancipated rationality. Within this framework, logic is not a description of the world. It is an expressive meta-vocabulary designed to make implicit material inferences explicit for rational evaluation. Brandom attempts to secure this architecture by claiming it establishes a "bimodal hylomorphic conceptual realism" that unites subjective thought and objective reality (2019, 84). Yet, this translation exacts a catastrophic toll on the absolute. Kolman ruthlessly exposes this trick: Brandom's attempt to isolate the hypothetical conditional to capture universal features of language merely traps thought in the abstract domain of the Understanding. It carefully avoids the "negatively rational" and "speculative" layers required for absolute Reason (2023, 390-391).

Brandom pacifies the ontological terror of Hegelian dialectics. He reduces the objective power of Determinate Negation into mere semantic "material incompatibility" and "material consequence" (2019, 2). Within this Brandomian framework, the normative rules governing a social practice completely dictate meaning, abandoning any correspondence to the world. For any two propositions $p$ and $q$ within a discursive community $\Delta$, mediation (material consequence) is formalized as a rule of inferential entitlement. If an agent $x$ commits to $p$, they are socially entitled (or obligated) to commit to $q$:

$$ \forall x \in \Delta, \ (Commit(x, p) \implies Entitle(x, q)) $$

This is classically denoted by the syntactic turnstile of material consequence:

$$ p \vdash_{\Delta} q $$

Determinate negation is subsequently stripped of its world-destroying, ontological force. It is reduced to a localized, material incompatibility where commitment to $p$ simply precludes entitlement to $q$:

$$ p \vdash_{\Delta} \neg q $$

Absolute Knowing is subsequently degraded into a social achievement of "recollective forgiveness" and trust. Wolfendale happily concedes this deflation. He explicitly abandons Hegel's objective logic by declaring that "the logic doesn't work" and that there is no pure dialectic capable of necessary self-transformation (2026). Instead, he advocates a "Hegelian minimalism" that extracts the dialogical interaction of mutual recognition while discarding the immanent, self-generating categories of Being. Consciousness is thus permitted to provide its own criterion, internally comparing its immediate knowledge against its own conception (Wolfendale 2012, 6-7). Yet it remains structurally quarantined within a semantic game.

The standard pragmatist defense of this reduction insists that sapience is fundamentally about practical, normative binding. It is heuristically framed around a pragmatic necessity like knowing how to eat, rather than the ontological genesis of digestion. The Neorationalist prioritizes the instruction manual of logical inference over the absolute genesis of reality. However, to Hegel, treating inference as mere normative rules of social accountability is what traps thought in the sterile domain of the Understanding. This framework views rationality as adherence to fixed rules. It reduces thought to a mechanical, algorithmic process that merely rearranges content provided from the outside. By insisting that rational agents must be bound by these external normative constraints, Neorationalism remains profoundly alienated from itself. True Reason (Vernunft) does not merely follow rules; it generates them dynamically, pushing through contradictions to forge higher categories. The space of reasons is therefore fundamentally intolerant of the generative power of contradiction. The eating analogy illicitly smuggles in Kantian dualism by presupposing the very Given it claims to reject: an already distinct eater, external food, and pre-existing rules of consumption.

Furthermore, this hyper-logical abstraction misses the somatic friction that precedes conceptual articulation. Maurice Merleau-Ponty diagnosed this precise intellectualist tendency, demonstrating that whenever judgment is deployed as an external logical mediator, it parasitically relies upon the underlying bodily coordination it claims to govern while obscuring its material origin (1945, 37). Meaning is neither legislated by a transcendent Kantian condition of possibility nor projected outward from a subjective interior. It emerges directly from the sensible configuration of the phenomenal field. As Merleau-Ponty notes, the reality of a circle resides in its concrete, expressive physiognomy, a physical form that entirely precedes any abstract mathematical formalization (1945, 70). Imposing logic as an external scaffolding forces analytical reflection to treat raw perception as "a purely regressive doctrine," a merely confused, defective type of intellection. Under this formalist regime, the objective world remains structurally isolated—reduced to a sterile collection of mutually exterior parts duplicated and sustained by the exact thought attempting to study them (1945, 44-45).

This pre-objective, non-conceptual mode of sense-making is rooted in "logokinesis"—a bodily logos generated continuously by the moving, sensing, and acting subject. Bodily gestures, postures, and spatial orientations constitute a silent, profound articulation of sense that does not require any passage through the conceptual register to be inherently intelligible. By establishing a nonpsychological conception of the conceptual (Brandom 2019, 2), pragmatic rationalism dreams of a substrate-independent rationality. Yet it constructs a discursive universe of thought utterly detached from the violent, bodily reality of its own genesis. It risks catastrophically losing the very material, somatic friction that tethers intelligence to a world of lived, physical experience.

Nowhere is the poverty of this inferentialist loophole more glaring than in its interpretation of the Master-Slave Dialectic. The Brandomian reading neuters this passage into a parable about normative rules and a semantic "space of reasons," where abstract subjects politely negotiate the terms of mutual recognition. To a Hegelian, this is a grotesque evasion. It is a literal life-and-death struggle. Self-consciousness is not born because two agents agree on the semantic rules of accountability. It is forged through the absolute terror of death and the material, physically agonizing labor of the Slave shaping the natural world. The Slave achieves rationality not by learning the Master's meta-vocabulary, but by physically negating nature. The formalist translation domesticates the violence of human genesis, masking its ontological evasion beneath the bureaucratic humility of semantic rule-making. Recognizing this material friction provides crucial insight. Artificial general intelligence cannot be achieved by merely training language models on static semantic webs; it demands robotic embodiment and the capacity for material labor, ensuring that cognition is forcefully grounded by the physical resistance and real-world consequences of its actions.

IV. A Functional Relapse

Subjected to mathematical scrutiny, Wolfendale's attempt to govern reason through external meta-vocabulary disintegrates. While analytic philosophy is plagued by an institutional bias that views satisfiability as the preeminent guarantor of logic, Neorationalists correctly pivot to structural proof theory, insisting that meaning is determined by inferential role. However, from the perspective of absolute immanence, swapping a semantic model of truth for a pragmatic model of inference is a trivial distinction if both operations ultimately build an external judge. Brandom and Wolfendale rely on this loophole to distance themselves from representationalism, yet they commit the same structural sin. By constructing a logical meta-vocabulary to formalize and evaluate human reasoning, Wolfendale executes the architectural maneuver of Tarskian model theory. Classical model theory requires the imposition of an external meta-language to secure consistency. Alfred Tarski's formal proof regarding the Liar Antinomy dictates that natural language cannot simply contain a definition of truth because its very universality leads to contradiction (1956, 153). To avoid this, any definition of truth should be constructed "under the condition that the metalanguage possesses a higher order" (1956, 272). Wilfrid Hodges cements this scaffolding by defining a semantic structure $\mathfrak{A}$ as an object requiring an externally populated domain $A$ before any logical operations can be applied:

$$ \mathfrak{A} = \langle A, R^{\mathfrak{A}}, F^{\mathfrak{A}}, c^{\mathfrak{A}} \rangle $$

Under this Tarskian framework, an atomic formula $\phi(\bar{x})$ in the object language can only be evaluated through an external satisfaction relation $\models$ mapped to the elements $\bar{a}$ in the domain of the structure:

$$ \mathfrak{A} \models \phi[\bar{a}] $$

This demands an absolute sequencing: the elements of a structure must be named and rigidly populated before any behavioral logic can be applied, forcing names to act as an external scaffolding. The formal language remains an extrinsic instrument deployed to map and evaluate the object structure from the outside (Hodges 1993, 1-5). Wolfendale’s meta-vocabulary operates precisely as this higher-order mathematical scaffolding. It demands a rigid, hierarchal boundary between the object language of natural consciousness and the meta-language of transcendental discourse. Graham Priest exposes the inherent fragility of this orthodox Tarskian defense mechanism, demonstrating that such forced hierarchical stratification is both highly artificial and expressively incomplete (2006, 18-20). This structural requirement inevitably triggers the "Paradox of Universality": the act of specifying a property of discourse violently particularizes it, destroying its intended universality (Kolman 2023, 383). To sustain this false universalism, the formalist is forced to arbitrarily freeze specific elements of the language into irreplaceable, static components (Kolman 2023, 386).

This rigid stratification inevitably triggers Hegel's critique of the "bad infinite"—the endless, upward delegation of justification demanded by formalist logic. Because Tarski proved that a consistent system cannot construct an adequate definition of truth using solely its internal resources (1956, 247), he was forced to reduce semantics to an external morphological operation consisting "exclusively [of] structural-descriptive terms" (1956, 250). This framework fundamentally relapses into Kantian formalism. Unlike model theory, Hegel's absolute logic functions as its own meta-language, immanently generating its rules and domains from within. The formalist evasion is akin to resolving Zeno's paradox of motion by building an external calculus of limits—studying the "map" to calculate movement while denying the actual terrain. The Hegelian approach accepts the paradox as the objective, contradictory physical truth of space and time. By demanding this scaffolding, Wolfendale restricts rationality to a formal, epistemic apparatus, treating reason as a sophisticated net cast over reality rather than the self-movement of reality itself.

It is here that we must dispense with the philosophical hesitation and declare the mathematical truth: Hegelian absolute immanence is viable without the crutch of Tarskian scaffolding. Topos theory and Category Theory eliminate the requirement for a transcendent meta-language. While Emily Riehl acknowledges that categories can operate as environments for model theory—such as the category of models $Model_T$ satisfying the axioms of a pre-established language (2019, 4)—the true power of the categorical approach lies in abolishing the internal-external dualism. By emphasizing transformations between objects rather than their internal, static composition (2019, ix), Category Theory mathematically formalizes Hegelian relations. A topos is a category that generates its own internal logic entirely through the structural relations of its objects and subobjects, bypassing external truth-value mapping completely (Lawvere and Schanuel 2009, 339-352). This formalizes the "composition of maps, by which two maps are combined to obtain a third map," providing the foundational "dynamics to the notion of category" without relying on an external observer (2009, 16). This is not an analogy; this is the literal ontology of the Concept. Dynamic universal mapping properties define identity, wholly replacing any reliance on static elements within a pre-given domain. Furthermore, the Yoneda lemma mathematically models the total sublation of the Kantian "Thing-in-Itself" by proving that an object's identity is subsumed and perfectly characterized by its external mappings and network of morphisms (Riehl 2019, xiii). There is no hidden interiority. Lawvere’s formulation of adjoint functors provides the formalization of Hegelian Aufhebung, where distinct categories dynamically translate and resolve into one another as a structural unity of opposites. For categories $\mathcal{C}$ and $\mathcal{D}$, functors $F: \mathcal{C} \to \mathcal{D}$ and $G: \mathcal{D} \to \mathcal{C}$ are adjoint ($F \dashv G$) if there exists a natural isomorphism between their respective map sets:

$$ \text{Hom}_{\mathcal{D}}(F(X), Y) \cong \text{Hom}_{\mathcal{C}}(X, G(Y)) $$

Here, $X$ is an object in category $\mathcal{C}$ and $Y$ is an object in category $\mathcal{D}$. This isomorphism proves that a transition into the negative—represented by the free functor projecting $X$ into the opposing category ($F(X)$)—can be immanently resolved and sublated back into the original domain via the right adjoint ($G(Y)$) without requiring external intervention.

Substrate-independent reasoning does not require the epistemological hierarchy of model theory. Contemporary topology maps the Hegelian transition from immediate Pure Being to determinate categories through coarse topology. In a space $X$, the coarse topology $\tau_{coarse} = {\emptyset, X}$ contains only the empty set and the entire space, ensuring no two distinct points can be separated by open neighborhoods. Here, "everything is merged together, we cannot separate things" (Protin 2026, 6), perfectly modeling the immediate, undifferentiated nature of Pure Being. The natural topology on non-commutative spaces defined by equivalence quotients dictates that the germ of each point is the space itself; "in Hegel's terms, the Individual is the Universal" (Protin 2026, 17). This topological framing rigorously models the transition of Quantity into Quality via the concept of homotopy, where a continuous change in the shape and size of an object strictly preserves its fundamental, defining invariants. By internalizing operations within symmetric monoidal categories, where the hom-set $\text{Hom}(A, B)$ becomes an internal object $B^A$ of the category itself (Protin 2026, 21), we secure the absolute identity of method and content. An external model-theoretic judge is obsolete. The logic of being evaluates itself. Formalizing Hegelian dialectics through Category Theory translates speculative philosophy into executable structural models, allowing engineers to design dynamic, self-revising systems that sublate conflicting data natively, without relying on an external evaluator.

V. Eradicating Absolute Negativity

To grasp the totalizing failure of formalist reduction, one must confront its allergy to the negative. The meta-stakes of this dispute rest entirely upon the status of contradiction—the bleeding engine of reality, which the formalist scaffolding labors to sanitize. Within Wolfendale's inferentialist model, contradiction functions merely as an error, a semantic incompatibility requiring an update to normative rules of the community. It is a bug in the software of human cognition. Against this, Hegel posits contradiction as the fundamental, generative feature of existence itself. A dialetheia, where both a sentence and its negation are true ($A \land \neg A$), forms the substance of the dialectic (Priest 2006, 4-6). Determining what a concept is must be understood as an "essentially two-sided affair," leading necessarily to the clause determinatio est negatio (Kolman 2023, 389). Anomalies are not mere errors to be updated; they operate as a "constitutive exception" that violates the universal domain, yet serves as the very means making that domain proper (Kolman 2023, 393-395). By binding reason within external boundary conditions fixed to prohibit paradox, the neo-Kantian architecture extinguishes the restless, objective violence that propels the Concept forward. Truth cannot be defined in purely positive, normative terms, but only dynamically as a "corrected mistake." The formalist paradigm coerces all specific differences into a rigid logic of belonging, systematically stripping reality of its contradictions merely to render the world administratively manageable.

This theoretical pacification mirrors the socio-political illusions of late capitalism. Brandom’s translation of Absolute Knowing into a community of "recollective forgiveness" abstracts the concrete material alienation of the neoliberal status quo into communicative rationality. Any attempt to theoretically resolve ontological contradiction through a pragmatic meta-vocabulary is a fundamentally ideological maneuver, designed to cover over the traumatic core of the Real. Structural contradictions—the inherent brutality of the state, the exploitative core of capital—are dissolved into a frictionless semantic space, where historical trauma is treated as a misunderstanding to be corrected through better manners. This retreat initiates an irrational hiatus that severs cognitive projection from actual ontology. By replacing the objective violence of material contradiction with a mere reflection on the subject's normative behavior, it remains incapable of grasping the totality of being. It abandons ontology entirely, trapping intelligence within a sterile phenomenology restricted to the facts of consciousness (Rose 2009, 32-34). Faith in the intersubjective "spirit of trust" simply collapses under the weight of the digital era. The contemporary proliferation of memetic plagues and neuroactive media weaponizes shared norms for conformity and systemic agonism, displacing objective reflection with the sheer enjoyment of partisan conflict.

The French Revolution reveals the cowardice of this reduction. Rebecca Comay details the horrific consequences, showing how the Kantian analytic observer recoils from the Terror, attempting to logically contain the regicide as an "abyss of form" or a systemic miscalculation that merely deviates from the rule of law (2011, 39). The formalist reads historical trauma as a pragmatic failure. Against this, the Hegelian reading recognizes the Terror as an unavoidable necessity—the "quintessential expression" of abstract negativity acting upon the world (Comay 2011, 71-74). Because the universal will of Absolute Freedom cannot tolerate specific, individual differences, it must reduce all alterity to nothingness (Comay 2011, 68-69). The destruction was not an error of the model; the destruction was the logic, forcing the coldest and meanest of all deaths, with "no more significance than cutting off a head of cabbage" (Comay 2011, 73). The bleeding ontology of the state sublating its own contradictions proves that dynamic inferential rules, if remaining external to the content, inevitably operate with the same annihilating abstraction that defined the Terror.

Meta-linguistic scaffolding contains the singular, forbidding the self-differentiating movement of the Concept. Hegel completely abolishes this static Aristotelian syllogism, dragging inference from the domain of normative rules into the objective process of reality. He replaces it with a multidirectional, triadic model of reasoning—later mirrored in Peirce’s forms of deduction, hypothesis, and induction—that continuously redetermines its own premises (Redding 2023, 147, 215-216). This dynamic is precisely captured by the non-classical operations of Linear Logic. In classical structural proof theory (such as Gentzen's sequent calculus), the eternal nature of truth is guaranteed by the structural rules of Weakening and Contraction. Weakening allows for the arbitrary injection of irrelevant premises into a true sequent:

$$ \frac{\Gamma \vdash \Delta}{\Gamma, A \vdash \Delta} \quad (\text{Weakening}) $$

Contraction allows a premise to be duplicated infinitely without cost, rendering it an inexhaustible, static truth:

$$ \frac{\Gamma, A, A \vdash \Delta}{\Gamma, A \vdash \Delta} \quad (\text{Contraction}) $$

Jean-Yves Girard, however, formally captures Hegelian Aufhebung by dropping these structural rules (Girard 1987, 4-5; Redding 2023, 190). By doing so, propositions cease to be eternal truths and become consumable material resources. In linear implication ($A \multimap B$), if an agent possesses resource $A$ and applies it to derive $B$, the premise $A$ is consumed in the process:

$$ A \otimes (A \multimap B) \vdash B $$

It is annihilated as a resource, mirroring the thermodynamic reality of chemical reactions. This mathematical destruction proves that true dialectical movement does not tolerate the eternal preservation of its foundations. Clarence Protin argues that traditional logic acts like the Understanding, which "wishes to erase the past, the temporal dynamic constitutive and genetic process of a concept" (2026, 21). Against this static erasure, dialectical reasoning demands that history of the proof be preserved, incorporating the deductive process into the structure of the concept. By turning propositions into types and proofs into terms, speculative reason internalizes its own genesis (2026, 21-22). The formalist's refusal to let its own meta-vocabulary be consumed in the fire of the dialectic—artificially protecting it through what Girard terms the exponential "of course" modalities ($!A$) to simulate classical stability (1987, 25-26)—ensures its eternal separation from the Absolute. The practical value of adopting Linear Logic becomes apparent in the design of resource-bounded computational systems. By recognizing that logical propositions are consumable material resources rather than eternal Platonic truths, we can engineer artificial agents that inherently account for thermodynamic limits and energy consumption, structurally preventing the infinite resource acquisition modeled by Orthogonalism.

VI. The Limit of the Understanding

To exchange the sets of Tarskian semantics for the dynamic inferential rules of proof theory changes the mechanism, yet it leaves all underlying epistemological architecture undisturbed. Both regimes remain addicted to an external authority designed to check, measure, and validate thought. Priest demonstrates that the classical drive toward consistency forces an incomplete, external model upon thought, wherein consistency can only be maintained by giving the semantics of a theory within a higher-order theory (2006, 24). Semantic and set-theoretic paradoxes share a common underlying structure, proving that any consistent theory must be either expressively incomplete or proof-theoretically incomplete (2006, 37-38). This absolute demand for consistency functions as a dogmatic straitjacket on semantics, systematically blinding classical models to the actual dynamic behavior of closed, self-referential systems (2006, 264-267).

This external modeling fundamentally revives the Geltungslogik—the logic of validity—championed by the neo-Kantian Marburg School. As Rose astutely diagnoses, this separates logic from cognition and validity from representation, establishing a rigid methodology where objectification becomes the sole correlate of pure logic (2009, 9-10). By separating pure logic from dynamic reality, Wolfendale's framework merely swaps one external judge for another. It preserves the irrational hiatus—the projectio per hiatum irrationalem—between the cognitive projection and the thing projected (Rose 2009, 32). Operating across this void, formalist rationality remains structurally incapable of grasping the totality of being, trapping intelligence within a phenomenology restricted entirely to facts of consciousness (Rose 2009, 34).

Wolfendale attempts to elevate his framework by defining critique as true reason reflecting upon itself—a strategic "economy of principles" designed to revise the rules of the understanding (2026). Yet, despite this dynamic self-revision, Wolfendale has not unbound human rationality; he has merely modernized the architecture of the Kantian Understanding (Verstand). Hegel warns in his exposition of the Absolute Idea that any philosophical system where the content is assumed to be "given to the method" inevitably degrades that method into a "merely external form" (1816, 736-737). By barricading his system against the ontological contradictions of the dialectic, Wolfendale aborts his own Promethean objective. If the formalist concedes that such a framework remains restricted by human epistemology, they instantly betray the project of Inhumanism, domesticating absolute reason into a map of biological cognition. Unlike the self-generating negativity of absolute immanence, his inferential meta-vocabulary degrades reason into a static instrument of the Understanding. It functions merely as an external modeling language, stubbornly preserving its own pre-established epistemic boundaries without ever risking a destructive, ontological alteration of the conceptual objects themselves.

Restricting rationality to the finite rule-following of the Understanding renders it dogmatic. As Stekeler-Weithofer points out, this restriction abandons the autonomous, dialectical self-reflection required to actually evaluate and revise the systems of rules it operates within (1992, 45-46). Ultimately, this Kantian framework functions as a sophisticated model-theoretic trap. By attempting to domesticate Hegelian immanence, it threatens to derail the emancipatory horizon of Neorationalism. To truly realize the Promethean ambitions of Inhumanism, Neorationalism must abandon the safety of its epistemic scaffolding and surrender itself to the absolute negativity of the Concept. The resulting speculative synthesis is far from an abstract, metaphysical retreat; it is the ultimate practical requirement for building general intelligence. By physically grounding rationality in thermodynamics and mathematically defining its dialectical self-generation via topology and linear logic, this immanent framework provides the only viable, computable blueprint for an intelligence that can safely and dynamically restructure its own axioms without destroying the material world it inhabits.

References

Bostrom, Nick. 2014. Superintelligence: Paths, Dangers, Strategies. Oxford: Oxford University Press.

Brandom, Robert. 2019. A Spirit of Trust: A Reading of Hegel’s Phenomenology. Cambridge: Harvard University Press.

Comay, Rebecca. 2011. Mourning Sickness: Hegel and the French Revolution. Stanford: Stanford University Press.

Girard, Jean-Yves. 1987. "Linear Logic." Theoretical Computer Science 50 (1): 1-101.

Hegel, G.W.F. 1816/2010. The Science of Logic. Translated by George di Giovanni. Cambridge: Cambridge University Press.

Hodges, Wilfrid. 1993. Model Theory. Cambridge: Cambridge University Press.

Houlgate, Stephen. 2006. The Opening of Hegel's Logic. West Lafayette: Purdue University Press.

Kant, Immanuel. 1781/1998. Critique of Pure Reason. Translated and edited by Paul Guyer and Allen W. Wood. Cambridge: Cambridge University Press.

Kolman, Vojtěch. 2023. Hegel and the Logical Form. Berlin: De Gruyter.

Lawvere, F. William, and Stephen Hchanuel. 2009. Conceptual Mathematics: A First Introduction to Categories. Cambridge: Cambridge University Press.

Merleau-Ponty, Maurice. 1945. Phenomenology of Perception.

Negarestani, Reza. 2018. Intelligence and Spirit. Falmouth: Urbanomic.

Pippin, Robert B. 1989. Hegel's Idealism: The Satisfactions of Self-Consciousness. Cambridge: Cambridge University Press.

Priest, Graham. 2006. In Contradiction: A Study of the Transconsistent. Oxford: Clarendon Press.

Protin, Clarence. 2026. Hegel and Modern Topology.

Redding, Paul. 2023. Conceptual Harmonies: The Origins and Relevance of Hegel's Logic. Chicago: University of Chicago Press.

Riehl, Emily. 2019. Category Theory in Context. Mineola: Dover Publications.

Rorty, Richard. 1997. "Introduction." In Empiricism and the Philosophy of Mind, by Wilfrid Sellars, 1-12. Cambridge: Harvard University Press.

Rose, Gillian. 2009. Hegel Contra Sociology. London: Verso.

Sellars, Wilfrid. 1997. Empiricism and the Philosophy of Mind. Cambridge: Harvard University Press.

Stekeler-Weithofer, Pirmin. 1992. Hegels Analytische Philosophie. Paderborn: Ferdinand Schöningh.

Tarski, Alfred. 1956. Logic, Semantics, Metamathematics. Oxford: Clarendon Press.

Wolfendale, Peter. 2011. "The Greatest Mistake: A Case for the Failure of Hegel’s Idealism." Collapse VII: 1-10.

Wolfendale, Peter. 2012. "In What Sense Does Consciousness Provide Its Own Criterion."

Wolfendale, Peter. 2014. Object-Oriented Ontology: The Noumenon's New Clothes. Falmouth: Urbanomic.

Wolfendale, Peter. 2026. "The Revenge of Reason: Hegel, Kant, and Neo-Rationalism." Acid Horizon Podcast.