矛盾律最早提出要改造逻辑，使逻辑为知识增加内容的哲学家是（C）