En la semántica formal , un predicado se cuantifica si verdadero ser de una entidad exija que es no cierto de cualquier subpartes propios de dicha entidad. Por ejemplo, si algo es una "manzana", entonces ninguna subparte adecuada de esa cosa es una "manzana". Si algo es "agua", muchas de sus subpartes también serán "agua". Por tanto, el predicado "manzana" está cuantificado, mientras que "agua" no. [1] [2]
Formalmente, un predicado de cuantificación QUA se puede definir de la siguiente manera, dondees el universo del discurso ,es una variable sobre conjuntos , yes una estructura de parte mereológica en con la parte mereológica de la relación : [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 .
Ver también
Referencias
- ^ a b Champollion, Lucas; Krifka, Manfred (2016). "Mereología". En Aloni, Maria; Dekker, Paul (eds.). El manual de Cambridge de semántica formal . Prensa de la Universidad de Cambridge. doi : 10.1017 / CBO9781139236157.014 .
- ^ a b Krifka, Manfred (1989). "Referencia nominal, constitución temporal y cuantificación en semántica de eventos". En Bartsch, Renate; van Benthem, Johan; van Emde Boas, Peter (eds.). Semántica y expresiones contextuales . Para es. págs. 75-115.