Какова критика решения проблемы индукции по принципу «мы могли бы также это предположить»?

Мне любопытно, обсуждалось ли когда-либо в литературе следующее предлагаемое решение проблемы индукции:

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

Есть ли хорошие критические анализы этого предлагаемого решения?

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

Я несколько раз сталкивался с подобными идеями, но я бы не сказал, что это решение проблемы индукции, потому что проблемная часть индукции заключается в том, что она зависит от предположения, которое никогда не может быть доказано. Мы наблюдаем, что существует предсказуемая упорядоченность, но наука не может сказать нам, что так должно быть или что так всегда без исключения.
Тогда разумно предположить, что каждый раз, когда вы подбрасываете монету, вы должны получать одну и ту же сторону, выбирая единственную точку в прошлом, на которой основываются ваши предсказания будущего... Или вы можете применить что-то вроде «правила Лапласа». правопреемства». Но статистически это не очень стабильно: это подразумевает постоянно уменьшающуюся, но не нулевую вероятность того, что солнце просто не взойдет завтра, и что общая температура планеты не должна измениться, когда это произойдет (поскольку она не изменилась раньше). В принципе, да, если бы это было так просто, мы бы до сих пор не считали это открытым вопросом.

Ответы (4)

Не все индуктивные выводы являются временными, поэтому будущее, «похожее» на прошлое, может быть спорным, более общая идея заключалась бы в том, что различные части природы «однородны», «похожи» друг на друга. Но нелогично предполагать, что будущее будет «похоже» на прошлое, или что природа «однородна» в том или ином аспекте. Во многих случаях такие предположения вопиюще необоснованны и противоречат фактам, и гораздо лучшие предсказания могут быть сделаны, если предположить обратное, изменение и неравномерность. Хитрость заключается в том, чтобы сказать, что когда, это настоящая проблема индукции. Как обрисовано Юмом и развито Миллем, проблема в основном состоит в том, что нет никаких оснований для проведения индукций: дедуктивные обоснования переворачивают «индуктивность»,Материальная теория индукции Нортона содержит хороший обзор текущего состояния проблемы.

Известный пример, обсуждаемый Миллем, касался контраста между индуктивной валидностью «некоторые образцы висмута плавятся при 271 ° C, поэтому все они соответствуют» и недействительностью «некоторые образцы воска плавятся при 91 ° C, поэтому все они плавятся». . Милль был настолько впечатлен этим, что написал в своей «Системе логики »: « Тот, кто может ответить на этот вопрос, знает о философии логики больше, чем мудрейший из древних, и решил проблему индукции ». Именно Милль заменил «обычай» Юма часто цитируемой « аксиомой единообразия хода природы », но пример плавления демонстрирует, что «единообразие природы» является не решением, а частью проблемы. Потому что "единообразие" есть само"

« Например, мы могли бы потребовать, чтобы перечислительная индукция могла быть проведена только для А, принадлежащих к однородной совокупности. Но, не имея возможности упомянуть конкретные факты о висмуте и воске, как мы можем сформулировать общее условие, которое дает жизнеспособное, независимое значение к «единообразному»?» Мы вынуждены сделать их синонимами для «свойств, для которых работает перечислительная схема индукции».

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

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


PS Предложений по решению проблемы индукции много (абдуктивное, байесовское, собственное материальное Нортона и т. д.), но, пожалуй, самым известным является ее «растворение» у Поппера. Индукция, какая индукция? Решение Поппера проблемы индукции состоит в том, что индукции нет. То, что приписывается индукции, по его мнению, на самом деле является догадкой, за которой следует гипотетическая дедукция следствий и их подтверждение или фальсификация. Часто догадка настолько инстинктивна, а дедукция настолько тривиальна (как, например, «все вороны черные»), что мы превращаем ее в неразделимую «индукцию». В то время как Поппер, возможно, «решил» проблему к своему удовлетворению, его критики, включая Нортона, утверждают, что он просто подтолкнул ее в другом месте. Потому что непонятно, что бы "оправдать"гипотезы в отличие от бесконечных других, кроме... индукции:

