Logic As the Science of Knowledge