Semántica

Semántica (del griego antiguo: σημαντικός sēmantikós, "significativo") es el estudio de referencia, significado, o la verdad. El término puede ser usado para referirse a los subcampos de varias disciplinas distintas, incluyendo la filosofía, la lingüística y la informática.

Lingüística

En lingüística, la semántica es el subcampo que estudia el significado. La semántica puede abordar el significado en los niveles de palabras, frases, oraciones o unidades de discurso más grandes. Dos de los temas fundamentales en el campo de la semántica son la semántica composicional (que se refiere a cómo las partes más pequeñas, como las palabras, se combinan e interactúan para formar el significado de expresiones más grandes, como las oraciones) y la semántica léxica (la naturaleza del significado de palabras). Otros temas destacados son los del contexto y su papel en la interpretación, los contextos opacos, la ambigüedad, la vaguedad, la vinculación y las presuposiciones.

Varias disciplinas y enfoques han contribuido al campo a menudo polémico de la semántica. Una de las cuestiones cruciales que une los diferentes enfoques de la semántica lingüística es la de la relación entre forma y significado, y algunas de las principales contribuciones al estudio de la semántica se han derivado de los estudios realizados en las décadas de 1980 y 1990 sobre temas relacionados con la interfaz sintaxis-semántica y pragmática.

El nivel semántico del lenguaje interactúa con otros módulos o niveles (como la sintaxis) en qué idioma se divide tradicionalmente. En la lingüística, es típico para hablar en términos de "interfaces" con respecto a este tipo de interacciones entre módulos o niveles. Para la semántica, las interfaces más importantes se consideran los que tienen la sintaxis (la interfaz sintaxis-semántica), la pragmática y fonología (con respecto a la prosodia y entonación).

Disciplinas y paradigmas en la semántica lingüística

Semántica formal

La semántica formal busca identificar las operaciones mentales específicas del dominio que realizan los hablantes cuando calculan el significado de una oración sobre la base de su estructura sintáctica. Las teorías de la semántica formal suelen flotar sobre las teorías de la sintaxis, como la sintaxis generativa o la gramática categorial combinatoria, y proporcionan una teoría modelo basada en herramientas matemáticas como los cálculos lambda tipificados. ideas centrales del campo tienen su origen en la lógica filosófica principios del siglo XX, así como ideas posteriores sobre la sintaxis lingüística. Surgió como su propio subcampo en la década de 1970 después de que el trabajo pionero de Richard Montague y Barbara Partee y sigue siendo un área activa de investigación.

Semántica conceptual

Esta teoría es un esfuerzo por explicar las propiedades de la estructura del argumento. La suposición detrás de esta teoría es que las propiedades sintácticas de las frases reflejan los significados de las palabras que las encabezan. Con esta teoría, los lingüistas pueden lidiar mejor con el hecho de que las diferencias sutiles en el significado de las palabras se correlacionan con otras diferencias en la estructura sintáctica en la que aparece la palabra. La forma en que se hace esto es observando la estructura interna de las palabras. Estas pequeñas partes que componen la estructura interna de las palabras se denominan primitivas semánticas.

Semántica cognitiva

La semántica cognitiva aborda el significado desde la perspectiva de la lingüística cognitiva. En este marco, el lenguaje se explica a través de las habilidades cognitivas humanas generales en lugar de un módulo de lenguaje específico del dominio. Las técnicas nativas de la semántica cognitiva se utilizan típicamente en estudios léxicos como los propuestos por Leonard Talmy, George Lakoff, Dirk Geeraerts y Bruce Wayne Hawkins. Algunos marcos semánticos cognitivos, como el desarrollado por Talmy, también tienen en cuenta las estructuras sintácticas.

Semántica léxica

Una teoría lingüística que investiga el significado de palabras. Esta teoría entiende que el significado de una palabra se refleja plenamente por su contexto. Aquí, el significado de una palabra está constituido por sus relaciones contextuales. Por lo tanto, se hace una distinción entre grados de participación, así como los modos de participación. Para lograr esta distinción, cualquier parte de una frase que tiene un significado y se combina con los significados de otros constituyentes se etiqueta como componente semántico. Componentes semánticos que no pueden descomponerse en constituyentes más elementales están etiquetados componentes semánticos mínimos.

Semántica interculturales

Varios campos o disciplinas han contribuido durante mucho tiempo a la semántica intercultural. ¿Son palabras como amor, verdad y odio universales? ¿Es incluso la palabra sentido, tan central para la semántica, un concepto universal o arraigado en una tradición de larga data pero específica de la cultura?Estas son el tipo de preguntas cruciales que se discuten en la semántica transcultural. La teoría de la traducción, la etnolingüística, la antropología lingüística y la lingüística cultural se especializan en el campo de comparar, contrastar y traducir palabras, términos y significados de un idioma a otro (ver Herder, W. von Humboldt, Boas, Sapir y Whorf). La filosofía, la sociología y la antropología tienen tradiciones establecidas desde hace mucho tiempo al contrastar los diferentes matices de los términos y conceptos que usamos. Las enciclopedias en línea como la Enciclopedia de Filosofía de Stanford y la propia Wikipedia han facilitado en gran medida las posibilidades de comparar los antecedentes y los usos de términos culturales clave. En los últimos años, la cuestión de si los términos clave son traducibles o intraducibles ha pasado cada vez más al primer plano de los debates mundiales,Diccionario de intraducibles: un léxico filosófico, en 2014.

