kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 題目：論理学演習 授業のテーマと目的 本演習では、数学における定理の証明がシミュレートできるような、記号を処理する体系（「形式的体系」）を紹介する。具体的には、最小述語論理の自然演繹の体系の解説から始め、最小論理・直観主義論理・古典論理での論理式の証明とそのモデルを使った議論が出来るようにすることを目的とする。その中で、単なる記号の処理を行なう体系が「論理」と呼ばれるにはどんな性質を満たす必要があるかを考察する。 授業計画と内容 前期の前半は、まず最小述語論理の自然演繹の体系を紹介する。問題演習を通じ、各自が自然演繹の証明が出来るようになることが目標である。また、前期の後半には、最小論理上で算… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F20110401%2F1302504269" 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/51iBCjz-5SL._SL160_.jpg Hatena Blog https://hatena.blog 2011-04-01 15:44:29 rich https://kyoto-logic.hatenablog.com/entry/20110401/1302504269 1.0 100%