O segundo parágrafo do Memorando de 1973 de Plotkin sobre definibilidade lambda e relações lógicas diz o seguinte:
"A definição de [relação] lógica é derivada de uma correspondente de M. Gordon para o λ-cálculo digitado."
Isso não diz explicitamente que o termo foi cunhado por Gordon. Mas, dado que o memorando é intitulado "definibilidade lambda e relações lógicas" como se "relação lógica" fosse uma idéia já conhecida, e o segundo parágrafo diz "construa certas relações ditas , lógicas", acho muito provável que Gordon cunhou o termo e Plotkin o usou daí. (Plotkin me confirmou que tudo o que ele escreveu no memorando está correto.)
Gordon é creditado novamente no topo da p. 12,
"O Sr. Gordon propôs, como um possível remédio, que as relações ... fossem estendidas - não apenas permutações".
A versão publicada do artigo ("definibilidade lambda na hierarquia completa de tipos" em To HB Curry: Ensaios sobre lógica combinatória, cálculo lambda e formalismo ) tem essa observação. Ele também possui uma observação que poderia ser interpretada como uma explicação do termo "relação lógica":
Devido à natureza "lógico" das elementos -definable, eles devem ser invariante sob permutações de D .λD
Na minha opinião, esta é uma explicação extremamente satisfatória de por que as relações lógicas são "lógicas". O cálculo do Lambda é lógico e, portanto, as funções definidas com ele serão uniformes em relação aos tipos de base. Eles não podem "ver" as permutações que podemos fazer com os valores dos tipos de base. Visto dessa maneira, o que Gordon e Plotkin queriam dizer com "lógico" é essencialmente o mesmo que Reynolds chama de "paramétrico".
No entanto, o termo "relação lógica" não aparece na versão publicada do artigo. É possível que os árbitros tenham contestado que o termo seja confuso e Plotkin tenha decidido melhor evitar o termo. Mas Statman voltou à antiga terminologia e o termo voltou à linguagem popular.