# Deductive reasoning

 related topics {theory, work, human} {food, make, wine} {math, energy, light} {film, series, show}

Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises. A deductive argument is valid if the conclusion does follow necessarily from the premises, i.e., if 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, but are never false nor true. Deductive Reasoning is a method of gaining knowledge. An example of a deductive argument:

The first premise states that all objects classified as 'people' have the attribute 'mortal'. The second premise states that 'Socrates' is classified as a person - a member of the set 'people'. The conclusion states that 'Socrates' must be mortal because he inherits this attribute from his classification as a person. Deductive reasoning is sometimes contrasted with inductive reasoning.

## Contents

### Deductive logic

Deductive arguments are generally evaluated in terms of their validity and soundness.

An argument is valid if it is impossible for its premises to be true while its conclusion is false. 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, while the argument is valid:

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

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. Consequentially, 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 cannot help but induce, but that it is lucky that we do so. Certainly we must appeal to first principles of some kind, including laws of thought.