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

Метод аналитических таблиц в интуиционистской логике. Релевантная логика Маркин Владимир Ильич 00:17 Метод аналитических таблиц для интуиционистской логики 25:37 Пример (проверка общезначимости закона исключенного третьего и двойного отрицания закона исключенного третьего) 34:37 Связь интуиционистской логики с классической и с модальной системой S4 51:51 Релевантная логика. Введение 54:38 Проблема экспликации условной связи в логике. Парадоксы материальной импликации и классического отношения логического следования 01:16:50 Немного об истории релевантной логики Ссылка на плейлист Teach-In: https://teach-in.ru/course/non-classical-logic-and-the-logic-of-scientific-knowledge Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLcsjsqLLSfNDU5U8Lf_ke0H9RIA5jX3Dv Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_821 Ссылка на плейлист RuTube: https://rutube.ru/plst/1210058