The Evolution of Logic