kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 後期授業第4回目は、「論理結合子の意味とは何か」という哲学的論理学話のまとめとして、「証明の正規化」の話をします。また、その後、正規化の話を軸に、記号の書き換え体系が論理と呼ばれるための条件について考えたいと思います。具体的には、最小命題論理では全ての証明が正規化可能であるというメタ定理を証明します。ただし、証明は概略にとどめ、技術的に難しい帰納法についてなどの話題は省きます。 これは、これまでに紹介した「論理結合子の保存拡大性」「インバージョン原理」などを証明するためには不可欠な性質であり、ダメットによって、全ての論理結合子の導入規則と除去規則の間にあるべき関係である「ハーモニー」の有力候補… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F2020%2F10%2F27%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> Hatena Blog https://hatena.blog 2020-10-27 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/2020/10/27/000000 1.0 100%