2018-11-13から1日間の記事一覧

完全なものから一部を取り除いたら不完全

論理学

「その、「二重否定除去則」を認めないと、古典論理で証明された定理の中で直観主義論理では証明できないものが出てくるんでしょう？」「出てくるね、排中律とか、ド・モルガンの法則の一部とか」「どうしてそんな不完全なものが許されるわけ？」「いや、…