In introducing a new non-classical physics Einstein and Bohr indirectly specified the limits of classical physics. Einstein's special relativity put constraints on all the laws of physics, giving these laws a functional unification. Bohr effectively resolved the contradictions physicists were encountering through semantic guidelines limiting the use of classical terms in quantum contexts. This is systematized as Bohrian semantics. To accommodate the interrelation of theoretical deductive inferences and informal experimental inferences we develop a dual inference system.