허퍼드 분리

형식적인 의미론에서 허포드 분리는 하나의 분리가 다른 분리를 수반하는 분절이다. 이 개념은 영국 언어학자 제임스 허포드에 의해 처음 확인되었다.^[1] "메리는 네덜란드에 있거나 암스테르담에 있다"는 문장은 네덜란드에 있지 않고는 암스테르담에 있을 수 없기 때문에 허포드 분리의 예다. 기타 예는 다음과 같다.^[2][3]

1. #타미나는 비틀이나 폴 매카트니를 보았다.
2. #생각하는 숫자는 4로 나누거나 짝수다.
3. #윌버는 돼지일까, 동물일까.

위의 예에서 8진법으로 알 수 있듯이, 허포드 분리는 전형적으로 불친절하다. 단순히 두 이분법 중 더 강한 것을 말하는 것이 같은 의미적 효과를 가져왔을 것이기 때문에 그들의 불친절함은 그들이 중복되는 것에서 비롯되었다고 주장되어 왔다. 따라서 다음과 같은 원칙의 동기로 받아들여졌다.^[3][4]

로컬 중복: 논리적인 형태에$$ $인수{\displaystyle }$A {\$displaystyle$A$$$$} $또는{\displaystyle }$B {\$displaystyle$ $B$$}$에 적용된$$ 이진 연산자 $\oplus {\displaystyle }$ ${\displaystyle \oplus }$의 인스턴스가 포함되어 있는 경우 발음은 적절하지 않다$.$

그러나 허포드 붕괴의 몇몇 특별한 사례는 매우 적절하다.^[2][5]

1. 소피아는 피자 몇개 또는 전부를 먹었다.
2. 헨리에타는 키가 5피트 또는 6피트다.

Hurford의 절연에 대해 분석되어 온 것은 이 절연자들 사이의 얽힘을 없애는 내장된 스칼라 내연에 의해 약한 절제가 강화된다는 것이다. 예를 들어, 위의 좋은 예들 중 첫 번째에서, 왼쪽 부장의 부자연스러운 의미는 단순히 소피아가 0이 아닌 양의 피자를 먹었다는 것이다. 이것은 모든 피자를 먹는 것은 0이 아닌 양을 먹는 것이기 때문에 중복 위반을 초래할 것이다. 그러나, 만약 내장된 스칼라 내연성이 소피아가 피자의 전부는 아니지만 일부를 먹었다는 명제를 나타내도록 이 절제를 풍부하게 만든다면, 이 절제는 더 이상 진행되지 않는다. 피자를 전부 먹는 것은 일부만 먹는 것이 아니라 전부가 아니다. 따라서, 지역 중복성은 여전히 충족될 것이다.^[2][5]

참고 항목

• 분리
• 내연성

메모들

이 의미론적 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.

• v
• t

이 실용주의 관련 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.

• v
• t