Cuerpo sistemático de concepto general sobre lo que se funda la ciencia del lenguaje. El problema con que se enfrenta es principalmente el origen y la naturaleza del lenguaje y la relación entre lenguaje y pensamiento. Con el racionalismo se intentó una gramática universal sobre supuesto lógico. Esta idea, reivindicada por la lingüística actual, se basa en la relación entre lo universal lingüístico y los universal lógico.