You would agree Logic is a type of reasoning? I don't agree Logic is a type of knowledge. Logic doesn't actually generate new "Truths" does it? I thought it basically determines if inferences are valid. A couple metaphors that may sum up Logic (in my mind) is a pH strip. You dip it in a solution, you read what it says. It doesn't generate the pH nor the solution. It just tells you the pH. Or a better analogy would be as a meat grinding-gear. Into the top of the meat grinder you pour in your meat (sound premises), then you select a gear-grind (or a type of Logic you wish to use), then you turn the handle (Logical inference) and Wa-La, out comes sausages (Logical conclusions). In this analogy, Logic is the gear-grind. You can change these depending on the type of meat you want to grind. Obviously not all meat can be ground by the same gears. Likewise, not all premises can be have the same logical operations applied to them. Maybe we agree? It sounds like the real definition needed is Epistemology and Logic's place in that field.