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 formal

Classificação:Semântica
Equivalentes:
Inglês:formal semantics
Francês:semantique formelle
Termos Relacionados:semântica

Definição:

A semntica na tradio da semntica formal tem as suas razes na lgica e na teoria dos modelos. A semntica formal vericondicional mas podem fazer-se diferentes escolhas tericas. Se se admitir que a significao tem algo a ver com as condies de verdade pode usar-se uma linguagem extensional (lgica de predicados de primeira ordem) ou recorrer-se a uma linguagem intensional em que se admitem operadores no verifuncionais. Neste caso pode-se optar por modelos globais ou parciais. Considerando modelos globais faz-se a interpretao indirectamente (via traduo na lgica intensional) ou directamente sem passar pela traduo.No caso dos modelos parciais, pode-se optar por representaes mentais, ou considerar que nos fornecido um mapa da realidade.
Volume II

Fonte: NEF (1988).


Pesquisa Dicionário:
ILTEC