Лекция 8. Интуиционистская логика

  1. 00:16Введение
  2. 02:26Идейные посылки возникновения интуиционистской логики. Логицизм и формализм: Бертран Рассел и Давид Гильберт
  3. 21:35Особенности интуиционистской трактовки истины
  4. 33:12Конструктивизм. Понятие конструктивного объекта и конструктивного доказательства
  5. 43:14Интуиционистское исчисление высказываний (исчисление Гейтинга)
  6. 53:38Семантика возможных миров для интуиционистской логики и ее содержательная интерпретация (трактовки Колмогорова, Гжегорчика и Крипке)
  7. 59:52Семантика Крипке для интуиционистской логики
  8. 01:16:13Трактовка семантики Крипке для интуиционистской логики