Aristotelian Representation Hypothesis

Updated 2 July 2026

The Aristotelian Representation Hypothesis is a framework defining classical distinctions in physics, logic, and rhetoric, mapped onto modern theories like GR, QFT, and neural representations.
It rigorously distinguishes natural versus enforced motion in physics and local versus global representational structures in machine learning through precise empirical metrics.
The hypothesis unifies disparate fields by offering computational models in argumentation, logic, and deep learning, providing actionable, testable insights into representational challenges.

The Aristotelian Representation Hypothesis (ARH) designates a family of foundational claims that computational, logical, physical, or cognitive representational formalisms can and do embody key conceptual distinctions or structures first systematized by Aristotle. Across domains as disparate as fundamental physics, deep learning, and computational argumentation, the ARH posits that Aristotelian dichotomies (such as natural vs. enforced motion or local vs. global relational form) offer a precise lens through which to understand the representational expressiveness and limitations of modern theories, algorithms, and frameworks. Recent research demonstrates that Aristotelian structures are not merely of historical interest, but provide live organizing principles for ongoing challenges in theoretical physics, machine learning, and knowledge representation.

1. Historical Context and Conceptual Foundations

Aristotle introduced rigorous analytic distinctions in his physics (notably between "natural" and "enforced" motion), syllogistic logic (including his "relatives" as higher-arity predications), and rhetoric (the trichotomy of Logos, Ethos, Pathos). This analytic program continues to influence modern representational paradigms. The ARH, in its various instantiations, asserts that essential aspects of contemporary theories—e.g., general relativity, quantum fields, deep neural representations, or argumentation graphs—can be understood as recapitulating, refining, or unifying these Aristotelian structures (Pietschmann, 2016, Gröger et al., 16 Feb 2026, Göttlinger et al., 2018, Engeler, 2020).

2. Physics: Motion and the Modern Return to Aristotelian Distinctions

Herbert Pietschmann articulated a direct parallel between Aristotelian mechanics and the modern physical dichotomy between general relativity (GR) and quantum field theory (QFT):

Natural Motion (“moved by itself”): For Aristotle, exemplified by an apple falling straight down, governed by no external pulling/pushing. General Relativity realizes this as free-fall along geodesics in curved spacetime, described by the geodesic equation:

$\frac{d^2 x^\mu}{d\tau^2} + \Gamma^\mu_{\nu\rho}\frac{dx^\nu}{d\tau}\frac{dx^\rho}{d\tau} = 0$

where the Christoffel symbols $\Gamma^\mu_{\nu\rho}$ encode spacetime curvature. Gravity, in this account, is not a force but pure geometry (Pietschmann, 2016).

Enforced Motion (“moved by something else”): Encompassing pulling, pushing, carrying, or rotating due to external influence. In QFT, all non-gravitational interactions—electromagnetic, strong, weak—are mediated by field quanta (e.g., photons, gluons), with particles accelerating under the action of explicitly realized forces:

$\frac{dp^\mu}{d\tau} = q F^\mu_{\ \nu}\frac{dx^\nu}{d\tau}$

This bifurcation mirrors Aristotle's twofold categorization, and, critically, points to the current theoretical divide: GR (geometry, natural motion) is conceptually and mathematically incompatible with QFT (force mediation, enforced motion). The ARH thus situates the contemporary unification challenge as a modern instance of transcending Aristotle's dichotomy (Pietschmann, 2016).

3. Machine Learning: Local Structure and the Aristotelian Perspective on Representational Similarity

The ARH has been recently invoked in deep learning theory to sharply distinguish between global and local forms of representational convergence:

Platonic Representation Hypothesis: Suggests networks converge to a shared global metric geometry.
Aristotelian Representation Hypothesis (in ML): Empirical evidence, after rigorous permutation-based null calibration, demonstrates that neural representations do not converge to a universal global geometry but rather to shared local neighborhood structure. That is, for two networks with embedded representations $X\in\mathbb{R}^{n\times d_x}$ $X \in R^{n \times d_{x}}$ , $Y\in\mathbb{R}^{n\times d_y}$ $Y \in R^{n \times d_{y}}$ :
- Mutual $k$ -NN overlap,
$\text{mKNN}_k(X,Y) = \frac{1}{n} \sum_{i=1}^n \frac{|N_X(i) \cap N_Y(i)|}{k}$

with calibration, approaches 1 as models scale—even when global measures (CKA, CCA, RSA) do not. - This indicates that models agree on "who is near whom", but not on full metric geometry (Gröger et al., 16 Feb 2026).

