kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 7月7日（火）は休講となります！ 本日の授業内容 授業第十回目、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvariable条件についての復習です。この二つの制限が組み合わさって、∃x(x=0)⇒∀(x=0)のような望まれない命題の導出をどう防ぐのかを解説します。また、前回時間がなかったため、二つの量化子の双対性について復習します。 授業内容 前回の復習 宿題の答え合わせ eigenvariable条件（復習） 双対性 (duality) 本日の授業資料 ファイルのアップロード先である researchmap.jp が月曜まで緊急メンテナンス中のため、ファイルはしばらくお待ち下… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F20150630" 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 2015-06-30 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/20150630 1.0 100%