Resumo: Esta tese investiga como se configuram os sentidos da ideia de formalização na semântica de Oswald Ducrot. O corpus de análise é composto pelos artigos Linguística e formalização (Ducrot, 1989), sua versão original, publicada na década de 1960 sob o título Lógica e linguística (Ducrot, 1966), e uma segunda versão desse artigo publicada na década de 1970, também intitulada Lógica e linguística (Ducrot, 1973a). As análises se dão dentro do quadro teórico da história das ideias linguística em uma articulação com a semântica da enunciação (Guimarães 1995, 2002, entre outros) e a análise de discurso (Orlandi, 1988b, 1992, entre outros). Mais precisamente, mostro como os sentidos de formalização se constituem no corpus a partir do modo como a textualidade constrói argumentos e conclusões por predicações desenvolvidas pelos procedimentos de reescrituração e articulação (Guimarães, 2007, 2009). Historiadores e filósofos da linguagem tem posicionamentos distintos quanto ao modo de constituição das teorias linguísticas na segunda metade do século XX, período em que a semântica argumentativa de Ducrot e Anscombre se desenvolve. Enquanto Auroux (2009 [2012]) considera que se assistiu ao nascimento de uma linguística matemática, Ducrot (1993 [1999]) considera que se trabalhou no “ambiente gerativista”. Já Pêcheux e Gadet (1977 [2011]) veem uma contradição entre as vias do logicismo e sociologismo na constituição das teorias. Por outro lado, uma análise de estudos de semanticistas sobre a questão da formalização produzidos na segunda metade do século XX e no século XXI nos mostra que a ideia se fundamenta no modelo gerativista de formalização proposto por Chomsky (1957, 1975), o que coloca um problema de como tratar a hipótese de autonomia da sintaxe enquanto sinônimo de cientificidade de uma teoria linguística. Assumindo a perspectiva materialista de Pêcheux e Gadet (1977 [2011]) nos questionamos como os sentidos de formalização em Ducrot (1989, 1973a, 1966) inscrevem sua teoria na contradição entre logicismo e sociologismo ao mesmo tempo em que procuramos analisar se ela se fundamenta no modelo gerativista de formalização e como afeta a construção da metodologia da semântica argumentativa.

Palavras-chave: Ducrot, Oswald, 1930-; Semântica; Lógica; História; Linguística.