Truth on Trial: A Kripkean Analysis of Nigeria’s ‘Go to Court’ Logic

Abstract

In the epistemic labyrinth of Nigerian democracy, the phrase “Go to Court” transcends a mere appeal to justice; it functions as a modal migration from empirical reality (World₁) to judicial abstraction (World₂). Through Saul Kripke’s semantics and logical formalism, this paper exposes the fragility of the accessibility relation between these worlds, where judicial truth (□L) often fails to reflect empirical truth (◇E), resulting in what Habermas termed a legitimation crisis. The study argues that Nigeria’s judiciary, mistaking necessity for infallibility, perpetuates the fallacy of affirming the consequent, confusing institutional validation with democratic truth. This paradox transforms law into an autopoietic system where logic is valid, yet justice remains void, echoing Wittgenstein’s insight that “the limits of my language mean the limits of my world.” To remedy this, the paper proposes the B.E.S.T. model, Bimodal Verification, Empirical Accessibility, Semantic Consistency, and Truth Preservation, as a Kripkean framework for aligning legal necessity with empirical reality. By restoring coherence between legality and legitimacy, the model redefines judicial affirmation as a communicative act grounded in truth rather than procedural formality. Ultimately, the paper concludes that the future of Nigerian democracy depends on bridging the gap between what is legally affirmed and what is empirically lived, ensuring that justice, in all possible worlds, becomes both logically necessary and morally real.