七 逻辑理论形态的多样性