[형식의미론] 형식의미론 정리

목차

제 1장 진리조건 의미론
1. 진 리 조 건
2. 합성원칙
제 2장 모형론적 의미론
1. 술어논리
2. 양화논리

본문내용

형식의미론은 형식 논리 체계를 기초로 하여 문장들의 진리조건과 함의 관계를 논하려는
작업이다. 문장의 진리조건에 대한 검토는 문장의 의미를 분석하는데 필요한 첫 작업이다.
우리가 다루는 언어는 무한언어이어서 무한언어에 대한 의미론 체계는 유한수의 해석 규칙
을 귀납적으로 적용할 수 잇는 귀환체계라야 한다.
형식의미론은 프레게의 합성원칙을 가설로서 받아들이는데 이는 곧 복합적인 표현이 지닌
의미는 그것을 구성하고 있는 표현들이 지닌 의미에 의해 결정된다는 원칙이다. 그런데 가
장 간단한 의미론 체계인 명제논리의 진리조건 의미론은 합성원칙에서 말하는 의미를 다루
지 못하고 단지 문장들의 진리치에 대한 합성원칙만을 받아들일 뿐이다. 이에 반해 술어논
리의 모형이론은 문장의 진리치를 그 외연으로 받아들임으로써 진리 조건 의미론의 합성원
칙을 진리치의 원칙에서 외연의 원칙으로 일반화한다.
자연언어의 의미론이 단순한 기술언어보다 더 흥미 있는 것은 자연언어가 이 가설을 검증
할 수 잇는 자료를 제시해준다는 점에 있다. 기호언어와는 달이 자연언어는 형식화된 분석
이 불가능하다고 생각해 왔으나 리차드 몬테규를 위시한 최근의 의미론자들은 자연언어도
기호언어과 다름없이 수학적 구조를 가졌기에 분석의 대상이 될 수 있다고 주장한다. 따라
서 최근의 의미론은 집합론과 같은 현대수학을 기초로 양화이론과 같은 의미론 체계에서 해
석의 기초가 되는 모형에 대한 정확한 정의를 가능케 해주었고 이 모형의 개념을 확대 적용
함으로써 의미론체계를 정립할 수 있게 되어 이를 기초로 인식논리, 시제논리와 같은 자연
언어의 의미론에 직접 적용할 수 잇는 논리체계가 정립될 수 있었다.

참고 자료

없음