Modyfikator przecięcia
W językoznawstwie modyfikator przecinający jest wyrażeniem, które modyfikuje inne, dostarczając przecięcie ich denotacji . Jednym z przykładów jest angielski przymiotnik „niebieski”, którego intersektywność widać w fakcie, że bycie „niebieską świnią” pociąga za sobą bycie zarówno niebieskim, jak i świnią. Z kolei angielski przymiotnik „były” nie przecina się, ponieważ „były prezydent” nie jest ani byłym, ani prezydentem.
Kiedy modyfikator jest przecinający, jego udział w warunkach prawdziwości zdania nie zależy od konkretnego wyrażenia, które modyfikuje. Oznacza to, że można sprawdzić, czy modyfikator jest przecinający, sprawdzając, czy prowadzi do prawidłowych wzorców rozumowania, takich jak poniższy.
- Floyd jest kanadyjskim chirurgiem.
- Floyd jest podpalaczem.
- Ważny: Dlatego Floyd jest kanadyjskim podpalaczem.
W przypadku modyfikatorów nieprzecinających się, takich jak „umiejętny”, równoważne odliczenie nie byłoby ważne.
- Floyd jest utalentowanym chirurgiem.
- Floyd jest podpalaczem.
- Nieważne: dlatego Floyd jest zręcznym podpalaczem.
Modyfikatory mogą być niejednoznaczne i mieć zarówno intersekcyjną, jak i nieintersekcyjną interpretację. Na przykład poniższy przykład zawiera przekrojowe odczytanie, w którym Oleg jest zarówno piękny, jak i tancerz, ale zawiera również jedynie podrzędne odczytanie , w którym Oleg pięknie tańczy, ale sam nie musi być piękny.
- Oleg jest pięknym tancerzem.
W podręcznikowej semantyce modyfikacji modyfikator przecinający oznacza zbiór jednostek, które mają daną właściwość. Kiedy modyfikator modyfikuje modyfikator, który również oznacza zbiór indywiduów, wynikowa fraza oznacza przecięcie ich denotacji.
![{\displaystyle [\![{\text{blue}}]\!]=\{x\,|\,x{\text{ is blue }}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93ef31572a204182e797e3106ed20927bb4ce808)
![{\displaystyle [\![{\text{blue pig}}]\!]=\{x\,|\,x{\text{ is blue }}\}\cap \{x\,|\,x{\text{ is a pig }}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/465e17f811647a69c61ac8dc0efafe44c2c44105)
Takie znaczenia można komponować wprowadzając regułę interpretacji Predicate Modification , która zakoduje na stałe intersektywność. Jednak ten tryb kompozycji można również zapewnić za pomocą standardowej aplikacji funkcji , jeśli modyfikatorowi zostanie nadany wyższy typ semantyczny , leksykalnie lub przez zastosowanie przesunięcia typu .
- modyfikacji predykatu jest węzłem i gdzie następnie .
![{\displaystyle [\![\beta ]\!],[\![\gamma ]\!]\in {\mathcal {D}}_{\langle e,t\rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9996e483ad0f0b6d767396a4c939e496747225f4)
![{\displaystyle [\![\alpha ]\!]=\lambda x_{e}\,.\,x\in [\![\beta ]\!]\cap [\![\gamma ]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/519a55beed3aba2b22fd1be1daa23f932173581b)