对传统逻辑的有力挑战