▪ 의미론(Semantics)의 본질과 철학적·언어학적 전개
언어와 그 의미와의 관계를 연구하는 학문. 의미론에는 철학적 의미론과 언어학적 의미론 등이 있습니다.
1. 철학적 · 논리적 의미론 (구문론에서 의미론으로)
기호와 의미 사이의 관계를 대상으로 하는 일반 기호학의 핵심 분야입니다. 1920년대 수학자 David Hilbert (다비트 힐베르트)는 집합론 공리군(公理群)의 모순을 조사하기 위해 이론을 논리기호로 형식화하고, 기호가 무엇을 지시하는가를 묻지 않은 채 논증을 기호 배열의 변형 과정으로 봄으로써 완전히 형식적으로 이론 구조를 분석했습니다.
Rudolf Carnap (루돌프 카르나프)는 이 방법으로 전개되는 철학 분야를 <논리적 구문론(構文論)>이라고 불렀으며, 철학적 문제의 대다수가 이 구문론 속에서 기술되고 해명된다고 주장하여 논리실증주의자들에게 막대한 영향을 주었습니다. 그러나 곧 카르나프는 구문론(Syntax)만으로는 철학 문제를 풀 수 없다는 사실을 깨닫고, 1940년 전후부터 언어와 구문론이 지시하는 사태(State of Affairs)의 관계를 논하는 분야를 중요시하여 이를 <논리적 의미론>이라고 칭했습니다.
이 방법은 위대한 논리학자 Alfred Tarski (알프레트 타르스키)의 진리 이론(Truth Theory)의 영향을 받아 논리학의 형식화된 이론과 그 모델(Model) 간의 관계를 집합론을 이용하여 살피는 모델이론을 철학에 도입한 것입니다. 언어의 내부 규칙만을 다루던 분석철학의 관심을 "언어가 현실 세계를 지시하고 참을 만족시키는 문제"로 돌리게 했다는 점에서 지대한 의의를 갖습니다.
2. 언어학적 의미론 (말과 발화의 구조 분석)
언어에 의하여 의미가 전달되는 구조를 경험과학적으로 연구하는 언어학의 한 부문입니다. 의미는 인간의 심리적 내면에 존재하기 때문에 직접적인 객관 관찰이 어려워 통사론에 비해 발달이 늦었으나, 체계적인 분석 틀이 확립되었습니다.
- 말의 의미론 (어휘론, Lexical Semantics): 말의 의미의 본질(개념설, 용법설, 의미소설 등), 어의의 내부 구조, 유의어·반의어·상하관계·부분전체관계 등 의미망(Semantic Network) 연구.
- 발화의 의미론 (Sentence & Utterance Semantics): 발화 의도, 통어적 의미, 언외(言外) 의미, 비유적 의미, 그리고 상황과 화자의 표정·몸짓 등 비언어적 맥락과 공유된 배경지식(세계 지식)의 분석.
- 일반의미론 (General Semantics): 언어의 추상적 상징과 구체적 사물 사이의 혼동을 지적하고 올바른 인식 행동을 추구하는 이론 (A. 코지프스키 제창, S.I. 하야카와 발전).
3. 한국에서의 의미론 수용과 발전 과정
한국에서는 1950년대부터 유럽과 미국의 현대 의미론이 소개되기 시작하여, 1960년대 동음어·다의어·유의어 및 변형생성문법과의 결합 연구가 활발해졌습니다. 1970년대에는 동사·조동사의 동작상(Aspect)·양태(Modality) 의미, 조사의 전제·단언·함의 구조, 그리고 몬터규 문법(Montague Grammar), 격문법(Case Grammar), 화용론(Pragmatics) 등이 도입되어 한국어의 고유한 의미 체계가 깊이 있게 규명되었습니다. (Yahoo 백과사전 : 의미론)
▪ [Infographic] 의미론(Semantics)의 4단계 진화 계보: 논리에서 LLM 잠재 공간으로
인간의 언어 의미를 규명하는 방식은 '형식 논리의 기호 일치'에서 '규칙 기반 문법', '통계적 단어 동시 발생(분포 의미론)', 그리고 현대 '초거대 언어모델(LLM)의 고차원 벡터 공간과 멀티모달 의미 접지'로 혁신적인 진화를 거듭해 왔습니다.
진리조건 · 논리적 의미론
- Frege, Hilbert, Tarski, Carnap
- 참/거짓 판단과 모델이론
- 언어 기호와 세계 상태의 지칭 관계 규명
- 핵심: 의미 = 문장이 참이 되는 조건
언어학적 · 형식 문법 의미론
- Chomsky, Montague, Fillmore
- 몬터규 문법 · 격문법 · 의미망(Semantic Net)
- 기호적 지식표현(KR) 및 전문가 시스템
- 핵심: 합성성 원리(Principle of Compositionality)
분포 의미론 · 벡터 임베딩
- J.R. Firth ("문맥 속의 동료로 단어를 안다")
- LSA, Word2Vec, GloVe, BERT
- 수백 차원 고차원 기하학적 벡터 공간
- 핵심: 의미적 유사도 = 코사인 유사도
LLM 잠재 의미론 · 멀티모달 접지
- Transformer Attention · 초거대 잠재 공간
- 문맥에 따른 실시간 다의어 동적 임베딩
- VLM(시각-언어 모델)과 로보틱스 의미 접지
- 핵심: 신체화된 인공지능(Embodied AI)
▪ AI 와 LLM 에서 의미론(Semantics)이 가지는 4대 핵심 의미와 쟁점
인공지능의 역사는 "컴퓨터가 어떻게 단순 기호(Syntax)의 나열을 넘어 진정한 의미(Semantics)를 이해할 것인가"를 둘러싼 철학적·기술적 도전의 연속이었습니다. 현대 초거대 언어모델(LLM) 환경에서 의미론은 다음과 같은 4대 핵심 의미를 갖습니다.
"구문론(Syntax)은 의미론(Semantics)이 아니다"
철학자 존 설(John Searle)은 '중국어 방(Chinese Room) 논변'을 통해, 기호 조작 규칙만으로는 기호가 의미하는 바를 진정으로 이해할 수 없다고 비판했습니다. 현대의 LLM 비판론(에밀리 벤더의 '확률적 앵무새', 문어 테스트) 역시 "LLM은 텍스트의 형태(Form)와 통계적 상관관계만 학습할 뿐, 화자의 전달 의도나 세계에 대한 지시(Reference)를 결여하고 있다"는 의미론적 의문을 제기합니다.
분포 의미론(Distributional Semantics)의 공학적 완성
언어학자 퍼스(J.R. Firth)의 "단어의 의미는 그 단어가 함께 쓰이는 문맥적 이웃에 의해 결정된다"는 분포 가설은 트랜스포머(Transformer) 아키텍처의 셀프 어텐션(Self-Attention)을 통해 완벽히 구현되었습니다. LLM은 정적 단어 사전을 탈피하여, 문맥에 따라 시시각각 변화하는 다의어(Polysemy), 은유, 반어법의 미묘한 뉘앙스를 수천 차원의 고차원 벡터 공간에서 유클리드/코사인 거리로 정밀 계산합니다.
기호 접지(Symbol Grounding)와 멀티모달 의미론
언어 내부의 기호가 외부 물리 세계의 감각 경험(Sensory Experience)과 어떻게 연결되는가의 문제를 '기호 접지 문제(Symbol Grounding Problem, Harnad 1990)'라고 합니다. 현대 AI는 텍스트만 처리하는 LLM에서 나아가 시각, 음성, 3차원 공간 감각을 통합한 VLM(비전-언어 모델) 및 물리적 신체 제어(Embodied Robotics)를 통해 기호를 실제 세계의 물리적 실재와 직접 결속(Grounding)하고 있습니다.
뉴로-심볼릭 의미론(Neuro-Symbolic)과 의미 검색
단순 키워드 매칭(Lexical Matching)을 넘어 사용자의 문맥적 의도를 파악하는 의미 검색(Dense Semantic Search)과 시맨틱 웹의 지식 그래프(Knowledge Graph)가 LLM과 결합했습니다. 신경망의 직관적 패턴 매칭과 논리적 지식 구조(온톨로지)를 결합한 뉴로-심볼릭 하이브리드는 의미적 환각을 통제하고 논리적 정당성을 부여합니다.
▪ [Infographic] AI 의미론의 3대 접근 방식 비교 매트릭스
고전 기호주의 논리학의 형식 의미론, 현대 딥러닝의 통계적 분포 의미론, 그리고 둘의 강점을 결합한 뉴로-심볼릭 하이브리드 의미론의 6대 핵심 비교입니다.
| 비교 축 | 형식 의미론 (Formal Semantics) | 분포 의미론 (LLM · Vector) | 뉴로-심볼릭 하이브리드 의미론 |
|---|---|---|---|
| 학문적 기원 | 타르스키, 카르나프, 몬터규 논리학 | 퍼스(Firth), 해리스(Harris), 트랜스포머 | 차세대 지능형 지식 공학 · GraphRAG |
| 의미의 표현 형태 | 이산적(Discrete) 기호, 진리치, 술어논리식 | 연속적(Continuous) 고차원 밀집 임베딩 벡터 | 이중 표상 (지식 그래프 삼원조 + 벡터 공간) |
| 장점과 강점 | 엄격한 진위 판별, 100% 논리적 설명성 | 극도의 유연성, 다의어·은유·맥락의 완벽 수용 | 유연한 자연어 해석 + 환각 없는 사실적 정당화 |
| 취약점 및 한계 | 실제 자연어의 모호성과 예외 처리에 취약 | 기호 접지 결여, 부정어·수리 논리 취약(환각) | 이종 아키텍처 간 정렬 및 연산 복잡도 증가 |
| 다의어 처리 방식 | 사전에 정의된 개별 의미 항목으로 분리 | 주변 문맥 단어들과의 어텐션 가중치로 동적 결정 | 문맥 벡터로 개념을 식별 후 온톨로지 노드에 바인딩 |
| 주요 응용 분야 | 컴파일러, 데이터베이스 쿼리 검증, 전문가시스템 | 챗봇, 기계 번역, 문서 요약, 생성형 AI | GraphRAG, 의료·법률 AI, 신체화된 자율 로봇 |
▪ 의미론 학술 논문 · 전문 사이트 및 저작
의미론의 언어학적 토대와 인공지능 인지과학의 연계 저작들을 열람할 수 있는 아카이브 링크입니다.
📄 학술 논문 · 연구 저작
-
📑 의미론과 게임이론 : 그 이론적 결합의 문제점 (이성범 교수, 1999 PDF)
Semantics and Game Theory : Prerequisites for Theoretical Connection (한국언어학회) -
🧠 언어처리에 있어서 어의론 (Herbert Simon)
인지과학과 컴퓨터 심리학의 거두 Herbert Simon (허버트 사이먼)의 의미 처리 이론
🌐 연구 포털 · 학회 사이트
-
Wikipedia : Semantics
위키백과 의미론(언어학, 논리학, 컴퓨터과학) 상세 기술 - 한국어의미학회 공식 사이트
-
의미론 강의 정보 (고려대학교 언어과학과)
고려대학교 언어과학과 홈페이지
▪ 관련 핵심 학술 개념 및 세부 연구 분야 (Terms)
의미론 및 인공지능 연구에서 상호 참조되는 주요 학술 개념들입니다. 각 링크를 클릭하면 상세 페이지로 이동합니다.