El término semántica está referido a los aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos, palabras, expresiones o representaciones formales.
La semántica, entonces, está vinculada al significado, sentido e
interpretación de palabras, expresiones o símbolos. Todos los medios de
expresión suponen una correspondencia entre las expresiones y
determinadas situaciones o cosas, ya sean del mundo material o
abstracto. En otras palabras, la realidad y los pensamientos pueden ser
descritos a través de las expresiones analizadas por la semántica.
La semántica puede estudiarse desde diferentes puntos de vista:
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.
Semántica lingüística
La lingüística es la disciplina donde originalmente se introdujo el concepto de semántica. La semántica lingüística es el estudio del significado de las palabras del lenguaje. La semántica lingüística contrasta con otros dos aspectos que intervienen en una expresión con significado: la sintaxis y la pragmática.
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 diccionarios.
Por otro lado, la pragmática se refiere a cómo las circunstancias y el contexto ayudan a decidir entre alternativas de uso o interpretación; gracias a la pragmática el lenguaje puede ser usado con fines humorísticos o irónicos. Además la pragmática reduce la ambigüedad de las expresiones, seleccionando sólo un conjunto adecuado de interpretaciones en un determinado contexto.
Semántica en matemáticas y lógica
La lógica de predicados de primer orden es el tipo de sistema lógico-matemático más sencillo donde aparece el concepto de interpretación semántica. Dicha lógica está formada por:
Un conjunto de signos (conectivas, paréntesis, cuantificadores,…).
Un conjunto de variables y constantes.
Un conjunto de predicados sobre las variables.
Un conjunto de reglas de buena formación de expresiones a partir de expresiones sencillas.
En 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.
En lógica matemática se suelen dividir los axiomas en dos tipos:
Axiomas lógicos, que definen básicamente las reglas de deducción y están formados por tautologías. Básicamente son válidos para cualquier tipo de sistema formal razonable.
Axiomas matemáticos, que aseveran la existencia de cierto tipo de conjuntos y objetos con verdadero contenido semántico. Gracias a ello es posible introducir conceptos nuevos y probar las relaciones entre ellos.
Así, si se tiene un conjunto de axiomas que define la teoría de grupos, cualquier grupo matemático es un modelo en el que las proposiciones y axiomas de dicha teoría reciben interpretación y resultan en proposiciones ciertas sobre ese modelo.
Semántica en ciencias cognitivas
La semántica en ciencias cognitivas tiene que ver con la combinación de signos y la manera en que la mente atribuye relaciones permanentes entre estas combinaciones de signos y otros hechos no relacionados por naturaleza con estos símbolos. También es muy especial, ya que es la manera de introducir significados dados de uno mismo. Por ejemplo la noción que existe de silla en la que la misma tiene 4 patas, respaldo, etc. Las hay de más o menos patas pero se trata de deslizamiento de sentidos, que se construye en la mente a partir del caso central o prototipo.