Our entire logical system is premised on essentially three things: law of identity, law of non-contradiction, and the law of excluded middle. One interesting f

Our entire logical system is premised on essentially three things: law of identity, law of non-contradiction, and the law of excluded middle. One interesting fact is that there is a school of mathematics called constructive mathematics. This branch of mathematics proves things without using the law of excluded middle.