внося изменения в различно
удаленные от этого “дедуктивного механизма” части нашего знания и, таким образом, восстанавливая непротиворечивость.
Можно ли из этого вполне банального наблюдения вывести общую формулу “всякая проверка бросает вызов всей целостности нашего знания”? А почему бы и нет? Сопротивление этой “холистской догме относительно “глобального” характера всех проверок”[150] со стороны некоторых фальсификационистов вызвано просто семантическим смешением двух различных понятий “проверки” (или “вызова”) упрямого экспериментального результата, имеющего место в нашем знании.
Попперовская интерпретация “проверки” (или “вызова”) состоит в том, что данный результат О противоречит (“бросает вызов”) конечной хорошо определенной конъюнкции посылок Т: О&Т не может быть истинной. Но с этим не будет спорить ни один сторонник тезиса Дюгема-Куайна. Куайновская интерпретация “проверки” (или “вызова”) состоит в том, что замещение О&Т может быть вызвано некоторым изменением и вне О и Т. Следствие из О&Т может противоречить некоторому положению Н из какой либо удаленной части нашего знания. Однако никакой попперианец не станет этого отрицать.
Смешение этих двух понятий проверки приводит к некоторым недоразумениям и логическим промахам. Кое-кто, интуитивно ощущая, что рассуждения по правилу modus tollens, исходящие из опровержения, могут относиться к весьма неявным посылкам из целостности нашего знания, отсюда ошибочно заключают, что ограничение ceteris paribus ― это посылка, конъюнктивно соединенная с вполне очевидными посылками. Но “удар” может наноситься не рассуждением по modus tollens, а быть следствием последовательного замещения исходного “дедуктивного механизма”.[151]
Таким образом, “слабый тезис Куайна” тривиальным рассуждением удерживается. Но “сильный тезис Куайна” вызывает протест и наивного, и утонченного фальсификациониста.
Наивный фальсификационист настаивает на том, что из противоречивого множества научных высказываний можно вначале выделить (1) проверяемую теорию (она будет играть роль ореха), затем (2) принятое базисное предложение (молоток), все прочее будет считаться бесспорным фоновым знанием (наковальня). Дело будет сделано, если будет предложен метод “закалки” для молотка и наковальни, чтобы с их помощью можно было расколоть орех, совершая тем самым “негативный решающий эксперимент”. Но наивное “угадывание” в этой системе слишком произвольно, чтобы обеспечить сколько нибудь серьезную закалку (Грюнбаум, со своей стороны, прибегая к помощи теоремы Бэйеса, пытается показать, что по крайней мере “молоток” и “наковальня” обладают высокими степенями вероятности, основанными на опыте, и, следовательно, “закалены” достаточно, чтобы их использовать для колки орехов).
