Парадокс воронов. Парадокс черных воронов

Парадокс воронов — Википедия

Парадо́кс во́ронов (англ. Raven paradox), известный также как парадокс Гемпеля (нем. Hempels paradox) или во́роны Гемпеля — парадокс подтверждения[1], сформулированный немецким математиком Карлом Густавом Гемпелем в 1940-х годах, для иллюстрации того, что индуктивная логика иногда входит в противоречие с интуицией. Наиболее распространённый метод разрешения этого парадокса состоит в применении теоремы Байеса, которая соотносит условную и предельную вероятность стохастических событий.

Описание

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

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

Видео по теме

Принцип индукции

Принцип индукции утверждает, что:

Наблюдение явления Х, которое соответствует теории Т, увеличивает вероятность того, что теория Т истинна.

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

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

Предлагавшиеся решения

Нечёрные предметы, не являющиеся воронами

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

Философы предлагали несколько способов разрешения этого парадокса. Например, американский логик Нельсон Гудман предлагал дополнить индуктивную логику ограничением, согласно которому явление не должно рассматриваться как поддерживающее теорию «Все P{\displaystyle P} являются Q{\displaystyle Q}», если оно также поддерживает теорию «Ни одно из того, что не Q{\displaystyle Q}, не является P{\displaystyle P}».

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

Гудман, а затем и другой философ, Уиллард Куайн, предлагали концепцию так называемых проективных и непроективных предикатов. Утверждения, которые допускают обобщение с помощью индуктивной логики (такие, как «Все вороны чёрные»), они называли проективными предикатами, а утверждения, к которым индуктивная логика неприменима (например, «Все нечёрные предметы не являются воронами») — непроективными. Куайн предлагал определять, какие из предикатов являются проективными, а какие нет, на основе опыта и здравого смысла. Он указывал также, что непроективные предикаты не могут подтверждаться непосредственным наблюдением описываемых в них явлений, но подтверждаются наблюдением явлений, описываемых проективными предикатами, эквивалентными исходным. В этой концепции наблюдение нечёрного яблока не увеличивает вероятность не только того, что все вороны чёрные, но и того, что все нечёрные предметы не являются воронами; вместо этого оба утверждения подтверждаются только наблюдением чёрных воронов.

Использование теоремы Байеса

Альтернативой использованию принципа индукции является применение теоремы Байеса, которая является одной из фундаментальных теорем в теории вероятностей и математической статистике.

Пусть X — явление, подтверждающее теорию T, и пусть I — наши знания об окружающей обстановке, кроме самого явления X.Пусть P(T∣XI){\displaystyle \mathbb {P} (T\mid XI)} — вероятность того, что теория T верна, при условии, что известно, что X и I верны. Тогда

P(T∣XI)=P(T∣I)⋅P(X∣TI)P(X∣I){\displaystyle \mathbb {P} (T\mid XI)={\frac {\mathbb {P} (T\mid I)\cdot \mathbb {P} (X\mid TI)}{\mathbb {P} (X\mid I)}}}

где P(T∣I){\displaystyle \mathbb {P} (T\mid I)} — вероятность того, что теория T верна, при условии, что только об I известно, что оно верно; P(X∣TI){\displaystyle \mathbb {P} (X\mid TI)} — вероятность того, что X верно, при условии, что о T и I известно, что они верны; и P(X∣I){\displaystyle \mathbb {P} (X\mid I)} — вероятность того, что X верно, при условии, что только об I известно, что оно верно.

При использовании этой теоремы парадокс не появляется. Если наблюдатель выбирает яблоко случайным образом, то вероятность увидеть красное яблоко (X) не зависит от того, являются ли все вороны чёрными или нет (T). Вторая часть числителя будет равна знаменателю, и вероятность выбрать красное яблоко не изменится P(X∣TI)=P(X∣I){\displaystyle \mathbb {P} (X\mid TI)=\mathbb {P} (X\mid I)}. Наблюдение X и теория T не связаны, и наблюдение красного яблока не увеличит уверенности в том, что все вороны чёрные.

