For all a exists a not a. For all a and not a exists the excluded third. Not only would modus tollens (¬¬A→ A) lead to the split you mentioned, it would also lead to the false equivalence of logic with boolean logic and ignore other types of logic and real existing language games.