The purpose of this paper is to present the descriptive mechanism of semantic structures, developed in partnership by logicians, linguists and specialists in computational processing of natural languages, called sometimes model-theoretic semantics, which uses a logical metalanguage to describe linguistic structures. After an introduction in which the nature of analytical models in Linguistics is discussed and a section in which the characteristics of formal systems are discussed, the characterization of the formal semantics based on Richard Montague's works is presented. Finally, some clearly simplified examples of the formal procedures used by the model-theoretic semantics are presented.  El propósito del texto es presentar un mecanismo descriptivo de estructuras semánticas, desarrollado en colaboración por lógicos, lingüistas y especialistas en procesamiento computacional de lenguas naturales, llamado algunas veces de semántica de modelos teóricos, que utiliza un metalenguaje de naturaleza lógica para describir las estructuras lingüísticas. Después de una introducción en la que se discute la naturaleza de los modelos analíticos en Lingüística y una sección en la que se discuten las características de un sistema formal, se busca la caracterización de la semántica formal desarrollada, en gran parte, con base en las obras de Richard Montague. Finalmente, se presentan algunos ejemplos, claramente simplificados, de los procedimientos formales utilizados por la semántica del modelo teórico.O propósito do texto é a apresentação de um mecanismo descritivo de estruturas semânticas, desenvolvido em parceria por lógicos, linguistas e especialistas em processamento computacional de línguas naturais, denominado por vezes semântica de modelo teórico, que se serve de uma metalinguagem de natureza lógica para descrever as estruturas linguísticas. Depois de uma introdução em que se discute a natureza dos modelos analíticos na Linguística e de uma seção em que se discutem as características de um sistema formal, em geral, busca-se a caracterização da semântica formal desenvolvida, em boa parte, com base nos trabalhos de Richard Montague. Para finalizar, apresentam-se alguns exemplos, claramente simplificados, dos procedimentos formais de que faz uso a semântica de modelo teórico.