Semántica computacional

La semántica computacional se centra en el procesamiento del significado lingüístico. Para ello, se describen algoritmos y arquitecturas concretas. Dentro de este marco, los algoritmos y arquitecturas también se analizan en términos de decidibilidad, complejidad de tiempo/espacio, estructuras de datos que requieren y protocolos de comunicación.

Filosofía

Muchos de los enfoques formales de la semántica en la lógica matemática y la informática se originaron en la filosofía del lenguaje y la lógica filosófica de principios del siglo XX. Inicialmente, la teoría semántica más influyente surgió de Gottlob Frege y Bertrand Russell. Frege y Russell son vistos como los creadores de una tradición en la filosofía analítica para explicar el significado compositivamente a través de la sintaxis y la funcionalidad matemática. Ludwig Wittgenstein, antiguo alumno de Russell, también es visto como una de las figuras seminales de la tradición analítica. Estos tres primeros filósofos del lenguaje estaban interesados ​​en cómo las oraciones expresaban información en forma de proposiciones. También se ocuparon de los valores de verdad o condiciones de verdad que tiene una determinada oración en virtud de la proposición que expresa.

En la filosofía actual, el término "semántica" se usa a menudo para referirse a la semántica formal lingüística, que une tanto la lingüística como la filosofía. También existe una tradición activa de metasemántica, que estudia los fundamentos de la semántica del lenguaje natural.

Ciencias de la Computación

En informática, el término semántica se refiere al significado de las construcciones del lenguaje, en oposición a su forma (sintaxis). De acuerdo con Euzenat, la semántica "proporciona las reglas para la interpretación de la sintaxis que no proporcionan el significado directamente, sino que restringe las posibles interpretaciones de lo que se declara".

Lenguajes de programación

La semántica de los lenguajes de programación y otros lenguajes es un tema importante y un área de estudio en informática. Al igual que la sintaxis de un lenguaje, su semántica se puede definir con exactitud.

Por ejemplo, las siguientes sentencias utilizan sintaxis diferentes, pero hacen que se ejecuten las mismas instrucciones, es decir, realizar una suma aritmética de 'y' a 'x' y almacenar el resultado en una variable llamada 'x':

Declaración	Lenguajes de programación
x += y	C, C++, C#, Java, JavaScript, Python, Ruby, etc.
$x += $y	Perl, PHP
x:= x + y	Ada, ALGOL, ALGOL 68, BCPL, Dylan, Eiffel, J, Modula-2, Oberon, OCaml, Object Pascal (Delphi), Pascal, SETL, Simula, Smalltalk, Standard ML, VHDL, etc.
MOV EAX,[y] ADD [x],EAX	Lenguajes ensambladores: Intel 8086
ldr r2, [y] ldr r3, [x] add r3, r3, r2 str r3, [x]	Lenguajes ensambladores: ARM
LET X = X + Y	BÁSICO: temprano
x = x + y	BÁSICO: la mayoría de los dialectos; Fortran, MATLAB, Lua
Set x = x + y	Caché ObjectScript
ADD Y TO X.	ABAP
ADD Y TO X GIVING X	COBOL
set /a x=%x%+%y%	Lote
(incf x y)	ceceo común
/x y x add def	Posdata
y @ x +!	Adelante

Se han desarrollado varias formas de describir formalmente la semántica de los lenguajes de programación, basándose en la lógica matemática:

• Semántica operativa: el significado de una construcción se especifica mediante el cálculo que induce cuando se ejecuta en una máquina. En particular, es de interés cómo se produce el efecto de un cálculo.
• Semántica denotacional: Los significados son modelados por objetos matemáticos que representan el efecto de ejecutar las construcciones. Por lo tanto, solo interesa el efecto, no cómo se obtiene.
• Semántica axiomática: las propiedades específicas del efecto de ejecutar las construcciones se expresan como aserciones. Por lo tanto, puede haber aspectos de las ejecuciones que se ignoren.

Modelos semánticos

La Web Semántica se refiere a la extensión de la World Wide Web a través de la incorporación de metadatos semánticos agregados, utilizando técnicas de modelado de datos semánticos como Resource Description Framework (RDF) y Web Ontology Language (OWL). En la Web Semántica, términos como red semántica y modelo de datos semánticos se utilizan para describir tipos particulares de modelos de datos caracterizados por el uso de gráficos dirigidos en los que los vértices denotan conceptos o entidades en el mundo y sus propiedades, y los arcos denotan relaciones. entre ellos. Estos pueden describirse formalmente como conceptos y roles de lógica de descripción, que corresponden a las clases y propiedades de OWL.

