En semántica formal , un predicado está cuantificado si, para que sea verdadero respecto de una entidad, es necesario que no lo sea respecto de ninguna de las subpartes propias de esa entidad. Por ejemplo, si algo es una "manzana", entonces ninguna subparte propia de esa cosa es una "manzana". Si algo es "agua", entonces muchas de sus subpartes también serán "agua". Por lo tanto, el predicado "manzana" está cuantificado, mientras que "agua" no lo está. [1] [2]
Formalmente, un predicado de cuantificación QUA se puede definir de la siguiente manera, donde es el universo del discurso , es una variable sobre conjuntos , y es una estructura de parte mereológica en con la relación de parte mereológica : [1] [2]
La cuantificación fue propuesta por primera vez por Manfred Krifka como parte de su enfoque mereológico de la semántica de los nominales. Desde entonces se ha aplicado a otros fenómenos como la telicidad .