2015.01.09 11:13

design:induction

Induction is inferencing as science carries it out: from the specific to the general.

Induction is distinguished by its *modus ponens* rule: $p_{1} \Rightarrow q_{1}, p_{2} \Rightarrow q_{2}, \ldots, p_{n} \Rightarrow q_{n}; p \Rightarrow q$

This is not *valid* in logic, but happens all the time in science. With repeated observations of something (the premises) comes the eventual ability to (at least propose) a general rule (the conclusion).

design/induction.txt · Last modified: 2020.03.12 13:30 (external edit)

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International