Logic as Universal Science