Categoricity

Categoricity#

An argument against categoricity:

A categorical theory is one such that any two models (true interpretations) of its underlying abstract formalism are isomorphic (structurally identical). Now a necessary condition for theory isomorphism is that the corresponding sets be similar, i.e. that there be a one-to-one correspondence between them. But we do not want such a rigidity in physics for, even if two theories do have formally identical basic formulas (e.g. wave equations), they may refer to entirely different kinds of physical systems, these kinds being conceptualised as sets that need not be similar. (Mario Bunge, Philosophy of Physics)