Axioms and postulates: Finding the right match through logical inference.

Merker et al. argue that integrated information theory (IIT) is not a theory of consciousness because the IIT formalism does not match phenomenology. I argue that the authors ultimately fail to articulate the problem of the inference of the postulates from the axioms. I suggest a different version of this problem, and argue that this can help rethink IIT's potential for consciousness science.