Нельсон Гудмен - Способы создания миров

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

С другой стороны, в то время как индуктивная правильность , подобно дедуктивной правильности, требует истины посылок также, как и валидности, она также требует большего. [113] Сингулярное утверждение, полученное инстанциацией гипотезы, представляет собой положительный случай (инстанс), когда при рассмотрении оно определяется как истинное, и отрицательный — когда оно определяется как ложное. Прежде всего, правильный индуктивный аргумент должен быть основан не только на истинных посылках, но и на всех доступных подлинных очевидных свидетельствах. Индуктивный аргумент от положительных случаев гипотезы не является правильным, если отрицательные случаи опущены; все исследованные случаи должны быть приняты во внимание. На дедуктивный аргумент не накладывается никакое параллельное требование — он является правильным, если валидно следует из любых истинных посылок, даже неполных.

Однако индуктивная правильность не полностью характеризуется как индуктивная валидность плюс использование всех исследованных случаев. Если все исследованные случаи были исследованы ранее 1977 года, то аргумент, что все случаи вообще будут исследованы ранее 1977 года, тем не менее индуктивно неправилен; и даже если все исследованные изумруды были зиними, тем не менее индуктивный аргумент в пользу гипотезы, что все изумруды являются зиними, неправилен. Индуктивная правильность требует, чтобы и утверждения очевидности, и гипотеза были представлены в терминах 'подлинных' или 'естественных' родов — или, в моей терминологии, в терминах отображаемых (projectible) предикатов подобно «зеленый» и «синий» скорее, чем в терминах неотображаемых предикаты подобно «зиний» и «селеный». Без такого ограничения всегда могли бы быть найдены правильные индуктивные аргументы, дающие бесчисленные противоречивые заключения: что все изумруды являются зелеными, зиними, золтыми и т. д.

Итак, индуктивная правильность требует, чтобы аргумент вытекал из посылок, состоящих из всех истинных сообщений об исследованных случаях в терминах отображаемых предикатов. Таким образом, индуктивная правильность, при сохранении требования истины посылок, выдвигает и серьезные дополнительные требования. И хотя мы надеемся посредством индуктивного аргумента достичь истины, индуктивная правильность, в отличие от дедуктивной, не гарантирует истину. Дедуктивный аргумент неправилен, а его выводы не валидны, если он приходит к ложному заключению из истинных посылок, но индуктивный аргумент, который валиден и правилен во всех отношениях, может все же прийти к ложному заключению из истинных посылок. Это коренное различие вдохновило некоторые неистовые и бесполезные попытки оправдать индукцию, показав, что правильная индукция будет всегда (или в большинстве случаев) давать истинные заключения. Любое выполнимое обоснование индукции скорее должно показать, что правила вывода кодируют индуктивную практику — то есть осуществить взаимное регулирование между правилами и практикой — и различать отображаемые предикаты или индуктивно правильные категории от других.

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

На вопрос о том, что отличает правильные индуктивные категории от других, я могу ответить лишь указанием на суть той попытки ответа, которую я дал в другом месте (FFF: IV). Первичный фактор в отображаемости — привычка; там, где конфликтуют гипотезы, одинаково хорошо фундированные во всех прочих отношениях, решение обычно принимается в пользу той из них, чьи предикаты являются более укоренившимися. Очевидно, здесь должно быть место для маневра, для введения новых порядков, которые создают или учитывают вновь появляющиеся важные связи и различия. Инерция изменяется в соответствии с исследованием и изобретением, несколько ограниченными, в свою очередь, укоренившимися общими 'фоновыми' принципами или метапринципами и так далее. [114] См. FFF, p. 97; а также "On Kahane's Confusions", Journal of Philosophy , Vol. 69 (1972), pp. 83–84, и мои комментарии на статью Кучеры — Erkenntnis , Vol. 12 (1978), pp. 282–284. Формулировка правил, основанных на тех факторах, которые в действительности определяют отображаемость или правильную индуктивную классификацию — трудная и запутанная задача. Категории, являющиеся индуктивно правильными, имеют тенденцию совпадать с категориями, правильными для науки вообще, но вариации цели могут отражаться на изменениях релевантных родов.