So does that mean that we should reject the principle of excluded middle? If so, that means that our standard logics are useless for dealing with mathematical (if not all) reasoning. Intuitionistic logic might be better suited at dealing with these sorts of issues, but it seems strange that some meaningful statements might be neither true nor false.
So does that mean that we should reject the principle of excluded middle? If so, that means that our standard logics are useless for dealing with mathematical (if not all) reasoning. Intuitionistic logic might be better suited at dealing with these sorts of issues, but it seems strange that some meaningful statements might be neither true nor false.