Lógica Libre

L€gica libre

1

L€gica libre La l€gica libre (del ingl•s  Free logic) es un sistema l€gico sin presupuestos existenciales. Esto es, sus teoremas son v‚lidos en todos los dominios, incluyendo el dominio vacƒo. Fue propuesta por primera vez en la d•cada del cincuenta. Karel Lambert, uno de sus fundadores, fue quien acu„€ el t•rmino. De acuerdo con Lambert, la expresi€n "l€gica libre" es una abreviaci€n de "libre de suposiciones de existencia con respecto a sus t•rminos, generales o singulares".

Enlaces … Sitio Sitio web web de de Kare Karell Lamb Lamber ertt

[1]

Referencias [1] [1] http http:/  :/   / www.flogik. www.flogik.com/  com/ professional.htm professional. htm

Fuentes y contribuyentes del artƒculo

Fuentes y contribuyentes del art•culo L€gica 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/ 

2