스퀴글 연산자

공식 의미론에서 스퀴글 연산자${\displaystyle }$~ ${\displaystyle \sim }$은(는) 초점 발생을 제약하는 연산자다. 하나의 공통된 정의에서, 스퀴글 연산자는 구문론 $\alpha {\displaystyle }$ ${\displaystyle \alpha}$과 담화적 $유의론{\displaystyle }$ C ${\displaystyle C}$을(를) 취하며$$, $C{\displaystyle }$ ${\displaystyle C}$의 통상적인 의미 값이 $\alpha {\displaystyle }$ ${\displayst$}의 초점 의미값의 일부 또는 요소라는 전제를 도입한다.$yle \alpha$ $\}.$ 이 스퀴글은 대체 의미론의 틀 안에서 초점을 맞추는 그의 치료의 일환으로 1992년 Mats Rooth에 의해 처음 소개되었다. 그것은 초점에 대한 공식적인 작업에서 표준 도구들 중 하나가 되어 대조적인 초점, 줄임표, 강등, 그리고 문답 일치의 설명에 핵심적인 역할을 하고 있다.

경험적 동기부여

편협한 운영자에 대한 경험적 동기는 집중된 표현과 어떤 특정한 관계에 있는 담화에서 중요한 선행자를 필요로 하는 경우에서 온다. 예를 들어, 다음의 쌍들은 대조적인 초점이 집중된 표현과 대조되는 두드러진 초점 선행자가 있을 때에만 적절하다는 것을 보여준다.^[1][2]

1. (헬렌은 스트로프와펠을 좋아한다) 아니, 맨디는 스트로프와펠을 좋아한다.
2. (헬렌은 스트롭와펠을 좋아한다) #아니, 맨디는 스트롭와펠을 좋아한다.

1. 한 미국 농부가 캐나다 농부와 이야기를 나누고 있었다.
2. 한 미국 농부가 캐나다 농부와 이야기를 나누고 있었다.

이 현상의 또 다른 예는 답 포커스라고도 알려진 문답 일치성이다. 비공식적으로, 질문에 대한 답변에서 집중적인 구성원은 질문에 의해 제기된 문제를 해결하는 발언의 부분을 대표해야 한다. 예를 들어, 스트로프화펠을 좋아하는 사람이 누구인지에 대한 질문에 대해, 스트로프화펠을 좋아하는 사람의 이름에 초점을 맞춰야 한다는 것을 다음의 대화들이 보여준다. 대신 "스트로포와펠"이라는 단어 자체에 초점을 맞추면, # 기호로 나타내듯이 답은 불분명하다.^[3][4]

1. 누가 스트룹와펠을 좋아하나?
   A: 헬렌은 스트롭와펠을 좋아해.
2. 누가 스트룹와펠을 좋아하나?
   A: #Helen은 스트롭와펠을 좋아해.

그 대신 헬렌이 좋아하는 것이 질문이라면 스트롭와펠이라는 단어는 문제를 해결하는 표현이 될 것이다. 따라서, 초점은 "헬렌"이 아닌 "스트롭와펠"에 속하게 될 것이다.

1. Q: 헬렌은 무엇을 좋아하나?
   A: #HELEN은 스트룹와펠을 좋아해.
2. Q: 헬렌은 무엇을 좋아하나?
   A: 헬렌은 스트롭와펠을 좋아해.

형식상세내역

로션 스퀴글 이론에서${\displaystyle }$~ ${\displaystyle \sim }$은(는) 적절한 초점 선행자를 갖기 위해 집중적인 표현이 필요한 것이다$$. 그렇게 함으로써, 그것은 또한 초점 변조와 보통의 변조가 상호작용을 할 수 있게 한다. 초점에 대한 대안적 의미론적 접근방식에서, 각 구성성분 $\alpha {\displaystyle }${\$displaystyle \alpha$}은(는${\displaystyle )}$ 모두 통상적인 변절$[{\displaystyle \alpha }$ ${\displaystyle ]{}_{}}$ ${\displaystyle o_{}}$ ${\$을(는) 가진다$$.$_{o}}$과(와) ${\displaystyle {초점}_{}}$ denotation${\displaystyle [\alpha {}_{}}$]$$f {\$displaystyle [\![\f]\]_{$f}}}이$$(가) 병렬 연산으로 구성된다. $\alpha {\displaystyle }$ ${\displaystyle \alpha }$의 일반적인 변조는 단순히$$ 대체 기반 시스템이 아닌 시스템에서 가질 수 있는 변절이다. 구성 요소의 초점 변형은 일반적으로 같은 유형의 다른 표현으로 집중 구성 요소를 대체함으로써 얻을 수 있는 모든 일반적인 변명의 집합이다.^[5]

