Building on interdisciplinary research that bridges the humanities, social sciences, and computational design, the book develops frameworks such as Algorithmic Epistemology Theory and Cognitive-Epistemic Modeling to explain how truth is co-produced by human and computational actors.
Abstract
As algorithmic systems increasingly mediate public discourse, the question of what constitutes truth and how it is constructed, stabilized, and contested demands renewed scrutiny. Automating Truth offers a comprehensive interdisciplinary inquiry into the evolving landscape of verification in the age of AI. Moving beyond binary distinctions of true and false, the book examines the sociotechnical infrastructures, epistemic assumptions, and institutional dynamics that underlie contemporary fact-checking systems. The book advances several key arguments. First, AI fact-checking does not simply verify information but reshapes the epistemic foundations of public knowledge by encoding norms of credibility and legitimacy into computational systems. Second, the automation of verification redistributes epistemic authority among humans, algorithms, and institutions, creating new forms of accountability and opacity. Third, cognitive and affective processes shape how users interpret algorithmic truth, revealing the need for epistemic alignment between human reasoning and machine logic. Fourth, democratic legitimacy in AI verification depends on designing systems that are transparent, contestable, and inclusive rather than purely efficient or predictive. Building on interdisciplinary research that bridges the humanities, social sciences, and computational design, the book develops frameworks such as Algorithmic Epistemology Theory and Cognitive-Epistemic Modeling to explain how truth is co-produced by human and computational actors. It concludes with a call for epistemic sustainability, envisioning truth-making as a civic and ethical practice rooted in transparency, inclusivity, and public accountability within the algorithmic public sphere.
This paper introduces the concept of Truth-ε as a framework for understanding the epistemological status of contemporary artificial intelligence. Modern AI systems increasingly produce reliable and scientifically useful outputs while remaining only partially reconstructible through explicit symbolic reasoning. This raises a central question: how can machine-generated representations count as knowledge if they are neither exact copies of reality nor demonstrative conclusions derived from transparent logical chains? Truth-ε refers to a form of epistemic reliability achieved through convergence under conditions of finite information, uncertainty, and computational limitation. The paper argues that AI does not abolish rationality or reduce truth to mere prediction. Instead, it makes explicit a conception of rationality already embedded in the history of mathematics and science, where knowledge advances through controlled approximation, convergence, and bounded error. From the method of exhaustion and ε–δ analysis to probability theory, information theory, computational complexity, and machine learning, scientific knowledge has evolved by disciplining error rather than eliminating it entirely. Within this framework, AI systems derive epistemic legitimacy through robustness, calibration, generalization, reproducibility, and explicit disclosure of epistemic limits.
Sakos Ikonomopoulos· Proceedings of the European...· 0 citations
Artificial intelligence is increasingly promoted as a tool for modernizing public administration, accelerating decision-making, improving public services, and reducing administrative costs. Yet, in heterogeneous Global South contexts shaped by structural inequality, technological dependency, unequal access to digital infrastructure, and uneven institutional capacity, algorithmic efficiency may also generate new forms of democratic exclusion. This article develops a normative conceptual analysis of AI governance and argues that public uses of AI should not be evaluated primarily through technical efficiency, ethical compliance, or procedural safeguards, but through democratic legitimacy. It proposes the concept of democratic algorithmic legitimacy, understood as a relational property of the sociotechnical and institutional arrangements through which public authority is exercised with the support of AI. Such arrangements are legitimate when their purposes and operation can be publicly justified to affected persons, when those persons have meaningful opportunities to influence and contest their use, and when responsible institutions retain the authority and capacity to review decisions, repair unjustified harms, modify systems, suspend their operation, or withdraw them when necessary. The framework operationalizes this standard through seven interdependent dimensions: transparency, participation, inclusion, accountability, contestability, correctability, and social justice. This conceptual architecture distinguishes technical performance from democratic authority and explains why efficient outcomes cannot compensate automatically for exclusion, opacity, weak accountability, inaccessible contestation, or ineffective correction. The article identifies interconnected structural, institutional, social, and democratic risks associated with AI deployment in unequal sociotechnical environments and outlines a governance agenda based on meaningful public participation, democratic impact assessment, independent scrutiny, institutional guarantees of explanation, review and appeal, protection of affected groups, public control, technological capacity, and context-sensitive regulation. The article concludes that AI governance should be assessed not only by what computational systems optimize, but by whether societies retain the democratic authority to shape, question, supervise, correct, and, when necessary, reject their use.
A. Duche-Pérez, Marco Tulio Falconí Picardo, Emmanuel Neptalí Augusto Chávez Urquizo et al.· Frontiers in Political Scien...· 0 citations
Generative AI encodes the majority's way of knowing as the default infrastructure of knowledge itself as the default infrastructure of knowledge itself, and law must learn to govern at that level of model training.
LLMs are increasingly deployed in settings that require collective reasoning on complex, value-laden problems. Confidence in these deployments rests largely on benchmarks for verifiable tasks (mathematics, coding, coordination games), yet many of these applications concern problems where no objectively correct answer exists and where decision quality instead depends on integrating pluralistic perspectives to find mutually acceptable solutions. We argue that LLM reasoning capacity on this class of problems cannot be fully inferred from verifiable-task benchmarks, and that procedural evaluations of LLM discourse (respectfulness, justification, engagement) are systematically insufficient. We apply the Deliberative Reason Index (DRI), a measure developed in political science and validated across citizen assemblies, as a tool for evaluating reliable group-level reasoning on pluralistic, non-verifiable problems. Synthesizing recent evidence across 1,980 five-agent LLM runs on 12 citizen-assembly topics across 11 frontier model configurations, we find that LLM groups produce discourse with procedural quality comparable to human deliberation, while gains in intersubjective consistency are small, topic-dependent, and concentrated on tractable rather than ethically contested questions. LLM groups exhibit roughly one-third the perspective diversity of human assemblies and reverse the human convergence pattern: human deliberation decreases dispersion as diverse views synthesise, whereas LLM deliberation increases it. Engineering diversity through persona prompting does not restore the human dynamic but inverts which component of deliberative reasoning is updated. Our conclusion is constraining rather than prohibitive: LLMs can function as tools supporting human reasoning on pluralistic problems, but current evidence does not license treating them as autonomous deliberative agents.
We advance the hypothesis that human mathematical reasoning, constrained by both the undecidability and the computational intractability of even modest logical fragments, relies fundamentally on pattern matching from domains external to pure deduction. The most prolific reservoir of such patterns is the natural world, whose physical laws and biological systems have undergone billions of years of ``pre-computation''and already exhibit surprisingly innovative solutions. To ground this claim, we trace the history of the Fourier transform and relevant mathematics, from the vibrating string controversy to the hear equation and subsequent formalisms prevalent in mathematics. At each critical juncture, a physics problem forced the acceptance or creation of a mathematical tool that pure formal reasoning failed to anticipate or, worse, human reasoning had resisted. We further survey the landscape of logical complexity, from NP-hard propositional satisfiability to the non-elementary decision-procedures for monadic second-order theories, to demonstrate that even when a logic is decidable, the resources required for worst-case deduction are astronomically prohibitive. We argue that these barriers make physics-inspired pattern matching not just a historical accident but a cognitive necessity. Finally, we draw the consequence for artificial intelligence: if pure reasoning is constitutively insufficient, then any system aiming at human-level mathematical creativity must embed a vast store of cross-domain patterns rather than rely on deduction alone. This furnishes a principled justification for the enormous scale of contemporary large language models.
We outline an adversarial social epistemology (ASE) for densely interactive communicative landscapes in which public assertions are scaffolded by chains of testimony, inference, institutional certification, and tacit trust. In such landscapes, agents have incentives and affordances to distort, color, omit, fabricate, or strategically under-specify information for private, reputational, rhetorical, or material gains. We argue that these phenomena are not adequately captured by familiar descriptions of epistemic bubbles, echo chambers, or misinformation diffusion. What requires explanation is how communicative agents exploit the commitments and entitlements that normally make scaffolded assertions trustworthy. We provide language that delivers the requisite analysis, outline mechanisms that subvert trust in scaffolded public communications, and outline machinery for auditing and redressing trust breaches arising from subverting the auditability of inferential chains, drawing on epistemic networks, enriched with an inferentialist semantics for interpreting assertions.