Bien que Quine ait qualifié ces logiques de «intégrales», elles sont maintenant appelées logiques libres.
Alors que Quine appelait de telles logiques «libres», elles sont maintenant appelées logiques inclusives.