二、概念澄清：“逻辑”和“可修正性”