Ementa/Descrição: |
A TEORIA DOS MODELOS, EM SEU SENTIDO MAIS AMPLO, ESTUDA A INTERPRETAÇÃO DAS LINGUAGENS, SUA EXPRESSIVIDADE E LIMITES. ORIENTADA PARADIGMATICAMENTE PELA CONCEPÇÃO TARSKIANA DE VERDADE E PELA TEORIA DOS CONJUNTOS COMO METATEORIA DE FUNDO, ABORDA TEMAS QUE VÃO DESDE O DESENVOLVIMENTO DA NOÇÃO DE CONSEQÜÊNCIA LÓGICA, ATÉ ESTUDOS DE SEMÂNTICA DE LINGUAGENS NATURAIS. MAIS ESTRITAMENTE, A TEORIA DE MODELOS DESENVOLVEU-SE BASTANTE PARA AS LINGUAGENS DE PRIMEIRA-ORDEM, E CONFIGUROU-SE EM UMA PODEROSA FERRAMENTA PARA A COMPREENSÃO DAS POSSIBILIDADES E LIMITES DESTAS LINGUAGENS, DE SEUS SISTEMAS FORMAIS E TEORIAS. |