Proof (truth)
A proof is sufficient evidence or a sufficient argument for the truth of a proposition.[1][2][3][4]
The concept applies in a variety of disciplines,[5] with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written
In most disciplines, evidence is required to prove something. Evidence is drawn from the experience of the world around us, with
Exactly what evidence is sufficient to prove something is also strongly area-dependent, usually with no absolute threshold of sufficiency at which evidence becomes proof.[13][14] In law, the same evidence that may convince one jury may not persuade another. Formal proof provides the main exception, where the criteria for proofhood are ironclad and it is impermissible to defend any step in the reasoning as "obvious" (except for the necessary ability of the one proving and the one being proven to, to correctly identify any symbol used in the proof.);[15] for a well-formed formula to qualify as part of a formal proof, it must be the result of applying a rule of the deductive apparatus of some formal system to the previous well-formed formulae in the proof sequence.[16]
Proofs have been presented since antiquity.
Proofs need not be verbal. Before
Proof vs evidence
18th-century Scottish philosopher David Hume built on Aristotle's separation of belief from knowledge,[21] recognizing that one can be said to "know" something only if one has firsthand experience with it, in a strict sense proof, while one can infer that something is true and therefore "believe" it without knowing, via evidence or supposition. This speaks to one way of separating proof from evidence:
If one cannot find their chocolate bar, and sees chocolate on their napping roommate's face, this evidence can cause one to believe their roommate ate the chocolate bar. But they do not know their roommate ate it. It may turn out that the roommate put the candy away when straightening up, but was thus inspired to go eat their own chocolate. Only if one directly experiences proof of the roommate eating it, perhaps by walking in on them doing so, does one know the roommate did it.
In an absolute sense, one can be argued not to "know" anything, except for the existence of one's own thoughts, as 17th-century philosopher
See also
- Mathematical proof
- Proof theory
- Proof of concept
- Provability logic
- Evidence, information which tends to determine or demonstrate the truth of a proposition
- Proof procedure
- Proof complexity
- Standard of proof
References
- ISBN 0883855674pages 12–20
- ISBN 0521280303pages 60–63
- ISBN 0199261954pages 1–2
- ISBN 1445530139pages 5–15
- ^ Compare 1 Thessalonians 5:21: "Prove all things [...]."
- ISBN 0-674-41152-8.
- ^ Cupillari, Antonella. The Nuts and Bolts of Proofs. Academic Press, 2001. Page 3.
- ISBN 0-19-504472-X
- ^ "Foundationalist Theories of Epistemic Justification". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2018.
- ^ "Definition of proof | Dictionary.com". www.dictionary.com.
- ^ Reference Manual on Scientific Evidence, 2nd Ed. (2000), p. 71. Accessed May 13, 2007.
- ^ John Henry Wigmore, A Treatise on the System of Evidence in Trials at Common Law, 2nd ed., Little, Brown, and Co., Boston, 1915
- JSTOR 3052837.
- ^ Katie Evans; David Osthus; Ryan G. Spurrier. "Distributions of Interest for Quantifying Reasonable Doubt and Their Applications" (PDF). Archived from the original (PDF) on 2013-03-17. Retrieved 2007-01-14.
- ISBN 0-521-77911-1.
- ^ Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971
- ISBN 0813521920p. 70
- ISBN 0872208052p. 198
- ^ Thomas S. Kuhn, The Copernican Revolution, pp. 5–20
- ISBN 159031767Xpage 47
- ^ David Hume
- ^ Locke: Knowledge of the External World