Herodotus and Logic