Noam Chomsky
En su tesis doctoral comenzó a desarrollar algunas de sus ideas en lingüística, elaborándolas luego en su libro "Estructuras sintácticas", posiblemente su trabajo más conocido en este campo. Sus planteamientos lingüísticos han revolucionado muchos puntos clave del estudio del lenguaje humano, que se han plasmado en la teoría de la Gramática generativa transformacional.
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.