Part I Science of Logic