(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".
(Wikipedia).