Una de las derivaciones del pensamiento cartesiano es lo que se ha venido en llamar "lingüística cartesiana", paradigmáticamente representada en sus inicios por la gramática de Port-Royal. Ya a mediados de nuestro siglo, el pensamiento cartesiano sobre el lenguaje cristaliza en la concepción de Chomsky, que, entre otras cosas, concibe la gramática, y más concretamente la sintaxis, como teoría matemática de la estructura de la frase que se ocupa de caracterizar sistemas de generación. Asumiendo esa visión y el contexto mentalista del pensamiento cartesiano, Chomsky elabora su conocida jerarquía de lenguajes, que significó un hito fundamental en la investigación de las propiedades matemáticas de la sintaxis de las lenguas naturales y que constituye todavía hoy una referencia imprescindible en el análisis formal de las lenguas naturales. En sus primeros trabajos, Chomsky aúna mentalismo y matemáticas. Hoy, sin embargo, las cosas son bien distintas, porque la investigación matemática de la sintaxis de las lenguas naturales o de los lenguajes de programación ha conseguido adquirir un estatuto científico independiente dentro del marco de las ciencias de la computación
