의미 가정

Meaning postulate

형식적의미론언어철학에서 의미추정이란 둘 이상의 단어의 의미간의 관계를 규정하는 방법이다. 그것들은 루돌프 카르납에 의해 분석적/합성적 구분에 접근하는 방법으로 소개되었다.[1] 그 후, 리차드 몬태규몬태규 문법의 발달에 의미 체인을 많이 사용하였고,[2] 그들은 몬태규의 발자취를 따라 형식적인 의미론에서 두드러지게 특징을 가지고 있다.[3]

Postulate란 술어의 감각의 한 측면을 표현하는 공식이다. 이 공식은 - 소위 - connectives로 표현된다. 사용되는 커넥티브는 다음과 같다.

  ≡ "if and only if" 포함 → "if" 이항 안톤요법 ~ "not" 

다음과 같은 예는 이를 단순화한다.

1. "X가 남자라면 X는 인간이다." 의미상 이것은 다음과 같이 보일 것이다.

  x MAN ≡ x HUMN BE 

2. "X가 여자라면 X는 여자다." 의미상 이것은 다음과 같이 보일 것이다.

  x GIRL → x WOME 

3. "X는 깨어 있지 않기 때문에 X는 잠들어 있다." 의미상 이것은 다음과 같이 보일 것이다.

  x HEAD → ~x AWAK 

참고 항목

참조

  1. ^ Carnap, Rudolf (October 1952). "Meaning postulates". Philosophical Studies. 3 (5): 65–73. doi:10.1007/BF02350366. ISSN 0031-8116.
  2. ^ Montague, Richard (1973), "The Proper Treatment of Quantification in Ordinary English", in Hintikka, K. J. J.; Moravcsik, J. M. E.; Suppes, P. (eds.), Approaches to Natural Language, Springer Netherlands, pp. 221–242, doi:10.1007/978-94-010-2506-5_10, ISBN 978-90-277-0233-3
  3. ^ Partee, Barbara (2014). "A Brief History of the Syntax-Semantics Interface in Western Formal Linguistics". Syntax-Semantics Interface. 1: 1–21.