يستخدم بوبر مصطلحات «الفروض»
Hypotheses ، «الحدوس الافتراضية» (التخمينات)
Conjectures ، «النظرية»
Theory ، «القانون العلمي»
Scientific Law ، على التعاوض. وذلك لسبب بسيط ومستمد من المبدأ الاستنباطي المسمى
Modus Tollens :
ق تلزم عنها ك
لا − ك
إذن، لا − ق
وهو مبدأ يقول على التقريب: إنه إذا كان تقريرنا للقضية ق يستلزم تقريرنا للقضية ك، وكانت ك كاذبة، تكون ق هي أيضا كاذبة. وبإمكاننا في هذه الصيغة أن نستبدل بالقضية ق الرمز ف الذي يمثل «فرضية» علمية كلية معينة، وأن نستبدل بالقضية ك الرمز ل الذي يرمز إلى عبارة تقرر «ملاحظة» معينة. عندئذ نظفر بالصيغة التالية:
Unknown page