SYNTAX, SEMANTIC AND FORMALIZATION

This article addresses the following problem: which is the format and scope of a formal semantic theory adequate to the description and explanation of semantic phenomena present in natural languages ? The first section exposes the main principles for a semantics of natural languages, given the criticisms of Contextualism. The second section presents the main features of the research program proposed by P.M. Pietroski. Finally, it is presented a brief evaluation of this program in the light of the criteria presented in the previous sections. I argue that this program has considerable methodological virtues, because it adopts as explanandum substantial empirical generalizations, syntactic phenomena which must be explained. It is therefore a proposal that does not merely describe the intuitions of speakers and encode them in logical-mathematical notation. O presente artigo aborda o seguinte problema: qual o formato e o escopo de uma teoria semantica formal adequada à descri o e explica o dos fen menos semanticos presentes nas línguas naturais? A primeira se o exp e princípios fundamentais para uma semantica das línguas naturais, face às críticas do Contextualismo. A segunda se o exp e as principais características do programa de investiga o proposto por P.M. Pietroski. Por fim, é apresentada uma breve avalia o desse programa à luz dos critérios apresentados nas se es anteriores. Argumento que esse programa possui virtudes metodológicas consideráveis, pois adota como explanandum generaliza es empíricas substanciais, fen menos sintáticos que precisam ser explicados. Trata-se, portanto, de uma proposta que n o se limita a descrever as intui es dos falantes e codificá-las em nota o lógico-matemática.