3. Formal Science Philosophy