El significado en la semántica formal

Resulta estándar en la semántica formal asumir que el significado de las expresiones lingüísticas puede ser o bien su referencia, en el caso de las entidades (u objetos en el mundo) (1:45), o bien sus condiciones de verdad, en el caso de oraciones (1:46).

(1:45) “María” = una entidad que refiere a María (1:46) “María llegó” = es verdadera si y solo si María llegó

Ahora bien, ¿qué quiere decir que el significado de una oración como (1:46) sea sus condiciones de verdad? Como explica Ferreira (2018), saber el significado de una frase como (1:46) es saber cuáles son las condiciones necesarias y suficientes en el mundo para que esta oración sea verdadera. Es decir, sabemos lo que significa “María llegó” porque sabemos qué condiciones deben darse en el mundo para que dicha oración sea verdadera: sabemos que tiene que haber una entidad que refiera a María y que de esa

5

Además del libro de Heim y Kratzer (1998), que es la bibliografía fundamental sobre semántica formal en gramática generativa, hemos consultado otros dos libros más recientes, que también son una explicación de las bases del modelo de la semántica formal: Ferreira (2018) y Saab y Carranza (en preparación).

34 entidad pueda decirse que llegó. Volveremos a estas condiciones de verdad en unos párrafos para precisar esta idea.

(1:47) “María llegó” es verdadera si y solo si hay una entidad en el mundo que refiere a

María y de esa entidad puede predicarse que llegó

De este modo, la noción de significado que tiene la semántica formal (y que es la base de su programa de investigación) se estructura sobre la idea de que existe un vínculo entre lengua y mundo (realidad) (Ferreira, 2018). Es decir, una de las cuestiones que este modelo quiere capturar es el hecho de que si alguien dice “María llegó”, quienes escuchan estarán aprendiendo algo sobre el mundo: hay una entidad que refiere a María y de la que se puede decir que llegó. A partir de este supuesto básico es que decimos que este tipo de semántica es una semántica referencial o extensional.

Otro de los supuestos básicos de la semántica formal es el carácter composicional del significado. Tal como hemos dicho antes, saber el significado de una oración como (1:46) es saber qué condiciones tienen que darse en el mundo para que dicha oración sea verdadera, es decir, es saber que esa oración es verdadera solo si: i. hay una entidad en el mundo que refiere a María; ii. de esa entidad se puede predicar “llegar”. De este modo, entonces, para saber el significado de (1:46) hay que saber el significado de “María” y del predicado “llegar”. Antes dijimos que el significado de las entidades (como los nombres propios) es la referencia de dicha entidad, es decir, su extensión. En este caso, la extensión de “María” será la persona María. Ahora bien, ¿cómo determinamos el significado de un predicado como “llegar” (o de cualquier otro predicado)? Dado que esta semántica es extensional o referencial, y dado que predicados como “llegar” no refieren a objetos (o individuos) en el mundo, sino a propiedades predicadas de individuos, diremos que el significado de predicados como “llegar” es la totalidad de individuos de los que se puede predicar esa propiedad. Es decir, diremos que el significado de “llegar” es el conjunto de individuos de los que se predica “llegar”, o más específicamente, el conjunto de los x, tal que x llega.

(1:48) [[llegar]]6 = {x: x llega}

6 _{Entendemos la notación “[[.]]” como la extensión de la expresión que contiene los corchetes. “[[.]]” es}

35 Entonces, retomando el significado de la oración (1:46), podemos decir que sabemos lo que significa “María llegó” si sabemos que hay una entidad en el mundo llamada María y que de esa entidad puede decirse que pertenece al conjunto de los x tal que x llega. Tal como podemos ver, a partir de la idea de pertenencia de una entidad a un conjunto (extraída de la teoría de conjuntos) podemos llegar al significado de una oración como (1:46).

Una manera alternativa (y más práctica) de pensar el significado de un predicado como “llegar” es a partir de la idea de función. Las funciones nos permiten tomar elementos de un conjunto y transformarlos (o mapearlos) a un valor distinto. Para esto tenemos que definir bien el conjunto de origen, llamado dominio, del conjunto de salida (i.e., los valores que se le asignan a los elementos de origen), llamado codominio. De este modo, podríamos decir que un predicado como “llegar” es una función que toma individuos (su dominio es un conjunto de individuos) y los mapea a un conjunto compuesto por valores de verdad (su codominio es el conjunto de valores de verdad: verdadero o falso). Es decir, “llegar” tomaría distintos individuos de su dominio y a cada uno de ellos le asignaría un valor de verdad. Si “llegar” se aplica a María, la función nos devolvería un valor de verdad positivo (1), dado que es el caso de que María llegó. Si la función se aplica a Juan, esta nos devolverá 1 si las condiciones en el mundo nos dicen que Juan llegó y 0 (falso) si este no es el caso. Escribimos la función del siguiente modo:

(1:49) [[llegar]] = λx. x llega

dominio codominio entidades valores de verdad

Lo que se encuentra a la izquierda del punto (λx) es el dominio (es decir, el tipo de elementos que toma la función) y lo que se encuentra a la derecha del punto (x llega) es el codominio (el conjunto de todos los valores posibles). Leemos una función como (1:49) del siguiente modo: “llegar” es la función que mapea cada x (dominio) a 1 si x llega y a 0 si x no llega.

En este sentido, esta función aplicada a María, nos daría:

“[[María]] = María” se leería: la función que toma “María” y devuelve su referencia, es decir, la entidad existente en el mundo María.

36 (1:50) [λx. x llega](María) = 1 si y solo si María llegó

= 0 si y solo si María no llegó

Como podemos ver, pensar el significado de predicados en términos de funciones (1:49) es similar a como lo hemos presentado en (1:48): si antes la verdad de la oración estaba determinada por la pertenencia de un individuo a un conjunto, mediante la idea de función es la misma función la que se encarga de asignar el valor de verdadero a falso a cada uno de los individuos del conjunto.

Por otro lado, pensar el significado de los predicados en términos de funciones es interesante, también, porque explicita la idea de composicionalidad. En este sentido, la idea de que los predicados necesitan de argumentos para poder significar (i.e., necesitan argumentos para saturarse) se traslada a la idea de función en la medida en que la función debe tomar un elemento de su dominio para poder mapearlo al conjunto de su codominio. Es decir, las funciones son elementos no saturados que deben combinarse con otros elementos. Esta es la misma idea que teníamos, de un modo más intuitivo, cuando decíamos que para saber el significado de una oración como (1:46) era necesario saber el significado de los ítems léxicos que lo componen (es decir, era necesario saber que hay una entidad en el mundo llamada María que pertenece al conjunto de los individuos que llegan).

Ahora bien, para poder llegar al significado del todo a partir del significado de las partes, es necesario saber de qué manera se combinan esas partes. Por este motivo, además de la denotación o significado de cada uno de los ítems, nuestro modelo necesita explicitar las reglas que permiten que las partes se combinen entre sí. Existen muchas reglas de composición semántica, pero la más importante es “Aplicación Funcional”7. Esta regla nos dice, observando la estructura arbórea, que el significado de un nodo se determina por la aplicación de uno de sus constituyentes inmediatos al otro de sus constituyentes. Sin embargo, para que esta regla tenga lugar, uno de los constituyentes debe ser una función y el otro debe ser una entidad que se encuentre en el dominio de esa función (dado que la función debería ser capaz de tomar ese elemento de su dominio y mapearlo a su codominio). Supongamos que queremos determinar el valor

7 _{La regla de aplicación funcional es la siguiente: Si ⍺ es un nodo ramificado, siendo {β,ɣ} es el conjunto}

de hijos de ⍺, y [[β]] es una función cuyo dominio contiene [[ɣ]], entonces [[⍺]] = [[β]]([[ɣ]]). Original: “If ⍺ is a branching node, {β,ɣ} is the set of ⍺‘s daughters, and [[β]] is a function whose domain contains [[ɣ]], then [[⍺]] = [[β]]([[ɣ]])” (Heim y Kratzer, 1998:44).

37 del nodo que contiene a “María” y a “llegar”. Dado que “llegar” es una función que va de entidades a valores de verdad y dado que “María” es una entidad, y en ese sentido, se encuentra en el dominio de la función “llegar”, la operación Aplicación Funcional puede tener lugar.

(1:51) [[María]]= María [[llegar]]= λx. llegar(x)

Esto nos da la derivación de (1:52), en la que, como podemos ver, María satura la variable introducida por λ. Es decir, la función [λx.llegar(x)] aplicada a María (1:51a) es verdadera si y solo si María llega (1:51a’).

(1:51) a. [[S]] = [λx. x llega](María) por Aplicación Funcional (AF)

a’. = 1 ssi María llega

(1:52) [[S]] = 1 ssi María llega

[[N]] = María [[V]]= λx. x llega

Entonces, resumiendo, para que nuestro modelo semántico pueda dar cuenta del significado de una oración, debemos saber, por un lado, el significado de los ítems léxicos, y por otro, la regla de composición semántica que combina esos elementos. La versión simplificada que vimos del significado de una oración como “María llega” nos ha permitido entender de un modo simple cómo funciona el sistema. Como dijimos antes, la denotación de “llegar” (i.e., [[llegar]]) es una función que mapea entidades a valores de verdad. Al combinarse con [[María]] mediante Aplicación Funcional, la función nos devuelve un valor 1 (verdadero) si es el caso de que María llegó.

Ahora bien, antes de continuar con la explicación del modelo, conviene aquí explicitar algunas cuestiones. Por el momento, nuestro modelo está constituido por dos clases de objetos: entidades (tipo <e>) y valores de verdad (tipo <t>). Las funciones son algoritmos que toman un elemento de un tipo semántico y devuelven un resultado de

38 otro tipo semántico. Podemos decir, en este sentido, que [[llegar]] es una función del tipo semántico <e,t>. La notación <⍺,β> especifica el dominio (⍺) y el codominio (β) de la función. En este sentido, λf<e,t> es una forma resumida de decir que la función f

pertenece al dominio de las funciones que van de entidades a valores de verdad. Es preciso especificar el tipo de función, dado que no todas las funciones van a ser del mismo tipo. Por ejemplo, λf<e<e,t>> será una función que mapea entidades a funciones de

tipo <e,t> (es decir, a funciones que van de entidades a valores de verdad). Este sería el caso en el que una versión simplificada de nuestra semántica podría considerar los verbos transitivos.

(1:53) [[encontrar]] = λx8.λy. y encuentra x <e <e,t>>

Una función como (1:53) toma una entidad (x) y devuelve una función (λy. y encuentra x), que toma una entidad (y) y devuelve un valor de verdad (t). Es decir, a diferencia de un predicado como “llegar”, “encontrar” es una función que expresa una relación9

entre dos entidades y nos dice que la oración será verdadera si de una de las entidades se puede predicar que encuentra la otra. Entonces, en nuestra versión simplificada de semántica, una oración como “María encontró a Juan” presentaría las entradas léxicas de (1:54) y la derivación semántica de (1:55), en la que Aplicación Funcional permite que la variable de la función sea saturada por las dos entidades presentes.

(1:54) Ítems léxicos

