Proof: meanings in logic, law, food, manufacture, and publishing

Common meanings

• Mathematical proof — a sequence of logical deductions establishing the truth of a statement from axioms and previously proven results. See formal presentations in logic and mathematical proof.
• Proof in law — evidence and argument presented to establish facts in a judicial or administrative proceeding; burdens of proof and standards vary by jurisdiction. Related material is often discussed under evidence.
• Proof (alcohol) — a measure of an alcoholic beverage's spirit content; historically defined differently in various countries, it is linked to percentage alcohol by volume.
• Proofing (baking) — the stage when yeast-leavened dough is allowed to rise before baking; sometimes called "proving" in British usage.
• Editorial and printing proofs — preliminary versions such as galley proofs checked for errors; an "artist's proof" is an extra print retained by the artist.
• Other technical uses — a proof test for firearms, proof coinage struck to show the intended finish, and "proving" in homeopathy as a method of testing a remedy's effects.

History and development

Etymologically the word derives from notions of testing and trying. Over centuries it specialized into technical senses: philosophical and mathematical traditions developed rigorous proof as the standard of certainty in deductive fields; legal systems elaborated procedures for establishing facts; and crafts such as printing and minting adopted proof objects to demonstrate process and quality. The diversity of senses reflects different standards of certainty and kinds of verification.

Applications and examples

In mathematics and formal logic, a proof aims for deductive certainty within a given framework. In courts, proof often means persuading a judge or jury according to standards like "beyond reasonable doubt" or "preponderance of evidence," which are probabilistic rather than absolute. In manufacturing and art, proofs serve as quality checks or presentation samples. In everyday use, to "proofread" is to check text for errors, while to "proof" dough is to let it rise.

Distinctions and notable facts

Not all senses of "proof" imply absolute certainty: empirical and legal proofs typically allow degrees of confidence and are open to revision with new evidence. Formal proofs in mathematics, by contrast, are judged correct or incorrect relative to rules of inference. The same root term thus spans a spectrum from exact formal demonstration to practical testing and sampling, and understanding which sense is intended depends on disciplinary conventions and context.