규칙이 끝없이 많다면 전부를 한꺼번에 검사할 수 없습니다. 그런데 아무 유한 묶음을 골라도 함께 만족시키는 해석이 있다면, 그때그때 다른 해석이 아니라 모든 규칙을 동시에 만족시키는 하나의 모형이 반드시 있을까요? 1차 논리에서는 놀랍게도 그렇습니다. 다만 이 결론은 ‘각 규칙이 따로 참’이라는 말보다 훨씬 강한 전제를 사용합니다.
연구를 읽는 두 가지 질문
유한 부분마다 모형이 있으면 전체 모형도 있습니다
Hodges가 정리한 1차 모형이론의 공개 본문은 콤팩트성 정리를 다음처럼 진술합니다. 문장 집합 T의 모든 유한 부분집합이 모형을 가지면 T 전체도 모형을 가집니다. 논리적 함의의 말로 바꾸면 T가 문장 φ를 함의할 때 이미 T의 어떤 유한 부분 U가 φ를 함의합니다. 무한한 전제 목록에서 실제 증명에 필요한 전제는 유한하다는 뜻입니다. [1]
‘각 문장마다 가능’과 ‘유한 묶음마다 가능’을 구별해야 합니다
문장 하나씩 만족 가능하다는 조건으로는 부족합니다. 예를 들어 P와 ¬P는 각각 모형을 가지지만 둘의 유한 묶음 {P, ¬P}는 모형이 없습니다. 콤팩트성의 가정은 크기가 1인 부분뿐 아니라 크기 2, 3, 그 이상의 모든 유한 부분을 요구합니다. 그리고 각 유한 부분에 쓰이는 모형은 서로 달라도 됩니다. 정리가 보장하는 새 결론이 바로 전체를 만족시키는 공통 모형의 존재입니다. [1]
정리는 1차 논리의 표현력과 맞물립니다
공개 본문은 이 정리의 역사를 Mal’tsev의 1938년 작업과 Henkin·Robinson의 재발견에 연결하고, 대다수 무한 논리에서는 콤팩트성이 실패한다고 설명합니다. 따라서 ‘무한 규칙은 항상 유한 점검으로 충분하다’는 일반 원리가 아닙니다. 어떤 언어와 의미론을 택했는지가 핵심이며, 더 강한 표현력을 얻으면 콤팩트성을 잃을 수 있습니다. [1]
유한한 증거의 역할을 보여 주는 메타논리 결과입니다
이 정리는 학습자가 실제로 무한한 검사를 수행하는 방법을 주지 않으며, 주어진 이론의 모형을 자동으로 구성하는 알고리즘도 아닙니다. 존재 정리와 계산 절차를 구별해야 합니다. 또한 의미론적 만족 가능성과 구문론적 무모순성을 연결하려면 완전성 정리 같은 별도의 결과가 필요합니다. 이 구분을 지키면 콤팩트성을 ‘몇 개만 대충 봐도 된다’는 경험칙으로 오해하지 않게 됩니다. [1]
끝없이 커야 하는 모형
상수 c1, c2, c3, …가 모두 서로 다르다는 문장들을 생각해 봅시다. 이 문장들의 유한 묶음은 필요한 만큼의 원소만 둔 유한 모형에서 만족시킬 수 있습니다. 콤팩트성은 전체 문장 집합도 모형을 가진다고 보장하며, 그 모형은 모든 상수를 다르게 해석해야 하므로 무한합니다.
여기서 ‘처음 열 개를 만족한 모형’을 그대로 늘리면 자동으로 전체 모형이 되는 것은 아닙니다. 정리는 모든 유한 부분의 만족 가능성에서 전체 모형의 존재를 논리적으로 끌어냅니다. 특정한 유한 표본 하나를 검사한 것과도 다릅니다.
LTCT 문항에서는 규칙 카드가 계속 추가되는 상황을 제시하고, 학습자에게 ① 개별 카드, ② 임의의 유한 묶음, ③ 전체 목록의 세 층을 구분하게 할 수 있습니다. 정답 근거에는 적용 중인 논리가 1차 논리인지와 존재 주장인지 구성 절차인지도 적게 해야 합니다.
어디까지 말할 수 있을까요?
- 콜팩트성은 표준 1차 논리의 메타정리이며 대부분의 무한 논리나 임의의 규칙 체계로 자동 확장되지 않습니다.
- 모형의 존재를 보장하지만 원하는 크기·유일성·계산 가능성까지 보장하지는 않습니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
유한 사례 관찰과 모든 유한 부분에 대한 가정을 구별하는 반례 찾기 활동으로 사용할 수 있습니다.
‘증명에 실제로 사용된 전제 표시’ 과제와 연결하되, 콤팩트성이 곧 효율적인 탐색 알고리즘을 준다고 가르치지 않습니다.
‘모든 유한 부분을 만족시킬 수 있다’와 ‘아주 큰 유한 부분 하나를 만족시켰다’는 왜 다른가요?
생각을 비교할 해설 펼치기
전자는 크기와 구성에 관계없이 모든 유한 부분을 양화하지만, 후자는 검사한 한 묶음 밖의 충돌을 배제하지 못하기 때문입니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
1차 모형이론 (First-order Model Theory)
Wilfrid Hodges (2024). Stanford Encyclopedia of Philosophy.
- 자료 성격
- 해외 대학 공개 학술 백과
- 읽은 버전
- 2001-11-10 최초 공개, 2024-01-25 실질 개정
- 확인 범위
- 공개 본문의 모형 정의, 콤팩트성 정리, 역사와 무한 논리에서의 제한
- 원문 확인일
- 영구 식별
- DOI 미기재 · 아래 보존판 주소로 안내
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준