В чем разница между вероятностью и возможностью?

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

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

Определены ли термины относительно друг друга или они просто появляются в разных контекстах с разными значениями? Казалось бы, количественная оценка вероятности должна влечь за собой подсчет «количества возможностей». Это похоже на подсчет точек на линии.

Возможно, я только спрашиваю, есть ли у «возможности» какое-то последовательное определение. Или, возможно, лучший ответ: «прочитайте немного модальной логики и повторите вопрос».

Я не вижу противоречия между "возможными мирами" и "всем логически непротиворечивым". Не могли бы вы уточнить?
Не знаю достаточно о «возможных мирах», чтобы ответить, но я думал, что они каким-то образом поддаются количественной оценке, как при сравнении «шести разных возможных миров», тогда как «отсутствие противоречия» будет открытым. Поможет ли мне, если я просто уберу эту ссылку? Не очень важно для моего вопроса.
Вместо модальной логики вы могли бы отметить, что Возможно(х) := Вероятность(х) > 0, а затем прочитать философию математики (относительно вероятности).
О вероятности см. « Интерпретации вероятности » : «некоторые интерпретации обнаруживают вероятность« в мире », тогда как другие находят ее в наших головах или в логических абстракциях». Для возможности см. Разновидности модальности .
В математике по крайней мере возможное не может быть отождествлено с положительной вероятностью. Быть рациональным числом на [0,1] имеет нулевую вероятность, но это возможно.

Ответы (5)

В преобладающей экстенсиональной интерпретации модальности разница между возможностью и вероятностью - это разница между качеством и количеством, возможность - это качество, количественно определяемое вероятностью, см. Распределение вероятностей по возможным мирам Бахуса.. Эту интерпретацию можно проследить до детерминированных возможных миров Лейбница, но она стала преобладающей после экстенсиональной формализации модальной семантики Крипке в конце 1950-х годов. Чтобы получить вероятности, нужна положительная единица измерения на множестве всех возможных миров, что является более общим, чем счет, потому что их можно допустить бесконечность. Например, если дротик брошен в мишень для дротиков, в возможных мирах он будет торчать из определенной точки, которых бесконечно много. Но вероятности все еще могут быть назначены определенным регионам на основе их площади (меры). Конечно, один и тот же набор миров можно измерять по-разному, даже если их конечное число, поэтому количественная оценка не уникальна.

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

Кауфман, математический биолог, дает интересный анализ тупика, который это создает в биологии, где «соседние возможности» неопределенны:если мы не знаем всех возможных преадаптаций, которые могли бы возникнуть в соседней возможной биосфере, то мы не только не знаем, что произойдет, мы даже не знаем, что может произойти! Можем ли мы делать вероятностные утверждения об эволюции биосферы посредством преадаптаций? Представьте, что вы подбрасываете монету 10 000 раз. Орел выпадет около 5000 раз с биномиальным распределением. Но заметьте, что мы заранее знали все возможности, все орлы, все решки и так далее. Мы знали выборочное пространство процесса, поэтому могли построить вероятностную меру частотной интерпретации вероятностей для этого процесса подбрасывания монеты. Но мы не знаем выборочного пространства эволюции биосферы путем преадаптаций, поэтому не можем делать никаких вероятностных утверждений о ней ».

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

« Тень Парменида, кажется, лежит на этих дискуссиях... могли быть "чисто формальные и дискретные закономерности. Динамизм потенциальности сменился пылью бездомных форм... Бергсон был прав, следовательно, утверждая, что "возможное" (понимаемое определенно) возникает лишь одновременно с реальным ... Таким образом, актуалисты правы, отрицая независимость возможного... С другой стороны, быть в возможности - это действительно способ быть, хотя это и не значит быть в действительности. И это, конечно, как раз то, что Аристотель сказал в ответ Пармениду, который мыслил только один способ бытия, быть в действительности".

Итак, чтобы уточнить краткий ответ, вероятность количественно определяет не возможность вообще, а несколько обедненную ее проекцию.

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

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

Вероятность имеет количественное определение интуитивно через частоту возникновения.

Возможность имеет логическое определение — модальную логику, — которая оставляет ее степень возможности неопределенной.

Здесь можно сказать что-то очень конкретное; невозможное должно быть невозможным; и то, что не невозможно, должно быть возможно; таким образом, мы сразу имеем оператор отрицания!

Именно здесь входит Либниц; ибо то, что логически противоречит центральной роли Закона Исключенного Середины в Аристотелевском « Органоне », невозможно; и это ведет к его возможным мирам: ибо то, что логически не противоречит, должно быть возможным.

Таким образом, можно представить себе возможный мир как мир в «логическом пространстве», не содержащий противоречий; но это может быть не так, как задумал Либниц.

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

