kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 補講予定日：6月28日（木）16:30〜＠文学部第5講義室（現在の論理学授業と同じ教室） 内容：問題演習（命題論理、述語論理） 今週の授業予定 授業第七回目、命題論理はいっぺんおいて、今回から述語論理に入ります。量化子の初回は何故量化子が必要なのか、量化子∀との∃の導入の意図を説明します。 数学では無限を本質的に扱いますが、無限は命題論理の枠組みでは分析しきれません。そこで、「無限」という概念をもっと分析し、たとえば「自然数は無限に存在する」から「5より大きい自然数が存在する」が推論できるようために、新たな記号∀との∃を導入するのです。 このように、形式化の際には、対象となるメタの概念を細かく… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F20180612" 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/4176Yr5GffL._SL160_.jpg Hatena Blog https://hatena.blog 2018-06-12 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/20180612 1.0 100%