Semántica formal
DOI:
https://doi.org/10.5007/1984-8412.2020v17nespp4689Resumen
El propósito del texto es presentar un mecanismo descriptivo de estructuras semánticas, desarrollado en colaboración por lógicos, lingüistas y especialistas en procesamiento computacional de lenguas naturales, llamado algunas veces de semántica de modelos teóricos, que utiliza un metalenguaje de naturaleza lógica para describir las estructuras lingüísticas. Después de una introducción en la que se discute la naturaleza de los modelos analíticos en Lingüística y una sección en la que se discuten las características de un sistema formal, se busca la caracterización de la semántica formal desarrollada, en gran parte, con base en las obras de Richard Montague. Finalmente, se presentan algunos ejemplos, claramente simplificados, de los procedimientos formales utilizados por la semántica del modelo teórico.
Citas
AJDUKIEWICZ, K. Die syntaktische Konnexität. Studia Philosophica, n.1, p. 1-27, 1935.
APRESJAN, JU.D. Ideias e métodos da linguística estrutural contemporânea. Trad. Lucy Seki. São Paulo: Cultrix; Campinas: Fundação de Desenvolvimento da Unicamp, 1980.
BORGES NETO, J. Semântica de modelos. In: MÜLLER, A. et al. (org.). Semântica formal. São Paulo: Contexto, 2003, p. 9-46.
BORGES, J. L. Obras completas. v.1. Buenos Aires: Emecé editores, 1989.
CHOMSKY, N. Syntactic Structures. The Hague: Mouton, 1957.
FRANCHI, C. Hipóteses para uma teoria funcional da linguagem. 1976. Tese (Doutorado em Linguística) – Universidade Estadual de Campinas, Campinas,1976.
HEIM, I.; KRATZER, A. Semantics in generative grammar. Trad. Enid Abreu Dobranszky. Oxford: Blackwell, 1998.
HINTIKKA, M; HINTIKKA, J. Uma investigação sobre Wittgenstein. Campinas: Papirus, 1994.
KUSCH, M. Linguagem como cálculo vs. Linguagem como meio universal. Trad. Dankwart Bernsmüller. São Leopoldo: Editora da Universidade do Vale do Rio dos Sinos, 2001.
LAMBEK, J. The mathematics of sentence structure. American mathematical monthly 65, p. 154-170, 1958.
MONTAGUE, R. The proper treatment of quantification in ordinary English. In: HINTIKKA, J. et al. (ed). Approaches to natural language. New York: Springer, 1973. p. 221-242.
OLIVEIRA, R. P de. Formalismos na linguística: uma reflexão crítica. In: MUSSALIM, F.; BENTES, A. C. (org.). Introdução à linguística, v. 3 (fundamentos epistemológicos). São Paulo: Cortez, 2004. p. 219-250.
WITTGENSTEIN, L. Tractatus Logico-Philosophicus. Trad. José Arthur Giannotti. São Paulo: EDUSP e Companhia Editora Nacional, 1969.
