Formal semantics
Autor(a) principal: | |
---|---|
Data de Publicação: | 2020 |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Fórum Linguístico |
Texto Completo: | https://periodicos.ufsc.br/index.php/forum/article/view/1984-8412.2020v17nespp4689 |
Resumo: | 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. |
id |
UFSC-24_3eb968e145ab08bd1e415d622d5032ee |
---|---|
oai_identifier_str |
oai:periodicos.ufsc.br:article/72357 |
network_acronym_str |
UFSC-24 |
network_name_str |
Fórum Linguístico |
repository_id_str |
|
spelling |
Formal semanticsSemántica formalSemântica formalThe 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. 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.O 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.Programa de Pós-Graduação em Linguística - UFSC2020-06-23info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionavaliado por paresapplication/pdfhttps://periodicos.ufsc.br/index.php/forum/article/view/1984-8412.2020v17nespp468910.5007/1984-8412.2020v17nespp4689Fórum Linguístico; Vol. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora; 4689-4700Fórum Linguístico; Vol. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora; 4689-4700Fórum Linguístico; v. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora; 4689-47001984-84121415-8698reponame:Fórum Linguísticoinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCporhttps://periodicos.ufsc.br/index.php/forum/article/view/1984-8412.2020v17nespp4689/43681Copyright (c) 2020 Fórum Linguísticoinfo:eu-repo/semantics/openAccessBorges Neto, José2020-06-23T11:11:08Zoai:periodicos.ufsc.br:article/72357Revistahttps://periodicos.ufsc.br/index.php/forum/indexPUBhttps://periodicos.ufsc.br/index.php/forum/oaiportaldeperiodicos.bu@contato.ufsc.br || atilio.butturi@ufsc.br1984-84121984-8412opendoar:2023-01-12T16:40:39.641201Fórum Linguístico - Universidade Federal de Santa Catarina (UFSC)false |
dc.title.none.fl_str_mv |
Formal semantics Semántica formal Semântica formal |
title |
Formal semantics |
spellingShingle |
Formal semantics Borges Neto, José |
title_short |
Formal semantics |
title_full |
Formal semantics |
title_fullStr |
Formal semantics |
title_full_unstemmed |
Formal semantics |
title_sort |
Formal semantics |
author |
Borges Neto, José |
author_facet |
Borges Neto, José |
author_role |
author |
dc.contributor.author.fl_str_mv |
Borges Neto, José |
description |
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. |
publishDate |
2020 |
dc.date.none.fl_str_mv |
2020-06-23 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion avaliado por pares |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://periodicos.ufsc.br/index.php/forum/article/view/1984-8412.2020v17nespp4689 10.5007/1984-8412.2020v17nespp4689 |
url |
https://periodicos.ufsc.br/index.php/forum/article/view/1984-8412.2020v17nespp4689 |
identifier_str_mv |
10.5007/1984-8412.2020v17nespp4689 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://periodicos.ufsc.br/index.php/forum/article/view/1984-8412.2020v17nespp4689/43681 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2020 Fórum Linguístico info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2020 Fórum Linguístico |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Programa de Pós-Graduação em Linguística - UFSC |
publisher.none.fl_str_mv |
Programa de Pós-Graduação em Linguística - UFSC |
dc.source.none.fl_str_mv |
Fórum Linguístico; Vol. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora; 4689-4700 Fórum Linguístico; Vol. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora; 4689-4700 Fórum Linguístico; v. 17 (2020): Número Especial - Linguística Formal - Uma homenagem a Dermeval da Hora; 4689-4700 1984-8412 1415-8698 reponame:Fórum Linguístico instname:Universidade Federal de Santa Catarina (UFSC) instacron:UFSC |
instname_str |
Universidade Federal de Santa Catarina (UFSC) |
instacron_str |
UFSC |
institution |
UFSC |
reponame_str |
Fórum Linguístico |
collection |
Fórum Linguístico |
repository.name.fl_str_mv |
Fórum Linguístico - Universidade Federal de Santa Catarina (UFSC) |
repository.mail.fl_str_mv |
portaldeperiodicos.bu@contato.ufsc.br || atilio.butturi@ufsc.br |
_version_ |
1797051420548005888 |