Об инструментализме см. прим. *1 к гл. III. 133

универсального высказывания без начальных условий
нельзя вывести ни одного базисного высказывания*
1 1
,
(Ь) универсальное высказывание и базисное высказы-
вание могут противоречить друг другу. Условие (Ь)
может быть выполнено, только если имеется возмож-
ность вывести отрицание базисного высказывания из
той теории, которой это высказывание противоречит.
Отсюда и из условия (а) следует, что базисное высказы-
вание должно иметь такую логическую форму, чтобы
его отрицание в свою очередь не могло бы быть базис-
ным высказыванием.
*" Когда я писал это, я считал достаточно очевидным, что из
одной теории Ньютона без начальных условий нельзя вывести ни од-
ного высказывания, имеющего свойства высказывания наблюдения
(и, следовательно, конечно, ни одного базисного высказывания).
К. несчастью, оказалось, что этот факт и его следствия, относящиеся
к проблеме высказываний наблюдения, или «базисных высказываний»,
не были в достаточной мере оценены некоторыми из критиков моей
книги. Поэтому я считаю необходимым дополнительно высказать
здесь несколько замечаний.
Прежде всего, чистое всеобщее высказывание, скажем «Все ле-
беди белые», не имеет никаких наблюдаемых следствий. Это легко
заметить, если поразмыслить над фактом, что высказывания «Все
лебеди белые» и «Все лебеди черные», конечно, не противоречат друг
другу, но из них, взятых вместе, просто следует, что лебедей не
существует. Последнее, очевидно, не является высказыванием наблю-
дения и даже не может быть «верифицировано». (Односторонне
фальсифицируемое высказывание типа «Все лебеди белые», кстати,
имеет ту же логическую форму, что и высказывание «Не существу-
ет лебедей», поскольку оно эквивалентно высказыванию «Не сущест
вует небелых лебедей».)
Согласившись со сказанным, мы сразу же увидим, что сингу-
лярные высказывания, которые
 могут
быть выведены из чисто уни-
версальных высказываний, не могут быть базисными. Я имею в виду
высказывания типа: «Если существует лебедь в месте
 k,
то сущест-
вует белый лебедь в месте /г» (или, иначе говоря, «В месте
 k
либо не
существует лебедей, либо существует белый лебедь»). Вместе с тем
мы сразу же замечаем, почему эти «подстановочные высказывания»
(как их можно назвать) не являются базисными высказываниями
Причина заключается в том, что эти подстановочные высказывания
не могут играть роли проверочных, высказываний
(или потенциальных
фальсификаторов), а именно эту роль, как мы предполагаем, долж-
ны играть базисные высказывания. Если бы мы рассматривали под-
становочные высказывания в качестве проверочных высказываний, то
мы бы получили для каждой теории (и, следовательно, для высказы-
ваний «Все лебеди белые»
 и
«Все лебеди черные») огромное (в дейст-
вительности бесконечное) число верификаций, поскольку в качестве
факта мы приняли бы, что в большей части мира вообще не существует
лебедей.
Поскольку «подстановочные высказывания» выводимы из уни-
134
Мы уже встречались с высказываниями, логическая
форма которых отличается от логической формы их от-
рицаний. Это — универсальные и экзистенциальные вы-
сказывания; они являются отрицаниями друг друга и
различаются по своей логической форме.
 Сингулярные
высказывания могут быть образованы аналогичным об-
разом. Так, высказывание «Существует ворон в про-
странственно-временной области
 k»
отлично не только
по лингвистической, но и по своей логической форме от
высказывания «Не существует воронов в пространствен-
но-временной области

жүктеу/скачать 3,46 Mb.

Достарыңызбен бөлісу: