수량화(언어통계학)

공식적인 의미론에서, 기업이 사실이라면, 술어는 그 기업의 적절한 하위부문에 대해 사실이 아니라고 요구한다면 정량화된다. 예를 들어, 만약 어떤 것이 "사과"라면, 그 어떤 적절한 하위 부분도 "사과"가 아니다. 만약 어떤 것이 "물"이라면, 그것의 많은 하위 부품들 또한 "물"이 될 것이다. 따라서, "사과"라는 술어는 정량화된 반면, "물"은 정량화되지 않는다.^[1][2]

공식적으로, 양자화 조건자 QUA 다음과 같이, 세트에 보다 담론의 U{U\displaystyle}우주, F{F\displaystyle}은 변수, 및 U{U\displaystyle}에<>로 p{p\displaystyle}은mereological 부분 구조물이다. p{\displaystyle<>_{p}}은mereological 파트 타임 정의될 수 있다.rel의아티온:^[1][2]

${\displaystyle(\all F\subseteq U_{p})(QUA(F)\iff(\all x,y)\wedge F(y)\Rightarrow \neg x<_{p}y)}}}$

정량화는 맨프레드 크리프카에 의해 공칭수의 의미론에 대한 그의 단순한 접근법의 일부로 처음 제안되었다. 이후 텔리시티와 같은 다른 현상에 적용되었다.

참고 항목

• 적음 vs 적음
• 질량명사
• 병리학
• 텔리시티

참조

외부 링크

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

• v
• t