Аннотация:
В классической логике для истинности импликации достаточно ложности посылки или истинности заключения. Это приводит к таким парадоксальным утверждениям, как "Если на солнце есть жизнь, то дважды два равно четыре" или "Если Солнце — куб, то Земля — треугольник". Для преодоления этих парадоксов была введена релевантная логика. Рассматриваемая в ней релевантная импликация, в отличие от классической, материальной, требует наличие смысловой зависимости заключения от посылки. В докладе будут рассмотрены три основные проблемы, касающиеся интерпретации отрицания в релевантной логике: проблема интерпретации звездочки Раутли, проблема выводимости правила дизъюнктивного силлогизма в моделях для релевантной логики, а также целесообразность расширения релевантной логики путём добавления классического отрицания. Для релевантной логики будет введена семантика состояний, существенно отличающаяся от привычной семантики возможных миров.
Обратная связь: