Строгое условие
- Строгое условие в логике является логической связью модальной логики, эквивалентной материальному условию классической логики с оператором необходимости.
- Строгие условные выражения были разработаны Кларенсом Ирвингом Льюисом для адекватного выражения индикативных условных выражений на естественном языке.
- Строгие условия могут помочь избежать парадоксов материального характера.
- Однако у строгого условия есть свои собственные проблемы с последствиями, которые обязательно являются истинными, или предшествующими условиями, которые обязательно являются ложными.
- Некоторые логики считают, что строгое условное выражение все еще является неудовлетворительным и не может адекватно выразить контрфактические условные выражения.
- Конструктивная строгая импликация может быть использована для исследования интерпретируемости арифметики Хейтинга и для моделирования стрелок и защищенной рекурсии в информатике.
Полный текст статьи: