“An interpretation [of a formal system] will be meaningful to the extent that is accurately reflects some isomorphism to the real world.”