يستخدم بوبر مصطلحات «الفروض»

Hypotheses ، «الحدوس الافتراضية» (التخمينات)

Conjectures ، «النظرية»

Theory ، «القانون العلمي»

Scientific Law ، على التعاوض. وذلك لسبب بسيط ومستمد من المبدأ الاستنباطي المسمى

Modus Tollens :

ق تلزم عنها ك

لا − ك

إذن، لا − ق

وهو مبدأ يقول على التقريب: إنه إذا كان تقريرنا للقضية ق يستلزم تقريرنا للقضية ك، وكانت ك كاذبة، تكون ق هي أيضا كاذبة. وبإمكاننا في هذه الصيغة أن نستبدل بالقضية ق الرمز ف الذي يمثل «فرضية» علمية كلية معينة، وأن نستبدل بالقضية ك الرمز ل الذي يرمز إلى عبارة تقرر «ملاحظة» معينة. عندئذ نظفر بالصيغة التالية:

Shafi da ba'a sani ba