Nonseparability of inferribility and measurability in quantum mechanics as a Systema Magnum
Quantum measurement theory has a peculiar nature with its TWO processes of assertibility, by proof and by measurement, which is beyond formal logic. This two-sortedness with respect to assertibility is discussed in terms of developments of many--sorted logics, sometimes referred to as Logica Magna. Although useful insights are obtained this way, we argue that there is a nonseparability of inferrib
