El
principio del tercero excluido, propuesto y formalizado por
Aristóteles, también llamado
principio del tercero excluso o en latín
principium tertii exclusi (también conocido como
tertium non datur o
una tercera (cosa) no se da), es un
principio de
lógica clásica según el cual la
disyunción de una
proposición y su negación es siempre verdadera. Por ejemplo, es verdad que "es de día o no es de día", y que "el Sol está ardiendo o no está ardiendo". El principio del tercero excluido frecuentemente se confunde con el
principio de bivalencia, según el cual toda proposición o bien es verdadera o bien es falsa. El principio del tercero excluido es, junto con el
principio de no contradicción y el
principio de identidad, una de las leyes clásicas del pensamiento.