“自亚里士多德以来最伟大的逻辑学家”