Скачать
[2021後期火５]哲学(演習) 論理学 後期第06回授業（京都大学文学部・矢田部俊介）「直観主義論理のクリプキモデル」
Автор: Kyoto Logic
Загружено: 2021-11-15
Просмотров: 649
Описание:
京都大学文学部／大学院文学研究科オンライン授業（後期）の中継（11/16）
*今年から1645スタートです！
*内容は2020年度とほぼ同じです！
後期授業第六回目は、直観主義論理のモデルの話です。排中律など直観主義論理で証明できない命題が、直観主義論理で本当に証明できないことを証明するのは大変です。そこで今回は、証明できない命題の「反例モデル」を構成することによって証明不可能性を証明する方法を学びます。この方法は「証明できないことの証明」を非常に楽にします。
この際使われる「クリプキ・モデル」は直観主義論理を提唱したブラウアーの「数学は精神的な構成である」という立場のモデルでもあり、応用範囲も広い、有用なものです。
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
![[2021後期火５]哲学(演習) 論理学 後期第06回授業（京都大学文学部・矢田部俊介）「直観主義論理のクリプキモデル」](https://imager.clipsaver.ru/wqicGeDZ2R8/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[2021後期火５]哲学(演習) 論理学 後期第07回授業（京都大学文学部・矢田部俊介）「排中律と古典論理」](https://imager.clipsaver.ru/kgEcl8gcDJ4/max.jpg)
![[2021後期火５]哲学(演習) 論理学 後期第01回授業（京都大学文学部・矢田部俊介）「『論理結合子の意味とは何か』という言葉の意味は何か」](https://imager.clipsaver.ru/8So6s0J8yNc/max.jpg)
![[2022前期火５]哲学(演習) 論理学 前期第03回授業（京都大学文学部・矢田部俊介）「論理結合子 ⇒ の導入規則と除去規則」](https://imager.clipsaver.ru/JIqUAYN43bA/max.jpg)
![[2021CAPE公開セミナー] 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン・レーフの構成的型理論」](https://imager.clipsaver.ru/CPv4KjpTpgQ/max.jpg)
![[2021後期火５]哲学(演習) 論理学 後期第12回授業（京都大学文学部・矢田部俊介）「古典命題論理の推件計算」](https://imager.clipsaver.ru/C04jmxjE9aw/max.jpg)
