kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 後期授業開講＠火曜日5限５講 本日の授業内容 前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。 後期授業の初回である今回は、「論理結合子の意味とは何か」について考えてみたいと思います。 この問題を考えるためには、最初に「『論理結合子の意味』という言葉の意味とは何か」を考える必要があります。具体的には、二種類のアプローチの仕方（モデル論的意味論と証明論的意味論）の基本的なアイディアを紹介し、あわせて、モデル論的意味論におけるスリングショット論法などについても検討します。 授業内容 前期の復習 命題論理の論理記号の導入・除去規則 述語論理の論… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F2020%2F10%2F06%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/413DvURZLLL._SL160_.jpg Hatena Blog https://hatena.blog 2020-10-06 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/2020/10/06/000000 1.0 100%