Маркин В.И. - Неклассическая логика и логика научного познания - 9. Интуиционистская логика. Часть 2

Метод аналитических таблиц в интуиционистской логике. Релевантная логика Маркин Владимир Ильич 00:17 Метод аналитических таблиц для интуиционистской логики 25:37 Пример (проверка общезначимости закона исключенного третьего и двойного отрицания закона исключенного третьего) 34:37 Связь интуиционистской логики с классической и с модальной системой S4 51:51 Релевантная логика. Введение 54:38 Проблема экспликации условной связи в логике. Парадоксы материальной импликации и классического отношения логического следования 01:16:50 Немного об истории релевантной логики