Если «вероятность» поддается количественной оценке, а «возможность» — нет, но любая «вероятность» зависит от ограниченного или ограниченного набора «возможностей», является ли отношение чисто случайным? Является ли «возможность» просто вопиющей неточностью общепринятого языка? Не провокация, просто мысли вслух.
@NelsonAlexander Вы можете посмотреть на «нечеткую логику» как на ответ на этот вопрос. Чтобы объединить предыдущий ответ, в этой модели возможность имеет такое же отношение к вероятности, какое полезность должна оценивать в классической экономике.
@nelson Alexander: все очень хорошие вопросы ... вот почему я указал, что даже когда возможность неопределенна, все же можно сказать об этом определенные вещи.

Короче говоря, вероятность события — это математический шанс того, что какой-то объект окажет какое-то влияние, тогда как возможность события — это бесконечные результаты воздействия на объект. Например, у меня может быть 40/60 шансов выиграть розыгрыш, если я куплю 60 из 100 доступных билетов, но есть вероятность, что я выиграю или не выиграю. Надеюсь, это поможет.

Спасибо. Я полагаю, что понимаю вероятность, но я все еще не уверен, что «возможность» как-то измерима или четко определена. Или если он используется по-разному. Возможно, это лучше рассматривать как «возможные результаты». У меня такое чувство, что я просто спотыкаюсь о какую-то синтаксическую проблему.

Проще говоря, это можно было бы понять так (предыдущие комментаторы отмечали некоторые из этих моментов, но не связывали их):

Возможность означает способность мыслить без противоречия одновременно (!). В смысле вероятностей это означает состояние (общее количество состояний = общее количество возможностей в смысле Лапласа), которое можно без противоречия рассматривать как исход.

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

Это также означает: нет вероятности без возможности, но возможность без вероятности. Поэтому (строго говоря, см. ниже) вполне возможно стать президентом Соединенных Штатов для каждого американца (= нет противоречия), хотя почти для всех это считается невероятным.

Проблема мышления возникает, когда ситуации с вероятностью, близкой или (математически) равной 0, называются невозможными, хотя их можно мыслить без противоречия. Например, сказать: «Мой сосед не может стать президентом». Это часто происходит, когда мы судим эвристически, что мы делаем, потому что мы просто не в состоянии сказать, какова вероятность исхода на самом деле (иначе у нас была бы святая мудрость). Это двусмысленность , легкое движение смысла, разрушающее научную применимость языка. Избавление от двусмысленностей или, по крайней мере, выявление двусмысленностей — вот основная задача философии, сказал бы Гуссерль.

Спасибо, хорошая разработка предыдущих ответов. Как отмечалось в моем комментарии выше, я все еще задаюсь вопросом о других способах разобраться в определениях «возможности», но это приводит к другим вопросам. Рад, что вы упомянули Лапласа.
Например, возможность также может быть определена как «допущенная законами природы», что является довольно распространенным коннотативным значением, но производным от логического (поскольку законы природы являются общими, без исключений). «Невозможно быть быстрее света (по отношению к любой другой точке зрения)». Было бы одно предложение, включая это. Вероятность мыслится как несуществующая и там, очевидно. Однако с нашей сегодняшней точки зрения это было источником некоторых странных предложений. Например, «невозможно разрушить атомы» или «невозможно двигаться быстрее 30 миль в час».

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

Возможность не является «просто качественной» или бинарной. Мы действительно считаем вещи «отличными» или «минимально возможными», или «едва ли» возможными (или красными, если уж на то пошло). Итак, возможность имеет степень. Таким образом, качества со степенью являются количествами с переменным, субъективным основанием, и различие скомпрометировано и, следовательно, обычно бесполезно.

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

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

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

Спасибо, это добавляет ясности и лаконичности. Как только возможности ограничены, от 0 до 100, их вероятности могут быть измерены. Думаю, я все еще задаюсь вопросом о природе или, возможно, даже об онтологии «возможности» или «всех возможных исходов» и о какой бесконечности мы здесь говорим. Поскольку непротиворечие имеет место только «одновременно», возможно ли другое описание времени? Но это приближается к другому вопросу и становится неясным.
Я бы вырулил и продекламировал бы вам "статистику". Все, что действительно может произойти, имеет распределение вероятностей с некоторым счетным числом степеней свободы. Вещи, которые не таковы, чтобы они действительно могли произойти, но требуют изменения правил, управляющих миром, чтобы стать возможными, помещают вас в метавселенную «возможных миров», которые, я бы сказал, не существуют на самом деле.
Как отмечено в ответе, я придерживаюсь «витгенштейновского» понимания модальной логики как функционального взаимодействия над эвристическим пространством, где операция «могущества» — это не перечисление чего-то воображаемого, как пространство Крипке «всех возможных миров», а просьба ввести новый параметр в рассматриваемую модель. Нам нравится материализовывать потенциальные перечисления, но это в значительной степени упражнение в рационализации иллюзий.