Filosofía en español 
Filosofía en español

Ley del tercero excluido

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

no figura

Diccionario filosófico · 1965

Ley del tercero excluido

Ley de la lógica, según la cual de dos enunciados, cuando uno niega lo que se afirma en el otro, uno de ellos es imprescindiblemente verídico. La formuló Aristóteles. Así, de los dos enunciados: “el Sol es astro” (A es B) y “el Sol no es astro” (A no es B), uno es imprescindiblemente verídico. Teniendo en cuenta los enunciados de este género, la lógica formal tradicional a menudo formulaba la ley del tercero excluido del siguiente modo: “A es B, o no es B” (lo tercero no está dado: tertium non datur). Esta ley a menudo se utiliza en el proceso de demostración, en particular, en las demostraciones por reducción al absurdo.

Diccionario de filosofía · 1984:422