hidden pixel

Deductive Reasoning Information

Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive reasoning contrasts with inductive reasoning in that a specific conclusion is arrived at from a general principle. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises or hypotheses. A deductive argument is valid if the conclusion does follow necessarily from the premises, i.e., the conclusion must be true provided that the premises are true. A deductive argument is sound if it is valid and its premises are true. Deductive arguments are valid or invalid, sound or unsound. Deductive reasoning is a method of gaining knowledge. An example of a deductive argument:

  1. All men are mortal
  2. Socrates is a man
  3. Therefore, Socrates is mortal

The first premise states that all objects classified as "men" have the attribute "mortal". The second premise states that "Socrates" is classified as a man – a member of the set "men". The conclusion states that "Socrates" must be mortal because he inherits this attribute from his classification as a man.

Deductive reasoning moves from theory to observations or findings. So, in the above example, the theory is that 'All men are mortal' and the observation is that 'Socrates is a man.' So, the conclusion can be made that 'Socrates is mortal.'

Contents

Law of detachment

The law of detachment is the first form of deductive reasoning. A single conditional statement is made, and then a hypothesis (P) is stated. The conclusion (Q) is deduced from the hypothesis and the statement. The most basic form is listed below:

  1. P→Q
  2. P (Hypothesis stated)
  3. Q (Conclusion given)

We can conclude Q from P by using the law of detachment from deductive reasoning.[1] However, if the conclusion (Q) is given instead of the hypothesis (P) then there is no valid conclusion.

The following is an example of an argument using the law of detachment in the form of an If-then statement:

  1. If m∠A>90°, then ∠A is an obtuse angle.
  2. m∠A=120°.
  3. ∠A is an obtuse angle.

Since the measurement of angle A is greater than 90°, we can deduce that A is an obtuse angle.

Law of syllogism

The law of syllogism takes two conditional statements and forms a conclusion by combining the hypothesis of one statement with the conclusion of another. Here is the general form, with premise P:

  1. P->Q
  2. Q->R
  3. Therefore, P->R.

The following is an example:

  1. If Larry is sick, then he will be absent from school.
  2. If Larry is absent, then he will miss his classwork.
  3. If Larry is sick, then he will miss his classwork.

We deduced the solution by combining the hypothesis of the first problem with the conclusion of the second statement. We also conclude that this could be a false statement.

Deductive logic: Validity and Soundness

Deductive arguments are evaluated in terms of their validity and soundness. It is possible to have a deductive argument that is logically "valid" but is not sound.

An argument is valid if it is impossible for its premises to be true while its conclusion is false. In other words, the conclusion must be true if the premises, whatever they may be, are true. An argument can be valid even though the premises are false.

An argument is sound if it is valid and the premises are true.

The following is an example of an argument that is valid, but not sound; a premise is false:

  1. Everyone who eats steak is a quarterback.
  2. John eats steak.
  3. Therefore, John is a quarterback.

The example's first premise is false (there are people who eat steak that are not quarterbacks), but the conclusion must be true, so long as the premises are true (i.e. it is impossible for the premises to be true and the conclusion false). Therefore the argument is valid, but not sound.

The theory of deductive reasoning known as categorical or term logic was developed by Aristotle, but was superseded by propositional (sentential) logic and predicate logic.

Deductive reasoning can be contrasted with inductive reasoning. In cases of inductive reasoning, even though the premises are true and the argument is "valid", it is possible for the conclusion to be false (determined to be false with a counterexample or other means).

Hume's skepticism

See also: Problem of induction

Philosopher David Hume presented grounds to doubt deduction by questioning induction. Hume's problem of induction starts by suggesting that the use of even the simplest forms of induction simply cannot be justified by inductive reasoning itself. Moreover, induction cannot be justified by deduction either. Therefore, induction cannot be justified rationally. Consequently, if induction is not yet justified, then deduction seems to be left to rationally justify itself – an objectionable conclusion to Hume.

Hume did not provide a strictly rational solution per se. He simply explained that we do induce, and that it is useful that we do so, but not necessarily justified. Certainly we must appeal to first principles of some kind, including laws of thought.

See also

Logic portal

References

  1. ^ Guide to Logic

Further reading

Philosophy
Branches
Philosophy of
Schools of thought
By historical era
Ancient
9th–16th centuries
17th–21st centuries
Positions
By region
Lists
Logic
Overview
Academic areas
Foundational concepts
Philosophical logic
Critical thinking and Informal logic
Theories of deduction
Metalogic and metamathematics
Mathematical logic
General
Traditional logic
Propositional calculus and Boolean logic
Predicate
Set theory
Model theory
Proof theory
Computability theory
Non-classical logic
Modal logic
Intuitionism
Fuzzy logic
Substructural logic
Paraconsistent logic
Description logic
Logicians
Lists
Topics
Other

Categories:

 

The above information uses material from Wikipedia and is licensed under the GNU Free Documentation License.
Some facts may not have been fully verified for accuracy. [Disclaimers]
This page was last archived by our server on Thu May 10 20:38:07 2012.
Displaying this page or its contents does not use any Wikimedia Foundation's resources.
The owners of this site proudly support the Wikimedia Foundation.



Noun

Deductive reasoning deductive reasoning
  1. inference in which the conclusion cannot be false given that the premises are true.
  2. inference in which the conclusion is of no greater generality than the premises.
Antonyms
from: Wiktionary: deductive reasoning,
Thu May 10 20:38:08 2012