1. 문장: 헬렌은 스트롭와펠을 좋아한다.
2. 보통의 폄하${\displaystyle :}$ [ ${\displaystyle \text{헬렌은 스트로프화펠}}$]${\displaystyle {}_o}$ =${\displaystyle {}_{}w\text{w}}$. 헬렌은 ${\displaystyle w}$ ${\displaystyle[\!]$의${\displaystyle \text{스트로프화펠을 좋아한다}}$.$[{\text{$$HELLEN은 stroopwafel}}\!]__$${o}=\boda w\,$${\\text{ 헬렌은 스트로프와펠을 좋아한다 }}$
3. 초점 폄하 :${\displaystyle }$[${\displaystyle \text{헬렌}}$은 ${\displaystyle \text{스트로프화펠}}$ ${\displaystyle ]{}_{}}$ ${\displaystyle f_{}}$= { ${\displaystyle \{}$ ${\displaystyle w}$ ${\displaystyle .}$ ${\displaystyle \text{x}}$는 w ${\displaystyle x}$ ${\displaystyle \in }$ ${\displaystyle {\mathcal{}}_{}}$ ${\displaystyle e_{}}$ ${\displaystyle {}_{}}$ ${\displaystyle [\!$$[{\text{$$HELLEN은 stroopwafel}}\!]__$${f}=\\\lambda w\, .x{\text{{}}}{}}}}}은(는) }w\, \,x\in {\mathcal {D}_{e}\}}}}의 스트로프화펠을 좋아한다.$

1. 문장: 헬렌은 스트룹와펠을 좋아한다.
2. 보통의 폄하${\displaystyle :}$ [${\displaystyle \text{헬렌}}$은 ${\displaystyle \text{스트롭와펠}}$을 ${\displaystyle \text{좋아한다}}$ ${\displaystyle ]{}_{}}$ ${\displaystyle o_{}}$ =${\displaystyle {}_{}\lambda }$ ${\displaystyle w.}$ ${\displaystyle 헬렌}$은 w ${\displaystyle [\!$$[{\text{$$헬렌은 스트룹와펠}}\!]__을$$좋아한다.$${o}=\boda w\,$${\\text{ 헬렌은 스트로프와펠을 좋아한다 }}$
3. 초점 폄하 :${\displaystyle }$[${\displaystyle \text{헬렌은 스트롭와펠을 좋아한다}}$ ${\displaystyle ]{}_{}}$ ${\displaystyle f_{}}$=${\displaystyle }${ ${\displaystyle \lambda }$ ${\displaystyle w.}$ ${\displaystyle \text{헬렌}}$은 ${\displaystyle w}$ ${\displaystyle x}$ ${\displaystyle \in }$ ${\displaystyle {\mathcal{}}_{}}$ ${\displaystyle e_{}}$ ${\displaystyle {}_{}}$ ${\displaystyle [\!$$[{\text{$$헬렌은 스트룹와펠}}\!]__을$$좋아한다.$${f}=\{\putda w\,$${\text{ 헬렌은 }}x{\text{{}w\, \,x\in {\mathcal {D}_{e}\}}}}}을(를) 좋아한다.$

스퀴글 연산자는 두 가지 인수를 취하는데, 문맥상 제공된 선행 $C{\displaystyle }$ ${\displaystyle C}$과(와) 명시적 인수 $\alpha {\displaystyle }$ ${\displaystyle \alpha$ $}$이다$.$ 위의 예에서 $C{\displaystyle }$ ${\$$displaystyle \alpha$$}$은$$$선행$으로 $평가$할 수 있는 변수다$.$f는 [HELEN은 스트로프화펠을 좋아한다]의 구성원이 될 수 있다.

On one common definition, ${\displaystyle \sim }$ introduces a presupposition that ${\displaystyle C}$'s ordinary denotation is either a subset or an element of ${\displaystyle \alpha }$'s focus denotation, or in other words that either ${\displaystyle [\![C]\!]_{o}\subseteq [\![\al$$pha ]\!]_{f}}$ or ${\displaystyle [\![C]\!]_{o}\in [\![\alpha ]\!]_{f}}$. If this presupposition is satisfied, ${\displaystyle \sim }$ passes along its overt argument's ordinary denotation while "resetting" its focus denotation. 즉, 전제가 충족되면${\displaystyle }$[${\displaystyle \alpha }$~ ${\displaystyle C}$ ${\displaystyle ]{}_{}}$ ${\displaystyle o_{}}$=${\displaystyle }$[${\displaystyle \alpha }$ ${\displaystyle ]{}_o}$ ${\$ C$]\!]!]$$_{o}=[\!$$[\\\!]$$_{o}}$ 및$$ [ ${\displaystyle {\alpha }_{}~}$C${\displaystyle ]{}_{}}$ ${\displaystyle f}$ =${\displaystyle }${${\displaystyle {}_{}}$[${\displaystyle \alpha }$ ${\displaystyle ]{}_{}}$ ${\displaystyle o_{}}$} ${\displaystyle [\!\\alpha \sim$ C$]\]_{f}=\[\!]!$$[\\\!]_$$\{$^[6]$o}\}}.$

참고 항목

• 초점(언어학)
• 기인성
• 대체 의미론
• 질문

메모들