kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 後期授業第五回は、新しい論理規則を受け入れるとはどういうことかという話をします。 つまり、最小論理に、新しい論理規則「矛盾律」を付加し、論理体系「直観主義論理」へと拡大します。この拡大は保存拡大ではなく、この規則については哲学的な議論も続いています。今回は、矛盾律を題材に、論理を改訂するとはどういう事か、哲学者や論理学者はこのことにどう反応するのか、といった話をしたいと思います。 授業内容 前回の復習 ホームズ論法 自然数論（復習） 矛盾律 矛盾律は「正当」か？ 本日の授業資料 授業スライド こちらから 授業要約 こちらから 参考文献 矛盾許容論理の解説は、以下の文献等を参考にして下さい。In… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F2019%2F11%2F12%2F000000" title=" - 科学哲学科学史 (演習) 論理学" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/41DQHo870BL._SL160_.jpg Hatena Blog https://hatena.blog 2019-11-12 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/2019/11/12/000000 1.0 100%