DEFINIR LOS ENUNCIADOS SEMANTICOS

El término semántica se refiere a los aspectos del significado, sentido o interpretación del significado de un determinado elemento, símbolo, palabra, lenguaje o representación formal. En principio cualquier medio de expresión (lenguaje formal o natural) admite una correspondencia entre expresiones de símbolos o palabras y situaciones o conjuntos de cosas que se encuentran en el mundo físico o abstracto que puede ser descrito por dicho medio de expresión.La semántica puede estudiarse desde diferentes perspectivas:Semántica lingüística, trata de la codificación y decodificación de los contenidos semánticos en las estructuras lingüísticas.Semántica lógica, 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.Semántica en ciencias cognitivas, intenta explicar por qué nos comunicamos, y cuál es el mecanismo psíquico que se establece entre hablante y oyente durante este proceso.La semántica es el estudio del significado atribuible a expresiones sintácticamente bien formadas. La sintaxis estudia sólo las reglas y principios sobre cómo construir expresiones interpretables semánticamente a partir de expresiones más simples, pero en sí misma no permite atribuir significados. La semántica examina el modo en que los significados se atribuían a las palabras, sus modificaciones a través del tiempo y aún sus cambios por nuevos significados. La lexicografía es otra parte de la semántica que trata de describir el significado de las palabras de un idioma en un momento dado, y suele exhibir su resultado en la confección de diccionariosEn la lógica de primer orden el conjunto de variables y constantes juega un papel similar al lexicón de las lenguas naturales, ya que bajo una interpretación semántica son los elementos que admiten referentes. A su vez, el conjunto de reglas de buena formación de expresiones hace el papel de la sintaxis en las lenguas naturales. Para interpretar semánticamente las expresiones formales de un sistema lógico de primer orden necesitamos definir un modelo o conjunto estructurado sobre el que interpretar los enunciados formales del sistema lógico. Un modelo de acuerdo con la teoría de modelos es un conjunto con cierta estructura junto con una regla de interpretación que permite asignar a cada variable o constante un elemento del conjunto y cada predicado en el que intervienen un conjunto de variables puede ser juzgado como cierto o falso sobre el conjunto en el que se interpretan las proposiciones del sistema lógico formal.