Metalinguistic views of quantum mechanics and its formalizability
Much like the way we distinguish between formalism and experimentalism, we distinguish between ascertainment by proof and ascertainment by measurement. We argue that quantum mechanics, which characteristically encompasses both kinds of ascertainment, is too complex to be fully captured by formalism alone, and needs relativization to language in its complementaristic conception. In particular, we a