The Rational Norms Dilemma Theorem (RNDT): Necessary Rational Norms and the Conditions of Their Knowability

The Rational Norms Dilemma Theorem (RNDT): Necessary Rational Norms and the Conditions of Their Knowability Author: Elegbede Tomiwa Adekunle Affiliation: Independent Scholar Email: [email protected] ORCID: https://orcid.org/0009-0006-8154-7172 Date: December 2025 Status: Unpublished Cite as: Elegbede, T. A. (2025). Zenodo. https://doi.org/10.5281/zenodo.17687653 Acknowledgments I am first and foremost grateful to God, whose rational order and sustaining presence make all inquiry possible. I also wish to thank my friends and interlocutors, Ifeouwa, Seyi, and Oghenerume, for their thoughtful conversations, critical feedback, and encouragement throughout the development of this paper. I am especially thankful to my family for their constant support, patience, and confidence in my work. While many have contributed insight and assistance, all remaining errors, omissions, and shortcomings are entirely my own. Abstract Finite rational agents possess justified knowledge of necessary rational norms (NRNs), such as logical laws and principles of inference, despite their contingent cognitive capacities. This paper develops an exhaustive analytic trichotomy of non-theistic accounts of NRNs—mind-dependent, impersonal necessary, and brute—and argues that none can make such knowledge possible. Employing the Ontological Congruence Principle, each option is shown to render justification epistemically accidental. The resulting Rational Norms Dilemma Theorem establishes an impossibility claim: if non-theistic metaphysics is true, knowledge of NRNs is impossible. The eliminative result yields a minimal positive residue, motivating Epistemic Revelation as a necessary condition for non-accidental epistemic access. This paper does not presuppose theism, appeal to causal interaction with abstract objects, or rely on grounding frameworks. 1. Introduction: The Problem of Necessary Rational Knowledge Human reasoning presupposes a body of principles that appear necessary, universal, and exceptionless: the law of non-contradiction, elementary logical inference rules, basic arithmetic identities, and modal principles governing possibility and necessity. These principles do not merely describe how human beings in fact reason; they prescribe how any rational agent ought to reason on pain of irrationality. Yet the agents who grasp and deploy these norms are finite, contingent, historically situated, and cognitively fallible. The tension between the modal status of rational norms and the nature of finite cognition gives rise to a deep epistemic problem that has not been satisfactorily resolved within non-theistic metaphysics. 1.1 Epistemic Datum This paper begins from a minimal epistemic datum: (D) Finite rational agents possess justified true beliefs concerning necessary rational norms. Ordinarily rational practice presupposes knowledge of such norms. Agents do not merely believe that valid inferences preserve truth; they take themselves to know that they do so necessarily. The datum is not controversial: denying it would undermine the possibility of rational discourse, argumentation, and inquiry altogether. The notion of knowledge employed here is intentionally minimal. Knowledge is understood as justified true belief, without invoking substantive anti-Gettier machinery or demanding infallibility. What matters is not the elimination of every conceivable epistemic defect, but whether an agent’s belief is connected to truth in a non-accidental way appropriate to its modal profile. Likewise, necessity is not understood psychologically as a feeling of certainty or irresistibility. It is understood modally. Necessary rational norms are those that could not fail to hold in any possible world in which rational thought occurs, regardless of whether agents recognize them or comply with them (see Boghossian 2006; Field 1989; Williamson 2000). Precision clause: By ‘knowledge’ I mean justified true belief where justification tracks modal status, not merely reliability. 1.2 The Central Question Given this datum, the central question of the paper is straightforward: How can finite agents possess justified knowledge of necessary rational norms? This question is not reducible to nearby inquiries with which it is often conflated. It is not a psychological question about how human beings come to form certain beliefs, nor a sociological question about how norms are transmitted through linguistic or cultural practices. It is also not a pragmatic success question concerning which reasoning strategies tend to be useful, adaptive, or evolutionarily advantageous. Each of those approaches may explain why agents reason as they do. None explains how agents are epistemically entitled to treat their beliefs about necessary rational norms as knowledge rather than as contingent cognitive habits that merely happen to align with truth. The problem is not the origin of belief but its justification in light of necessity. 1.3 Methodological Commitments The argument developed in this paper is transcendental in structure. It begins from an uncontroversial feature of rational life, the existence of justified knowledge of necessary norms, and then asks what must be the case for such knowledge to be possible at all (see Stroud 1968; Stern 2000; Koons 2018). The strategy is eliminative rather than constructive. Instead of proposing theism as one explanatory option among many, the paper systematically evaluates and excludes every non-theistic account of the ontological status of rational norms, showing that each fails to satisfy the conditions required for justified epistemic access. The analysis is governed by modal constraints rather than empirical ones. The focus is on necessity, universality, and invariance across possible worlds, not on causal histories or psychological mechanisms. Accordingly, the argument is epistemic rather than causal: it concerns justification and entitlement, not efficient causation or cognitive production. The result is therefore presented as a theorem rather than merely an argument. RNDT is formulated as a conditional, deductive result: given the existence of justified knowledge of necessary rational norms, and given an exhaustive partition of the non-theistic option space, it follows of necessity that no non-theistic account can make such knowledge possible. The theorem does not depend on explanatory inference, probabilistic weighting, or empirical contingencies, but on necessary-condition analysis and eliminative reasoning over an exhaustively defined domain. In this respect, RNDT establishes an epistemic impossibility result rather than a comparative or abductive conclusion. Explicit contrast. RNDT is neither abductive nor probabilistic; it proceeds by necessary-condition analysis and yields a deductive impossibility result. 1.4 Main Contributions of the Paper This paper makes the following contributions: 1. An exhaustive non-theistic analytical trichotomy that classifies all secular metaphysical accounts of Necessary Rational Norms (NRNs) without presupposing any theistic commitments. 2. The Rational Norms Dilemma Theorem (RNDT): a formally stated transcendental result demonstrating that each horn of the non-theistic trichotomy fails to jointly satisfy the conditions of modal necessity, normative authority, and epistemic accessibility required for finite agents to possess justified knowledge of NRNs. 3. The introduction of Epistemic Revelation (ER) as a distinct epistemic category, articulated not as an additional metaphysical option within the trichotomy, but as the only structurally coherent mode of epistemic access remaining once all non-theistic accounts are shown to render such knowledge impossible. 4. A resolution of the “fourth-horn” objection, showing that agnosticism constitutes an epistemic suspension rather than a metaphysical alternative, and therefore does not represent an additional explanatory category alongside the trichotomy. 5. An argument for the independence of RNDT from contemporary grounding debates, demonstrating that the theorem relies on modal-structural constraints and necessary conditions for epistemic possibility rather than on controversial grounding relations. 6. A constrained engagement with the Euthyphro dilemma, developed only after the failure of non-theistic accounts, by situating necessary rational normativity within a framework of divine rationality and epistemic revelation, thereby avoiding both voluntarism and impersonal necessity. 7. A formal logical mathematical presentation of the trichotomy and RNDT was introduced to meet analytical standards of rigour and to clarify the modal and epistemic structure of the argument. 2. Necessary Rational Norms (NRNs): Clarifications and Constraints 2.1 Definition of Necessary Rational Norms Necessary Rational Norms are principles that (i) hold with metaphysical necessity, (ii) govern what rational agents ought to believe or infer, and (iii) apply independently of empirical conditions, psychological states, or social practices. NRNs include, but are not limited to, basic logical laws (e.g., non-contradiction), valid inference principles, and norms governing rational belief formation. Their authority is categorical rather than conditional, and their violation constitutes irrationality as such, not merely practical failure. This definition is intentionally minimal and theory-neutral: it does not presuppose any particular metaphysical grounding while fixing the modal and normative profile that any adequate account must respect. 2.2 Modal Features Requiring Explanation Any satisfactory account of NRNs must explain the following features jointly: 1. Necessity NRNs hold in all possible worlds; their validity is not contingent on physical laws, evolutionary history, or cognitive architecture (see Kripke, 1980; Fine, 1994; Chalmers, 2002). 2. Universality They bind all rational agents qua rational, not merely human agents or members of specific linguistic or cultural communities. 3. Invariance Their content does not vary across contexts, practices, or explanatory frameworks; rational obligation remains constant under counterfactual variation. 4. Normative Authority NRNs do not merely describe how agents reason but prescribe how agents ought to reason, supplying standards of correctness and error. 5. Knowability NRNs are not merely existent but epistemically accessible: finite agents can possess justified true beliefs about them. RNDT targets the conjunction of these features. Any account that secures some while sacrificing others fails by reduction, not success. 2.3 What NRNs Are Not To prevent category mistakes, NRNs must be sharply distinguished from the following: ● Not empirical regularities They are not inductive generalizations about how agents in fact reason. ● Not social conventions Their authority does not depend on communal endorsement, linguistic practice, or institutional norms. ● Not instrumental heuristics They do not derive their force from pragmatic success or goal-relative efficiency. ● Not psychological dispositions They are not reducible to cognitive tendencies, neural structures, or evolutionary adaptations. Confusing NRNs with any of the above collapses necessity into contingency and normativity into description, thereby precluding genuine rational knowledge rather than explaining it. 3. Epistemic Requirements: Justification and Modal Tracking 3.1 Justified True Belief and Modal Knowledge Justified true belief (JTB) is employed here as a minimal epistemic standard, not a Gettier-maximal theory. The relevant notion of justification is not mere reliability or de facto success, but entitlement adequate to the modal status of the proposition known. Modal truths, especially necessary truths, introduce a distinctive epistemic demand: justification must track necessity, not merely coincide with truth across nearby cases. Belief may be reliably true in the actual world and yet fail to constitute knowledge if its truth is accidental relative to the space of possible worlds. This generates what may be called modalized Gettier risk (Gettier, 1963; Williamson, 2000, ch. 5; Malmgren, 2011): even where a belief in a necessary truth cannot be false, it may still be unjustified if the agent lacks principled access to why the belief holds necessarily rather than contingently. In such cases, the belief’s necessity does not secure epistemic entitlement; it merely masks luck at the level of justification. Accordingly, knowledge of necessary rational norms requires a form of justification that is non-derivative, non-accidental, and sensitive to modal status. Epistemology standardly distinguishes mere true belief from knowledge by requiring that a belief’s truth not be accidental relative to the grounds on which it is held. This constraint applies independently of metaphysical commitments. A belief may be guaranteed to be true because its content is necessary while still failing to count as knowledge if the agent lacks principled entitlement to it. Otherwise, any cognitively isolated agent who happens to believe a necessary truth would thereby possess knowledge, collapsing the distinction between epistemic success and coincidence. The requirement that justification rule out such modal luck is therefore not an optional thesis but a minimal condition on knowledge as such; see Pritchard (2005) and Greco (2010). 3.2 The Ontological Congruence Principle Ontological Congruence Principle (OCP). If a subject S has justified knowledge of a proposition p with modal status M, then the ontological source of p must be capable, in principle, of underwriting epistemic access appropriate to M. Informal gloss. Justification must be congruent with what is known. If a truth is necessary, universal, and normatively authoritative, then whatever explains our knowledge of that truth must be capable of supporting justification with those same features. An ontological source that lacks the resources to license modal entitlement cannot underwrite knowledge, even if it guarantees truth. OCP does not demand a full metaphysical explanation of normativity. It functions as a necessary-condition constraint on epistemic success: mismatches between ontological status and epistemic access result in accidental or illicit justification. RNDT applies OCP eliminatively: proposed ontologies of NRNs are tested for their ability to satisfy the epistemic conditions required for justified modal knowledge. 3.3 What OCP Does Not Do This principle is deliberately modest. It does not: itself license the belief as knowledge unless the agent has reason to regard the belief-forming method as truth-tracking rather than coincidentally aligned. Absent such entitlement, the belief’s truth remains accidental relative to the agent’s epistemic position, even if the proposition believed could not have been false. This is not a demand for causal interaction or metaphysical grounding, but a minimal anti-luck constraint on justification. For defenses of mathematical intuition, see Gödel 1964; BonJour 1998; Bealer 2002. For critiques, see Field 1989; Liggins 2010. Thus, TU secures necessity without justification and structure without authority. Knowledge of NRNs is therefore impossible on impersonal Platonist accounts. 5.3 BR: Brute Necessity Brutalist accounts treat NRNs as metaphysically primitive: they obtain necessarily and admit of no further explanation. This position is often presented as neutral or deflationary. It is not. Brute necessity does not suspend explanation; it negates justification. If there is no explanation of why NRNs hold or why finite agents track them, then belief in such norms is epistemically lucky. This directly violates NAC: the alignment between belief and truth is unexplained and could not rationally ground entitlement. Moreover, brute necessity introduces modal opacity. If the necessity of NRNs is primitive, then agents have no principled reason for regarding them as authoritative rather than merely given. Normativity becomes an unexplained fact rather than a rational demand, undermining NC. BR, therefore, fares worst: it explains neither necessity nor knowability in a way compatible with justified belief. Treating NRNs as brute does not preserve realism; it dissolves epistemology. 6. The Rational Norms Dilemma Theorem (RNDT) 6.1 Formalization of the Rational Norms Dilemma Theorem (RNDT) 1. Symbols and Domains Let: ● A = the set of finite rational agents ● N = the set of Necessary Rational Norms (NRNs) ● S = a candidate ontological source of NRNs ● S = the set of non-theistic candidate sources SNT={FI,TU,BR}S_{NT} = \{ FI, TU, BR \}SNT ={FI,TU,BR} Where: ● FI = finite immanence (mind-dependent) ● TU = transcendent impersonal necessity ● BR = brute necessity 2. Epistemic Predicate Definitions Let: ● K(a, n) = agent a has knowledge of norm n ● J(a, n) = agent a is epistemically justified in believing n ● □n = n is necessary (holds in all possible worlds) ● Auth(n) = n has genuine normative authority ● Track(a, n) = a’s belief non-accidentally tracks n The rest of these will now be in visual screenshots for better visibility. 10. Interpretation Clause (Non-Formal) RNDT is a conditional deductive impossibility result: ● If knowledge of NRNs exists ● And if the non-theistic option space is exhaustive ● And if justification must be non-accidental Then non-theistic metaphysics is epistemically impossible with respect to NRN knowledge. 6.2 Proof Sketch 1. Exhaustiveness: Section 4 establishes that FI, TU, and BR exhaust the non-theistic ontological space for NRNs. 2. Adequacy Conditions: Sections 2–3 establish MSC, NC, and NAC as necessary conditions for justified modal knowledge. 3. Elimination: Section 5 shows that each horn fails at least one adequacy condition. 4. Residual Conclusion: Since knowledge of NRNs exists, and no non-theistic account can make such knowledge possible, non-theistic accounts are false. RNDT follows deductively from these steps. 6.3 What RNDT Establishes—and What It Does Not RNDT establishes: ● The insufficiency of all non-theistic accounts to underwrite justified knowledge of necessary rational norms. ● An epistemic impossibility claim: if non-theistic metaphysics is true, such knowledge is impossible. ● A minimal positive constraint on the source of rational normativity: given the existence of such knowledge, whatever accounts for necessary rational norms must be necessary in existence, intrinsically rational, normatively authoritative, and capable of underwriting epistemic entitlement through intentional disclosure. RNDT does not: ● Invoke scripture or theological doctrine. ● Settle contemporary grounding debates. ● Commit to voluntarism or divine command theories. RNDT is a negative–eliminative theorem in method, but it yields a minimal positive result by necessity. By exhaustively excluding all non-theistic accounts, it constrains the remaining metaphysical option space to a necessary, rational, normatively authoritative, and epistemically accessible source. RNDT does not populate this space by stipulation or theological fiat; it identifies the minimal features any adequate source of necessary rational norms must possess if such norms are genuinely known. 7. The Positive Residue: What the Source Must Be RNDT establishes a negative result: no non-theistic account can underwrite justified knowledge of necessary rational norms. What remains is not a gap to be filled by preference, but a set of constraints imposed by the very features of NRNs and the conditions of their knowability. This section articulates those constraints. The argument is conditional: if NRNs exist and are known, then whatever reality must be like for such knowledge to be possible must satisfy the following properties. 7.1 Normative Authority → Personhood Necessary rational norms are not merely descriptive relations or abstract correctness conditions. They are authoritative standards governing what rational agents ought to believe or infer. Normativity involves more than truth; it involves obligation. An agent can be at fault for violating a rational norm, not merely mistaken. This authority exhibits a second-personal structure. Norms apply to agents, address them as responsible reasoners, and license assessments of rational accountability. This distinguishes normativity from impersonal description. Descriptive facts obtain; authoritative norms bind (Darwall, 2006; see also Korsgaard, 1996; Scanlon, 1998). Impersonal entities—abstract objects, structures, or modal facts—can encode relations of validity, but they cannot stand in second-personal relations. They do not address, demand, or obligate. Without a source capable of reason-giving authority, normativity collapses into mere correctness conditions or pragmatic guidance. Consider the difference between a calculator that outputs “2 + 2 = 5” and a human agent who believes that 2 + 2 = 5. In the former case, the device is malfunctioning; in the latter, the agent is irrational. This asymmetry is not merely semantic or pragmatic. It reflects the presence of genuine normativity. The calculator fails to meet a correctness condition relative to its programming, but it is not answerable for its failure. By contrast, the human agent is subject to rational obligation: the belief is not merely incorrect, but one the agent ought not to hold. Impersonal facts, structures, or relations can determine conditions of correctness, but they cannot generate obligation as such. Only a source capable of authoritative address can underwrite the distinction between mere error and rational fault. Absent such a source, rational norms reduce to descriptive standards of correctness, and the possibility of knowing them as binding norms—rather than merely registering regularities—collapses. Accordingly, if NRNs possess genuine authority rather than mere descriptive status, their source must be capable of standing in authoritative relations to rational agents. This requires personhood in the minimal sense: the capacity for intentional address, normative demand, and rational accountability. No theological premise is invoked here; the conclusion follows from the structure of normativity itself. Moreover, the second-personal authority of rational norms must be epistemically accessible in a non-accidental way if such norms are to be known rather than merely followed. An agent can be subject to obligation without recognizing it, but justified knowledge of obligation requires more than de facto conformity or reliable belief. It requires that the authoritative source of the norm be available to the agent as a reason-giving basis for belief. This is precisely what Epistemic Revelation secures: a non-derivative mode of access in which rational norms are not merely instantiated or tracked, but disclosed as authoritative. Without such disclosure, any alignment between finite cognition and rational obligation remains epistemically coincidental, collapsing justification into luck even if the norm itself is necessary. Thus, absent Epistemic Revelation, the second-personal authority of NRNs would be normatively binding but epistemically opaque, rendering justified knowledge of them impossible. 7.2 Rational Structure → Rational Source NRNs are not only authoritative but intrinsically rational in content and form. They govern inference, coherence, consistency, and truth-preservation. Any adequate source must therefore be capable of underwriting rational relations non-derivatively. This follows directly from the Ontological Congruence Principle (OCP). If finite agents have justified knowledge of rational norms as rational, then the ontological source of those norms must be such that epistemic access tracks rational structure rather than merely correlating with it. A non-rational source could at best explain the emergence of rational behavior as a contingent byproduct; it could not explain why rational relations themselves hold necessarily or why they are normatively binding. This claim does not deny that rational capacities may arise causally from non-rational processes in a weak sense. It denies only that such processes can ground necessary rational normativity. Reduction to blind causation or brute correlation violates OCP by severing justification from rational structure. Thus, the source of NRNs must be intrinsically rational, capable of sustaining rational relations as such, rather than merely producing agents who happen to reason successfully. 7.3 Modal Scope → Necessity and Infinity Finally, the modal scope of NRNs imposes further constraints. NRNs are universal: they bind all rational agents qua rational. They are necessary: they hold in every possible world in which rational thought occurs. They are invariant: their authority does not fluctuate across counterfactual scenarios. 9.5 “Authority Without Personhood.” Steelmann. One might argue that norms can be authoritative without being authored. Logical laws bind regardless of any personal source. Target. This objection denies the inference from normativity to personhood. Reply. RNDT does not claim that authority requires command. It claims that authority requires second-person addressability. As Stephen Darwall has shown, genuine normativity involves accountability and answerability. Abstracta can encode correctness; they cannot license obligation. To deny this is to collapse normativity into description or utility—positions already eliminated. Authority without personhood is not a stable position; it tacitly borrows the normative force it denies. 9.6 Objection: RNDT’s Dependence on the Ontological Congruence Principle (OCP) A natural objection to RNDT is that its force depends heavily on acceptance of the Ontological Congruence Principle (OCP), according to which justified knowledge of necessary rational norms requires a non-accidental alignment between the epistemic capacities of finite agents and the ontological source of those norms. Critics may argue that this requirement sets an unreasonably strong epistemic standard, one that privileges intentional or personal disclosure while excluding deflationary accounts that are willing to accept epistemic luck. On this view, a determined epistemic deflationist may simply deny OCP and maintain that reliable belief-forming processes—however contingently connected to necessary truths—are sufficient for knowledge. If so, RNDT would fail to compel assent, not because its eliminations are unsound, but because its epistemic demands are rejected at the outset. This objection highlights an important methodological contrast with transcendental arguments such as TAG, which often rely on pragmatic or performative considerations. TAG-style arguments typically pressure the interlocutor by pointing out that one cannot coherently deny the preconditions of logic while employing them in argument. This rhetorical force can be persuasive even when deeper metaphysical disagreements remain unresolved. By contrast, RNDT does not appeal to performative contradiction or pragmatic inconsistency, but to structural incompatibility between non-theistic ontologies and the conditions required for justified knowledge of necessary rational norms. Reply This objection correctly identifies RNDT as a conditional transcendental argument, but it misconstrues this feature as a weakness. RNDT does not purport to refute epistemic deflationism outright, nor does it aim to coerce assent through pragmatic contradiction. Instead, it is diagnostic in scope: it articulates what must be the case if finite agents possess justified knowledge of necessary rational norms. Rejecting OCP does not undermine RNDT’s internal validity; rather, it entails abandoning the claim that such knowledge exists in the robust sense traditionally captured by justification. The cost of rejecting OCP is therefore not merely theoretical disagreement with RNDT, but a substantive revision of epistemology—one that accepts epistemic luck, brute reliability, or pragmatic success in place of justification. RNDT makes this cost explicit. Accordingly, RNDT and TAG operate at different levels. TAG may exert greater rhetorical or dialectical pressure by exposing performative inconsistency, while RNDT offers a more analytically precise diagnosis of the metaphysical and epistemic conditions under which knowledge of necessary rational norms is possible. The absence of rhetorical force is thus not a defect but a reflection of RNDT’s commitment to structural analysis rather than pragmatic persuasion. In this respect, RNDT does not compete with TAG but complements it: where TAG highlights inconsistency in use, RNDT demonstrates impossibility in structure. Rejecting RNDT, therefore, requires not merely resisting a premise but accepting the epistemic consequences of deflationism. Interim Conclusion None of the objections undermines OCP or RNDT. Each either weakens justification to the point of epistemic luck or reintroduces features—authority, entitlement, disclosure—that only a personal rational source can supply. The impossibility thesis, therefore, stands: without such a source, knowledge of necessary rational norms is impossible. 10. Relation to Existing Arguments RNDT belongs to the family of transcendental arguments in philosophy of religion and epistemology, but it is importantly distinct in scope, structure, and conclusion. This section situates RNDT relative to several influential approaches while clarifying its unique contribution. 10.1 Relation to Transcendental Arguments for God (TAG) Classical Transcendental Arguments for God (TAG) argue that the intelligibility of logic, reasoning, or experience presupposes the existence of God. Such arguments often proceed by identifying performative contradictions in denying God while relying on logic or rational inference. RNDT differs in three key respects. First, it does not rely on pragmatic or dialectical inconsistency. RNDT does not claim that non-theists cannot reason or argue coherently; it claims that, if non-theistic metaphysics is true, knowledge of necessary rational norms is impossible. Second, RNDT targets epistemic entitlement rather than intelligibility simpliciter. The issue is not whether rational practices function, but whether agents are justified in treating their rational beliefs as knowledge rather than as coincidental success. Third, RNDT proceeds by exhaustive eliminative analysis rather than by direct transcendental necessity claims about God. In this respect, RNDT is not a variant of TAG but a distinct impossibility theorem concerning epistemic access to necessary normativity. 10.2 Relation to Evolutionary Arguments Against Naturalism (EAAN) Evolutionary Arguments Against Naturalism (EAAN), most prominently associated with Alvin Plantinga, contend that the conjunction of naturalism and evolution undercuts trust in our cognitive faculties. RNDT shares with EAAN a concern about epistemic reliability and justification, but the arguments differ in both target and modality. EAAN is probabilistic and contingent: it argues that, given certain empirical assumptions, the probability that our faculties are reliable is low or inscrutable. RNDT, by contrast, is modal and non-empirical. It does not depend on evolutionary history, probability estimates, or contingent facts about cognition. Its claim is stronger and cleaner: even if cognitive faculties were perfectly reliable, non-theistic accounts cannot underwrite justified knowledge of necessary rational norms. The problem is not reliability but entitlement to modal necessity and normativity. Thus, RNDT complements rather than duplicates EAAN, operating at a deeper modal level. 10.3 Relation to Kantian Transcendental Strategy RNDT shares a methodological affinity with Kant’s transcendental strategy in that it begins from an uncontroversial feature of rational life and asks what must be the case for it to be possible. However, RNDT diverges sharply from Kant in both aim and conclusion. Kant locates the conditions of possibility for knowledge within the structures of finite cognition, thereby internalising necessity within the subject. RNDT explicitly rejects this move. Finite cognitive structures are contingent and cannot ground the necessity, universality, or authority of rational norms. Where Kant treats normativity as constituted by rational agency, RNDT shows that such constitutive accounts render knowledge of necessary norms impossible. RNDT may therefore be understood as a post-Kantian transcendental argument that resists psychologism and internalism rather than embracing them. 10.4 Relation to Contemporary Normativity Debates Contemporary debates about normativity—whether in moral philosophy, epistemology, or metaethics—often focus on questions of reduction, realism, and authority. RNDT contributes to these debates by shifting attention from norm existence to norm knowability. Many realist positions succeed in preserving objective normativity while remaining silent about epistemic access. Conversely, constructivist and constitutivist views explain norm application at the cost of modal necessity. RNDT shows that this trade-off is not benign: any account that fails to secure non-accidental epistemic access collapses knowledge into luck. The distinctive contribution of RNDT is to demonstrate that epistemic entitlement to necessary normativity imposes stronger constraints than are typically acknowledged in normativity debates. The result is not merely theoretical tension but an epistemic impossibility for non-theistic accounts. 10.5 RNDT and the Euthyphro Dilemma Although RNDT is not a moral argument and does not presuppose any theological doctrine, its eliminative structure bears indirectly on the Euthyphro dilemma as applied to rational normativity. Classical formulations of the dilemma pose a choice between norms that are independent of God (rendering divine authority explanatorily redundant) and norms that depend on divine will (rendering normativity arbitrary). RNDT rules out both options within the domain of necessary rational norms. Impersonal necessity is excluded by the epistemic impossibility of justified access to authoritative rational norms absent a personal rational source. Voluntarist accounts, by contrast, are incompatible with the necessity and invariance of rational norms, which cannot vary with discretionary acts of will. The remaining space is therefore one in which rational normativity is neither external to the divine nature nor contingent upon arbitrary decree, but internally grounded in rational structure that is necessary, authoritative, and epistemically accessible. This result does not constitute a full resolution of the Euthyphro dilemma, nor does it establish any specific theological framework. It shows only that, given the existence and knowability of necessary rational norms, both impersonal realism and voluntarism are untenable as accounts of rational normativity. 11. Conclusion This paper has developed the Rational Norms Dilemma Theorem (RNDT), a deductive transcendental argument concerning the conditions under which finite agents can possess justified knowledge of necessary rational norms. Beginning from an uncontroversial epistemic datum—that such knowledge exists—the argument proceeded by exhaustively analyzing the non-theistic option space and demonstrating that no non-theistic account can satisfy the joint requirements of modal necessity, normative authority, and non-accidental epistemic access. The central result is an impossibility claim: if any non-theistic account of necessary rational norms is true, then justified knowledge of such norms is impossible. Since such knowledge undeniably exists, non-theistic accounts must be rejected. RNDT is explicitly conditional and epistemic. It does not presuppose theism, invoke scripture, appeal to causal interaction with abstract objects, or rely on contemporary grounding frameworks. Nor does it identify its residual conclusion with any specific theological doctrine. What it establishes is a set of constraints imposed by the very possibility of rational knowledge: whatever grounds necessary rational norms must be personal, rational, necessary, and capable of underwriting epistemic entitlement through intentional disclosure. These conclusions open—but do not settle—further theological questions concerning the identity and nature of such a source and the relation between epistemic revelation and broader accounts of divine revelation. Those questions lie beyond the scope of RNDT itself. The present argument aims only to show that the space of live metaphysical options is far narrower than is often assumed—and that the denial of a personal rational source comes at the cost of rational knowledge itself. References Balaguer, Mark. 1998. Platonism and Anti-Platonism in Mathematics. Oxford: Oxford University Press. Bealer, George. 2002. “Modal Epistemology and the Rationalist Renaissance.” In Conceivability and Possibility, edited by Tamar Szabó Gendler and John Hawthorne, 71–125. Oxford: Oxford University Press. Benacerraf, Paul. 1973. “Mathematical Truth.” Journal of Philosophy 70 (19): 661–679. Boghossian, Paul. 2006. Fear of Knowledge: Against Relativism and Constructivism. Oxford: Oxford University Press. BonJour, Laurence. 1985. The Structure of Empirical Knowledge. Cambridge, MA: Harvard University Press. ———. 1998. In Defense of Pure Reason. Cambridge: Cambridge University Press. Chalmers, David. 2002. “Does Conceivability Entail Possibility?” In Conceivability and Possibility, edited by Tamar Szabó Gendler and John Hawthorne, 145–200. Oxford: Oxford University Press. Clarke-Doane, Justin. 2020. Morality and Mathematics. Oxford: Oxford University Press. Darwall, Stephen. 2006. The Second-Person Standpoint: Morality, Respect, and Accountability. Cambridge, MA: Harvard University Press. Field, Hartry. 1989. Realism, Mathematics and Modality. Oxford: Basil Blackwell. Fine, Kit. 1994. “Essence and Modality.” Philosophical Perspectives 8: 1–16. Gettier, Edmund. 1963. “Is Justified True Belief Knowledge?” Analysis 23 (6): 121–123. Gödel, Kurt. 1964. “What Is Cantor’s Continuum Problem?” In Philosophy of Mathematics: Selected Readings, edited by Paul Benacerraf and Hilary Putnam, 258–273. Englewood Cliffs, NJ: Prentice Hall. Goldman, Alvin. 1986. Epistemology and Cognition. Cambridge, MA: Harvard University Press. Greco, John. 2010. Achieving Knowledge. Cambridge: Cambridge University Press. Joyce, Richard. 2006. The Evolution of Morality. Cambridge, MA: MIT Press. Koons, Robert C. 2018. “God, Metaphysics, and the Multiverse.” In The Blackwell Companion to Natural Theology, edited by William Lane Craig and J. P. Moreland, 357–423. Malden, MA: Wiley-Blackwell. Korsgaard, Christine M. 1996. The Sources of Normativity. Cambridge: Cambridge University Press. Kripke, Saul A. 1980. Naming and Necessity. Cambridge, MA: Harvard University Press. Liggins, David. 2010. “Epistemological Objections to Platonism.” Philosophy Compass 5 (1): 67–77. Linnebo, Øystein. 2018. Thin Objects: An Abstractionist Account. Oxford: Oxford University Press. Malmgren, Anna-Sara. 2011. “Rationalism and the Content of Intuitive Judgements.” Mind 120 (478): 263–327. Peacocke, Christopher. 1999. Being Known. Oxford: Oxford University Press. Plantinga, Alvin. 1993. Warrant and Proper Function. Oxford: Oxford University Press. ———. 2011. Where the Conflict Really Lies: Science, Religion, and Naturalism. Oxford: Oxford University Press. Pritchard, Duncan. 2005. Epistemic Luck. Oxford: Oxford University Press. Scanlon, T. M. 1998. What We Owe to Each Other. Cambridge, MA: Harvard University Press. Sosa, Ernest. 2007. A Virtue Epistemology: Apt Belief and Reflective Knowledge. Oxford: Oxford University Press. Stern, Robert. 2000. Transcendental Arguments and Scepticism. Oxford: Oxford University Press. Street, Sharon. 2006. “A Darwinian Dilemma for Realist Theories of Value.” Philosophical Studies 127 (1): 109–166. Stroud, Barry. 1968. “Transcendental Arguments.” Journal of Philosophy 65 (9): 241–256. Williamson, Timothy. 2000. Knowledge and Its Limits. Oxford: Oxford University Press.