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