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

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

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

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

См. также [ править ]

Ссылки [ править ]

^ Вайдья, Ананд. «Эпистемология модальности» . Стэнфордская энциклопедия философии . Стэнфордская энциклопедия философии . Проверено 10 октября 2015 г.

Библиография [ править ]

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

[Vaidya322-1] Вайдья, Ананд. «Эпистемология модальности» . Стэнфордская энциклопедия философии . Стэнфордская энциклопедия философии . Проверено 10 октября 2015 г.

[1]