BIVALENCIA (PRINCIPIO DE)

En sus «Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls», Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23 (1930), Cl. iii, págs. 51-57, Jan Lukasiewicz escribe que al supuesto en el cual se basan to­das las tesis del cálculo proposicional co­rriente, esto es, al supuesto de que las varia­bles preposicionales de dicho cálculo pueden tener solamente dos valores, «0», o «lo falso», e «1», o «lo verdadero», corresponde el teorema fundamental de que «toda proposi­ción es o verdadera o falsa». Łukasiewicz llama a este teorema «ley de bivalencia»; luego se ha usado, y seguimos aquí este uso, la expresión «principio de bivalencia». Aun­que se ha dado a este principio el nombre de «ley del tercero excluido» (véase Tercero excluido)», o «ley del tercio excluso», Łuka­siewicz estima que este nombre puede apli­carse más bien al principio de la lógica clá­sica