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 interpretaes dos sistemas formais. Assim, encontrar um modelo para uma teoria requer que se encontre um domnio estruturado (abstracto ou concreto) e uma interpretao para todas as expresses primitivas da teoria nesse domnio, tal que, nessa interpretao, todas as proposies na teoria so verdadeiras para esse modelo nessa interpretao. Assim,a semntica que se baseia em teoria de modelos uma tentativa de aplicar ao domnio das lnguas a concepo geral e tendo em conta que so estudados com apoio de sistemas formais.
Volume II

Fonte: PARTEE et alii (1990).


Pesquisa Dicionário:
ILTEC