A Formal Approach to the Philosophy of Science · Study