强调以逻辑性质的理解来改造逻辑属于（）。