a. [[encontrar]] = [λx.[λy. y encuentra x] b. [[María]] = María

c. [[Juan]] = Juan

(1:55) a. [λx.[λy. y encuentra x] (María)] (Juan) por AF

8

x,y,z son, convencionalmente, las variables que se usan para el tipo semántico <e>. Una versión no resumida de esto diría: λx: ∈ D<e>, es decir, la función que mapea cada x tal que pertenece al dominio de

las entidades (lo que aparece después de los dos puntos es la especificación del dominio).

9

Dado que las notaciones son convencionales, y se estipulan en cada caso, en muchos trabajos este tipo de funciones aparecen no como λf, sino como λR (por relación transitiva), como en el trabajo de Kratzer (2004), que discutiremos en esta tesis.

39

b. [λy. y encuentra a Juan] (María) por AF

c. 1 ssi María encuentra a Juan.

Otro tema relevante para esta tesis se refiere a la naturaleza semántica de las frases nominales, dado que una gran parte del capítulo 2 problematiza algunos aspectos de la semántica de los nombres. Nos detendremos en dos tipos de significados: el que resulta de la combinación del nombre con el determinante definido (“la”, “el”) y el que resulta de la combinación del nombre con distintos tipos de cuantificadores.

Antes que nada, es preciso mencionar que los nombres, al igual que los verbos, son predicados que pueden ser entendidos como el conjunto de los x tal que de x se puede predicar ese nombre. Es decir, los nombres sin determinante no refieren a entidades en el mundo, sino, como en el caso de los verbos, a conjuntos de entidades. Es por este motivo que un predicado como “escritora” no referirá a una escritora concreta en el mundo, sino al conjunto de los x de los que se puede decir que son escritoras. Esto significa que un predicado como “escritora” tendría la siguiente denotación y sería del tipo semántico <e,t>:

(1:56) [[escritora]] = λx. x es escritora

<e , t>

En su función predicativa (1:57) los nombres pueden saturar su variable mediante una entidad. Dado que la denotación del nombre “escritora” es una función <e,t> y dado que la denotación de “María” es del tipo <e>, Aplicación funcional puede tener lugar (i.e., [[María]] se encuentra en el dominio de [[escritora]]).

(1:57) María es10 escritora

(1:58) [[S]]= [λx. x es escritora](María) por AF

María es escritora

10

Es comúnmente aceptado en la bibliografía semántica que “ser” tiene un significado semántico nulo y, por lo tanto, este no se computa (o mejor dicho, se computa como una función de identidad, que toma un valor y devuelve el mismo valor).

40 Ahora bien, en su función no predicativa los nombres no van a saturar su variable a partir de una entidad con la que se combinen. Por ejemplo, en una frase como (1:59), la combinación del nombre y el determinante tendrá lugar mediante Aplicación Funcional, pero será el determinante la función que tenga en su dominio el tipo semántico del nombre (i.e., el tipo <e,t>).

(1:59) La escritora

Entonces, el determinante será una función que tome elementos <e,t> (e.g., conjuntos de entidades) y devuelva entidades <e>, es decir, individuos concretos del mundo. En este sentido, el determinante definido será del tipo f<<e,t>e>. Sin embargo, hay una

particularidad de este tipo de función que nos interesa especialmente en esta tesis, dado que será retomado en el capítulo 2. La denotación del determinante no es una función como las que hemos revisado previamente, sino una función parcial, que lo que hace es imponer una condición en su dominio. Es decir, estas funciones no tienen un valor para la totalidad de elementos de su dominio, sino únicamente para un subconjunto de su dominio (no van a mapear cada elemento de su dominio a su codominio, sino un subconjunto de los elementos que cumplen con una condición determinada).

Veamos un ejemplo como (1:60).

(1:60) La escritora llegó.

El significado intuitivo que tenemos de una oración como (1:60) supone que existe una (única) escritora (relevante en el contexto) de la que podemos decir que llegó. Es decir, la presencia de este determinante parece agregar al significado de “escritora” la idea de existencia y unicidad. El significado del determinante definido, entonces, necesita, de algún modo, incorporar ese significado. Siguiendo esta línea de pensamiento, diremos que un determinante definido es una función que selecciona de su dominio aquellas funciones en las que existe un único x del que se puede predicar dicha función. A cada función de su dominio que tenga tal condición, entonces, la función “la” lo mapea a su codominio, que está conformado por entidades. Teniendo en cuenta esto, observemos la denotación del determinante definido:

41 (1:61) [[la]] = λf<e,t>: ∃ !x ∈ De: f(x) = 1. ɩy : f(y) = 1

condición sobre el dominio

Entonces, “la” es una función que toma funciones del tipo <e,t>, que tienen la condición de que existe un único x del cual se puede predicar dicha función (“∃ !x ∈ De” se lee

como “existe un único x que pertenece al dominio de las entidades”) y devuelve entidades que son únicas en el contexto (“ɩy” se lee como “el único y”). Es decir, esta función, que es del tipo <<e,t>e>, lo que hace es buscar entre las funciones disponibles aquellas que tienen un único x y las mapea a un individuo (alguien con referencia en el mundo).

En este sentido, la combinación del determinante y el nombre procedería del siguiente modo mediante Aplicación Funcional. Dado que “la” es del tipo <<e,t>e> y tiene en su dominio funciones <e,t>, “la” se aplica a “escritora”, lo que resulta en una entidad de la que se puede decir que es única en el contexto.

(1:62) [[la]] = λf<e,t>: ∃ !x ∈ De: f(x) = 1. ɩy : f(y) = 1

[[escritora]] = λx. x es escritora

(1:63) [[SD]] = [λf<e,t>: ∃ !x ∈ De: f(x) = 1. ɩy : f(y) = 1]([λx. x es escritor]) por AF

= ɩy : y es escritor (1:64) SD <e>

D <<e,t>e> N <e,t>

La escritora

Tal como vemos en (1:64), el significado del nodo que contiene el determinante definido y el nombre, i.e., el SD, será el de una entidad (un tipo <e>), algo relevante para nuestro modelo referencialista. De este modo, nombres propios y descripciones definidas (i.e., expresiones nominales con determinante definido) serán entidades que refieren a objetos en el mundo.

42 La última observación que haremos en esta introducción respecto de la semántica de las frases nominales es acerca de frases indefinidas como la que vemos en (1:65).

(1:65) Una escritora

En el capítulo 2 dedicaremos los apartados 3.1. y 3.2. a analizar las diferentes propuestas que han tenido lugar respecto del significado de estas frases en relación a su posición sintáctica. En este apartado, presentaremos los conocimientos básicos de la denotación de una frase como (1:65), con el fin de que la discusión de dichos apartados resulte clara.

A diferencia de los nombres propios o las descripciones definidas, el significado de frases como “una escritora” no ha sido asociado a la denotación de entidades concretas en el mundo (i.e., no son del tipo semántico <e>). Como veremos en detalle en los apartados 3.1. y 3.2. del capítulo 2, estas frases han sido entendidas o bien como cuantificadores o bien como variables libres. Veremos aquí muy brevemente qué implicaría esto.

En la tradición semántica, las expresiones cuantificadas no son del mismo tipo semántico que las descripciones definidas en la medida en que, como ya hemos dicho, no describen entidades en el mundo. La motivación para hacer tal afirmación radica en que este tipo de expresiones lingüísticas no se comporta del mismo modo que otras expresiones lingüísticas, como los nombres propios o las frases nominales definidas. A diferencia de lo que ocurre en (1:66), en (1:67) no podemos hacer la inferencia de que las dos expresiones nominales refieren a una misma entidad (Ferreira, 2018).

(1:66) a. La escritora entró y la escritora salió ⇒ La escritora entró y salió. b. María entró y María salió ⇒ María entró y salió.

(1:67) Una escritora entró y una escritora salió ⇏ Una escritora entró y salió.

Pensemos en nuestra intuición como hablantes acerca del significado de (1:68).

43 Si pensamos en el significado de una oración como (1:68), podríamos decir que consideraremos esa oración verdadera solo en el caso de que exista una persona de la que se puede predicar que es escritora y de la que se puede predicar que entró. Más concretamente, si hay un x tal que x es escritora y tal que x entró, entonces la oración es verdadera. Esta es justamente la contribución del determinante “un”, que es llamado en la bibliografía como “cuantificador generalizado”. Para que nuestro modelo semántico recoja la intuición que tenemos como hablantes, es preciso que el cuantificador tome el conjunto de los x tal que x es escritora y el conjunto de los x tal que x entró y nos dé un valor verdadero (1) solo en el caso de que exista una entidad que está en la intersección de esos dos conjuntos (es decir, que sea escritora y que entre).

(1:69) [[una]] = λf<e,t>.λg<e,t>. ∃x: f(x)=1 & g(x)=1

En glosa, “una” es un operador que toma una función del tipo <e,t> (nombres) y devuelve otra función que va de funciones del tipo <e,t> (verbos) a valores de verdad. Es decir, el tipo semántico de tales determinantes cuantificados será <<e,t>,<<e,t>t>>11. En este sentido, “una” se combina primero con el nombre “escritora” mediante