一階述語論理と集合論は循環している？
お久しぶりです。このブログ、一年近く放ってありましたが、久々の恒真…もとい更新です。今日は、先日見つけた論理学ネタについて。 一階述語論理と集合論は循環していませんか？ 一階述語論理の意味論には集合概念が使われていて集合論の公理は述語論理で記述されているように感じるのですが、これは卵が先か鶏が先かの構造になっていないのでしょうか。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13108980443 この問題は、質問者自身が言っているようにもちろん擬似問題ではあり、循環はしていないのですが、いい点に気が付いたな、と思います。これは、実は昔から論理学を学ぶ良くできる学生は必ず一度は悩むと言われている問題なのです（ちなみに僕は良くできる学生ではなかったので、自分では気がつきませんでした）。 この質問は、形式的な論理学に関し多く
背理法と数学的帰納法はなぜ嫌われるか？
背理法と数学的帰納法はなぜ嫌われるか？真鍋 和弘（札幌篠路高校）１．ぱじめに 証明法の中での背理法と数学的帰納法は日本では高校１年生（数学Ａ）で学ぶことになっているが，これは少し早すぎるような気がしている．伝統的に日本では，数学は計算ができることが重視され，論理性を重んじるヨーロッパなどとは事情が異なるからである．しかし高校では背理法と数学的帰納法は必要ないかというと決してそうではなく，大学レベルの数学を学ぶ際には，これらのことに少しでも触れた経験がある学生とそうでない学生との間には相当の差が生じると思われる． 大学入試にあまり出題されないからという理由で，背理法と数学的帰納法をカットしている進学校も多いと思われるが，彼らが将来必要とする数学的素養はきちんと学ばせるべきだと思う．さらには，理工系の大学に進まない高校生にとっても，①背理法と数学的帰納法の考え方は面白く誰にでも理解できる内容で
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
