一、客观形态的逻辑和理论形态的逻辑