Для формулировки критерия демаркации, по Попперу, нужно понять, что такое верификация и фальсификация. Верификация выражается в переносе истинности от частного к общему (индукция), и это вероятностный вывод, а фальсификация - это перенос ложности от частного к общему, и это дедукция. Таким образом, существует сильная асимметрия между проблематичностью верификации и достоверностью фальсификации (лекция аспирантам МГМСУ 21 февраля 2018 г.).