«Если А, то А или В» и схемы:

«Если А или В, то А».

Сходно для законов модальной логики. Поскольку выражения:

«Если А, то возможно А» и «Если необходимо А, то А» являются законами логики, то выражения:

«Если возможно А, то А» и «Если А, то необходимо А» являются схемами индуктивного рассуждения. Законов логики бесконечно много. Это означает, что и схем индуктивного рассуждения бесконечное число.

Предположение, что «перевернутые законы логики» представляют собой схемы индуктивного рассуждения, наталкивается, однако, на серьезные возражения: некоторые «перевернутые законы» остаются законами дедуктивной логики; ряд «перевернутых законов», при их истолковании как схем индукции, звучит весьма парадоксально. «Перевернутые законы логики» не исчерпывают, конечно, всех возможных схем индукции.

В науке, да и не только в ней, непосредственное наблюдение того, о чем говорится в проверяемом утверждении, редкость.

Наиболее важным и вместе с тем универсальным способом подтверждения является выведение из обосновываемого положения логических следствий и их последующая проверка. Подтверждение следствий оценивается при этом как свидетельство в пользу истинности самого положения.

Вот два примера такого подтверждения.

Тот, кто ясно мыслит, ясно говорит. Пробным камнем ясного мышления является умение передать свои знания кому-то другому, возможно, далекому от обсуждаемого предмета. Если человек обладает таким умением и его речь ясна и убедительна, это можно считать подтверждением того, что его мышление также является ясным.

Известно, что сильно охлажденный предмет в теплом помещении покрывается капельками росы. Если мы видим, что у человека, вошедшего в дом, тут же запотели очки, мы можем с достаточной уверенностью заключить, что на улице морозно.

В каждом из этих примеров рассуждение идет по схеме: «из первого вытекает второе; второе истинно; значит, первое также является, по всей вероятности, истинным» («Если на улице мороз, у человека, вошедшего в дом, очки запотевают; очки и в самом деле запотели; значит, на улице мороз»). Это – не дедуктивное рассуждение, истинность посылок не гарантирует здесь истинности заключения. Из посылок «если есть первое, то есть второе» и «есть второе» заключение «есть первое» вытекает только с некоторой вероятностью (например, человек, у которого в теплом помещении запотели очки, мог специально охладить их, скажем, в холодильнике, чтобы затем внушить нам, будто на улице сильный мороз).

Выведение следствий и их подтверждение, взятое само по себе, никогда не в состоянии установить справедливость обосновываемого положения. Подтверждение следствий только повышает его вероятность.

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

Значение имеет не только количество следствий, но и их характер. Чем более неожиданные следствия какого-то положения получают подтверждение, тем более сильный аргумент они дают в его поддержку. И наоборот, чем более ожидаемо в свете уже получивших подтверждение следствий новое следствие, тем меньше его вклад в обоснование проверяемого положения.

Общая теория относительности А. Эйнштейна предсказала своеобразный и неожиданный эффект: не только планеты вращаются вокруг Солнца, но и эллипсы, которые они описывают, должны очень медленно вращаться относительно Солнца. Это вращение тем больше, чем ближе планета к Солнцу. Для всех планет, кроме Меркурия, оно настолько мало, что не может быть уловлено. Эллипс Меркурия, ближайшей к Солнцу планеты, осуществляет полное вращение в 3 млн. лет, что удается обнаружить. И вращение этого эллипса действительно было открыто астрономами, причем задолго до Эйнштейна. Никакого объяснения такому вращению не находилось. Теория относительности не опиралась при своей формулировке на данные об орбите Меркурия. Поэтому когда из ее гравитационных уравнений было выведено оказавшееся верным заключение о вращении эллипса Меркурия, это справедливо было расценено как важное свидетельство в пользу теории относительности.

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

Это центральный пункт всех рассуждений об эмпирическом подтверждении. Непосредственное наблюдение того, о чем говорится в утверждении, дает уверенность в истинности последнего. Но область применения такого наблюдения является ограниченной. Подтверждение следствий – универсальный прием, применимый ко всем утверждениям. Однако прием, только повышающий правдоподобие утверждения, но не делающий его достоверным.

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

Вместе с тем теоретическое не сводимо полностью к эмпирическому. Опыт не является абсолютным и бесспорным гарантом неопровержимости знания. Он тоже может критиковаться, проверяться и пересматриваться. «В эмпирическом базисе объективной науки, – пишет К.Поппер, – нет ничего „абсолютного“. Наука не покоится на твердом фундаменте фактов. Жесткая структура ее теорий поднимается, так сказать, над болотом. Она подобна зданию, воздвигнутому на сваях. Эти сваи забиваются в болото, но не достигают никакого естественного или „данного“ основания. Если же мы перестали забивать сваи дальше, то вовсе не потому, что достигли твердой почвы. Мы останавливаемся просто тогда, когда убеждаемся, что сваи достаточно прочны и способны, по крайней мере некоторое время, выдерживать тяжесть нашей структуры».

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

Целевое индуктивное обоснование представляет собой обоснование позитивно оценки какого-то объекта ссылкой на то, что с его помощью может быть получен другой объект, имеющий позитивную ценность.

Например, по утрам следует делать зарядку, поскольку это способствует укреплению здоровья; нужно отвечать добром на добро, так как это ведет к справедливости в отношениях между людьми, и т.п. Целевое обоснование иногда называют мотивационным; если упоминаемые в нем цели не являются целями человека, оно обычно именуется телеологическим.

Как уже было сказано, центральным и наиболее важным способом эмпирического обоснования описательных утверждений является выведение из обосновываемого положения логических следствий и их последующая опытная проверка. Подтверждение следствий – свидетельство в пользу истинности самого положения. Схемы косвенного эмпирического подтверждения:

/1/ Из А логически следует В; В подтверждается в опыте;

значит, вероятно, А истинно;

/2/ А является причиной В; следствие В имеет место;

значит, вероятно, причина А также имеет место.

Аналогом схемы /1/ эмпирического подтверждения является следующая схема квазиэмпирического подтверждения оценок:

(1*) Из А логически следует В; В позитивно ценно;