Principio de bivalencia
# Principio de bivalencia

En lógica, el principio semántico o ley de bivalencia establece que cada frase declarativa que expresa una proposición (de una teoría que se inspecciona) tiene exactamente un valor de verdad, ya sea cierta o falsa. La forma lógica de satisfacer este principio se llama lógica de dos valores o lógica bivalente.

En la lógica formal, el principio de bivalencia deviene una propiedad que una semántica puede o no poseer. Sin embargo, no es lo mismo que la ley de medio excluido, aun así, y en semántica puede satisfacer aquella ley sin ser bivalente.

El principio de bivalencia se estudia en lógica filosófica para abordar la cuestión de qué estados del lenguaje natural tienen un valor de verdad bien definido. Frases las cuales pronostican acontecimientos en el futuro, y frases que parecen abiertas a interpretación, es particularmente difícil para filósofos quiénes sostienen que la lógica binaria se aplica a todas las declaraciones de lengua natural declarativas. La Lógica plurivalente formalizó la idea de que una caracterización realista de la idea de consecuencia requiere el admisión de premisas qué, a causa de la vaguedad, indeterminación temporal o cuántica, o en referencia al fallo, no pueden ser considerados bivalentes en el sentido clásico. Los errores de referencia también pueden ser abordados por lógicas libres.

