Thinking about Logic