ف تلزم عنها ل
لا − ل
إذن لا − ف
والنقطة الجوهرية التي ينبغي أن نلتفت إليها هنا هي أن هذه الصيغة تثبت الفارق المنطقي بين «التحقيق»
Verification
و«التكذيب»
Falsification . ففي حين لا يمكن إثبات صدق نظرية علمية كلية بأي عدد متناه من الملاحظات مهما ازداد ومهما ارتفع، فإننا من الوجهة المنطقية لا يلزمنا أكثر من ملاحظة حالة واحدة مناقضة للدعوى الكلية للنظرية لكي يتم تكذيبها أو دحضها. إذن من القضية الكلية «كل أ هو ب» (ف) يمكننا أن نستنبط القضية التالية: «من الخطأ أن بعض (حتى واحدة) أ ليس ب» (ل)، وأننا إذا لاحظنا أن «بعض (على الأقل واحدة) أ ليس ب» (لا − ل) لترتب على ذلك بالاستنباط المنطقي المحض أن «كل أ هو ب» قضية كاذبة (لا − ف). فالعبارة التقريرية «كل البجع أبيض» يمكن تكذيبها بملاحظة بجعة واحدة غير بيضاء، والتي يلزم عنها أن «ليس كل البجع أبيض». بذلك تكون نظرية ما قابلة للتكذيب
Falsifiable ، إذا وفقط إذا أمكن منها استنباط «عبارة ملاحظة» ما والتي إذا كذبت لكانت النظرية كاذبة. وعلى النظرية العلمية الأصيلة أن تستبعد حالة ممكنة منطقيا أي تحظرها أو تمنعها من الحدوث، وذلك بأن تحدد بأكبر قدر مستطاع من الدقة ماذا عسى أن تكون هذه الحالة. وهذا هو تأويل قول بوبر إن كل نظرية علمية هي نوع من المنع أو الحظر. فالنظرية الأصيلة يجب ألا تكون متساوقة مع كل الحالات الممكنة منطقيا. ويمكننا القول بتحديد أكثر: إن ما هو مستنبط من النظرية العلمية هو «عبارة أساسية» واحدة على الأقل تمثل«مكذبا بالقوة»
،
10
صفحة غير معروفة