Semántica

La semántica estudia el significado en el lenguaje, que se limita al significado de las expresiones lingüísticas. Se ocupa de cómo se interpretan los signos y qué información contienen. Un ejemplo es el significado de las palabras que se proporciona en las definiciones de diccionario mediante expresiones sinónimas o paráfrasis, como definir el significado del término carnero como oveja macho adulta . ^{[ 22 ]} Existen muchas formas de significado no lingüístico que no son examinadas por la semántica. Las acciones y las políticas pueden tener significado en relación con el objetivo que persiguen. Campos como la religión y la espiritualidad se interesan por el sentido de la vida , que se refiere a encontrar un propósito en la vida o el significado de la existencia en general. ^{[ 23 ]}

El significado lingüístico puede analizarse en diferentes niveles. El significado de las palabras se estudia mediante la semántica léxica e investiga la denotación de las palabras individuales. A menudo se relaciona con conceptos de entidades, como la palabra " perro" se asocia con el concepto de animal doméstico de cuatro patas. El significado de la oración pertenece al campo de la semántica sintagmática y se refiere a la denotación de oraciones completas. Generalmente expresa un concepto que se aplica a un tipo de situación, como en la oración "el perro ha arruinado mi falda azul". ^{[ 24 ]} El significado de una oración se suele denominar proposición . ^{[ 25 ]} Diferentes oraciones pueden expresar la misma proposición, como la oración en inglés "el árbol es verde" y la oración en alemán "der Baum ist grün" . ^{[ 26 ]} El significado de la enunciación se estudia mediante la pragmática y se refiere al significado de una expresión en una ocasión particular. El significado de la oración y el significado de la enunciación se diferencian en los casos en que las expresiones se utilizan de forma no literal, como suele ocurrir con la ironía . ^{[ 27 ]}

La semántica se interesa principalmente en el significado público que tienen las expresiones, como el significado que se encuentra en las definiciones generales de los diccionarios. El significado del hablante, por el contrario, es el significado privado o subjetivo que los individuos asocian con las expresiones. Puede diferir del significado literal, como cuando una persona asocia la palabra aguja con dolor o drogas. ^{[ 28 ]}

El significado se analiza a menudo en términos de sentido y referencia , ^{[ 30 ]} también denominados intensión y extensión o connotación y denotación . ^{[ 31 ]} El referente de una expresión es el objeto al que apunta. El sentido de una expresión es la forma en que se refiere a ese objeto o cómo se interpreta. Por ejemplo, las expresiones « estrella de la mañana» y «estrella de la tarde» se refieren al mismo planeta, al igual que las expresiones «2 + 2» y «3 + 1» se refieren al mismo número. Los significados de estas expresiones difieren no en el nivel de referencia, sino en el nivel de sentido. ^{[ 32 ]} El sentido se entiende a veces como un fenómeno mental que ayuda a las personas a identificar los objetos a los que se refiere una expresión. ^{[ 33 ]} Algunos semánticos se centran principalmente en el sentido o principalmente en la referencia en su análisis del significado. ^{[ 34 ]} Para comprender el significado completo de una expresión, suele ser necesario entender tanto a qué entidades del mundo se refiere como cómo las describe. ^{[ 35 ]}

La distinción entre sentido y referencia puede explicar las proposiciones de identidad , que se utilizan para mostrar cómo dos expresiones con un sentido diferente tienen el mismo referente. Por ejemplo, la oración «la estrella de la mañana es la estrella de la tarde» es informativa y permite aprender algo. La oración «la estrella de la mañana es la estrella de la mañana», en cambio, es una tautología no informativa, ya que las expresiones son idénticas no solo en el nivel de referencia, sino también en el nivel de sentido. ^{[ 36 ]}

La composicionalidad es un aspecto clave de cómo las lenguas construyen significado. Se trata de la idea de que el significado de una expresión compleja es función de los significados de sus partes. Es posible comprender el significado de la oración "Zuzana posee un perro" al entender qué significan las palabras Zuzana , posee , un y perro , y cómo se combinan. ^{[ 37 ]} En este sentido, el significado de expresiones complejas como las oraciones es diferente del significado de las palabras, ya que normalmente no es posible deducir el significado de una palabra observando sus letras, sino que es necesario consultar un diccionario. ^{[ 38 ]}

La composicionalidad se utiliza a menudo para explicar cómo las personas pueden formular y comprender un número casi infinito de significados, aunque la cantidad de palabras y recursos cognitivos sea finita. Muchas oraciones que las personas leen son oraciones que nunca antes han visto y, sin embargo, son capaces de comprenderlas. ^{[ 37 ]}

Interpretado en sentido estricto, el principio de composicionalidad establece que el significado de una expresión compleja no solo se ve afectado por sus partes y su combinación, sino que queda completamente determinado por esta. Es controvertido si esta afirmación es correcta o si otros aspectos influyen en el significado. Por ejemplo, el contexto puede afectar el significado de las expresiones; modismos como « estirar la pata » conllevan significados figurados o no literales que no se reducen directamente a los significados de sus partes. ^{[ 37 ]}

La verdad es una propiedad de las afirmaciones que presentan el mundo con precisión, y las afirmaciones verdaderas concuerdan con la realidad . Que una afirmación sea verdadera generalmente depende de la relación entre la afirmación y el resto del mundo. Las condiciones de verdad de una afirmación son las condiciones que debe cumplir el mundo para que la afirmación sea verdadera. Por ejemplo, una de las condiciones de verdad de la oración "está lloviendo afuera" es que las gotas de lluvia caen del cielo. La oración es verdadera si se usa en una situación en la que se cumplen las condiciones de verdad, es decir, si realmente está lloviendo afuera. ^{[ 39 ]}

Las condiciones de verdad desempeñan un papel central en la semántica y algunas teorías se basan exclusivamente en ellas para analizar el significado. Entender una afirmación generalmente implica tener una idea sobre las condiciones bajo las cuales sería verdadera. Esto puede ocurrir incluso si se desconoce si se cumplen dichas condiciones. ^{[ 39 ]}

El triángulo semiótico , también llamado triángulo del significado, es un modelo utilizado para explicar la relación entre el lenguaje, los hablantes y el mundo, representado en el modelo como Símbolo , Pensamiento o Referencia y Referente . El símbolo es un significante lingüístico , ya sea en su forma oral o escrita. La idea central del modelo es que no existe una relación directa entre una expresión lingüística y aquello a lo que se refiere, como suponían los modelos diádicos anteriores. Esto se expresa en el diagrama mediante la línea punteada entre el símbolo y el referente. ^{[ 40 ]}

El modelo sostiene, en cambio, que la relación entre ambos se media a través de un tercer componente. Por ejemplo, el término «manzana» se refiere a un tipo de fruta, pero no existe una conexión directa entre esta secuencia de letras y el objeto físico correspondiente. La relación se establece indirectamente a través de la mente del hablante. Al ver el símbolo, este evoca una imagen mental o un concepto que establece la conexión con el objeto físico. Este proceso solo es posible si el hablante ha aprendido previamente el significado del símbolo. El significado de un símbolo específico está regido por las convenciones de un idioma en particular. El mismo símbolo puede referirse a un objeto en un idioma, a otro en un idioma diferente y a ningún objeto en otro idioma. ^{[ 40 ]}

Se utilizan muchos otros conceptos para describir fenómenos semánticos. El rol semántico de una expresión es la función que cumple en una oración. En la oración "el niño pateó la pelota", el niño tiene el rol de agente que realiza una acción. La pelota es el tema o paciente de esta acción, ya que no actúa por sí misma, pero está involucrada o afectada por la acción. Una misma entidad puede ser tanto agente como paciente, como cuando alguien se corta. Una entidad tiene el rol semántico de instrumento si se utiliza para realizar la acción; por ejemplo, al cortar algo con un cuchillo, el cuchillo es el instrumento. En algunas oraciones, no se describe ninguna acción, sino una experiencia, como cuando una niña ve un pájaro. En este caso, la niña tiene el rol de experimentadora. Otros roles semánticos comunes son lugar, fuente, objetivo, beneficiario y estímulo. ^{[ 41 ]}

Las relaciones léxicas describen cómo se relacionan las palabras entre sí. Dos palabras son sinónimas si comparten el mismo significado o uno muy similar, como coche y automóvil o comprar y adquirir . Los antónimos tienen significados opuestos, como el contraste entre vivo y muerto o rápido y lento . ^{[ c ]} Un término es un hipónimo de otro término si el significado del primer término está incluido en el significado del segundo término. Por ejemplo, hormiga es un hipónimo de insecto . Un prototipo es un hipónimo que tiene características propias del tipo al que pertenece. Un petirrojo es un prototipo de pájaro , pero un pingüino no lo es. Dos palabras con la misma pronunciación son homófonas como harina y flor , mientras que dos palabras con la misma ortografía son homónimas , como la orilla de un río en contraste con un banco como institución financiera. ^{[ d ]} La hiponimia está estrechamente relacionada con la meronimia , que describe la relación entre parte y todo. Por ejemplo, rueda es un merónimo de coche . ^{[ 44 ]} Una expresión es ambigua si tiene más de un significado posible. En algunos casos, es posible desambiguarlos para discernir el significado previsto. ^{[ 45 ]} El término polisemia se utiliza cuando los diferentes significados están estrechamente relacionados entre sí, como los significados de la palabra cabeza , que puede referirse a la parte superior del cuerpo humano o a la persona de mayor rango en una organización. ^{[ 44 ]}

El significado de las palabras a menudo se puede subdividir en componentes de significado llamados rasgos semánticos . La palabra " caballo" tiene el rasgo semántico " animado" pero carece del rasgo semántico "humano" . No siempre es posible reconstruir completamente el significado de una palabra identificando todos sus rasgos semánticos. ^{[ 46 ]}

Un campo semántico o léxico es un grupo de palabras que están relacionadas con la misma actividad o tema. Por ejemplo, el campo semántico de la cocina incluye palabras como hornear , hervir , especiar y sartén . ^{[ 47 ]}

El contexto de una expresión se refiere a la situación o circunstancias en las que se usa e incluye el tiempo, el lugar, el hablante y la audiencia. También abarca otros pasajes del texto que la preceden y la siguen. ^{[ 48 ]} El contexto afecta el significado de diversas expresiones, como la expresión deíctica « aquí» y la expresión anafórica «ella» . ^{[ 49 ]}

Un entorno sintáctico es extensional o transparente si siempre es posible intercambiar expresiones con la misma referencia sin afectar el valor de verdad de la oración. Por ejemplo, el entorno de la oración "el número 8 es par" es extensional porque reemplazar la expresión "el número 8" por "el número de planetas en el Sistema Solar " no cambia su valor de verdad. Para contextos intensionales u opacos , este tipo de sustitución no siempre es posible. Por ejemplo, la cláusula subordinada en "Paco cree que el número 8 es par" es intensional ya que Paco puede no saber que el número de planetas en el sistema solar es 8. ^{[ 50 ]}

Los semánticos suelen distinguir entre el lenguaje que estudian, llamado lenguaje objeto, y el lenguaje que utilizan para expresar sus hallazgos, llamado metalenguaje . Cuando un profesor utiliza el japonés para enseñar a su alumno a interpretar el lenguaje de la lógica de primer orden , este último es el lenguaje objeto y el japonés, el metalenguaje. Un mismo lenguaje puede desempeñar simultáneamente las funciones de lenguaje objeto y metalenguaje. Este es el caso de los diccionarios monolingües de inglés , en los que tanto el término de entrada perteneciente al lenguaje objeto como el texto de la definición perteneciente al metalenguaje provienen del inglés. ^{[ 51 ]}

La semántica léxica es el subcampo de la semántica que estudia el significado de las palabras. ^{[ 52 ]} Examina los aspectos semánticos de las palabras individuales y del vocabulario en su conjunto. Esto incluye el estudio de las relaciones léxicas entre palabras, como si dos términos son sinónimos o antónimos. ^{[ 53 ]} La semántica léxica categoriza las palabras en función de las características semánticas que comparten y las agrupa en campos semánticos unificados por un sujeto común. ^{[ 54 ]} Esta información se utiliza para crear taxonomías que organicen el conocimiento léxico, por ejemplo, distinguiendo entre entidades físicas y abstractas y subdividiendo las entidades físicas en cosas y entidades individualizadas . ^{[ 55 ]} Otros temas de interés son la polisemia, la ambigüedad y la vaguedad . ^{[ 56 ]}

La semántica léxica se divide a veces en dos enfoques complementarios: la semasiología y la onomasiología . La semasiología parte de las palabras y examina su significado. Se interesa en si las palabras tienen uno o varios significados y cómo se relacionan entre sí. En lugar de ir de la palabra al significado, la onomasiología va del significado a la palabra. Parte de un concepto y examina qué nombres tiene este concepto o cómo se puede expresar en un idioma en particular. ^{[ 57 ]}

Algunos semánticos también incluyen el estudio de unidades léxicas distintas de las palabras en el campo de la semántica léxica. Las expresiones compuestas como « estar indispuesto» tienen un significado no literal que actúa como una unidad y no es una función directa de sus partes. Otro tema se refiere al significado de los morfemas que componen las palabras, por ejemplo, cómo los prefijos negativos como «in-» y «dis-» afectan el significado de las palabras de las que forman parte, como en «inanimado» y «deshonesto» . ^{[ 58 ]}

La semántica sintáctica estudia el significado de las oraciones. Se basa en el principio de composicionalidad para explorar cómo el significado de las expresiones complejas surge de la combinación de sus partes. ^{[ 59 ] [ e ]} Las diferentes partes pueden analizarse como sujeto , predicado o argumento . El sujeto de una oración generalmente se refiere a una entidad específica, mientras que el predicado describe una característica del sujeto o un evento en el que participa el sujeto. Los argumentos proporcionan información adicional para completar el predicado. ^{[ 61 ]} Por ejemplo, en la oración "Mary golpeó la pelota", Mary es el sujeto, golpeó es el predicado y la pelota es un argumento. ^{[ 61 ]} Una categorización más detallada distingue entre diferentes roles semánticos de las palabras, como agente, paciente, tema, lugar, fuente y objetivo. ^{[ 62 ]}

Los verbos suelen funcionar como predicados y a menudo ayudan a establecer conexiones entre diferentes expresiones para formar una estructura de significado más compleja. En la expresión "Beethoven likes Schubert", el verbo like conecta a quien le gusta con el objeto de su gusto. ^{[ 63 ]} Otras partes de la oración modifican el significado en lugar de formar nuevas conexiones. Por ejemplo, el adjetivo red modifica el color de otra entidad en la expresión red car . ^{[ 64 ]} Otro recurso compositivo es la vinculación de variables, que se utiliza para determinar la referencia de un término. Por ejemplo, la última parte de la expresión "the woman who likes Beethoven" especifica a qué mujer se refiere. ^{[ 65 ]} Los árboles de análisis sintáctico pueden utilizarse para mostrar la jerarquía subyacente empleada para combinar las diferentes partes. ^{[ 66 ]} Diversos recursos gramaticales, como la forma de gerundio , también contribuyen al significado y son estudiados por la semántica gramatical. ^{[ 67 ]}

La semántica formal utiliza herramientas formales de la lógica y las matemáticas para analizar el significado en los lenguajes naturales. ^{[ f ]} Su objetivo es desarrollar formalismos lógicos precisos para aclarar la relación entre las expresiones y su denotación. ^{[ 69 ]} Una de sus tareas clave es proporcionar marcos de cómo el lenguaje representa el mundo, por ejemplo, utilizando modelos ontológicos para mostrar cómo las expresiones lingüísticas se corresponden con las entidades de ese modelo. ^{[ 69 ]} Una idea común es que las palabras se refieren a objetos individuales o grupos de objetos, mientras que las oraciones se relacionan con eventos y estados. Las oraciones se asignan a un valor de verdad en función de si su descripción del mundo se corresponde con su modelo ontológico. ^{[ 70 ]}

La semántica formal examina además cómo utilizar mecanismos formales para representar fenómenos lingüísticos como la cuantificación , la intensionalidad , los sintagmas nominales , los plurales , los términos de masa, el tiempo verbal y la modalidad . ^{[ 71 ]} La semántica de Montague es una teoría temprana e influyente en la semántica formal que proporciona un análisis detallado de cómo se puede representar el idioma inglés utilizando la lógica matemática. Se basa en la lógica de orden superior , el cálculo lambda y la teoría de tipos para mostrar cómo se crea el significado a través de la combinación de expresiones pertenecientes a diferentes categorías sintácticas. ^{[ 72 ]}

La semántica dinámica es un subcampo de la semántica formal que se centra en cómo evoluciona la información con el tiempo. Según esta, "el significado es potencial de cambio de contexto": el significado de una oración no viene dado por la información que contiene, sino por el cambio de información que produce en relación con un contexto. ^{[ 73 ]}

La semántica cognitiva estudia el problema del significado desde una perspectiva psicológica o cómo la mente del usuario del lenguaje afecta el significado. Como subdisciplina de la lingüística cognitiva , ve el lenguaje como una amplia capacidad cognitiva que está estrechamente relacionada con las estructuras conceptuales utilizadas para comprender y representar el mundo. ^{[ 74 ] [ g ]} Los semánticos cognitivos no establecen una distinción tajante entre el conocimiento lingüístico y el conocimiento del mundo, sino que los ven como fenómenos interrelacionados. ^{[ 76 ]} Estudian cómo la interacción entre el lenguaje y la cognición humana afecta la organización conceptual en dominios muy generales como el espacio, el tiempo, la causalidad y la acción. ^{[ 77 ]} El contraste entre perfil y base se utiliza a veces para articular la estructura de conocimiento subyacente. El perfil de una expresión lingüística es el aspecto de la estructura de conocimiento que pone en primer plano, mientras que la base es el fondo que proporciona el contexto de este aspecto sin estar en el centro de atención. ^{[ 78 ]} Por ejemplo, el perfil de la palabra hipotenusa es una línea recta, mientras que la base es un triángulo rectángulo del cual la hipotenusa forma parte. ^{[ 79 ] [ h ]}

