Gramática generativa transformacional
Durante los años 60, Chomsky introdujo dos ideas centrales para la construcción y evaluación de teorías gramaticales. La primera era la distinción entre competencia y actuación lingüística. Chomsky se refiere a la evidencia de que las personas, cuando hablamos en la vida cotidiana, a menudo cometemos errores (por ejemplo, comenzar una oración y dejarla a medias). Estos errores en el uso lingüístico son irrelevantes para el estudio de la competencia lingüística, ya que la competencia es el conocimiento que permite al ser humano construir y entender oraciones.
Stanislaw Leśniewski
La contribución disciplinaria principal de Leśniewski, desarrollando la necesidad de un lenguaje formal inequívoco, fue la construcción de tres sistemas formales anidados, a los cuales les dio nombres derivados del Griego: Prototética, Ontología, y Mereología. ("Cálculo de proposiciones" puede reemplazar a "Prototética"; "Cálculo de nombres" es usado algunas veces en lugar de "Ontología"; y "Cálculo de individuos" suplantaría a "Mereología"): Concreción de sistemas gramáticos categoriales precisos, para la interpretación, adecuada y normativa, del lenguaje natural, y poder sobrepasarle al mismo sus ambigüedades.