Возможно, имелись в виду некоторые ограничения использования modus ponens, которые могут препятствовать применению этого метода для опровержения гипотез.
Некоторые из таких ограничений:
- Неправильная форма. 2 Modus ponens может быть представлен в гипотетической форме, где внешнее утверждение (импликация) всегда истинно, независимо от истинности других утверждений. 2
- Невозможность доказать общие утверждения. 13 Общие суждения невозможно непосредственно доказать, так как они должны охватывать бесконечное количество случаев, в том числе и будущих, которых пока нет. 3
- Неприменимость к определённым классам предложений. 5 Modus ponens не подходит для предложений, где следствие импликации само имеет форму импликации. 5
Кроме того, существует концепция асимметрии подтверждения и опровержения, сформулированная К. Поппером. 3 Согласно ей, ни одно общее утверждение нельзя окончательно подтвердить или доказать, а только опровергнуть. 3