Рамазан АюповЛогика каузальной импликации Р. Сильва?

НИС Современные проблемы математической логики в ВШЭ. Дата и время: 25.04.2025 в 16:20 Докладчик: Рамазан Аюпов Название: Логика каузальной импликации Р.
Сильвана Н.
да Косты Аннотация.
Доклад посвящен логике каузальной импликации CI Ричарда Сильвана Рутли и Ньютона да Косты 1 основанной на новой связке A ni B А причиняет B и временном строгом линейном порядке.
Логика строится на основе релевантной семантики 2. В дискуссии о природе причинности наибольшую популярность приобрела логика контрфактуалов Д.
Льюиса.
Результат Сильвана и да Косты представляет собой альтернативный подход к формальному рассмотрению причинности.
Каузальное условное ni это коннексивная строгая релевантная импликация удовлетворяющая свойствам транзитивности иррефлексивности Modus Ponens Modus Tollens закону Аристотеля правилу Стросона принципам композиции и принципу усиления Augmentation но не соблюдающая принцип тождества контрапозицию упрощение добавление подстановку принципы факторизации даже в ограниченной форме она немонотонна и не допускает принципа взрыва. В докладе мы рассмотрим язык семантику и аксиоматизацию логики CI а также проанализируем и сравним ее основные свойства и принципы с логикой контрфактуалов Льюиса. 1 R.
Sylvan and N.
da Costa.
Cause as an implication.
Studia Logica 1988 Vol.
47 N.
4 P.
413428. 2 R.
Routley and others.
In R.
Sylvan R.
Brady Eds.
Relevant Logics and Their Rivals.
Atascadero: Ridgeview 1982.

Источник: rutube.ru