Маркин В.И. - Неклассическая логика и логика научного познания - 10. Релевантная логика
Teach-In
Релевантная логика Маркин Владимир Ильич 00:17 Релевантная логика: онтологические и эпистемологические источники парадоксов. Семантика обобщенных описаний состояния 33:17 Определение релевантного следования для формул языка классической логики высказываний. Система первоуровневого следования (FDE) 53:08 Метод аналитических таблиц для логики FDE 01:11:23 Метод аналитических таблиц: примеры 01:20:06 Аксиоматическое исчисление для логики FDE