Title: Formal Methods in the Methodology of Empirical Sciences