타입 시프터

Type shifter

형식 의미론에서 타입 시프터는 표현식의 의미 유형변경하는 해석 규칙이다. 예를 들어, "존"이라는 영어 표현은 보통 존 자신을 의미하지만, "존"이라고 불리는 유형 변화 법칙은 리프트는 존 자신이 그 재산을 가지고 있다면 재산을 가져가고 "진실"을 반환하는 기능으로 그것의 변조를 올릴 수 있다. 리프트는 개인이 생성하는 주 울트라필터에 개인을 매핑하는 것으로 볼 수 있다.[1][2][3]

  1. 유형 이동 제외:[ = [\!]
  2. Lift를 사용한 Type shifting:[ h n = , . ( )

타입 시프터들은 체계적인 타입의 모호성을 허용하기 위해 1983년 바바라 파티마츠 로스에 의해 제안되었다. 이 시기의 연구는 통사적 범주가 의미 유형과 직접적으로 대응하고 따라서 특정 범주의 특정 표현식의 특정한 사용이 특히 높은 유형을 필요로 할 때 연구자들은 "최악의 경우에 일반화"해야 한다고 가정했다. 더욱이 파르티는 사실 증거가 다른 맥락에서 다른 유형의 표현을 갖는 것을 뒷받침한다고 주장했다. 따라서 그녀와 로스는 이러한 모호성을 생성하기 위한 원칙적인 메커니즘으로 유형 이동을 제안했다.[1][2][3]

형식 시프터는 특히 분류 문법과 관련 프레임워크에서 공식 의미론 작업에서 표준 도구로 남아 있다. 유형 시프터는 물체 위치에서 정량자를 해석하고 스코프 모호성을 포착하는 데도 사용되었다. 이 점에서, 그것들은 의미론에 대한 주류 생성적 접근법에 사용되는 정량자 상승과 같은 통사적 연산의 대안으로 작용한다. [4][5] 또한 대체 기반 의미론을 완전히 채택할 필요 없이 대체 세트를 생성하고 구성하기 위해 형식 시프터가 사용되어 왔다.[6][7]

참고 항목

메모들

  1. ^ a b Partee, Barbara; Rooth, Mats (1983). "Generalized conjunction and type ambiguity" (PDF). In Portner, Paul; Partee, Barbara (eds.). Formal semantics: The essential readings. Wiley. pp. 334–356. doi:10.1002/9780470758335.ch14.
  2. ^ a b Partee, Barbara (1983). "Noun phrase interpretation and type shifting principles" (PDF). In Portner, Paul; Partee, Barbara (eds.). Formal semantics: The essential readings. Wiley. pp. 357–381. doi:10.1002/9780470758335.ch15.
  3. ^ a b Heim, Irene; Kratzer, Angelika (1998). Semantics in Generative Grammar. Oxford: Wiley Blackwell. Chapter 4.
  4. ^ Heim, Irene; Kratzer, Angelika (1998). Semantics in Generative Grammar. Oxford: Wiley Blackwell. pp. 184–188.
  5. ^ Jacobson, Pauline (2014). Compositional semantics: An introduction to the syntax/semantics interface. Oxford University Press. ISBN 9780199677153.
  6. ^ Charlow, Simon (2015). "Alternatives via scope" (PDF). Unpublished course notes.
  7. ^ Charlow, Simon (2020). "The scope of alternatives: Indefiniteness and islands". Linguistics and Philosophy. 43 (4). doi:10.1007/s10988-019-09278-3.