Рассмотрим второй вариант применения теоремы Байеса. Если наблюдатель выбирает случайным образом какой-либо нечёрный предмет, и он оказывается яблоком, то вторая часть числителя будет больше знаменателя лишь на очень малую величину P(X∣TI)=P(X∣I)+ε{\displaystyle \mathbb {P} (X\mid TI)=\mathbb {P} (X\mid I)+\varepsilon }. В этом сценарии наблюдение красного яблока увеличит вероятность того, что все вороны чёрные, но очень незначительно. Чем больше нечёрных предметов мы будем наблюдать, не находя среди них воронов, тем больше будет наша уверенность в том, что все вороны чёрные, но темпы возрастания этой уверенности будут столь малы, что не будут ощущаться интуитивно. В предельном же случае, если бы наблюдатель мог увидеть все нечёрные предметы во Вселенной и не найти среди них воронов, то он, очевидно, убедился бы в том, что все вороны чёрные.

Примечания

Литература

Hempel, C. G. A Purely Syntactical Definition of Confirmation. J. Symb. Logic 8, 122—143, 1943.
Hempel, C. G. Studies in Logic and Confirmation. Mind 54, 1-26, 1945.
Hempel, C. G. Studies in Logic and Confirmation. II. Mind 54, 97-121, 1945.
Hempel, C. G. Studies in the Logic of Confirmation. In Marguerite H. Foster and Michael L. Martin, eds. Probability, Confirmation, and Simplicity. New York: Odyssey Press, 1966. 145—183.
Salmon W. Conformation (англ.) // Scientific American. — Май 1973.
Schlesinger G. Hempel's Paradox (англ.) // Confirmation and Confirmability. — Oxford: Oxford University Press, 1974.

Ссылки

www.wikipedia.green

Парадокс воронов — Википедия Переиздание // WIKI 2

Описание

Чёрный ворон

Принцип индукции

Принцип индукции утверждает, что:

Наблюдение явления Х, которое соответствует теории Т, увеличивает вероятность того, что теория Т истинна.

Предлагавшиеся решения

Нечёрные предметы, не являющиеся воронами

Использование теоремы Байеса

P(T∣XI)=P(T∣I)⋅P(X∣TI)P(X∣I){\displaystyle \mathbb {P} (T\mid XI)={\frac {\mathbb {P} (T\mid I)\cdot \mathbb {P} (X\mid TI)}{\mathbb {P} (X\mid I)}}}

Примечания

Литература

Hempel, C. G. A Purely Syntactical Definition of Confirmation. J. Symb. Logic 8, 122—143, 1943.
Hempel, C. G. Studies in Logic and Confirmation. Mind 54, 1-26, 1945.
Hempel, C. G. Studies in Logic and Confirmation. II. Mind 54, 97-121, 1945.
Hempel, C. G. Studies in the Logic of Confirmation. In Marguerite H. Foster and Michael L. Martin, eds. Probability, Confirmation, and Simplicity. New York: Odyssey Press, 1966. 145—183.
Salmon W. Conformation (англ.) // Scientific American. — Май 1973.
Schlesinger G. Hempel's Paradox (англ.) // Confirmation and Confirmability. — Oxford: Oxford University Press, 1974.

Ссылки

Эта страница в последний раз была отредактирована 7 февраля 2016 в 21:07.

wiki2.org

Парадокс воронов - это... Что такое Парадокс воронов?

Парадо́кс во́ронов (англ. Raven paradox), известный также как парадокс Гемпеля (нем. Hempels paradox) или во́роны Гемпеля — логический парадокс, сформулированный немецким математиком Карлом Густавом Гемпелем в 1940-х годах, для иллюстрации того, что индуктивная логика иногда входит в противоречие с интуицией.

Чёрный ворон

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

Наблюдение красных яблок увеличит уверенность наблюдателя в том, что все нечёрные предметы не являются воронами, но при этом не увеличит его уверенность в том, что все вороны чёрные.

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

Принцип индукции

Принцип индукции утверждает, что:

Наблюдение явления Х, которое соответствует теории Т, увеличивает вероятность того, что теория Т истинна.

