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

Интуиционистская логика Маркин Владимир Ильич 00:17 Введение 02:27 Идейные посылки возникновения интуиционистской логики. Логицизм и формализм: Бертран Рассел и Давид Гильберт 21:36 Особенности интуиционистской трактовки истины 33:13 Конструктивизм. Понятие конструктивного объекта и конструктивного доказательства 43:14 Интуиционистское исчисление высказываний (исчисление Гейтинга) 53:39 Семантика возможных миров для интуиционистской логики и ее содержательная интерпретация (трактовки Колмогорова, Гжегорчика и Крипке) 59:52 Семантика Крипке для интуиционистской логики 01:16:15 Трактовка семантики Крипке для интуиционистской логики