Логическая возможность относится к логическому предложению, которое нельзя опровергнуть с помощью аксиом и правил данной системы логики. Логическая возможность предложения будет зависеть от рассматриваемой системы логики, а не от нарушения какого-либо отдельного правила. Некоторые системы логики ограничивают выводы из противоречивых предложений или даже допускают истинные противоречия . Другие логические системы имеют более двух истинностных значений вместо двоичного числа таких значений. Однако, говоря о логической возможности, часто предполагается, что рассматриваемая система является классической логикой высказываний.. Точно так же критерий логической возможности часто основан на том, является ли предложение противоречивым, и как таковой часто рассматривается как самый широкий тип возможности.
В модальной логике , логическое суждение возможно , если это правда , в некотором возможном мире . Вселенная «возможных миров» зависит от аксиом и правил логической системы, в которой человек работает, но для некоторой логической системы любой логически непротиворечивый набор утверждений является возможным миром. Модальный ромбовидный оператор используется для выражения возможности: означает "предложение возможно ». [1]
Логическую возможность следует отличать от других видов сослагательных возможностей. Но отношения между модальностями (если таковые имеются) являются предметом споров и могут зависеть от того, как кто-то рассматривает логику, а также от отношений между логикой и метафизикой , например, многие философы, последовавшие за Саулом Крипке , считали, что открыли такие идентичности , как «Геспер = Фосфор» метафизически необходимы, потому что они выбирают один и тот же объект во всех возможных мирах, где термины имеют референт. Однако, тем не менее, логически возможно, что «Hesperus = Phosphorus» будет ложным, поскольку отрицание этого не нарушает логического правила, такого как последовательность. Другие философы также придерживаются точки зрения, что логическая возможность шире, чем метафизическая возможность, так что все, что метафизически возможно, также возможно логически.
Смотрите также
Рекомендации
- ^ Вайдья, Ананд. «Эпистемология модальности» . Стэнфордская энциклопедия философии . Стэнфордская энциклопедия философии . Проверено 10 октября 2015 года .
- Брайан Ф. Челлас (1980). Модальная логика: введение . Издательство Кембриджского университета. ISBN 978-0-521-29515-4.