Глава 4. Рассуждение

обладающих такими характеристиками. Хорошим примером рассуждения по элиминативной индукции является распространенная игра. Допустим, я зага­дал имя человека, хорошо известного аудитории. Мне можно задать, скажем, семь любых вопросов, на кото­рые я отвечу «да» или «нет». После этого требуется назвать задуманное имя. Обычmо задание аудитори­ей выполняется успешно. Другой пример. Следует решить анаграмму и упорядочить полученные слова в последоватеkьность по выбранной характеристике, исключив лишние:

НОРЛЕТИПЕМОТ ТИНСЕТАРМ МОРКЕТИЛ ТМОРОМЕН ЛЕТИРМИМ.

Задание решите самостоятеkьно. Объясните, ка­кие индуктивные рассуждения применялись при ре­шении анаграммы.

В индуктивных рассуждениях устанавливается логическая связь между индуктивными подтверж­дениями (посылками) А_х,..., А_п и индуктивн{м пред­положением (заключением) Т, которую можно вы­разить в записи: А_х,..., А_п=> Т, где => — знак индук­тивного следования. Индуктивное и дедуктивное следование находятся в отношении обратной связи: если aj, ..., а_п=ф Т, то T=>A_t, ..., Т=»А_п. Эта свяgь наиболее очевидна для обобщающей индукции. Дей­ствитеkьно, из гипотетического предположения Гольд­баха о том, что любое четное число разлагается на сумму двух простых чисел, дедуктивно следует утвер­ждение, что, скажем, число 20 разлагается на сумму двух простых чисел (20 = 13 + 7). Но данное дедук­тивное следствие являетсю в то же время индуктив­ным подтверждением рассматриваемой гипотезы. Таким образnм, ©®гический контроль за индуктивны­ми рассуждениями сводится к подтверждению либо

119

___ ________Логика______ ______

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

Доказательная схема Эвристическая схема

опровержения подтверждения

Т=>А Т=>А

А ложно А истинно

Т ложно Т более правдоподобно

Различие между доказатеkьной и эвристической схемами контроля за индуктивными рассуждениями заключается в степени логической достоверности опе­раций опровержения и подтверждения. Если подтвер­ждение А предположения Т оказывается в ходе про­верки ложным, то следует ложность и опровержимость индуктивного предположения Т. Если же под­тверждение А истинно, то данный факт влечет не ис­тинность или доказанность предположения Т, а лишь его большую правдоподобность. (Ученые говорят, что Истина заявляет «нет» во весь голос, а «да» — только шепотом.) Чем боkьше дедуктивных следствий из ин­дуктивного предположения оказались подтвержденны­ми, тем более правдоподобным является само предпо­ложение. Но достаточно хотя бы одного опровергнутого следствия, чтобы опровергнуть индуктивное предполо­жение в целом. Эвристическая схема подтверждения называется основной схемой индуктивного вывода.

120