Gnoseologia

El principio del tercero excluido o principium tertium exclusum es un principio de la lógica tradicional formulado canónicamente por Leibniz como: o A es B o A no es B. Ahora lo leemos del siguientemodo: o bien P es verdadera, o bien su negación ¬P lo es. Entre dos proposiciones que juntas forman una contradicción no hay una tercera posibilidad, la tercera está excluida.
También se conoce como"tertium non datur" ('Una tercera (cosa) no se da'). Clásicamente se considera que es uno de los principios o leyes fundamentales del pensamiento (junto con el principio de identidad, de nocontradicción y de razón suficiente).
Otra formulación del principio de tercio excluso es: Toda proposición es verdadera o falsa, y entre estos dos valores de verdad no se admite nada intermedio o “tercero”;o, en términos semánticos, si dos proposiciones son contradictorias, al menos una de ellas es falsa.
Su representación simbólica corresponde a la contradicción: A¬A
Este principio pertenece a losllamados principios racionales, pues son proposiciones evidentes por sí mismas y por ende indemostrables, que están implícitas o presupuestas como norma absoluta en todas las operaciones intelectuales.Se llaman racionales porque están inmediatamente constituidos por la razón y son a la vez constitutivos de ella.

El principio de tercio excluso es considerado por muchos como derivado del principiode identidad. Nótese que, en este supuesto, aquél no tendría la consideración de primer principio. Se enuncia diciendo: una cosa es o no es (quodlibet aut est aut non est) –versión ontológica- o bien:ente dos cosas contradictorias no cabe termino medio, (inter duo contradictoria non este médium)-versión lógica-, lo cual quiere decir que de dos proposiciones contradictorias, necesariamente la unaes verdadera y la otra falsa, y que ambas no pueden ser ni verdaderas ni falsas a la vez.

Obsérvese que en la enunciación de este principio el término contradictorio se toma en su sentido técnico...