La semántica cognitiva compara además los patrones conceptuales y las tipologías lingüísticas entre lenguas y considera hasta qué punto las estructuras conceptuales cognitivas de los humanos son universales o relativas a su trasfondo lingüístico. ^{[ 81 ]} Otro tema de investigación se refiere a los procesos psicológicos involucrados en la aplicación de la gramática. ^{[ 82 ]} Otros fenómenos investigados incluyen la categorización, que se entiende como una heurística cognitiva para evitar la sobrecarga de información al considerar diferentes entidades de la misma manera, ^{[ 83 ]} y la encarnación , que se refiere a cómo la experiencia corporal del usuario del lenguaje afecta el significado de las expresiones. ^{[ 84 ]}

La semántica de marcos es un subcampo importante de la semántica cognitiva. ^{[ 85 ]} Su idea central es que el significado de los términos no puede entenderse de forma aislada, sino que debe analizarse en el contexto de las estructuras conceptuales de las que dependen. Estas estructuras se explicitan en términos de marcos semánticos. Por ejemplo, palabras como novia, novio y luna de miel evocan en la mente el marco del matrimonio. ^{[ 86 ]}

La semántica conceptual comparte con la semántica cognitiva la idea de estudiar el significado lingüístico desde una perspectiva psicológica, examinando cómo los seres humanos conceptualizan y experimentan el mundo. Sostiene que el significado no reside en los objetos a los que se refieren las expresiones, sino en la estructura cognitiva de los conceptos humanos que conectan el pensamiento, la percepción y la acción. La semántica conceptual se diferencia de la semántica cognitiva al introducir una distinción estricta entre significado y sintaxis, y al recurrir a diversos recursos formales para explorar la relación entre significado y cognición. ^{[ 87 ]}

La semántica computacional examina cómo se puede representar y procesar el significado de las expresiones del lenguaje natural en las computadoras. ^{[ 88 ]} A menudo se basa en los conocimientos de la semántica formal y los aplica a problemas que pueden resolverse computacionalmente. ^{[ 89 ]} Algunos de sus problemas clave incluyen el cálculo del significado de expresiones complejas mediante el análisis de sus partes, el manejo de la ambigüedad, la vaguedad y la dependencia del contexto, y el uso de la información extraída en el razonamiento automático . ^{[ 90 ]} Forma parte de la lingüística computacional , la inteligencia artificial y la ciencia cognitiva . ^{[ 88 ]} Sus aplicaciones incluyen el aprendizaje automático y la traducción automática . ^{[ 91 ]}

La semántica cultural estudia la relación entre el significado lingüístico y la cultura. Compara las estructuras conceptuales en diferentes lenguas y se interesa en cómo los significados evolucionan y cambian debido a fenómenos culturales asociados con la política , la religión y las costumbres. ^{[ 92 ]} Por ejemplo, las prácticas de tratamiento codifican valores culturales y jerarquías sociales, como en la diferencia de cortesía de expresiones como tu y usted en español o du y Sie en alemán en contraste con el inglés, que carece de estas distinciones y usa el pronombre you en ambos casos. ^{[ 93 ]} Campos estrechamente relacionados son la semántica intercultural, la semántica transcultural y la semántica comparativa. ^{[ 94 ]}

La semántica pragmática estudia cómo el significado de una expresión se ve influenciado por la situación en la que se utiliza. Se basa en la idea de que el significado comunicativo suele ser sensible al contexto y depende de quién participa en el intercambio, qué información comparten y cuáles son sus intenciones y supuestos previos. Se centra en las acciones comunicativas, de las cuales las expresiones lingüísticas constituyen solo una parte. Algunos teóricos incluyen estos temas dentro del ámbito de la semántica, mientras que otros los consideran parte de la disciplina independiente de la pragmática. ^{[ 95 ]}

