Definition:Inductive Argument

From ProofWiki
Jump to navigation Jump to search

Definition

An inductive argument is a form of argument in which, if all the premises are true, the conclusion is probably true, but might not be.

Such lines of reasoning are ubiquitous in everyday life and in most human endeavors.


However, inductive arguments are only conjectures in the field of mathematics.

Such arguments are not truth preserving and therefore they are not proofs.


Examples

All Crows are Black

I have seen a lot of crows.

All the crows that I have seen are black.

Therefore all crows are black.


Also known as

Some sources refer to an inductive argument of this type as philosophical induction.


Note on Terminology

Despite the name, the Principle of Mathematical Induction is a type of deductive argument, not an inductive argument.


Also see

  • Results about inductive arguments can be found here.


Sources