Alors que Quine appelait de telles logiques «libres», elles sont maintenant appelées logiques inclusives.
Quine a qualifié ces logiques de "y compris" "logique", mais on les appelle maintenant "logique libre".