Проблема индукции

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

Definition

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

Scope

Эта тема охватывает классическую проблему индукции Юма и ее современные потомки: новую загадку Гудмана, которая показывает, что само понятие подтверждающего доказательства предполагает выбор проективных предикатов; фальсификационистскую попытку Поппера обойтись без индукции; а также вероятностные и прагматические ответы. Она связана с теорией подтверждения и байесианством, рассматриваемыми в сопутствующих темах, при этом фокусируясь на обосновании самого индуктивного вывода.

Core questions

• Может ли индуктивный вывод быть обоснован без цикличности?
• Предполагает ли индуктивное рассуждение недоказуемый принцип однородности природы?
• Какие предикаты являются законно проективными и почему?
• Может ли наука развиваться путем фальсификации, а не подтверждения?

Key theories

Скептический аргумент Юма

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

Новая загадка Гудмана

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

Фальсификационизм

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

History

Юм поставил эту проблему в XVIII веке, утверждая, что основа всех рассуждений о фактах — это обычай, а не разум. В 1955 году Гудман переформулировал ее как новую загадку индукции с помощью своего примера «зелено-синего» (grue), перенаправив внимание на проективность, а фальсификационизм Поппера предложил влиятельный, хотя и оспариваемый, способ отрицания того, что науке вообще нужна индукция.

Debates

Может ли индукция быть обоснована или должна быть распущена

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

Key figures

• David Hume
• Nelson Goodman
• Karl Popper

Seminal works

• hume-enquiry
• goodman1955

Frequently asked questions

В чем именно заключается проблема индукции Юма?

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

Что такое парадокс «зелено-синего» (grue)?

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