What is the relation between logic and good reasoning? I once thought that logic was the science or study of good reasoning, but I've read a few things (mostly online, I confess) saying that logic is only a matter of "formalizing" reasoning (making it clear and unambiguous, and perhaps making possible that computers reproduce it). But whether reasoning is good should not be a concern for logic. Is that so? And if it is so, what is the current name for the study of good reasoning?