Today sees the revision of the thing I think I know about cognition, and four more things I think I know about it: reasoning, deductive reasoning, inductive reasoning, and abductive reasoning.  Deductive reasoning is, of course, the preferred Engineering approach to developing data in support of both derivation and verification practices.

I’ve added a very brief exegesis on prospective deduction.  Although not actually a flavor of reasoning, the concept forms a basis for planning and executing conversion of the last two flavors of reasoning into the first.

A brief exegesis on derivation itself should be along shortly, having now been facilitated by the extensive discussion of technical features and by the present subject material.

More to come.