Formal Methods in the Methodology of Empirical Sciences