Логическая возможность - Logical possibility

эта статья возможно содержит оригинальные исследования. Пожалуйста Улучши это от проверка заявленные претензии и добавление встроенные цитаты. Заявления, содержащие только оригинальные исследования, следует удалить. (Февраль 2015 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

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

В модальная логика, а логическое предложение является возможное если это правда в некоторых возможный мир. Вселенная «возможных миров» зависит от аксиом и правил логическая система в котором один работает, но при некоторой логической системе любой логически последовательный сборник утверждений - это возможный мир. Модальный алмазный оператор ${ displaystyle lozenge}$ используется для выражения возможности: ${ displaystyle lozenge P}$ означает "предложение ${ displaystyle P}$ возможно".^[1]

Логическую возможность следует отличать от других видов сослагательных возможностей. Но взаимосвязь между модальностями (если таковая имеется) является предметом споров и может зависеть от того, как кто-то видит логику, а также от взаимосвязи между логикой и метафизика. Например, многие философы, следующие Саул Крипке считали, что обнаруженные личности такие как «Геспер = Фосфор» метафизически необходимы, потому что они выбирают тот же объект во всех возможных мирах, где у терминов есть референт. Однако тем не менее логически Возможно, что «Hesperus = Phosphorus» будет ложным, поскольку отрицание этого не нарушает логическое правило, такое как последовательность. Другие философы придерживаются точки зрения, что логическая возможность шире, чем метафизическая возможность, так что все, что метафизически возможно, также возможно логически.

Смотрите также

• Модальная логика
• Непротиворечивая логика
• Парадокс
• Теория возможностей
• Возможный мир
• Слагательная возможность

использованная литература

• Брайан Ф. Челлас (1980). Модальная логика: введение. Издательство Кембриджского университета. ISBN  978-0-521-29515-4.