Las teorías referenciales afirman que el significado de una expresión es la entidad a la que apunta. ^{[ 97 ]} El significado de los términos singulares, como los nombres, es el individuo al que se refieren. Por ejemplo, el significado del nombre George Washington es la persona con ese nombre. ^{[ 98 ]} Los términos generales no se refieren a una sola entidad, sino al conjunto de objetos a los que se aplica este término. En este sentido, el significado del término gato es el conjunto de todos los gatos. ^{[ 99 ]} De manera similar, los verbos generalmente se refieren a clases de acciones o eventos, y los adjetivos se refieren a propiedades de individuos y eventos. ^{[ 100 ]}

Las teorías referenciales simples presentan problemas con expresiones significativas que carecen de un referente claro. Nombres como Pegaso y Papá Noel tienen significado aunque no apunten a entidades existentes. ^{[ 101 ]} Otras dificultades se refieren a casos en los que diferentes expresiones se refieren a la misma entidad. Por ejemplo, las expresiones Roger Bannister y el primer hombre en correr una milla en cuatro minutos se refieren a la misma persona, pero no significan exactamente lo mismo. ^{[ 102 ]} Esto es particularmente relevante al hablar de creencias, ya que una persona puede entender ambas expresiones sin saber que apuntan a la misma entidad. ^{[ 103 ]} Otro problema lo constituyen las expresiones cuyo significado depende del contexto, como los términos deícticos « aquí» y «yo» . ^{[ 104 ]}

Para evitar estos problemas, las teorías referenciales suelen introducir mecanismos adicionales. Algunas identifican el significado no directamente con objetos, sino con funciones que apuntan a ellos. Este nivel adicional tiene la ventaja de considerar el contexto de una expresión, ya que la misma expresión puede referirse a un objeto en un contexto y a otro en un contexto diferente. Por ejemplo, la referencia de la palabra « aquí» depende del lugar donde se utiliza. ^{[ 105 ]} Un enfoque estrechamente relacionado es la semántica de mundos posibles , que permite que las expresiones se refieran no solo a entidades del mundo real, sino también a entidades de otros mundos posibles. ^{[ i ]} Según esta perspectiva, expresiones como « el primer hombre en correr una milla en cuatro minutos» se refieren a personas diferentes en mundos diferentes. Esta perspectiva también puede utilizarse para analizar oraciones que hablan de lo que es posible o necesario: la posibilidad es lo que es verdadero en algunos mundos posibles, mientras que la necesidad es lo que es verdadero en todos los mundos posibles. ^{[ 107 ]}

Las teorías ideacionales, también llamadas teorías mentalistas, no se interesan principalmente en la referencia de las expresiones, sino que explican el significado en términos de los estados mentales de los hablantes. ^{[ 108 ]} Un enfoque históricamente influyente, articulado por John Locke, sostiene que las expresiones representan ideas en la mente del hablante. Según esta perspectiva, el significado de la palabra «perro» es la idea que la gente tiene de los perros. El lenguaje se considera un medio utilizado para transferir ideas del hablante a la audiencia. Tras haber aprendido el mismo significado de los signos, el hablante puede producir un signo que corresponda a la idea en su mente, y la percepción de este signo evoca la misma idea en la mente de la audiencia. ^{[ 109 ]}

Una teoría estrechamente relacionada se centra no directamente en las ideas, sino en las intenciones . ^{[ 110 ]} Esta perspectiva se asocia particularmente con Paul Grice , quien observó que las personas suelen comunicarse para provocar alguna reacción en su audiencia. Sostenía que el significado de una expresión viene dado por la reacción prevista. Esto significa que la comunicación no se trata solo de decodificar lo que el hablante dijo literalmente, sino que requiere comprender su intención o por qué lo dijo. ^{[ 111 ]} Por ejemplo, decirle a alguien que busca gasolina que "hay una gasolinera a la vuelta de la esquina" significa que allí se puede conseguir gasolina debido a la intención del hablante de ayudar. Esto va más allá del significado literal, que no tiene una conexión explícita con la gasolina. ^{[ 112 ]}

Las teorías causales sostienen que el significado de una expresión depende de las causas y los efectos que produce. ^{[ 113 ]} Según la semántica conductista , también conocida como teoría estímulo-respuesta, el significado de una expresión viene dado por la situación que impulsa al hablante a usarla y la respuesta que provoca en la audiencia. ^{[ 114 ]} Por ejemplo, el significado de gritar "¡Fuego!" viene dado por la presencia de un incendio descontrolado y los intentos de controlarlo o buscar refugio. ^{[ 115 ]} La semántica conductista se basa en la idea de que aprender un idioma consiste en adoptar patrones de comportamiento en forma de pares estímulo-respuesta . ^{[ 116 ]} Una de sus principales motivaciones es evitar las entidades mentales privadas y definir el significado en términos de comportamiento lingüístico públicamente observable. ^{[ 117 ]}

