Lgica libre

1
Lgica libre
La lgica libre (del ingls Free logic) es un sistema lgico sin presupuestos existenciales. Esto es, sus teoremas son
vlidos en todos los dominios, incluyendo el dominio vaco.
Fue propuesta por primera vez en la dcada del cincuenta. Karel Lambert, uno de sus fundadores, fue quien acu el
trmino. De acuerdo con Lambert, la expresin "lgica libre" es una abreviacin de "libre de suposiciones de
existencia con respecto a sus trminos, generales o singulares".
Enlaces
Sitio web de Karel Lambert
[1]
Referencias
[1] http:/ / www. flogik. com/ professional.htm
Fuentes y contribuyentes del artculo
2
Fuentes y contribuyentes del artculo
Lgica libre Fuente: http://es.wikipedia.org/w/index.php?oldid=64863045 Contribuyentes: Al2, Benceno, Digigalos, Francisco Mochis, HUB, Jmorbla, Luis Felipe Schenone, Unificacion
Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/