Logic, Thinking, and Language