Formal semantics

Authors

  • José Borges Neto Universidade Federal do Paraná Universidade do Oeste do Paraná

DOI:

https://doi.org/10.5007/1984-8412.2020v17nespp4689

Abstract

The purpose of this paper is to present the descriptive mechanism of semantic structures, developed in partnership by logicians, linguists and specialists in computational processing of natural languages, called sometimes model-theoretic semantics, which uses a logical metalanguage to describe linguistic structures. After an introduction in which the nature of analytical models in Linguistics is discussed and a section in which the characteristics of formal systems are discussed, the characterization of the formal semantics based on Richard Montague's works is presented. Finally, some clearly simplified examples of the formal procedures used by the model-theoretic semantics are presented.

 

 

Author Biography

José Borges Neto, Universidade Federal do Paraná Universidade do Oeste do Paraná

Professor titular, aposentado, do Departamento de Linguística e Literatura da UFPR. Professor sênior nos programas de pós-graduação em Letras da UFPR e da UNIOESTE.

 

References

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.

Downloads

Published

2020-06-23

Issue

Vol. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora

Section

Article

License

Rights including those in copyright in the content of the published works are owned by Revista Forum Linguistico. Complete or parcial reprint should be authorized by the Editorial Board of the Journal.  In case of authorization, the source of the original publication must be stated.