Экспериментальная проверка эффективна тогда, когда существует как минимум две теории, дающие разные предсказания, которые можно разграничить в ходе эксперимента и наблюдения. В более широком смысле противоречить друг другу могут не предсказания, а идеи. Например, в ситуации, когда существующее объяснение не удовлетворяет какому-то критерию, они (объяснение и критерий) противоречат друг другу. Такие ситуации в науке принято называть проблемами. Решить проблему - создать такое объяснение, в котором указанное противоречие отсутствует. Проблема может возникнуть и без наблюдений, когда теория предсказывает что-то неожиданное, или когда устройство чего-то согласно теориям не соответствует тому, каким оно должно быть согласно критерию.

Виды заметок в базе знаний - заметки-проблемы должны включать противоречащие друг другу идеи.

Теории и идеи могут противоречить друг другу, но в реальности-то противоречий нет, так что наличие проблемы означает недостаточность наших знаний.

В формальной логике противоречие — сигнал поражения, но в эволюции реального знания оно отмечает первый шаг на пути к победе.

Альфред Норт Уайтхед.