The Science of Logic