Otra teoría causal se centra en el significado de los nombres y sostiene que se requiere un evento de denominación para establecer el vínculo entre el nombre y la entidad nombrada. Este evento actúa como una forma de bautismo que establece el primer eslabón de una cadena causal en la que participan todos los usos subsiguientes del nombre. ^{[ 118 ]} Según esta perspectiva, el nombre Platón se refiere a un antiguo filósofo griego porque, en algún momento, fue nombrado originalmente de esta manera y la gente siguió usando este nombre para referirse a él. ^{[ 119 ]} Esta perspectiva fue formulada originalmente por Saul Kripke para aplicarse solo a los nombres, pero se ha extendido para abarcar también otros tipos de lenguaje. ^{[ 120 ]}

La semántica de condiciones de verdad analiza el significado de las oraciones en términos de sus condiciones de verdad. Según esta perspectiva, comprender una oración significa saber cómo debe ser el mundo para que la oración sea verdadera. ^{[ 121 ]} Las condiciones de verdad pueden expresarse a través de mundos posibles . Por ejemplo, la oración " Hillary Clinton ganó las elecciones presidenciales estadounidenses de 2016 " es falsa en el mundo real, pero hay algunos mundos posibles en los que es verdadera. ^{[ 122 ]} La extensión de una oración puede interpretarse como su valor de verdad, mientras que su intensión es el conjunto de todos los mundos posibles en los que es verdadera. ^{[ 123 ]} La semántica de condiciones de verdad está estrechamente relacionada con las teorías verificacionistas , que introducen la idea adicional de que debe haber algún tipo de procedimiento de verificación para evaluar si una oración es verdadera. Afirman que el significado de una oración consiste en el método para verificarla o en las circunstancias que la justifican. ^{[ 124 ]} Por ejemplo, las afirmaciones científicas a menudo hacen predicciones, que pueden usarse para confirmarlas o refutarlas mediante la observación . ^{[ 125 ]} Según el verificacionismo, las oraciones que no pueden ser verificadas ni refutadas carecen de significado. ^{[ 126 ]}

La teoría del uso postula que el significado de una expresión viene dado por la forma en que se utiliza. Esta perspectiva fue introducida por primera vez por Ludwig Wittgenstein , quien entendía el lenguaje como una colección de juegos de lenguaje . El significado de las expresiones depende de cómo se usan dentro de un juego, y una misma expresión puede tener diferentes significados en distintos juegos. ^{[ 127 ]} Algunas versiones de esta teoría identifican el significado directamente con patrones de uso regular. ^{[ 128 ]} Otras se centran en las normas y convenciones sociales , teniendo en cuenta además si un determinado uso se considera apropiado en una sociedad dada. ^{[ 129 ]}

La semántica inferencialista , también llamada semántica de roles conceptuales, sostiene que el significado de una expresión viene dado por el papel que desempeña en las premisas y conclusiones de las inferencias válidas . ^{[ 130 ]} Por ejemplo, se puede inferir de «x es un hermano» que «x es un hermano» y de «x es un hermano» que «x tiene padres». Según la semántica inferencialista, el significado de la palabra «hermano» está determinado por estas y todas las inferencias similares que se pueden extraer. ^{[ 131 ]}

Los lógicos estudian el razonamiento correcto y a menudo desarrollan lenguajes formales para expresar argumentos y evaluar su corrección. ^{[ 169 ]} Una parte de este proceso es proporcionar una semántica para un lenguaje formal que defina con precisión el significado de sus términos. La semántica de un lenguaje formal es un conjunto de reglas, generalmente expresadas como una función matemática , que asigna significados a las expresiones del lenguaje formal. ^{[ 170 ]} Por ejemplo, el lenguaje de la lógica de primer orden utiliza letras minúsculas para las constantes individuales y letras mayúsculas para los predicados . Para expresar la oración "Bertie es un perro", la fórmula${\displaystyle D(b)}$se puede utilizar donde${\displaystyle b}$es una constante individual para Bertie y${\displaystyle D}$es un predicado para perro. La semántica clásica de la teoría de modelos asigna significado a estos términos definiendo una función de interpretación que asigna constantes individuales a objetos específicos y predicados a conjuntos de objetos o tuplas . La función asigna${\displaystyle b}$a Bertie y${\displaystyle D}$al conjunto de todos los perros. De esta forma, es posible calcular el valor de verdad de la oración: es verdadera si Bertie es un miembro del conjunto de perros y falsa en caso contrario. ^{[ 171 ]}

