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

Интуиционистская логика Маркин Владимир Ильич 00:16 Введение 02:26 Идейные посылки возникновения интуиционистской логики. Логицизм и формализм: Бертран Рассел и Давид Гильберт 21:35 Особенности интуиционистской трактовки истины 33:12 Конструктивизм. Понятие конструктивного объекта и конструктивного доказательства 43:14 Интуиционистское исчисление высказываний (исчисление Гейтинга) 53:38 Семантика возможных миров для интуиционистской логики и ее содержательная интерпретация (трактовки Колмогорова, Гжегорчика и Крипке) 59:52 Семантика Крипке для интуиционистской логики 01:16:13 Трактовка семантики Крипке для интуиционистской логики Ссылка на плейлист 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 #teach_in #мгу #msu #философский_факультет #faculty_of_philosophy #лекции #lectures #Маркин #Markin #неклассическая_логика #non-classical_logic #интуиционистская_логика #intuitionistic_logic #конструктивизм #constructivism #семантика_Крипке #Kripke_semantics #Brouwer #Брауэр #Гейтинг #Heyting #Рассел #Russell #Гильберт #Hilbert #Колмогоров #Kolmogorov #Гжегорчик #Grzegorczyk