Logic, The Theory of Inquiry