Dicionário de Termos Linguísticos

A semântica na tradição da semântica formal tem as suas raízes na lógica e na teoria dos modelos. A semântica formal é vericondicional mas podem fazer-se diferentes escolhas teóricas. Se se admitir que a significação tem algo a ver com as condições de verdade pode usar-se uma linguagem extensional (lógica de predicados de primeira ordem) ou recorrer-se a uma linguagem intensional em que se admitem operadores não verifuncionais. Neste caso pode-se optar por modelos globais ou parciais. Considerando modelos globais faz-se a interpretação indirectamente (via tradução na lógica intensional) ou directamente sem passar pela tradução.No caso dos modelos parciais, pode-se optar por representações mentais, ou considerar que nos é fornecido um mapa da realidade.