Pesquisa avançada
O Portal da Língua Portuguesa é um repositório organizado de recursos linguísticos. Pretende ser orientado tanto para o público em geral como para a comunidade científica, servindo de apoio a quem trabalha com a língua portuguesa e a todos os que têm interesse ou dúvidas sobre o seu funcionamento. Todo o conteúdo do Portal é de livre acesso e está em constante desenvolvimento.  ler mais

Dicionário de Termos Linguísticos

voltar ao índice

semântica da teoria dos modelos

Classificação:Semântica
Equivalentes:
Inglês:model-theoretic semantics
Termos Relacionados:semântica
semântica formal

Definição:

A teoria dos modelos é o estudo das interpretações dos sistemas formais. Assim, encontrar um modelo para uma teoria requer que se encontre um domínio estruturado (abstracto ou concreto) e uma interpretação para todas as expressões primitivas da teoria nesse domínio, tal que, nessa interpretação, todas as proposições na teoria são verdadeiras para esse modelo nessa interpretação. Assim,a semântica que se baseia em teoria de modelos é uma tentativa de aplicar ao domínio das línguas a concepção geral e tendo em conta que são estudados com apoio de sistemas formais.
Volume II

Fonte: PARTEE et alii (1990).


Pesquisa Dicionário:
ILTEC