詳細は別途記述予定
本編 http://d.hatena.ne.jp/m-hiyama/20171010/1507600955 :
と、そろそろこの記事はおしまいにします。それにしても、「(詳細は別途記述予定。)」をイッパイ入れちゃったな。いつになるか分からないし、全部書けるかも不安ですが、出来る限り宿題は果たしたいと思います。
外部から節を参照できるようにしている。
リンク目次:
- ことの発端: zhanponさんの批判
- 奥野本擁護と奥野本批判
- 僕の擁護・批判の方針
- zhanponさんの指摘の再検討
- 1. 論理的な矛盾とデータの不整合を混同している
- 2. 命題論理の限界についての説明がおかしい
- 3. 古典論理の定義を間違えている
- 4. 集合と集合論、述語と述語論理を混同して使っている
- 5. 二階論理の説明がおかしい
- 消極的提案: 第2章を削除する
- 積極的提案: 述語論理を活用した解説
- 奥野さんの発想の源泉(ただし想像)
- 「矛盾」て何なんだろう?
- 演繹データベースと矛盾: 奥野さんは(まーまー)正しかった
- 演繹データベースで出来ること
- 述語論理をチャンと使おう
- 外部世界をチャンと考慮しよう
- おわりに
次が課題の一覧: