La Semántica

La semántica

La competencia semantica del hablante

El modelo semántico

- La semántica es la ciencia del hombre que estudia el significado que expresamos mediante el lenguaje natural.

- Es una parte de la gramática que investiga el modo como se proyectan los objetos y situaciones del mundo en el código de la lengua.

Relaciona expresiones simples con referentes del mundo

Crea relaciones entre pensamientos e ideas

Asocia una expresión compleja con sus condiciones de verdad

Usa reglas composicionales para obtener significados complejos

Incompatibilidad composicional de tipos semánticos

Definición de las funciones

Operaciones del cálculo semántico: La función interpretativa

Categorías semánticas invariables: funciones y argumentos

La denotación de los SD

Categorías con significado saturado: entidades y valores de verdad

Categorías con significado incompleto: funciones

Definición de las funciones mediante el operador-λ

- El hablante crea un vínculo que relaciona un objeto del mundo y una expresión simbólica.

- Este mecanismo asociativo le permite sustituir el objeto real por el símbolo asociado y referirse al objeto en ausencia del mismo

- Su objeto primario de estudio es la capacidad innata de los hablantes, que les permite desplazar los objetos del mundo en expresiones codificadas en un lenguaje simbólico natural, y que constituye su competencia semántica.

-Su objetivo es construir un modelo parcial que abstraiga alguna de las propiedades del objeto.

Nos permite formar cadenas de inferencias entre pensamientos e ideas que articulen nuestro sistema de conocimien�tos en estructuras de razonamiento natural verificables o falsables por el mundo.

El hablante construye e interpreta el significado de expresiones complejas composicionalmente, aplicando a otras expresiones operaciones que le permiten calcular los significados complejos.

Usamos el lenguaje para describir y fijar nuestra comprensión del mundo y transmitir dad nuestro conocimiento en el tiempo.

El vínculo que relaciona una oración y alguna situación constituye su referencia extensional.

La relación entre una expresión de un código simbólico y algún objeto del mundo parece tener las propiedades de una función:

A cada expresión no ambigua le corresponde un único interpretativa referente (particular o genérico) del mundo.

Un modo de determinar cuál es la denotación del determinante es ver de qué modo contribuye el determinante a las condiciones de verdad de la oración en la que el SD es constituyente

Un SD no denota una entidad constante.

A diferencia de los nombres propios, los SD que se interpretan como descripciones (in)definidas (la reina, una colmena) o cuantificadas (toda abeja, alguna obrera) no hacen referencia a una entidad constante

Los nombres propios son categorías del tipo semántico de las entidades.

Son expresiones directamente referenciales que obtienen su significado asociando la expresión con una denotación constante por medio de la función interpretativa:

[[María]]s:= María

Una definición contextual de la entrada léxica del verbo intransitivo nadar expresada en el

lenguaje de la teoría de conjuntos podría ser:

[[nada]]s

:= f : De → {1, 0} tal que para todo x ∈ De, f(x) = 1 solo si x nada.

.

- Usamos nuestras habilidades semánticas para proyectar el mundo en un código lingüístico.

-El lenguaje nos permite construir nuestras propias representaciones y percepciones de la realidad y compartirlas con los demás.

El Principio de Composicionalidad

El significado de una expresión compleja es una función del significado de sus partes.

El saber semántico innato del hablante incluye las siguientes habilidades:

- La capacidad de relacionar expresiones simbólicas con objetos y situaciones del mundo.

- La capacidad de componer expresiones complejas a partir de otras expresiones simples o complejas usando algún tipo de algoritmo recursivo.

- La capacidad de inferir relaciones entre los significados de distintas expresiones.

El significado de la oración es el valor de verdad de su denotación.

Condiciones de verdad: La ausencia de un conocimiento directo por un razonamiento bicondicional, que nos permite inferir cuáles son las condiciones que hacen verdadera una oración y cuáles la hacen falsa.

- La asociación directa es un procedimiento de etiquetado que codificamos mediante nombres propios.

- En la asociación por señalamiento, el significado de la expresión se define e identifica por su extensión; es decir, por su referente o denotación.

- La expresión descriptiva es definida en el código por su intensión; es decir, como un modo de presentación, un concepto.

Función interpretativa:

[[ξ]]s:= δ

En la fórmula anterior, la expresión lingüïstica ξ es el dominio de aplicación de la función interpretativa

El referente denotado δ es el valor semántico de la expresión en una situación s, que resulta de aplicar la función a un argumento.

Las categorías semánticas invariables sobre las que opera la función interpretativa son de dos tipos:

Una oración expresa un pensamiento completo y denota unas condiciones de verdad, pero no es un elemento atómico de significado.

La composición semántica consiste en la saturación de las posiciones argumentales abiertas que subcategoriza el predicado:

(33) María nada.

(34) Juan quiere a María.

(35) María da El País a Carmen.

El cálculo lambda es un sistema de operaciones que nos permite definir intensionalmente una función y operar con ella sin aplicar la función a un argumento particular

Esta fórmula dice que nada es una función fhe,ti, que toma como argumento a las entidades de

un dominio De y da el valor verdadero si se corresponde con la realidad en una circunstancia de

evaluación s y falso en caso contrario.

El operador-λ construye predicados a partir de fórmulas abiertas que contienen variable libres.

La función describe, entonces, una propiedad con validez general, y no específicamente aplicada a un individuo particular.

La aplicación recursiva de la función a un argumento cada vez satura de una en una las posiciones argumentales incompletas en el predicado, hasta que se compone una proposición con un valor de verdad

Un verbo intransitivo denota una función de tipo (e,et) y se combina con un argumento de tipo e.

Un verbo transitivo denota una función de tipo (e, et) y se satura al combinarse con un argumento de tipo e.

Un SD denota una función de tipo (e, et) (un cuantificador generalizado) y se aplica a un

argumento de tipo (e, et)

Es decir, es una función de segundo orden que selecciona predicados

como argumento.

Definición contextual

Cervantes Gómez María Fernanda. L7