Предлагавшиеся решения

Нечёрные предметы, не являющиеся воронами

Философы предлагали несколько способов разрешения этого парадокса. Например, американский логик Нельсон Гудман предлагал дополнить индуктивную логику ограничением, согласно которому явление не должно рассматриваться как поддерживающее теорию «Все являются », если оно также поддерживает теорию «Ни одно из того, что не , не является ».

Использование теоремы Байеса

Пусть X — явление, подтверждающее теорию T, и пусть I — наши знания об окружающей обстановке, кроме самого явления X.Пусть — вероятность того, что теория T верна, при условии, что известно, что X и I верны. Тогда

где — вероятность того, что теория T верна, при условии, что только об I известно, что оно верно; — вероятность того, что X верно, при условии, что о T и I известно, что они верны; и — вероятность того, что X верно, при условии, что только об I известно, что оно верно.

При использовании этой теоремы парадокс не появляется. Если наблюдатель выбирает яблоко случайным образом, то вероятность увидеть красное яблоко (X) не зависит от того, являются ли все вороны чёрными или нет (T). Вторая часть числителя будет равна знаменателю, и вероятность выбрать красное яблоко не изменится . Наблюдение X и теория T не связаны, и наблюдение красного яблока не увеличит уверенности в том, что все вороны чёрные.

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

Литература

Hempel, C. G. A Purely Syntactical Definition of Confirmation. J. Symb. Logic 8, 122—143, 1943.
Hempel, C. G. Studies in Logic and Confirmation. Mind 54, 1-26, 1945.
Hempel, C. G. Studies in Logic and Confirmation. II. Mind 54, 97-121, 1945.
Hempel, C. G. Studies in the Logic of Confirmation. In Marguerite H. Foster and Michael L. Martin, eds. Probability, Confirmation, and Simplicity. New York: Odyssey Press, 1966. 145—183.
Salmon W. Conformation (англ.) // Scientific American. — Май 1973.
Schlesinger G. Hempel's Paradox (англ.) // Confirmation and Confirmability. — Oxford: Oxford University Press, 1974.

Ссылки

dic.academic.ru

Парадокс воронов — Википедия

Описание

Видео по теме

Принцип индукции

Принцип индукции утверждает, что:

Наблюдение явления Х, которое соответствует теории Т, увеличивает вероятность того, что теория Т истинна.

Предлагавшиеся решения

Нечёрные предметы, не являющиеся воронами

Использование теоремы Байеса

P(T∣XI)=P(T∣I)⋅P(X∣TI)P(X∣I){\displaystyle \mathbb {P} (T\mid XI)={\frac {\mathbb {P} (T\mid I)\cdot \mathbb {P} (X\mid TI)}{\mathbb {P} (X\mid I)}}}

Примечания

Литература

Hempel, C. G. A Purely Syntactical Definition of Confirmation. J. Symb. Logic 8, 122—143, 1943.
Hempel, C. G. Studies in Logic and Confirmation. Mind 54, 1-26, 1945.
Hempel, C. G. Studies in Logic and Confirmation. II. Mind 54, 97-121, 1945.
Hempel, C. G. Studies in the Logic of Confirmation. In Marguerite H. Foster and Michael L. Martin, eds. Probability, Confirmation, and Simplicity. New York: Odyssey Press, 1966. 145—183.
Salmon W. Conformation (англ.) // Scientific American. — Май 1973.
Schlesinger G. Hempel's Paradox (англ.) // Confirmation and Confirmability. — Oxford: Oxford University Press, 1974.

Ссылки

wikipedia.green

Парадокс воронов — WiKi

Описание

Принцип индукции

Принцип индукции утверждает, что:

Наблюдение явления Х, которое соответствует теории Т, увеличивает вероятность того, что теория Т истинна.

Предлагавшиеся решения

Нечёрные предметы, не являющиеся воронами

