В частности, К.Поппер пишет, что "опыт, особенно научный опыт, можно представить как результат обычно ошибочных догадок, их проверки и обучения на основе наших ошибок. Опыт в таком смысле не является "источником знания" и не обладает каким-либо авторитетом". Отсюда Поппер делает естественный вывод, что критика научных и иных теорий и гипотез, опирающаяся на опыт, не имеет "авторитетного значения". Суть критики не в сопоставлении сомнительных теоретических результатов с твердо установленными данными, какими могли бы считаться свидетельства наших чувств. "Такая критика скорее заключается в сравнении некоторых сомнительных результатов с другими, зачастую столь же сомнительными, которые могут, однако, для нужд данного момента быть принятыми за достоверные. Вместе с тем в какое-то время эти последние также могут быть подвергнуты критике, как только возникнут какие- либо сомнения в их достоверности или появится какое-то представление или предположение. Например, то, что определенный эксперимент может привести к новому открытию".
Позиция, когда опыт и опирающаяся на него теоретическая конструкция, представляются в равной мере сомнительными, не кажется достаточно обоснованной. Эмпирические данные, факты обладают, как правило, гораздо больше устойчивостью, чем опирающиеся на них теории. Все теории, даже представляющиеся сейчас вполне надежными, гипотетичны: со временем они будут пересмотрены и на смену им придут другие, более совершенные теории. Иначе обстоит дело с фактами. Пересмотр обобщающей их теории не означает автоматически ревизии лежащих в ее основании фактов. Они могут истолковываться по- новому, но их основное содержание остается неизменным. Вода закипает в обычных условиях при 100° С; свинец плавится при 322° С - эти фактические утверждения принимались теорией теплоты как особого вещества - флогистона; они оставались верными в корпускулярной теории теплоты и не подвергаются сомнению современной, квантово-механической теорией теплоты. Сходным образом обстоит дело и с эмпирическими законами, непосредственно опирающимися на опыт. Они более устойчивы, чем включающие и объясняющие их теории: новая теория так или иначе включает их, наряду с хорошо проверенными фактами, в свой состав.
Прямое подтверждение возможно лишь в случае утверждений о единичных объектах или ограниченных их совокупностях. Теоретические же положения обычно касаются неограниченных множеств вещей. Факты, используемые при таком подтверждении, далеко не всегда надежны и во многом зависят от общих, теоретических соображений. Нет ничего странного поэтому, что сфера приложения прямого наблюдения является довольно узкой.
Широко распространено суждение, что в аргументации, в обосновании и опровержении утверждений главную и решающую роль играют факты, непосредственное наблюдение исследуемых объектов. Это убеждение нуждается в существенном уточнении. Использование верных и неоспоримых фактов - надежный и успешный способ обоснования. Противопоставление таких фактов ложным или сомнительным положениям - хороший метод опровержения. Действительное явление, событие, не согласующееся со следствиями какого-то универсального положения, опровергает не только эти следствия, но и само положение. Факты, как известно, упрямая вещь. При подтверждении утверждений, относящихся к ограниченному кругу объектов, и опровержении ошибочных, оторванных от реальности, спекулятивных конструкций "упрямство фактов" проявляется особенно ярко.
И тем не менее факты, даже в этом узком своем применении, не обладают абсолютной "твердостью". Они не составляют, даже взятые в совокупности, совершенно надежного, незыблемого фундамента для опирающегося на них знания. Факты значат много, но далеко не все.
2. Подтверждение следствий
В науке, да и не только в ней, непосредственное наблюдение того, о чем говорится в проверяемом утверждении, редкость. Обычно эмпирическое подтверждение является индуктивным подтверждением, а эмпирическая аргументация имеет форму индуктивного умозаключения.
В зависимости от того, имеется ли в умозаключении связь логического следования между его посылками и заключением, различаются два вида умозаключений: дедуктивные и индуктивные.
В дедуктивном умозаключении связь посылок и заключения опирается на закон логики, в силу чего заключение с логической необходимостью вытекает (логически следует) из посылок. Такое умозаключение всегда ведет от истинных посылок к истинному заключению.
В индуктивном умозаключении посылки и заключение не связаны между собой законом логики и заключение не следует логически из посылок. Достоверность посылок не гарантирует достоверности выводимого из них индуктивно заключения. Оно вытекает из посылок не с необходимостью, а лишь с некоторой вероятностью.
Понятие дедукции (дедуктивного умозаключения) не является, как будет показано в дальнейшем, вполне ясным. Индукция (индуктивное умозаключение) определяется, в сущности, как "недедукция" и представляет собой еще менее ясное понятие. Можно тем не менее указать относительно определенное "ядро" индуктивных способов рассуждения. В него входят, в частности, неполная индукция, индуктивные методы установления причинных связей, аналогия, так называемые "перевернутые" законы логики и др.
Неполная индукция представляет собой рассуждение, имеющее следующую структуру:
S1 есть Р,
S2 есть Р,
__________________
Sn есть Р,
Все S1, S2, ..., Sn есть S.
Все S есть Р.
Посылки данного рассуждения говорят о том, что предметам S1, S2, ..., Sn, не исчерпывающим всех предметов класса S, присущ признак Р, и что все перечисленные предметы S1, S2, ..., Sn принадлежат классу S. В заключении утверждается, что все S имеют признак Р (горизонтальная черта стоит вместо слова "следовательно").
Например:
Железо ковко.
Золото ковко.
Свинец ковок.
Железо, золото и свинец - металлы.
____________________________________
Все металлы ковки.
Здесь из знания лишь некоторых предметов класса металлов делается общий вывод, относящийся ко всем предметам этого класса.
Убедительность индуктивных обобщений зависит от числа приводимых в подтверждение случаев. Чем обширнее база индукции, тем более правдоподобным является индуктивное заключение. Но иногда и при достаточно большом числе подтверждений индуктивное обобщение оказывается все-таки ошибочным.
Возьмем пример:
Алюминий - твердое тело.
Железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец - твердые тела.
Алюминий, железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец - металлы.
________________________________
Все металлы - твердые тела.
Все посылки этого умозаключения истинны, но его общее заключение ложно, поскольку ртуть - единственный из металлов - жидкость.
Поспешное обобщение, т.е. обобщение без достаточных на то оснований - обычная ошибка в индуктивных умозаключениях и, соответственно, в эмпирической аргументации. Индуктивные обобщения всегда требуют известной осмотрительности и осторожности. Их убедительная сила невелика, особенно если база индукции незначительна ("Софокл - драматург; Шекспир - драматург; Софокл и Шекспир - люди; следовательно, каждый человек - драматург").
Высказывалось предположение, что к схемам индуктивного умозаключения могут быть отнесены все "перевернутые" законы логики. Под "перевернутыми" законами имеются в виду формулы, получаемые из имеющих форму импликации (условного утверждения) законов логики путем перемены мест основания и следствия. К примеру, поскольку выражение "Если А и В, то A" есть закон логики, то выражение "Если А, то А и В" есть схема индуктивного умозаключения. Аналогично для "Если А, то А или В" и "Если А или В, то А" и т. п. Сходно для законов модальной логики: поскольку выражения "Если А, то возможно A" и "Если необходимо А, то А" - законы логики, выражения "Если возможно А, то Л" и "Если А, то необходимо A", являются схемами индуктивного рассуждения, и т.п. Законов логики бесконечно много. Это означает, что и схем индуктивного рассуждения (индуктивной аргументации) бесконечное число.
Предположение, что "перевернутые" законы логики представляют собой схемы индуктивного рассуждения, наталкивается на серьезные возражения: некоторые "перевернутые" законы остаются законами дедуктивной логики; ряд "перевернутых" законов, при истолковании их как схем индукции, звучит весьма парадоксально. "Перевернутые" законы логики не исчерпывают, конечно, всех возможных схем индукции.