日常の論理 - kururu_goedel’s diaryはてなブックマーク - くるるの数学ノート - ゲーデルの不完全性定理について少し補足でid:jrfに「コメント欄の進展を待つ」なんて言われてしまっているのですが。はてなポイントも（id:jrfさんはほとんどのブックマークでポイントを送付してらっしゃるようですが）頂いてしまって。ですが、コメント欄の話題はかなりテクニカルなことですし、日常の論理ってことに関しては数学的な結論はほぼすぐに出るのではないかと。つまらない話にはなりますが。 そもそも言語があいまいで複数の解釈を許すので数理論理学の意味での論理とはいえない 論理式というか文からあいまいさが削れたとしても、推論規則が明確でないので数理論理学の意味での論理といえない 数理論理学の意味での論理に落とし込めたとしても、おそらく公理系が帰納的に記述できないので不完全性定理は適用できない 公理系が帰納的に記述できたとしても、自然数論を劣化しない
