Formal semantics

Semántica formal;
Semântica formal

dc.creatorBorges Neto, José
dc.date2020-06-23
dc.date.accessioned2022-12-14T12:51:48Z
dc.date.available2022-12-14T12:51:48Z
dc.identifierhttps://periodicos.ufsc.br/index.php/forum/article/view/1984-8412.2020v17nespp4689
dc.identifier10.5007/1984-8412.2020v17nespp4689
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/5345742
dc.descriptionThe 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.  en-US
dc.descriptionEl 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.es-ES
dc.descriptionO propósito do texto é a apresentação de um mecanismo descritivo de estruturas semânticas, desenvolvido em parceria por lógicos, linguistas e especialistas em processamento computacional de línguas naturais, denominado por vezes semântica de modelo teórico, que se serve de uma metalinguagem de natureza lógica para descrever as estruturas linguísticas. Depois de uma introdução em que se discute a natureza dos modelos analíticos na Linguística e de uma seção em que se discutem as características de um sistema formal, em geral, busca-se a caracterização da semântica formal desenvolvida, em boa parte, com base nos trabalhos de Richard Montague. Para finalizar, apresentam-se alguns exemplos, claramente simplificados, dos procedimentos formais de que faz uso a semântica de modelo teórico.pt-BR
dc.formatapplication/pdf
dc.languagepor
dc.publisherPrograma de Pós-Graduação em Linguística - UFSCpt-BR
dc.relationhttps://periodicos.ufsc.br/index.php/forum/article/view/1984-8412.2020v17nespp4689/43681
dc.rightsCopyright (c) 2020 Fórum Linguísticopt-BR
dc.sourceFórum Linguístico; Vol. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora; 4689-4700en-US
dc.sourceFórum Linguístico; Vol. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora; 4689-4700es-ES
dc.sourceFórum Linguístico; v. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora; 4689-4700pt-BR
dc.source1984-8412
dc.source1415-8698
dc.titleFormal semanticsen-US
dc.titleSemántica formales-ES
dc.titleSemântica formalpt-BR
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion
dc.typeavaliado por parespt-BR


Este ítem pertenece a la siguiente institución