“branch of logic that shows how abstract logical principles are to be applied to the production of knowledge,” 1800, fro