To be logical is a necessary but insufficient reason to be true. Every swirl on a butterfly wing, every curve of leaf, every species of fish is explained by adaptive selection in neodarwinism. There seems to be absolutely nothing that cannot be explained in some way as an adaptive advantage. Philosopher of science Karl Popper said bluntly that neodarwinism is not a scientific theory at all, since it cannot be falsified. Neither Darwin, nor any Darwinian, has so far given an actual causal explanation of the adaptive evolution of any single organism or any single organ.
Life has a causality problem.
Any coevolved organism seems to be self-created, making causality onerous to pin down. Part of the search for more complete explanations of evolution is a search for a more complete logical understanding of spontaneous complexity and the rules by which entities may emerge from a web of parts. A theory would shape an experiment, and then the experiment would confirm or disprove the theory. A simulation is at once both a theory and an experiment. By running a computer model, such as Tom Ray's artificial evolution, we are trying out a theory and also running something real and accumulating falsifiable data.