Dicionário de Termos Linguísticos

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.