Philosophy of science, logic and mathematical