Den amerikanske filosofen Saul Kripke benyttet setningen til å demonstrere at kunnskap om noe er nødvendigvis (i dette tilfellet identiteten av Hesperos og Fosforos) kan være empirisk framfor .