So Free Logic comes about to get rid of the Existential Importation that both Aristotle’s and Modern Logic allow for. This is a logic Free of existential import or assumption. It is built off of a modification of Quantification Theory by altering some axioms.

(x)(F(x) → F(y)) is an axiom of Quantification Theory which is replaced in Free Logic.