> The search does not start with assumptions and seek conclusions; rather, it starts with conclusions, and then seeks which sets of axioms fulfill them. Right,

> The search does not start with assumptions and seek conclusions; rather, it starts with conclusions, and then seeks which sets of axioms fulfill them. Right, there was an issue with labeling justification 'logic'. An interesting point, but not as interesting as the title of this story—which I prefer to discuss :) I was getting at the general process of inference making in the human brain (not even conscious inference making necessarily), which I see as the real root of all the different things we call logic.