Induction , en logique, méthode de raisonnement d'une partie à un tout, des particuliers aux généraux, ou de l'individu à l'universel. Comme il s'applique à la logique dans les systèmes du 20e siècle, le terme est obsolète. Traditionnellement, les logiciens faisaient la distinction entre la logique déductive (inférence dans laquelle la conclusion découle nécessairement de la prémisse, ou tirer de nouvelles propositions hors des prémisses dans lesquelles elles se trouvent latentes) et la logique inductive, mais les problèmes précédemment subsumés sous l'induction sont considérés comme des préoccupations de la méthodologie des sciences naturelles, et la logique est généralement considérée comme une logique déductive.
