El principio del tercero excluido es uno de los tres principios fundamentales de la lógica clásica, junto con los principios de identidad y de no contradicción. Este principio aristotélico sostiene que algo puede “ser” o “no ser”. Lo que no es posible, en esta visión bivalente, es la tercera opción, es decir “ser y no ser” al mismo tiempo.