Lógica libre
De Wikipedia, la enciclopedia libre
La lógica libre (del inglés Free logic) es un importante campo de la lógica que apareció por primera vez en la década del cincuenta. Uno de sus fundadores es Karel Lambert, quien acuñó el término. De acuerdo con este autor la expresión lógica libre es una abreviatura de "libre de suposiciones de existencia con respecto a sus términos, generales o singulares".
