Logicality and Invariance