Evolution of Logic