Philosophical problems in the Empirical science of science: A formal approach