La lógica clásica tiene problemas para tratar con objetos no existentes(los términos siempre denotan cosas existentes ∃), en ese punto es donde la lógica libre entra en acción.