知己知彼,发展逻辑学