Semântica Formal Aplicada a Linguagens Naturais

A dissertação tem por finalidade avaliar a possibilidade de aplicação dos métodos da semântica formal ao estudo das línguas naturais. Esses métodos de análise foram, originalmente, desenvolvidos para o estudo de linguagens formalizadas, tais como a linguagem do cálculo de predicados de primeira ordem. Com vistas a realizar a avaliação mencionada, dois programas de aplicação da semântica formal a línguas naturais foram considerados: o programa do lógico e matemático norte-americano R. Montague, e o programa do filósofo também norte-americano D. Davidson. O estudo de tais programas foi realizado tendo em vista as principais objeções contra projetos como os analizados, que foram formuladas por A. Tarski, um dos pais da semântica formal. Para Tarski, de fato, não é possível aplicar métodos formais de análise semântica a linguagens que não possuem estrutura sintática exatamente especificada, e que sejam semanticamente fechadas (isto é, linguagens com meios de autoreferência, e que possuem predicados semânticos referentes a si mesmas), como é o caso das línguas naturais. A conclusão a qual a avaliação conduz é positiva. Depois de se considerar uma série de dificuldades que programas como os estudados devem enfrentar - algumas das quais bastante intricadas - conclui-se que não há qualquer impedimento de princípio no que se refere à exiqüibilidade de tais programas.