반응형 formal semantics1 [언어학] 의미론. 10. formal semantics(형식 의미론) 이번 장에서는 형식 의미론, 그 중에서도 술어 논리에 대해 다룬다. 형식 의미론이라는 것은 논리값(참, 거짓)으로 문장의 의미를 나타내고자 하는 이론이다. 명제 논리(propositional logic) 표현의 한계 => 술어 논리의 필요성 의미론을 하기 위해서는 모두(전 세계 사람들이)가 이해 가능한 언어(metalanguage)로의 번역이 필요하다. 이를 가능케 해 주는 것이 바로 술어 논리이다. 명제 논리는 문장 자체의 의미가 정해졌을 때, 문장의 결합으로 생성되는 또 다른 문장의 의미를 추론할 수는 있지만, 문장 내 구성 요소들의 의미들까지는 설명하지 못한다. 이를 가능케 하고자 한 것이 바로 술어 논리(predicate logic)이다. 술어 논리 역시 명제 논리에서 쓰던 논리 기호들이 쓰인다... 2020. 6. 16. 반응형 이전 1 다음