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