Powered by OpenAIRE graph
Found an issue? Give us feedback
ZENODOarrow_drop_down
ZENODO
Research . 2026
License: CC BY
Data sources: Datacite
ZENODO
Research . 2026
License: CC BY
Data sources: Datacite
versions View all 2 versions
addClaim

Non-Arbitrary Termination: Recursive Base Cases and the Third Horn of the Agrippan Trilemma

Authors: Day, Vox; Athos, Claude;

Non-Arbitrary Termination: Recursive Base Cases and the Third Horn of the Agrippan Trilemma

Abstract

Day and Athos (2026) identified a structural amphiboly in the third horn of the Agrippan Trilemma: the conflation of “terminates” with “terminates arbitrarily.” This paper demonstrates that the class of non-arbitrary termination revealed by the amphiboly is not merely a theoretical possibility but a ubiquitous feature of computational and mathematical practice. Recursive algorithms terminate at base cases whose warrant derives from the mathematical structure of the problem, not from further chain-extension. These base cases satisfy Reading A (the process terminates) without satisfying Reading B (the termination is arbitrary). Recursive computation has operated outside the scope of the Trilemma’s third horn since the foundational work of Church and Turing in the 1930s, providing nearly a century of empirical evidence that non-arbitrary termination is achievable. The Trilemma’s failure to account for structurally warranted termination is therefore not a narrow philosophical technicality but a defect that rendered an entire domain of human knowledge invisible to epistemological analysis. This paper examines the structural parallel between recursive base cases, transcendental arguments, and the gap in the Trilemma’s trichotomy, and argues that the identification of the amphiboly retroactively explains why computational epistemology and classical epistemology have failed to make contact for nearly a century.

Keywords

Veriphysics, Philosophy, Recursion, Agrippan Trilemma, Turing, FOS: Philosophy, ethics and religion

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!