Formal Methods in the Philosophy of Science · Study