« Отчет Поппера просто не имеет достаточно близкого сходства с научной практикой, если подтверждение не содержит лицензии на веру, а лучшее подтверждение дает более сильную лицензию (см. Salmon 1981). Поппер не дает подробного описания деталей метода. Процесс выработки новой гипотезы прямо отнесен к психологии, а склонность проявлять к ней какой-либо философский интерес дезавуируется как «психологизм» (31–32). новая гипотеза не создает больше проблем, чем решает » .

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

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

Предположение «Если оно не похоже на прошлое, то все предсказания о будущем одинаково разумны» кажется шатким. Рассмотрим следующую альтернативу, которую можно назвать обратной индукцией .

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

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

Это именно тот тип критики, который я искал. Теперь вопрос: что вы имеете в виду, когда говорите, что будущее противоположно прошлому?
Например, если X происходит в прошлом, а будущее всегда противоположно прошлому, то в будущем не должно произойти X. Но после того, как не X произошло, это прошлое, поэтому его противоположность X должна снова произойти. Таким образом, мы получаем закономерность, Х, не Х, Х, не Х,... а значит, будущее будет похоже на прошлое, противоречие. Так что «будущее всегда противоположно прошлому» проблематично.
@CraigFeinstein Вы правы, чтобы быть однозначным, нужно дать более конкретные формулировки. Например, рассматривая серию подбрасываний монеты, можно предположить, что оптимально предположить, что результат следующего подбрасывания монеты всегда будет противоположным результату последнего подбрасывания монеты.
Но тогда будущее было бы похоже на прошлое, так как оно всегда было бы орлом, решкой, орлом, решкой и т. д.
@CraigFeinstein И что? Будущее будет похоже на прошлое в одних аспектах и ​​не будет напоминать его в других аспектах. Слово "похоже" слишком двусмысленно.
Вы упустили суть того, что я сказал. Проблема индукции — это проблема о том, однородна природа или нет. См. en.wikipedia.org/wiki/Униформитаризм Когда я сказал «будущее похоже на прошлое», я имел в виду «природа однородна». В вашем примере с подбрасыванием монет природа по-прежнему однородна.
@CraigFeinstein Итак, давайте сделаем пример менее однородным. Предположим, вы бросаете кубик несколько раз, и все броски до сих пор дали 1. Тогда я пытаюсь убедить вас сделать ставку на то, что при следующем броске выпадет 2. Я рассуждаю: «Или будет 2, или не будет. Если его не будет 2, то все предсказания о будущем равноправны, если же будет 2, то логично делать предсказания, исходя из предположения, что оно будет 2. быть 2, так как этот прогноз оптимален в обеих ситуациях"
Но как вы обосновываете, что все предсказания о будущем одинаково разумны, если оно не равно 2? Я думаю, что разумнее было бы прогнозировать 1, так как есть шанс, что кость загружена.
@CraigFeinstein Это была именно моя точка зрения: как вы приписываете разумность? Чтобы приписать разумность любому будущему результату, вам уже нужна индукция. Это включает в себя гипотезу загруженной кости, потому что, например, даже если кость загружена, кто может сказать, будет ли она по-прежнему загружена во время следующего броска? Если ваша цель состоит в том, чтобы оправдать индукцию , как вы можете приписывать разумность любому возможному результату? Вы должны использовать индукцию, чтобы оправдать индукцию. В этом была суть моего аргумента.
Когда я использовал индукцию, чтобы оправдать индукцию в моем исходном аргументе? Я не думаю, что я сделал.
@CraigFeinstein Вот что вы сказали: «Если это не похоже на прошлое, то все прогнозы о будущем одинаково разумны». На чем это основано?
Он основан на том факте, что у нас нет информации о будущем, предполагая, что будущее не имеет ничего общего с прошлым.
@CraigFeinstein Итак, вы согласны с тем, что даже если кубик выпал 100 раз подряд на «1», то для следующего броска результаты «1» и «2» одинаково разумны? Потому что, как вы говорите, у нас нет информации о будущем?
Если будущее похоже на прошлое, то нет, я бы сказал, что результаты «1» и «2» не будут одинаково разумными, так как велика вероятность того, что кость заряжена. Однако, если будущее не зависит от прошлого, то результаты «1» и «2» равноправны, поскольку у нас была бы нулевая информация о будущем.
@CraigFeinstein Если будущее не похоже на прошлое, это не означает, что будущее не зависит от прошлого. Будущее может частично зависеть от прошлого. Будущее иногда может быть похоже на прошлое, а иногда нет. Следовательно, если будущее не похоже на прошлое, это не означает, что все исходы одинаково разумны.

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

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

