TERCERO EXCLUIDO (PRINCIPIO DEL)
El principio del tercero excluido o del tercio excluso enuncia que cuando dos proposiciones están opuestas contradictoriamente no pueden ser ambas falsas. En la formulación tradicional se dice que si S es P es verdadero, S no es P es falso, y viceversa. En la formulación moderna en términos de la lógica sentencial, el principio del tercio excluso constituye la tautología ‘p ∨ ¬ p’. Algunos autores consideran que este principio es una forma especial del de contradicción; otros, en cambio, sostienen su mutua autonomía. Así, Pfänder declara que el principio del tercero excluido no sólo es distinto del de contradicción sino también del de identidad, pues se funda respectivamente sobre los principios formal-ontológicos: «todo objeto es idéntico a sí mismo» y «ningún objeto puede ser, al mismo tiempo, P y no P». El principio de contradicción enuncia en la lógica tradicional que dos juicios opuestos contradictoriamente
