La genèse de l'analyse des transformations et de la métalangue

L'entreprise a commence comme une tentative pour organiser les analyses faites en linguistique descriptive et pour specifier et formuler ses methodes. Les etapes les plus anciennes sont nees de ce travail de specification. Ce dernier a ete en grande partie influence par les reflexions sur les fondements des mathematiques et de la logique et l'analyse des formalismes. Ces problemes etaient pertinents pour l'analyse du langage parce que tous ces systemes utilisaient des phrases, propositions, formules avec une structure (syntaxe) partiellement similaire. Plus precisement, il y avait le constructivisme, bien introduit alors, avec les critiques des intuitionistes en mathematique (L. E. J. Brouwer), avec la theorie des types de Russel, avec le travail d'Emil Post et avec les procedures de la machine de Turing. Plus tard, j'ai considere que j'avais un appui philosophique dans l'approche constructive (nominaliste) de The Structures of Appearance de Nelson Goodman. En revenant aux premieres influences, il y avait aussi le developpement des methodes recursives par Godei, Tarski et d'autres, egalement les articles « Sentential Calculus » de J. Lukasiewicz et « Categorial grammar » de Lesniewski et egalement la syntaxe de la logique de W. V. O. Quine dans Mathematical Logic (1940). En linguistique, le succes de l'analyse phonemique de Saussure avait montre l'utilite des alternances libres ou complementaires comme base pour definir davantage de categories non restreintes, definies comme ayant differentes valeurs alternatives.