En esta se desarrolla una serie de problemas lógicos de significación, estudia la relación entre el signo lingüístico y la realidad. Las condiciones necesarias para que un signo pueda aplicarse a un objeto, y las reglas que aseguran una significación exacta.
En matemática se usan lenguajes formales o expresiones formales, cuyo significado es interpretable sobre conjuntos que cumplen ciertas propiedades abstractas recogidas en las expresiones formales.
La teoría de modelos incluye el concepto de interpretación de un conjunto de símbolos, en dichas interpretaciones los signos se refieren a elementos de un cierto conjunto preconstruido o conocido, la veracidad de una expresión bajo una determinada interpretación, depende de que el conjunto sobre el que se interpretan las expresiones satisfagan o no determinadas condiciones.
La teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos,grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.
Comentarios
Publicar un comentario