Overview

Induction is a term used in several fields to describe processes that produce effects or establish general claims from particular instances. In physics, induction most often means electromagnetic induction: the generation of an electromotive force (EMF) by a changing magnetic environment. In philosophy and everyday reasoning, inductive reasoning forms generalizations from observations. In mathematics, mathematical induction is a proof method that establishes that a property holds for all natural numbers.

Electromagnetic induction

Electromagnetic induction was discovered experimentally in the early 19th century and is summarized by Faraday's law: a changing magnetic flux through a closed loop induces an EMF proportional to the rate of change of the flux. Lenz's law specifies that the induced current flows in a direction that opposes the change producing it. Practical manifestations include electric generators (converting mechanical motion to electric power), transformers (transferring energy between circuits by changing flux), induction cooktops, and wireless chargers. Related effects include eddy currents, used for braking and heating, and mutual and self-inductance in circuits.

Inductive reasoning (logic)

Inductive reasoning draws general conclusions from specific observations or repeated patterns. Scientific inquiry typically uses induction to form hypotheses and empirical laws from data; these conclusions are probabilistic rather than certain. Philosophers have long examined the reliability of induction, with classic problems such as the “problem of induction” that questions how past regularities justify future predictions. Variants include enumerative induction, analogical reasoning, and inference to the best explanation.

Mathematical induction

Mathematical induction is a rigorous method for proving statements about integers. The standard form requires a base case (verify the statement for an initial integer) and an inductive step (show that if it holds for an arbitrary integer n, then it holds for n+1). A related form, strong induction, assumes the statement for all values up to n to prove it for n+1. Mathematical induction is equivalent to the well-ordering principle for the natural numbers and is widely used in number theory, combinatorics and algorithm correctness proofs.

Connections and distinctions

  • Different senses: physical induction concerns fields and forces; inductive reasoning concerns probability and evidence; mathematical induction concerns logical implication across an ordered set.
  • Certainty: mathematical induction yields certainty within its axioms; inductive reasoning yields degrees of belief and remains open to revision.
  • Applications: electromagnetic induction underpins most electrical technology; inductive logic underpins empirical science; mathematical induction underpins discrete mathematics and proofs about algorithms.

Common misconceptions

People sometimes conflate inductive reasoning with mathematical induction; the former generalizes from data, the latter proves universally. In physics, the term "induction" is technical and refers specifically to effects associated with changing magnetic flux, not to general causation.