Valores semánticos de las oraciones

Busco el método adecuado para construir valores semánticos de oraciones completas a partir de los valores semánticos de palabras individuales. También hay algunas palabras individuales sobre las que tengo curiosidad.

Si tuviéramos que tomar la oración: Algunas serpientes fuman

[[Algunos]]= λf · [λg · 1 si y si ∃x tal que f(x)=g(x)=1]

[[Serpiente]= λx · x es una serpiente

[[Fuma]]= λx · x fuma

Ahora he garabateado en mis notas que

[[Alguna serpiente fuma]]= ([[alguna]] [[serpiente]]) [[fuma]]

pero no estoy seguro de cómo trabajar con esa plantilla y escribirla como una abstracción lambda.

Además, tenía curiosidad sobre los valores semánticos de las siguientes palabras:

[[es]]= λx · Sé que hay cierta ambigüedad sobre esto y no estoy seguro por dónde empezar.

[[eso]] (espero poder jugar hoy) = ?

[[o]] (Maurice o Jacob es verde)= ?

[[día]]= λx · x es un día. Estoy bastante seguro de este, pero solo quería verificar dos veces.

¡Gracias!

Vale la pena señalar que 'Eso' y 'O' tienen múltiples significados; es posible que desee ampliar los significados a los que se refiere.
Correcto; "es" es ambiguo: puede ser "pertenece a" (como: "uno es un número natural"), "es un subconjunto de" (como en: "los hombres son animales"), identidad ("Joyce es el autor de Ulises ").
No creo que haya una sola respuesta a esto. Asignar valores semánticos a oraciones en un lenguaje natural no es algo trivial. De hecho, hay quienes argumentan que no se puede hacer. Hay lenguajes construidos que se pueden leer como inglés pero tienen un significado semántico prohibido. Attempo Controlled English (ACE) es uno de esos ejemplos.
Estoy confundido por qué querrías hacer esto y qué sucede incluso si lo hicieras. Te das cuenta de que las proposiciones no funcionan así, ¿verdad? Si quisiera hacer un lenguaje abreviado, esto podría durar un tiempo, pero ¿cómo cubriría cada definición contextual? Algunas palabras tienen una jerga o un contexto cultural, así como un contexto académico, por ejemplo.

Respuestas (2)

Puedes hacer lo que quieras en el marco de Semantics in Generative Grammar de Heim & Kratzer ; 'algunos' se trata en la sección 6.4 como usted lo describe.

[[alguna serpiente]] = [[alguna]]([[serpiente]]) = λg . ∃x tal que x es una serpiente y g(x) = 1

Algunas de las otras palabras plantean algunas preguntas complicadas.

Heim y Kratzer tratan el 'es' como una cópula vacía en la sección 4.2. Entonces, la entrada es λf . f (asigna funciones de tipo e,t a sí mismas).

Si 'eso' introduce un contexto intencional, entonces está más allá del alcance de un libro introductorio. Ver http://web.mit.edu/fintel/fintel-heim-intensional.pdf (PDF).

Si 'o' son cláusulas conjuntas, entonces es sencillo tratarlo como un conectivo funcional de verdad. Toma valores de verdad a funciones de valores de verdad a valores de verdad: toma 1 a una función que toma 0 y 1 a 1, y 0 a una función que toma 1 a 1 y 0 a 0. El otro caso se discute en Heim & Kratzer sección 7.2.2.

El problema con su enfoque es que es imposible evaluar adecuadamente el significado sin contexto.

Como dice Setargew Fantaw,

el cerebro humano, a diferencia de las computadoras, interpreta las cosas sobre la base de la información que proporciona el contexto de percepción. Cuando usamos el lenguaje o realizamos cualquier tarea, lo hacemos dentro de un contexto. Cuando escuchamos una oración determinada, captamos su significado porque se pronuncia en un contexto determinado. De lo contrario, si los escucháramos libres de cualquier contexto, siempre habría ambigüedades. Las oraciones se escuchan " de la manera apropiada porque el contexto organiza la percepción; y dado que las oraciones no se perciben excepto en el contexto, siempre se perciben con la estrecha gama de significados que confiere el contexto " (Hubert Dreyfus).

Sin contexto, todas las oraciones serán ambiguas; no podemos saber si

Algunas serpientes fuman

se refiere a serpientes reales, o a soldados brasileños en la Segunda Guerra Mundial, o algo más.

Así, el significado de una oración parece ser una propiedad emergente, que no está contenida en la mera suma de sus partes.

Hola Luis, gracias por tu respuesta, para los propósitos de la clase que estoy tomando, creo que simplemente tomamos las cosas literalmente, no hay contexto, por ejemplo, me piden que dé el valor semántico de la oración [[algún filósofo fuma]] con solo la frase y los valores semánticos individuales para trabajar, debe gustarle el ejemplo que di en mi pregunta.
El problema con las clases lógicas es que eliminan "proposiciones" del contexto real, asumiendo erróneamente que tal eliminación es una operación neutral, que no tiene efecto en su significado. Tal suposición es falsa y explica muchos de los problemas de la filosofía. Las clases de lógica son como una especie de morgue de sentencias, donde se les somete a procedimientos análogos a los de anatomía forense. Pero mientras los médicos forenses entienden que están analizando cadáveres, no personas vivas, los lógicos no hacen la distinción. :)