「論理的とは何か」を論理的に説明するスレ
■ このスレッドは過去ログ倉庫に格納されています
0387132人目の素数さん
2007/09/23(日) 03:43:30日常の意味での認めるとは違います。
普通数学の形式的体系では論理的公理と数学的公理(公準と呼ばれる)があって論理的公理のほうを認めるってことは
日常の意味での認めるとほぼ同じだと思いますが公準の法は「仮定する」っていうことです。
そんで数学では論理的公理はあたりまえとみなしまして公準の法を主眼とします。
関係ないけどこのスレは哲学板におかれるべきだと思います
純粋に数学好きな人は「論理とは何か?」なんて興味ないと思うので。
論理のやりかたとかなら興味あると思いますが…(背理法とか)
■ このスレッドは過去ログ倉庫に格納されています