Evolutionary theory, properly understood, does not conflict with the idea that God occasionally intervenes in nature - for example, by once or twice causing a beneficial mutation to occur. Biologists have not detected any such interventions despite the data and theory they have assembled about mutation. However, I think it is a mistake to expect biological experiments to be able to detect such one-off acts of divine intervention, especially if those acts occurred in the distant past. Science isn't in that line of work.

Philosophers of biology generally recognize that evolutionary fitness (roughly, an organism's ability to survive and reproduce in its environment) is multiply realizable.

The indispensability argument says (roughly) that if you have ample reason to accept an empirical scientific theory that makes indispensable use of mathematics, and that theory entails that numbers exist, then you have ample reason to accept that numbers exist. The argument affirms the antecedent of this conditional, and concludes that you have ample reason to believe that numbers exist. What is striking about this argument is that it seems to show that the empirical reasons that suffice for accepting a scientific theory also suffice for accepting a metaphysical claim.

The big picture, I think, is that common ancestry is evidentially prior to natural selection in Darwin's theory and in contemporary evolutionary biology as well.

Evolutionary biologists often appeal to parsimony when they seek to explain why organisms "match" with respect to a given trait. For example, why do almost all the organisms that are alive today on our planet use the same genetic code? If they share a common ancestor, the code could have evolved just once and then been inherited from the most recent common ancestor that present organisms share. On the other hand, if organisms in different species share no common ancestors, the code must have evolved repeatedly.

Methodological naturalism gives advice to scientists about what they should include in their theories. There is a second type of methodological naturalism that gives advice to philosophers, which I call "methodological naturalismp." It says that the methods that philosophers should use in assessing philosophical theories are limited to the methods that scientists ought to use in assessing scientific theories.

Just as thought experiments can't show that vitalism is true (or that it is false), they also can't show that dualism is true (or that it is false).