形式逻辑、辩证逻辑是两种逻辑思维的方法。