Abstract
William Parry concibió en los años treinta una teoría de la implicación lógica (o entailment), la teoría de la implicación analítica (IA), que se proponía evitar las paradojas de la implicación estricta. Parry denominó al principio básico de la lA "principio prescriptivo": ninguna fórmula con la implicación analítica como relación principal vale universalmente si tiene una variable que aparezca en el consecuente pero no en el antecedente. La idea intuitiva, de inspiración kantiana, detrás de este principio es que, para que A implique lógicamente a B, B debe estar contenido en A.