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 de mundos possíveis

Classificação:Semântica
Equivalentes:
Inglês:possible-world semantics
Francês:semantique des mondes possibles
Termos Relacionados:semântica
semântica formal
semântica intensional

Definição:

Trata-se de um sistema de lgica construdo na base da teoria dos modelos e desenvolvido paralelamente por Kripke e por Hintikka. Assim, para o primeiro, a estrutura do modelo M um triplo ordenado (G,K,R) em que K o conjunto de todos os mundos possveis, G o mundo "real" e R uma relao entre os membros de K. Em qualquer dos sistemas, um modelo uma funo binria de frases atmicas e dos vrios mundos possveis para valores de verdade. A relao R uma relao de acessibilidade representando quais os mundos que podem ser alcanados a partir de um mundo possvel no modelo. Trata-se de um sistema aparentado com outros de lgica intensional em que a noo de valor de verdade de uma frmula relativa a um ndice.
Volume II


Pesquisa Dicionário:
ILTEC