Desde la década de los setenta, cuando Richard montague, publicó sus trabajos sobre como la lógica formal puede ser usada para describir una lengua natural, la polémicas ha desatado con partidiarios a favor y en contra, además de perspectivas conciliadoras. aun cunado no hay acuerdos en cuanto a la preeminencia de una teoría sobre otra, la riqueza de interrelación entre distintas disciplinas del conocimiento se ha manifestado en innovaciones en los campos de la lógica, la lingüística y el desarrollo de los programas para computadoras, lo cual representa un considerable beneficio para el desarrollo humano