Logic plays a role in design as one formalism of reasoning.
DRAFT
There are four types of inference that can be useful in design: deduction, induction, abduction, and innoduction.
TODO Describe consequences and counter-indications.
TODO I should digest some of the Ars articles into the body of this page.
Ars Technica has a nice four-part introduction to informal logic, which is the natural language version of the formal logic used in mathematics, AI, and other very rigorous disciplines. Informal logic is about making good arguments for claims (e.g., This is a good design because….) and recognizing bad arguments.