1. Новая теория, как и все неопровергнутые теории, может оказаться ложной. Поэтому теоретик изо всех сил старается обнаружить ложные теории среди множества неопровергнутых конкурентов; он пытается "подловить" их. Иначе говоря, он стремится по отношению к каждой данной неопровергнутой теории придумать случаи или ситуации, при которых, если она ложна, ее ложность могла бы проявиться. Таким образом, он будет пытаться спланировать строгие испытания и решающие проверочные ситуации. По сути это означает построение фальсифицирующего закона, то есть закона, уровень универсальности которого может быть настолько низок, что он будет не в состоянии объяснить успехи теории, подлежащей проверке, но который, тем не менее, может подсказать решающий эксперимент — эксперимент, который может опровергнуть, в зависимости от его исхода, либо теорию, подвергающуюся проверке, либо фальсифицирующую ее теорию.

2. При помощи этого метода исключения можно наткнуться и на истинную теорию. Однако этот метод ни в каком случае не может установить ее истинность, даже если она истинна, потому что количество теорий, которые, возможно, истинны, остается бесконечным в любой момент времени и после любого количества решающих испытаний. Это еще одна возможная формулировка отрицательного результата Юма. Разумеется, количество реально выдвинутых теорий конечно и вполне может получиться так, что мы опровергнем их все и больше ни одной не сможем придумать.

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

3. Результатом описанной процедуры может оказаться некоторое множество теорий, "конкурирующих" между собой в том смысле, что они предлагают решения хотя бы некоторых общих для них проблем, хотя каждая из них дает, кроме того, решения некоторых проблем, которых не дают другие теории. Ведь хотя мы требуем, чтобы новая теория давала решение и проблем, решенных ее предшественницей, и проблем, которые предыдущей теории не удалось решить, разумеется, всегда может случиться, что будут предложены две или более новые конкурирующие теории, каждая из которых удовлетворяет этим требованиям и вдобавок предлагает решения каких-то проблем, которых не решают остальные.

4. В любой момент времени t теоретика особенно интересует нахождение наиболее поддающейся проверке из конкурирующих теорий, чтобы подвергнуть ее новым испытаниям. Я показал, что она в то же время будет отличаться и наибольшим информационным содержанием, и наибольшей объяснительной способностью. Эта теория будет больше других заслуживать проверки новыми испытаниями, короче говоря, это будет "лучшая" из конкурирующих теорий на момент времени t. Если она выдержит испытания, то она будет еще и лучше всего испытанной теорией из рассмотренных к этому моменту, включая всех ее предшественниц.