View source for Deductive reasoning

'''Deductive reasoning''', according to many dictionaries<ref>[http://www.askoxford.com/results/?view=dev_dict&field-12668446=deduction&branch=13842570&textsearchtype=exact&sortorder=score%2Cname AskOxford]</ref><ref>[http://www.bartleby.com/61/44/D0084400.html Bartleby]</ref><ref>[http://dictionary.cambridge.org/define.asp?key=deduce*1+0&dict=A Cambridge Dictionary of American English]</ref><ref>[http://mw1.merriam-webster.com/dictionary/deduction Merriam-Webster]</ref>, is the type of reasoning that proceeds from general principles or premises to derive particular information. 

==Background==

Deductive reasoning was developed by [[Aristotle]], [[Thales]], [[Pythagoras]], and other Greek philosophers of the Classical Period (600 to 300 B.C.). Aristotle, for example, relates a story of how Thales used his skills to deduce that the next season's olive crop would be a very large one. He therefore bought all the olive presses and made a fortune when the bumper olive crop did indeed arrive.<ref>[http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Thales.html Thales of Miletus]</ref> 

Deductive reasoning is dependent on its premises. That is, a false premise can possibly lead to a false result, and inconclusive premises will also yield an inconclusive conclusion. <ref>[http://www.investigativepsych.com/inductive.htm Brief Discussion on Inductive/Deductive Profiling]</ref>

Alternative to deductive reasoning is [[inductive reasoning]]. Many incorrectly teach that deductive reasoning goes from general information to specific information and that inductive reasoning travels in the opposite direction. This is not accurate. Deductive reasoning applies general ''principles'' to reach specific conclusions, whereas inductive reasoning examines specific information, perhaps many pieces of specific information, to derive a general principle. By thinking about phenomena such as how apples fall and how the planets move, [[Isaac Newton]] induced his [[Newton's law of universal gravitation|theory of gravity]]. In the [[19th century]], [[Discovery of Neptune|Adams and LeVerrier]] applied Newton's theory (general principle) to deduce the existence, [[mass]], position, and [[orbit]] of [[Neptune]] (specific conclusions) from perturbations in the observed orbit of [[Uranus]] (specific data). 

Both types of reasoning are routinely employed. One difference between them is that in deductive reasoning, the evidence provided must be a set about which everything is known before the conclusion can be drawn.  Since it is difficult to know everything before drawing a conclusion, deductive reasoning has little use in the real world.  This is where inductive reasoning steps in.  Given a set of evidence, however incomplete the knowledge is, the conclusion is likely to follow, but one gives up the guarantee that the conclusion follows.  However it does provide the ability to learn new things that are not obvious from the evidence.

==Deductive logic==

Deductive reasoning is supported by deductive logic (which is not quite the same thing).

For example:

:All apples are fruit.
:All fruits grow on trees.
:Therefore all apples grow on trees.

Or 

:All apples are fruit.
:Some apples are red.
:Therefore some fruit is red.

Intuitively, one might deny the major premise or the conclusion; yet anyone accepting the premises accepts the conclusion.

==Natural deduction==

Deductive reasoning should be distinguished from the related concept of [[natural deduction]], an approach to proof theory that attempts to provide a formal model of logical reasoning as it "naturally" occurs.

==Cultural references==

[[Sherlock Holmes]], the [[fictional character|fictional]] [[detective]] created by [[Sir Arthur Conan Doyle]], is well known for referring to deductive reasoning in numerous of Doyle's stories.

==Further reading==

* [[Vincent F. Hendricks]], ''Thought 2 Talk: A Crash Course in Reflection and Expression'', New York: Automatic Press / VIP, 2005, ISBN 87-991013-7-8

* Zarefsky, David, ''Argumentation: The Study of Effective Reasoning Parts I and II'', The Teaching Company 2002

==References==
<div class="references-small">
{{reflist|2}}
</div>

==See also==
{{col-begin}}
{{col-break}}
* [[Abductive reasoning]]
* [[Analogy|Analogical reasoning]]
* [[Correspondence theory of truth]]
* [[Defeasible reasoning]]
* [[Hypothetico-deductive method]]
* [[Inquiry]]
{{col-break}}
* [[Logical consequence]]
* [[Propositional calculus]]
* [[Retroductive reasoning]]
* [[Scientific method]] 
* [[Soundness]]
* [[Validity]]
{{col-end}}

{{portal|Logic}}
{{Philosophy navigation}}
{{Logic}}

[[Category:Logic]]
[[Category:Problem solving]]
[[Category:Philosophical terminology]]

[[bs:Dedukcija]]
[[bg:Дедукция]]
[[cs:Dedukce]]
[[da:Deduktion]]
[[de:Deduktion]]
[[et:Deduktsioon]]
[[es:Razonamiento deductivo]]
[[fr:Déduction logique]]
[[gl:Dedución]]
[[ko:연역법]]
[[hr:Dedukcija]]
[[is:Afleiðsla]]
[[he:דדוקציה]]
[[lv:Dedukcija]]
[[hu:Dedukció]]
[[mk:Дедукција]]
[[nl:Deductie]]
[[ja:演繹]]
[[no:Deduksjon (filosofi)]]
[[nn:Deduksjon]]
[[uz:Deduksiya]]
[[pl:Dedukcja]]
[[pt:Dedução]]
[[ru:Дедуктивное умозаключение]]
[[sl:Dedukcija]]
[[sr:Дедукција]]
[[sh:Dedukcija]]
[[sv:Deduktion]]
[[vi:Suy diễn logic]]
[[tr:Tümdengelim]]
[[uk:Дедукція]]
[[zh:演绎推理]]
{{WikiDoc Sources}}