Философы предлагали несколько способов разрешения этого парадокса. Например, американский логик Нельсон Гудман предлагал дополнить индуктивную логику ограничением, согласно которому явление не должно рассматриваться как поддерживающее теорию «Все P{\displaystyle P} являются Q{\displaystyle Q} », если оно также поддерживает теорию «Ни одно из того, что не Q{\displaystyle Q} , не является P{\displaystyle P} ».

Использование теоремы Байеса

P(T∣XI)=P(T∣I)⋅P(X∣TI)P(X∣I){\displaystyle \mathbb {P} (T\mid XI)={\frac {\mathbb {P} (T\mid I)\cdot \mathbb {P} (X\mid TI)}{\mathbb {P} (X\mid I)}}}

При использовании этой теоремы парадокс не появляется. Если наблюдатель выбирает яблоко случайным образом, то вероятность увидеть красное яблоко (X) не зависит от того, являются ли все вороны чёрными или нет (T). Вторая часть числителя будет равна знаменателю, и вероятность выбрать красное яблоко не изменится P(X∣TI)=P(X∣I){\displaystyle \mathbb {P} (X\mid TI)=\mathbb {P} (X\mid I)} . Наблюдение X и теория T не связаны, и наблюдение красного яблока не увеличит уверенности в том, что все вороны чёрные.

Рассмотрим второй вариант применения теоремы Байеса. Если наблюдатель выбирает случайным образом какой-либо нечёрный предмет, и он оказывается яблоком, то вторая часть числителя будет больше знаменателя лишь на очень малую величину P(X∣TI)=P(X∣I)+ε{\displaystyle \mathbb {P} (X\mid TI)=\mathbb {P} (X\mid I)+\varepsilon } . В этом сценарии наблюдение красного яблока увеличит вероятность того, что все вороны чёрные, но очень незначительно. Чем больше нечёрных предметов мы будем наблюдать, не находя среди них воронов, тем больше будет наша уверенность в том, что все вороны чёрные, но темпы возрастания этой уверенности будут столь малы, что не будут ощущаться интуитивно. В предельном же случае, если бы наблюдатель мог увидеть все нечёрные предметы во Вселенной и не найти среди них воронов, то он, очевидно, убедился бы в том, что все вороны чёрные.

Примечания

Литература

Hempel, C. G. A Purely Syntactical Definition of Confirmation. J. Symb. Logic 8, 122—143, 1943.
Hempel, C. G. Studies in Logic and Confirmation. Mind 54, 1-26, 1945.
Hempel, C. G. Studies in Logic and Confirmation. II. Mind 54, 97-121, 1945.
Hempel, C. G. Studies in the Logic of Confirmation. In Marguerite H. Foster and Michael L. Martin, eds. Probability, Confirmation, and Simplicity. New York: Odyssey Press, 1966. 145—183.
Salmon W. Conformation (англ.) // Scientific American. — Май 1973.
Schlesinger G. Hempel's Paradox (англ.) // Confirmation and Confirmability. — Oxford: Oxford University Press, 1974.

Ссылки

ru-wiki.org

Парадокс воронов Википедия

Описание[ | код]

Принцип индукции[ | код]

Принцип индукции утверждает, что:

Наблюдение явления Х, которое соответствует теории Т, увеличивает вероятность того, что теория Т истинна.

Предлагавшиеся решения[ | код]

Нечёрные предметы, не являющиеся воронами

ru-wiki.ru

Парадокс воронов — Циклопедия

Парадокс Хемпеля является примером парадоксов индуктивной логики. Согласно этому парадоксу, примерами, подтверждающими утверждение «Все вороны — черные», являются все объекты, являющиеся одновременно черными и воронами. А поскольку данное утверждение равносильно утверждению «Все нечерное — не ворона», то подтверждение последнего должно быть также подтверждением первого. Но утверждение «Все нечерное — не ворона» подтверждается каждым случаем нечерного предмета, не являющегося вороной. Получается, что наблюдения «Яблоко — красное», «Трава — зеленая» и т. п. подтверждают утверждение «Все вороны — черные». По меньшей мере, это противоречит нашей интуиции.

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

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

А. А. Ивин «Логика», Москва, «Гардарики», 2002 г., стр. 326.

cyclowiki.org