Lenguaje Semantico

La 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.
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 yoyente 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 expresiones 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 delsignificado 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 suscambios 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 ellenguaje 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. Dichalógica está formada por:
1. Un conjunto de signos (conectivas, paréntesis, cuantificadores,...).
2. Un conjunto de variables y constantes.
3. Un conjunto de predicados sobre las variables.
4. 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ónde 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 queinterpretar 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 lasproposiciones 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...