Проблема индукции была решена Карлом Поппером, который признал, что индукция невозможна и не нужна для достижения прогресса. Вы создаете знания, замечая проблемы с вашими текущими теориями, угадывая решения проблемы и критикуя догадки, пока не останется только одна. Затем вы переходите к новой проблеме. См. «Объективное знание» Поппера, глава 1, «Реализм и цель науки» Поппера. Введение и глава I, «Ткань реальности» Дэвида Дойча, главы 3 и 7, и «Начало бесконечности» Дэвида Дойча, глава. 1,2,4,10,13,15,16.

Есть ли связь между «не сказано, какие аспекты...» и недоопределенностью научных теорий?
Экспериментальные результаты не определяют, какие научные теории следует изобретать для их объяснения: это решается. Будущее похоже на прошлое, не влечет за собой ничего конкретного — одна из причин недостаточной определенности. Но это само по себе делает индукцию слишком легкомысленной, поскольку научные теории представляют собой описания того, как устроен мир, а не просто инструменты для предсказаний, так что предсказания — это не все полезное содержание научной теории. Например, человек, размышляющий над теорией, может обнаружить новые проблемы, которые могут привести к большему прогрессу.
Я не понимаю, как это отвечает на мой вопрос. Согласно Википедии, идею о том, что будущее похоже на прошлое, Юм назвал «единообразием природы». Тот факт, что эта идея не говорит ничего конкретного о будущем, не означает, что она «не имеет отношения к действиям, которые нужно предпринять, чтобы узнать что-либо о том, как устроен мир».
Представление о том, что будущее похоже на прошлое, не имеет значения. Например, я мог бы сказать, что будущее похоже на прошлое в том смысле, что в будущем мы поймем не больше, чем в прошлом, поэтому мы не должны пытаться что-либо понять, и все научные исследования должны быть запрещены как бесполезная трата времени и ресурсов.
Будущее похоже на прошлое и гораздо более ограничено, чем то, что мы можем понять из физики. Существуют универсальные законы физики, которые действуют во все времена и в любом месте. Можно построить универсальные компьютеры, которые могут моделировать любой конечный физический объект: принцип Тьюринга. Но ничто из этого даже отдаленно не полезно для спасения индуктивизма, поскольку индуктивизм требует начинать с данных и доказательств. Эпистемология Поппера лишена этого дефекта.

Философ Ганс Райхенбах выступил с этой идеей, которую назвал «прагматическим обоснованием индукции».

Многочисленные критические замечания могут быть направлены на ответ Райхенбаха на проблему. Однако фатальная слабость прагматического обоснования индукции состоит именно в том, что это прагматическое, а не эпистемическое обоснование. То есть, хотя это может побудить нас использовать определенную стратегию (для индуктивных рассуждений), оно не дает нам указаний на реальную вероятность ее успеха (т. е. на то, верен ли индуктивный принцип). В этом отношении она страдает тем же недугом, что и пари Паскаля (которое может служить мотивом для веры в Бога, но не дает нам понять, существует ли Он на самом деле). Истинное решение проблемы индукции требует эпистемического обоснования — основания полагать, что индукция надежна, — однако решение Рейхенбаха, при всей его изобретательности, не предлагает ничего подобного.

Лоуренс Бонжур, В защиту чистого разума (Кембридж: издательство Кембриджского университета, 1998), стр. 192–6.

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