Logic, or the Art of Thinking