kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 授業第二十回目、本日は古典論理のモデルの話をします。本授業では、最小論理を中心に、非古典論理を取り上げてきましたが、世間の論理学の教科書は古典論理中心です。従って、今のままでは、論文や教科書を読むときに、面食らう恐れがあります。ですので、今回は内井先生の「真理・証明・計算」の前半（1-7章）を題材に、通常の論理学の教科書で扱っている話、すなわち古典命題論理・述語論理とそのモデルを紹介します。 古典論理は、矛盾律・排中律のおかげで自然演繹による証明は難しいですが、一方でモデルは非常に簡単です。そのため、実際に証明をするよりは、モデルを使った恒真式／妥当式かどうかのチェックの方がよほど楽になること… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F20101116" 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/41umYfVkm5L._SL160_.jpg Hatena Blog https://hatena.blog 2010-11-16 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/20101116 1.0 100%