Fil Salustri's Design Site

Site Tools



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}, ..., 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).

See Also

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