elmikamino https://blog.hatena.ne.jp/elmikamino/ 記憶の彼方へ https://elmikamino.hatenablog.jp/ 論理学入門 今回は述語論理の後半、『入門！論理学』でいうと、最終章の第６章「『すべて』と『存在する』の推論」の後半（218頁から243頁）に該当する内容の解説です。前回お話ししたように、私たち人間は、よせばいいのに、無限を相手にして「すべて」とか、無限のなかから何かをピックアップして「存在」せしめたりします。そういういわばフライングすれすれの主張をも演繹的推論の体系の中に取り込むのが述語論理でした。今回はそんな述語論理のアクロバティックな表現力の豊かさを見ることを通して、現代論理学の標準的な体系の全体像に触れることになります。野矢茂樹さんは次のように書いています（『入門！論理学』222頁 - 223頁）。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Felmikamino.hatenablog.jp%2Fentry%2F20070615%2F1181872975" title="論理学入門2007　第９回　述語論理の表現力と公理系 - 記憶の彼方へ" 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/511Prnx304L._SL160_.jpg Hatena Blog https://hatena.blog 2007-06-15 11:02:55 rich https://elmikamino.hatenablog.jp/entry/20070615/1181872975 1.0 100%