On Evidence and Proof: A Recursive Model

We propose a formalization of evidence and proof as mutually recursive constructs, grounded not in logic or correspondence, but in performance and instituted threshold. Evidence is defined as the output of a confirmation bias acting on a prior proof. Proof is defined as a threshold—a discontinuity in the accumulation of evidence—that interrupts the performance of confirmation bias. The result is a non‑foundational, self‑referential model of epistemic practice. The successor axiom of arithmetic is used throughout as a study case.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-08-24
DOI
https://doi.org/10.5281/zenodo.22080880
Primary Topic
Philosophy and History of Science
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

On Evidence and Proof: A Recursive Model

P. Phi
Zenodo (CERN European Organization for Nuclear Research)
Philosophy and History of Science
preprint

On Evidence and Proof: A Recursive Model

P. Phi
preprint en

Abstract

We propose a formalization of evidence and proof as mutually recursive constructs, grounded not in logic or correspondence, but in performance and instituted threshold. Evidence is defined as the output of a confirmation bias acting on a prior proof. Proof is defined as a threshold—a discontinuity in the accumulation of evidence—that interrupts the performance of confirmation bias. The result is a non‑foundational, self‑referential model of epistemic practice. The successor axiom of arithmetic is used throughout as a study case.

Zenodo (CERN European Organization for Nuclear Research)
Philosophy and History of Science
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.