La lógica formal tiene como objetivo determinar si los argumentos son deductivamente válidos , es decir, si las premisas implican la conclusión. ^{[ 172 ]} La implicación puede definirse en términos de sintaxis o en términos de semántica. La implicación sintáctica se expresa con el símbolo${\displaystyle \vdash }$, se basa en reglas de inferencia , que pueden entenderse como procedimientos para transformar premisas y llegar a una conclusión. Estos procedimientos solo toman en cuenta la forma lógica de las premisas a nivel sintáctico e ignoran el significado que expresan. Implicación semántica, expresada con el símbolo${\displaystyle \vDash }$, examina el significado de las premisas, en particular, su valor de verdad. Una conclusión se deduce semánticamente de un conjunto de premisas si la verdad de las premisas garantiza la verdad de la conclusión, es decir, si cualquier función de interpretación semántica que asigna a las premisas el valor verdadero también asigna a la conclusión el valor verdadero . ^{[ 173 ]}

En informática, la semántica de un programa se refiere a cómo se comporta cuando un ordenador lo ejecuta. La semántica contrasta con la sintaxis, que es la forma particular en que se expresan las instrucciones. Un mismo comportamiento suele describirse con diferentes formas sintácticas. En JavaScript , este es el caso de los comandos i += 1y i = i + 1, que son expresiones sintácticamente diferentes para incrementar el valor de la variable i en uno. Esta diferencia también se refleja en los distintos lenguajes de programación, ya que se basan en sintaxis diferentes, pero generalmente se pueden emplear para crear programas con el mismo comportamiento a nivel semántico. ^{[ 174 ]}

La semántica estática se centra en los aspectos semánticos que afectan la compilación de un programa. En particular, se ocupa de detectar errores en programas sintácticamente correctos, como errores de tipo , que surgen cuando una operación recibe un tipo de dato incompatible . Este es el caso, por ejemplo, si a una función que realiza un cálculo numérico se le pasa una cadena en lugar de un número como argumento. ^{[ 175 ]} La semántica dinámica se centra en el comportamiento de los programas en tiempo de ejecución, es decir, lo que sucede durante la ejecución de las instrucciones. ^{[ 176 ]} Los principales enfoques de la semántica dinámica son la semántica denotacional , la axiomática y la operacional . La semántica denotacional se basa en formalismos matemáticos para describir los efectos de cada elemento del código. La semántica axiomática utiliza la lógica deductiva para analizar qué condiciones deben cumplirse antes y después de la ejecución de un programa. La semántica operacional interpreta la ejecución de un programa como una serie de pasos, cada uno de los cuales implica la transición de un estado a otro. ^{[ 177 ]}

La semántica psicológica examina los aspectos psicológicos del significado. Se ocupa de cómo se representa el significado a nivel cognitivo y qué procesos mentales intervienen en la comprensión y producción del lenguaje. Además, investiga cómo el significado interactúa con otros procesos mentales, como la relación entre el lenguaje y la experiencia perceptiva. ^{[ 178 ] [ l ]} Otros temas se refieren a cómo las personas aprenden palabras nuevas y las relacionan con cosas y conceptos familiares, cómo infieren el significado de expresiones compuestas que nunca han escuchado antes, cómo resuelven expresiones ambiguas y cómo las ilusiones semánticas las llevan a malinterpretar oraciones. ^{[ 180 ]}

Un tema clave es la memoria semántica , una forma de conocimiento general del significado que incluye el conocimiento del lenguaje, los conceptos y los hechos. Se diferencia de la memoria episódica , que registra los eventos que una persona ha experimentado en su vida. La comprensión del lenguaje depende de la memoria semántica y de la información que contiene sobre el significado de las palabras. ^{[ 181 ]} Según una visión común, el significado de las palabras se almacena y procesa en relación con sus características semánticas. El modelo de comparación de características establece que oraciones como "un petirrojo es un pájaro" se evalúan a nivel psicológico comparando las características semánticas de la palabra " petirrojo " con las de la palabra "pájaro " . El proceso de evaluación es rápido si sus características semánticas son similares, como ocurre si el ejemplo es un prototipo de la categoría general. Para ejemplos atípicos, como en la oración "un pingüino es un pájaro", hay menos coincidencia en las características semánticas y el proceso psicológico es significativamente más lento. ^{[ 182 ]}