Psicología

Memoria semántica

En psicología, la memoria semántica es memoria para el significado, en otras palabras, el aspecto de la memoria que conserva solo la esencia., el significado general de la experiencia recordada, mientras que la memoria episódica es la memoria de los detalles efímeros, las características individuales o los detalles únicos de la experiencia. El término "memoria episódica" fue introducido por Tulving y Schacter en el contexto de la "memoria declarativa", que implicaba la simple asociación de información fáctica u objetiva sobre su objeto. El significado de las palabras se mide por la compañía que mantienen, es decir, las relaciones entre las propias palabras en una red semántica. Los recuerdos pueden transferirse entre generaciones o aislarse en una generación debido a una alteración cultural. Diferentes generaciones pueden tener diferentes experiencias en puntos similares en sus propias líneas de tiempo. Esto puede crear una red semántica verticalmente heterogénea para ciertas palabras en una cultura por lo demás homogénea.En una red creada por personas que analizan su comprensión de la palabra (como Wordnet), los enlaces y las estructuras de descomposición de la red son pocos en número y tipo, e incluyen parte de, tipo de y enlaces similares. En ontologías automatizadas, los enlaces son vectores calculados sin significado explícito. Se están desarrollando varias tecnologías automatizadas para calcular el significado de las palabras: indexación semántica latente y máquinas de vectores de soporte, así como procesamiento de lenguaje natural, redes neuronales artificiales y técnicas de cálculo de predicados.

Ideastesia

La ideastesia es un fenómeno psicológico en el que la activación de conceptos evoca experiencias sensoriales. Por ejemplo, en la sinestesia, la activación de un concepto de letra (p. ej., el de la letra A) evoca experiencias de tipo sensorial (p. ej., de color rojo).

Psicosemántica

En la década de 1960, los estudios psychosemantic se hizo popular después de los estudios transculturales masivas de Charles E. Osgood utilizando su método diferencial semántico (SD) que miles de nombres usados y escalas bipolares adjetivo. Una forma específica de la SD, proyectivas Semántica métodoutiliza sólo la mayoría de los nombres comunes y neutros que corresponden a los 7 grupos (factores) de adjetivo-escalas se encuentran más consistentemente en estudios transculturales (evaluación, la potencia, actividad tal como se encuentra por Osgood, y la realidad, Organización, Complejidad, Limitación como se encuentran en otros estudios). En este método, siete grupos de escalas adjetivo bipolares correspondían a siete tipos de sustantivos por lo que el método se cree que tienen la simetría objeto escala (OSS) entre las escalas y sustantivos para evaluación utilizando estas escalas. Por ejemplo, los nombres correspondientes a los enumerados 7 factores serían: belleza, poder, movimiento, vida, trabajo, Caos, Derecho. Se esperaba que la belleza de ser evaluado de manera inequívoca como "muy buena" en los adjetivos de las escalas relacionadas con la evaluación, la vida como "muy real" en las escalas de Realidad-relacionada, etc. Sin embargo, las desviaciones en esta matriz simétrica y muy básica pueden mostrar sesgos subyacentes de dos tipos: sesgos relacionados con las escalas y sesgos relacionados con los objetos. Este diseño de OSS pretendía aumentar la sensibilidad del método SD a cualquier sesgo semántico en las respuestas de personas dentro de la misma cultura y nivel educativo.

Teoría del prototipo

Otro conjunto de conceptos relacionados con la falta de claridad en la semántica se basa en prototipos. El trabajo de Eleanor Rosch en la década de 1970 condujo a una opinión de que las categorías no son naturales caracterizarse en términos de condiciones necesarias y suficientes, pero se clasifican (difusa en sus límites) e inconsistente en cuanto a la situación de sus miembros constituyentes. Uno puede comparar con el arquetipo de Jung, aunque el concepto de arquetipo a palos concepto estático. Algunos postestructuralistas están en contra del sentido fija o estática de las palabras. Derrida, siguiendo a Nietzsche, habló sobre desviaciones en significados fijos.

Los sistemas de categorías no existen objetivamente en el mundo, sino que están enraizados en la experiencia de las personas. Estas categorías evolucionan como conceptos aprendidos del mundo: el significado no es una verdad objetiva, sino una construcción subjetiva, aprendida de la experiencia, y el lenguaje surge de la "base de nuestros sistemas conceptuales en la encarnación compartida y la experiencia corporal". Un corolario de esto es que las categorías conceptuales (es decir, el léxico) no serán idénticas para diferentes culturas o, de hecho, para cada individuo en la misma cultura. Esto lleva a otro debate (ver la hipótesis de Sapir-Whorf o las palabras esquimales para nieve).