Significance: This suggests that representational convergence in deep neural networks is fundamentally relational and topological (neighbor identities), not coordinate or spectral—an Aristotelian rather than Platonic notion of form.

4. Argumentation and Knowledge Representation: Trichotomic Structures

The ARH is systematically developed in computational argumentation via the Trichotomic Argument Interchange Format (T-AIF):

Logos: Inferential structure; rules, schemes, logical consequence carried in I-nodes, RA/CA nodes, and their weighted numeric interpretations (e.g., fuzzy-Łukasiewicz semantics).
Ethos: Encoded as $E \to E$ weighted edges, $w_{ethos}(x,y)\in[0,1]$ , expressing trust among actors.
Pathos: $E \to I$ (actor to proposition) weighted edges, $\Gamma^\mu_{\nu\rho}$ 0, quantifying each actor's level of commitment.
These are unified into a single graph formalism, with fuzzy-labelling semantics $\Gamma^\mu_{\nu\rho}$ 1. Consistency, admissibility, and rhetorical adherence metrics (e.g., Logos-score, Ethos-score, Pathos-score) are precisely defined, allowing joint reasoning over all three dimensions (Göttlinger et al., 2018).

Result: T-AIF demonstrates that all three Aristotelian modes (Logos, Ethos, Pathos) are computationally accessible within a unified formal structure, validating the ARH in this domain.

5. Syllogistic Logic, Relations, and Combinatory Foundations

E. Engeler formulates the ARH in the context of predicate logic and combinatory logic:

Aristotelian "relatives" as curried predicates: All n-ary predicates are curried, and their compositional and swapping behavior is precisely characterized via combinators (S, K, B, C).
Quantification: Universal (α) and existential (ε) operators correspond to Aristotelian “all” and “some”.
Logical connectives: Realized via function-combinators on set extensions (∧, ∨, ¬).
Syllogisms: For example, the Barbara syllogism can be mapped directly as a combinatorial identity:

$\Gamma^\mu_{\nu\rho}$ 2

This embedding demonstrates that Aristotelian syllogistic forms can be represented as first-class combinatory objects with well-defined computational semantics (Engeler, 2020).

6. Falsifiability, Metrics, and Empirical Implications

Across domains, ARH claims are rendered empirically testable by precise metrics and statistical frameworks:

In deep learning, standard global similarity measures (CKA, CCA, RV-coefficient, RSA) are shown to be confounded by dimensionality and depth. Permutation-based null calibration eliminates these confounders, showing that only local mutual neighborhood metrics persistently exceed null baselines at scale (Gröger et al., 16 Feb 2026).
In T-AIF, rhetorical metrics (Logos-score, Ethos-score, Pathos-score) can be quantitatively computed on any instantiation, enabling profiling and comparison of actors, arguments, and dialogues (Göttlinger et al., 2018).

Table: Key ARH Instantiations Across Domains

Domain	Aristotelian Structure	Modern Formalization
Fundamental Physics	Natural/enforced motion	GR (geodesics)/QFT (interactions) (Pietschmann, 2016)
Deep Learning	Local/global form	Neighborhood overlap/metric geometry (Gröger et al., 16 Feb 2026)
Argumentation	Logos/Ethos/Pathos	T-AIF weighted graphs (Göttlinger et al., 2018)
Logical Foundations	Curried relatives	Combinatory logic representations (Engeler, 2020)

7. Open Problems and Theoretical Implications

The ARH illuminates several persistent research challenges:

Physics: Reconciling geometric (natural/geodesic) and force-mediated (enforced/field) paradigms—i.e., finding an overview of GR and QFT—remains unresolved (Pietschmann, 2016).
Machine Learning: Understanding tasks, architectures, or objectives that might enable true global (Platonic) convergence, or refining neighborhood-calibrated metrics to new settings (manifolds, time series) are active research directions (Gröger et al., 16 Feb 2026).
Argumentation: Generalizing trichotomic graphs to richer modalities, dynamically evolving trust/commitment, and integrating modal logic aspects of Aristotelian reasoning represent ongoing challenges (Göttlinger et al., 2018).
Logic: Internalizing the ε/α quantifiers into proof-theoretic or higher-order frameworks, handling modal syllogisms, and extending compositionality to inductive or abductive inferences are open technical questions (Engeler, 2020).

This suggests the ARH operates as both an organizing lens clarifying why certain representational divides persist and a possible roadmap toward their principled resolution.