emmm，在逻辑上有一种有效的推理形式叫作“否定后件推理”，即“如果A，那么B”可以与“非B”推出“非A”。这里的逻辑是：如果地平论成立，那么南极没有极昼；南极有极昼，所以地平论不成立，至少从最表面的形式来看，这显然是有效的推理。
从更深的角度来看，通过观测否定一个理论，需要观测切实不符合正确运用理论所得的结论，也就是说，如果观测本身有问题（如误差过大）或对理论的应用不正确（如把地平论当成南极为中心的模型），那么这个推理就不充分。但是反驳它也需要依赖于对观测到质疑和对理论本身的发展，而不是诉诸竞争对手的问题才对。
