XVI

То, что мы, как правило, в любой данный момент принимаем большую часть традиционного знания без доказательств (а почти все наше знание является традиционным), не создает затруднений для фальсификациониста, или фаллибилиста. Он не принимает этого исходного знания — ни как установленного, ни как несомненного, ни как вероятного. Он знает, что даже временное его признание является рискованным, и подчеркивает, что каждая часть его открыта для критики, хотя бы и постепенной. Мы никогда не можем быть уверены в том, что подвергнем сомнению именно то, что нужно, но так как мы не ищем несомненности, это не имеет значения. Следует обратить внимание на то, что последнее утверждение является моим ответом на холистскую точку зрения Куайна относительно эмпирических проверок. Куайн сформулировал эту точку зрения (со ссылкой на Дюгема), утверждая, что наши высказывания относительно внешнего мира предстают перед судом чувственного опыта не индивидуально, а только как единое целое²¹. Следует признать, что часто мы можем проверить лишь значительную часть теоретической системы, а иногда только всю систему в целом, и в этих случаях требуется подлинная изобретательность для того, чтобы определить, какие части этой системы ответственны за фальсификацию. Этот момент я подчеркивал, также со ссылкой на Дюгема, уже с давних пор²². Хотя этот аргумент может сделать верификацио-ниста скептиком, он не может оказать влияния на тех, кто все наши теории считает лишь догадками.

Отсюда можно видеть, что даже если бы холистская точка зрения на проверки была истинной, это не создало бы серьезных трудностей для фаллибилиста и фальсификациониста. Вместе с тем следует отметить, что холистская аргументация заходит слишком далеко. В некоторых случаях вполне возможно обнаружить, какая именно гипотеза несет ответственность за опровержение, или, другими словами, какая часть или группа гипотез была необходима для выведения опровергнутого пред-

399

сказания. То, что такие логические зависимости могут быть открыты, устанавливается практикой доказательств независимости в аксиоматизированных системах — доказательств, показывающих, что определенные аксиомы аксиоматизированных систем не могут быть выведены из остальных. Наиболее простые из этих доказательств состоят в построении или скорее в изобретении некоторой модели — ряда вещей, отношений, операций или функций, удовлетворяющих всем аксиомам за исключением одной, независимость которой доказывается. Для этой одной аксиомы и, следовательно, для теории в целом данная модель составляет контрпример.

Допустим теперь, что у нас имеется аксиоматизированная теоретическая система, например, система физики, позволяющая нам предсказать, что определенные события не происходят и что мы открыли контрпример. Вполне может оказаться, что этот контрпример удовлетворяет большей части наших аксиом или даже всем нашим аксиомам, за исключением той, независимость которой обосновывается этим контрпримером. Это показывает, что холистская догма относительно «глобального» характера всех проверок или контрпримеров несостоятельна. И это объясняет, почему даже без аксиоматизации нашей физической теории мы вполне можем иметь какое-то представление о том, что ошибочно в нашей системе.

Между прочим, это говорит также и о том, насколько полезно использовать в физике тщательно разработанные теоретические системы, т.е. системы, которые хотя и могут соединить все гипотезы в одну, позволяют в то же время разделить различные группы гипотез, каждая из которых может стать объектом опровержения посредством контрпримеров. (Прекрасным современным примером является опровержение в атомной теории закона четности; другим примером может служить опровержение закона коммутации для сопряженных переменных, предшествовавшее их матричной интерпретации и статистической интерпретации этих матриц.) (400:)