Логика и рост научного знания
Шрифт:
Науку можно рассматривать с самых различных то-
ективных проверок первое высказывание, в котором
чек зрения, а не только с точки зрения эпистемологии.
речь идет обо мне, представляется не более надежным, Так, мы можем рассматривать ее как биологический
чем второе, говорящее о стоящем здесь столе.) или социологический феномен. Как таковая она могла
Существует только один способ убедиться в правиль-
бы быть описана в качестве
сравнимого, пожалуй, с некоторыми механизмами, ис-
преобразовании этой цепочки в форму, в которой она
пользуемыми в промышленности. Наука может рас-
наиболее легко проверяема. Мы разбиваем эту цепоч-
сматриваться и как средство производства — как но-
ку на множество мелких шагов, каждый из которых
вейшее достижение в «побочном производстве»9. Даже
легко проверить любому человеку, который владеет ма-
с этой точки зрения наука не более тесно связана с «на-
тематическим или логическим методом преобразования
шим опытом», чем другие орудия или средства произ-
предложений. Если же и после этого у кого-нибудь еще
водства. И даже если мы будем рассматривать науку
остаются сомнения, то мы можем попросить его указать
как средство удовлетворения наших интеллектуальных
ошибку в каком-либо из шагов доказательства или по-
потребностей, то ее связь с нашим чувственным опытом
размыслить надо всем этим еще раз. В отношении эмпи-
не будет в принципе отличаться от аналогичной связи
рической науки положение во многом сходно. Любое
с ним любой другой объективной структуры. Не будет
эмпирическое научное высказывание можно представить
неправильным, конечно, утверждение о том, что наука
(описывая ход эксперимента и т. п.) таким образом, является «инструментом», предназначенным «на осно-
чтобы каждый, кто знает соответствующую методику, вании непосредственного или данного чувственного
мог проверить его. И если в результате он отвергнет
опыта предсказывать последующий опыт и даже, на-
данное высказывание, то мы не будем удовлетворены, сколько это возможно, контролировать его» [26, с. I]*10, если он при этом сошлется только на испытываемое им
Однако я не думаю, что такие утверждения об опыте
чувство сомнения или чувство убежденности, основы-
проясняют нашу проблему. Вряд ли они достигают цели
вающееся на его восприятиях. Напротив, он должен
в большей степени, чем, скажем, неошибочное описание
сформулировать утверждение, противоречащее нашему
буровой вышки посредством утверждения о том, что
высказыванию, и указать, как его можно проверить.
она предназначена давать нам определенные восприя-
Если же он не сумеет этого сделать, то нам не остает-
тия — не нефть, а скорее вид и запах нефти, не деньги, ся ничего иного, как попросить его еще раз, и возмож-
а скорее чувство обладания деньгами.
но более тщательно, понаблюдать за нашим экспери-
ментом и вновь поразмыслить обо всем этом.
28. Базисные высказывания
Утверждение, которое по своей логической форме не
является проверяемым, в лучшем случае может функ-
Я уже кратко упоминал о той роли, которую базис-
ционировать внутри науки как стимул — оно способно
ные высказывания играют в рамках защищаемой мною
выдвигать ту или иную проблему. Из области логики и
эпистемологической теории. Мы нуждаемся в них для
математики в качестве иллюстрации такой ситуации
того, чтобы решить, следует ли некоторую теорию назы-
можно назвать проблему Ферма, а из области истории
вать фальсифицируемой, то есть эмпирической (см.
природы — сообщения о морских змеях. Наука не ут-
разд. 21). Нуждаемся мы в них и для подкрепления
верждает, что указанные сообщения безоснователь-
фальсифицирующих гипотез, а значит, и для фальсифи-
ны: что Ферма ошибался, а все сообщения о наблю-
кации теорий (см. разд. 22).
давшихся морских змеях являются ложью. Она просто
Базисные высказывания, как было сказано ранее, откладывает свое суждение по поводу этих утвержде-
должны удовлетворять следующим условиям: (а) из
ний8.
9 Этот термин («Produktionsumweg») принадлежит Бём-Баверку.
Ср. наши замечания об «оккультных эффектах» в разд. 8.
*10 Обинструментализме см. прим. *1 к гл. III.
132
133
универсального высказывания без начальных условий
Мы уже встречались с высказываниями, логическая
нельзя вывести ни одного базисного высказывания*
форма которых отличается от логической формы их от-
1 1 ,
(Ь) универсальное высказывание и базисное высказы-
рицаний. Это — универсальные и экзистенциальные вы-
вание могут противоречить друг другу. Условие (Ь) сказывания; они являются отрицаниями друг друга и