Argument–deduction–proof distinctions

<h2 id="argument">Argument</h2>
An <a href="/facts/Argument/1K1e3Xg4">argument</a>, more fully a premise–conclusion argument, is a two-part system composed of <a href="/facts/Premise/HluL8lcd">premises</a> and conclusion. An argument is <a href="/facts/Validity_(logic)/oMGkywGC">valid</a> <a href="/facts/If_and_only_if/bYSxGJ66">if and only if</a> its conclusion is a <a href="/facts/Logical_consequence/AyDXp4dn">consequence</a> of its premises. Every premise set has infinitely many consequences each giving rise to a valid argument. Some consequences are obviously so, but most are not: most are hidden consequences. Most valid arguments are not yet known to be valid. To determine validity in non-obvious cases <a href="/facts/Deductive_reasoning/HadA1zWS">deductive reasoning</a> is required. There is no deductive reasoning in an argument per se; such must come from the outside. 
Every argument's conclusion is a premise of other arguments. The word constituent may be used for either a premise or conclusion. In the context of this article and in most classical contexts, all candidates for consideration as argument constituents fall under the category of <a href="/facts/Truth-bearer/DN4IcCGv">truth-bearer</a>: propositions, statements, sentences, judgments, etc.

<h2 id="deduction">Deduction</h2>
A deduction is a three-part system composed of premises, a conclusion, and chain of intermediates – steps of reasoning showing that its conclusion is a <a href="/facts/Logical_consequence/AyDXp4dn">consequence</a> of its premises. The reasoning in a deduction is by definition cogent. Such reasoning itself, or the chain of intermediates representing it, has also been called an argument, more fully a <a href="/facts/Deductive_argument/HadA1zWS">deductive argument</a>. In many cases, an argument can be known to be valid by means of a deduction of its conclusion from its premises but non-deductive methods such as <a href="/facts/Venn_diagrams/Vkh8fVtD">Venn diagrams</a> and other graphic procedures have been proposed.

<h2 id="proof">Proof</h2>
A <a href="/facts/Formal_proof/6nEhV4cw">proof</a> is a deduction whose premises are known truths. A <a href="/facts/Mathematical_proof/7ECDrU80">proof</a> of the <a href="/facts/Pythagorean_theorem/Lh6x2Kr5">Pythagorean theorem</a> is a deduction that might use several premises – <a href="/facts/Axiom/mLjP14Mc">axioms</a>, postulates, and definitions – and contain dozens of intermediate steps. As <a href="/facts/Alfred_Tarski/7h6NySAj">Alfred Tarski</a> famously emphasized in accord with <a href="/facts/Aristotle/U2bDlBFW">Aristotle</a>, truths can be known by proof but proofs presuppose truths not known by proof.

<h2 id="comparison">Comparison</h2>
Premise-conclusion arguments do not require or produce either knowledge of validity or knowledge of truth. Premise sets may be chosen arbitrarily and conclusions may be chosen arbitrarily. Deductions require knowing how to reason but they do not require knowledge of truth of their premises. Deductions produce knowledge of the validity of arguments but ordinarily they do not produce knowledge of the truth of their conclusions.
Proofs require knowledge of the truth of their premises, they require knowledge of deductive reasoning, and they produce knowledge of their conclusions.

<h2 id="context">Context</h2>
Modern logicians disagree concerning the nature of argument constituents. <a href="/facts/Willard_Van_Orman_Quine/2RrhATxa"> Quine</a> devotes the first chapter of Philosophy of Logic to this issue.<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a> Historians have not even been able to agree on what <a href="/facts/Aristotle/U2bDlBFW">Aristotle</a> took as constituents.<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a>

Argument–deduction–proof distinctions are inseparable from what have been called the consequence–deducibility distinction and the truth-and-consequence conception of proof.<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a> Variations among argument–deduction–proof distinctions are not all terminological.
Logician <a href="/facts/Alonzo_Church/b7D52Itv">Alonzo Church</a><a class="footnote-ref" id="fnref:5" href="#fn:5">5</a> never used the word argument in the above sense and had no synonym. Church never explained that deduction is the process of producing knowledge of consequence and it never used the common noun deduction for an application of the deduction process. His primary focus in discussing proof was "conviction" produced by generation of chains of logical truths – not the much more widely applicable and more familiar general process of demonstration as found in pre-Aristotelian geometry and discussed by Aristotle.<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a> He did discuss deductions in the above sense but not by that name: he called them awkwardly “proofs from premises” – an expression he coined for the purpose.
The absence of argument–deduction–proof distinctions is entirely consonant with Church's avowed <a href="/facts/Plato/jGtT1UD5">Platonistic</a> logicism. Following <a href="/facts/Michael_Dummett/MUpejyUX">Dummett's</a> insightful remarks<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a> about <a href="/facts/Gottlob_Frege/FXyStVYj">Frege</a>, which – <a href="/facts/Mutatis_mutandis/okly010I">mutatis mutandis</a> – apply even more to Church, it might be possible to explain the today-surprising absence.

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Corcoran, John (2009). "Aristotle's Demonstrative Logic". History and Philosophy of Logic. 30: 1–20. CiteSeerX 10.1.1.650.463. doi:10.1080/01445340802228362. S2CID 8514675. <a href="/wiki/John_Corcoran_(logician)" target="_blank">/wiki/John_Corcoran_(logician)</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Willard Quine, Philosophy of logic, Harvard, 1970/1986. <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">John Corcoran, Aristotle's syllogistic premises. Bulletin of Symbolic Logic. 18 (2012) 300–1. <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Corcoran, John (2009). "Aristotle's Demonstrative Logic". History and Philosophy of Logic. 30: 1–20. CiteSeerX 10.1.1.650.463. doi:10.1080/01445340802228362. S2CID 8514675. <a href="/wiki/John_Corcoran_(logician)" target="_blank">/wiki/John_Corcoran_(logician)</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Church, Alonzo (1956). Introduction to Mathematical Logic. Princeton University Press. ISBN 9780691029061. <a href="9780691029061" target="_blank">9780691029061</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Corcoran, John (2009). "Aristotle's Demonstrative Logic". History and Philosophy of Logic. 30: 1–20. CiteSeerX 10.1.1.650.463. doi:10.1080/01445340802228362. S2CID 8514675. <a href="/wiki/John_Corcoran_(logician)" target="_blank">/wiki/John_Corcoran_(logician)</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Dummett, Michael (1973). Frege: Philosophy of Language. Harvard University Press. pp. 432ff. ISBN 9780060111328. <a href="9780060111328" target="_blank">9780060111328</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
</ol>

Argument–deduction–proof distinctions open-in-new

Argument–deduction–proof distinctions