12. Причинность, объяснение и дедукция предсказаний Дать причинное объяснение некоторого события – значит дедуцировать описывающее его высказывание, используя в качестве посылок один или несколько универсальных законов вместе с определенными сингулярными высказываниями – начальными условиями. Например, мы можем сказать, что мы дали причинное объяснение разрыва некоторой нити, если нашли, что она имеет предел прочности 1 фунт и что к ней был подвешен груз весом в 2 фунта. При анализе этого причинного объяснения мы обнаружим в нем различные составные части. С одной стороны, здесь имеется гипотеза: «Всякая нить, нагруженная выше своего предела прочности, разрывается» — высказывание, имеющее характер универсального закона природы. С другой стороны, здесь есть сингулярные высказывания (в данном случае их два), применимые только к данному обсуждаемому событию: «Предел прочности данной нити равен 1 фунту» и «К нити подвешен груз весом в 2 фунта».
Теории – это сети, предназначенные улавливать то, что мы называем «миром», для осознания, объяснения и овладения им. Мы стремимся сделать ячейки сетей всё более мелкими.
19. Некоторые конвенционалистские возражения …я не требую от науки окончательной достоверности и не считаю возможным ее достигнуть…
20. Методологические правила Ясная оценка того, что можно получить (и потерять), используя конвенционалистские методы, была высказана за сто лет до Пуанкаре Блэком, который писал: «Тщательный подбор условий может сделать почти любую гипотезу согласующейся с феноменами. Но это – результат работы нашего воображения, а не успех нашего познания». 21. Логическое исследование фальсифицируемости Теория называется «эмпирической» или «фальсифицируемой», если она точно разделяет класс всех возможных базисных высказываний на два следующих непустых подкласса: во-первых, класс всех тех базисных высказываний, с которыми она несовместима (которые она устраняет или запрещает), мы называем его классом потенциальных фальсификаторов теории; и, во-вторых, класс тех базисных высказываний, которые ей не противоречат (которые она «допускает»). Более кратко наше определение можно сформулировать так: теория фальсифицируема, если класс ее потенциальных фальсификаторов не пуст.