La lógica libre (del inglés "Free logic") es un sistema lógico sin presupuestos existenciales.