Alcance (semántica formal)
En semántica formal , el alcance de un operador semántico es el objeto semántico al que se aplica. Por ejemplo, en la oración " Paulina no bebe cerveza pero sí bebe vino ", la proposición de que Paulina bebe cerveza aparece dentro del alcance de la negación , pero la proposición de que Paulina bebe vino no. El alcance se puede considerar como el orden semántico de operaciones.
Una de las principales preocupaciones de la investigación en semántica formal es la relación entre las posiciones sintácticas de los operadores y su alcance semántico. Esta relación no es transparente, ya que el alcance de un operador no necesita corresponder directamente a su posición de superficie y una forma de superficie única puede ser semánticamente ambigua entre diferentes construcciones de alcance. Algunas teorías del alcance postulan un nivel de estructura sintáctica llamado forma lógica , en el que la posición sintáctica de un elemento corresponde a su alcance semántico. Otras teorías calculan relaciones de alcance en la propia semántica, utilizando herramientas formales como cambiadores de tipo, mónadas y continuaciones .
El alcance de un operador no necesita corresponder directamente al orden de las palabras de la oración en la que aparece. Por ejemplo, algunas oraciones muestran una ambigüedad de alcance en el sentido de que los alcances relativos de dos operadores se pueden interpretar de múltiples formas. [1] [2]
Esta frase se puede entender de dos formas. En la lectura de alcance inverso , hay una sola jirafa que es muy popular en la comunidad de erizos. En la lectura superficial , la oración puede ser cierta incluso si los erizos son amigos de diferentes jirafas.
El alcance dividido es el fenómeno en el que diferentes componentes del significado de un elemento de expresión toman alcance en diferentes lugares. Los cuantificadores negativos son una categoría de expresión que se ha argumentado que tiene un alcance dividido.
En la lectura de re (no dividida), esta oración significa que no hay ningún empleado que deba despedir a ese empleado. Esta es una lectura de alcance no dividido ya que "no" simplemente toma el alcance por encima de la "necesidad" modal. En la lectura de alcance dividido de esta oración, significa que no es el caso de que la empresa necesite despedir a ningún empleado. En esta lectura, "no" se descompone en un alcance de negación por encima de "necesidad" y un alcance cuantificador existencial por debajo de él. [3]
