An observer-based approach to the sorites paradox and the logic derived from that

이 논문은 관찰자와 시간에 의존하는 '흐름 객체 의미론 (FOS)'을 통해 소피테스 역설을 해석하고, 관찰의 간헐성으로 인한 진리값 공백을 강 클라인 3 값 논리로 설명하여 역설의 모순성을 해소함을 제시합니다.

핵심

이 논문은 고대 그리스 철학의 난제인 **'솔리테스 역설 (Sorites Paradox)'**을 해결하기 위해, 우리가 사물을 보는 방식에 새로운 눈을 뜨게 하는 흥미로운 접근법을 제시합니다.

간단히 말해, **"우리가 사물을 볼 때, 실제로는 '끊임없이' 보지 않고 '끊어졌다 이어졌다'를 반복한다"**는 사실을 논리학에 적용하여 역설을 푼 것입니다.

이 복잡한 수학적 논리를 일상적인 언어와 비유로 설명해 드리겠습니다.

---

1. 문제: "머리카락 한 올이 빠지면 대머리가 될까?" (솔리테스 역설)

상상해 보세요. 머리카락이 풍성한 사람이 머리카락이 하나씩 빠진다고 칩시다.

• 머리카락 10 만 개: 대머리가 아님.
• 머리카락 99,999 개: 대머리가 아님.
• ...
• 머리카락 1 개: 대머리? 아니면 대머리가 아님?

여기서 문제는 **"어느 순간에 '머리가 많은 사람'에서 '대머리'로 바뀌는가?"**를 정확히 짚어낼 수 없다는 점입니다. 머리카락이 하나 빠질 때마다 대머리가 되는지 아닌지 판단할 수 없다면, 결국 머리카락이 0 개가 되었을 때에도 대머리가 아니라고 해야 할까요? 아니면 머리카락이 1 개일 때 이미 대머리라고 해야 할까요?

이것이 바로 **'솔리테스 역설'**입니다. 논리적으로 모순이 생기지만, 우리 현실에서는 분명히 머리카락이 빠지면 대머리가 됩니다.

2. 해결책: "시선 (관찰) 의 틈"을 활용하다

이 논문은 이 문제를 해결하기 위해 **'관찰자 (나)'**와 **'시간'**을 중요한 요소로 끌어들입니다. 저자는 우리가 사물을 볼 때, 마치 비디오를 끊어서 보는 것과 같다고 말합니다.

🎥 비유: 끊어지는 카메라 앵글

우리가 친구의 얼굴을 매일 본다고 합시다.

• 연속적인 관찰 (이론상): 친구의 머리카락이 하루하루 빠지는 과정을 24 시간 내내 끊어지지 않게 지켜본다면, 머리카락이 하나 빠질 때마다 "아, 아직 대머리가 아니야"라고 계속 말할 수 있습니다.
• 실제 관찰 (현실): 하지만 우리는 잠을 자고, 밥을 먹고, 다른 일을 합니다. 즉, 친구의 머리를 계속 쳐다보는 시간이 없습니다.

이 논문은 **"관찰이 끊어지는 시간 (Watching Gap)"**이 바로 정답이라고 말합니다.

3. 핵심 메커니즘: "눈을 떼는 순간에 변화가 일어난다"

논문의 핵심 아이디어는 다음과 같습니다.

1. 관찰이 끊어질 때 (Watching Gap): 내가 친구를 보다가 잠을 자고, 다시 깨어 친구를 봤을 때, 그 사이에는 **'보지 않는 시간'**이 있었습니다.
2. 변화의 은닉: 그 '보지 않는 시간' 동안 친구의 머리카락이 조금씩 빠졌습니다. 하지만 나는 그 과정을 보지 못했기 때문에, "아직 대머리가 아니야"라고 생각하다가 다시 봤을 때 "어? 대머리가 됐네?"라고 놀랄 뿐입니다.
3. 역설의 해소: 머리카락이 하나씩 빠질 때마다 대머리가 되는지 아닌지 계속해서 판단할 수 없기 때문에 역설이 생기는 것이 아니라, 내가 보지 않는 사이 (관찰의 틈) 에 상태가 바뀌었기 때문입니다.

즉, "대머리"로 변하는 그 결정적인 순간은 내가 눈을 감고 있는 (관찰이 끊긴) 시간 동안 일어난 것입니다. 그래서 우리는 그 순간을 포착할 수 없는 것입니다.

4. 논리학의 변화: "진, 거짓, 그리고 '모르겠음'"

이 논리를 수학적으로 표현하면 기존의 '진 (True)'과 '거짓 (False)' 두 가지 값만 있는 논리가 아니라, 세 번째 값이 생깁니다.

• 진 (T): 머리카락이 많음 (대머리 아님)
• 거짓 (F): 머리카락이 없음 (대머리)
• 알 수 없음 (U): 지금 관찰 중이 아님 (관찰의 틈)

이 논문은 이 '알 수 없음' 상태를 **'강 클라인 3 값 논리 (Strong Kleene Logic)'**라는 잘 알려진 논리 체계와 완벽하게 일치한다고 증명합니다. 즉, 우리가 "모르겠다"고 말할 때, 그것은 단순히 무지한 것이 아니라 관찰이 끊긴 상태를 논리적으로 표현한 것일 뿐입니다.

5. 왜 이것이 중요한가? (생리학적 근거)

저자는 이 아이디어가 단순히 상상이 아니라 과학적 사실이라고 말합니다.

• 눈의 피로: 인간은 한 곳을 계속 응시하면 눈의 신경 전달 물질이 고갈되어 시야가 흐려지거나 사라집니다 (눈을 깜빡이거나 움직여야 다시 선명해집니다).
• 주의력: 인간의 뇌는 정보를 '연속적'으로 처리하는 것이 아니라, '단편적 (Discrete)'으로 처리합니다. 우리는 끊임없이 세상을 보지 않고, 깜빡이고, 집중했다가 딴생각을 하기를 반복합니다.

즉, "우리는 세상을 끊어지게 (Interrupted) 봅니다." 이 끊어짐이 바로 '솔리테스 역설'이 발생하는 공간입니다.

6. 결론: 지평선 (Horizon) 을 넘을 때

마지막으로 저자는 이 개념을 **'지평선'**에 비유합니다.

• 우리가 친구를 오랫동안 보지 않고 다시 만났을 때, "어? 많이 늙었네?"라고 놀라는 것은 관찰이 끊어진 시간 (지평선) 을 넘어서서 일어난 일입니다.
• 우리는 그 사이사이에 일어난 서서히의 변화를 보지 못했기 때문에, 갑자기 변한 것처럼 느끼는 것입니다.

요약하자면:
이 논문은 "머리카락이 하나씩 빠질 때 언제 대머리가 되는지 알 수 없다"는 역설을, **"우리가 머리카락이 빠지는 과정을 계속 지켜보지 않기 때문"**이라고 설명합니다. 우리가 보지 않는 **시간의 틈 (관찰의 단절)**이 바로 변화가 일어나고, 우리가 그 변화를 포착하지 못하는 이유입니다.

이것은 우리가 세상을 볼 때 완벽하고 연속적인 카메라가 아니라, 끊임없이 켜지고 꺼지는 스톱워치처럼 본다는 사실을 인정함으로써, 논리적 모순을 자연스럽게 해결해 줍니다.

기술 요약

논문 요약: 관찰자 기반의 소크라테스 역설 해결과 플럭싱 객체 의미론 (FOS)

1. 연구 배경 및 문제 제기 (Problem)

• 소크라테스 역설 (Sorites Paradox, SP): '대머리', '더미 (무더기)', '큰 수'와 같은 모호한 술어 (vague predicates) 가 자연수 집합 $N$에 적용될 때 발생하는 역설입니다.
• 수학적 본질: SP 는 귀납법의 실패로 귀결됩니다. 모호한 술어 $P(n)$ (예: "$n$은 작다") 에 대해 $P(n) \Rightarrow P(n+1)$이 성립한다고 가정하면, $P$가 참인 영역에서 거짓인 영역 ($\neg P$) 으로 전이되는 '경계'가 존재하지 않게 됩니다. 이는 자연수 집합 $N$ 내에서 최소 원소가 없는 부분집합의 존재를 요구하게 되어, 표준 자연수 체계에서는 모순을 야기합니다.
• 기존 접근법의 한계:
  • 비표준 모델 (Nonstandard models): 자연수를 확장하여 최소 원소가 없는 집합을 허용하는 비표준 산술 모델을 사용하는 방식이 있으나, 비표준 정수는 실제 경험에서 구현 불가능하여 일상적 모호성 현상을 설명하는 데 한계가 있습니다.
  • 기존 의미론: 관찰자의 역할이나 시간적 요소를 고려하지 않는 전통적인 논리 처리 방식은 SP 의 역설적 성격을 완전히 해소하지 못합니다.

2. 방법론: 플럭싱 객체 의미론 (Fluxing-Object Semantics, FOS)

저자는 SP 를 해결하기 위해 관찰자 (Observer) 와 시간 (Time) 에 의존하는 진리값을 도입한 새로운 의미론인 FOS를 제안합니다.

• 핵심 개념:

  • 플럭싱 객체 (Fluxing Objects): 물리적 객체는 고정된 것이 아니라 시간과 관찰자에 따라 변화하는 '부분 함수 (partial functions)'로 모델링됩니다.
    • $f: I \times \mathbb{N} \to A$ (여기서 $I$는 관찰자 집합, $\mathbb{N}$은 이산 시간 축, $A$는 객체의 형태 집합).
    • $f(i, t)$는 관찰자 $i$가 시간 $t$에 객체 $f$를 인지한 '형태'를 의미합니다.
  • 관찰 간극 (Watching Gaps): 함수 $f$의 정의역이 부분적 (partial) 이라는 점은 관찰자가 객체를 연속적으로 관찰하지 않고 간헐적으로 (interruptedly) 관찰함을 의미합니다. 즉, 시간 $t$와 $s$ 사이에서 $f(i, t')$가 정의되지 않는 '관찰 간극'이 존재할 수 있습니다.
  • 지각 불가능한 변화 (Imperceptibly Changing, i.c.): 관찰자가 연속적인 시간 $t$와 $t+1$에 객체를 관찰할 때, 술어 $P$에 대한 판단이 변하지 않는 객체를 말합니다. 이는 인간의 지각 한계로 인해 미세한 변화가 즉시 감지되지 않음을 반영합니다.

• 진리 조건 (Satisfaction Relation $\Vdash$):

  • $F, \langle i, t \rangle \Vdash P(f)$: 관찰자 $i$가 시간 $t$에 $f$를 관찰하고 ($f(i, t)$가 정의됨), $f(i, t)$가 속성 $P$를 만족할 때 참 (True).
  • $f(i, t)$가 정의되지 않은 경우 (관찰 간극), 진리값은 결정되지 않습니다 (Undetermined).

3. 주요 기여 및 논리적 결과 (Key Contributions & Results)

• 3 값 논리 (Three-valued Logic) 의 도출:

  • 관찰 간극으로 인해 진리값이 결정되지 않는 경우 (Truth-value gaps) 가 발생합니다. 이를 제 3 의 진리값 'U (Undetermined)'로 해석하면 FOS 는 3 값 논리가 됩니다.
  • 강한 클라인 (Strong Kleene) 논리와의 동일성: FOS 에서 유도된 논리 연결사 ($\land, \lor, \neg$) 의 진리표는 강한 클라인 3 값 논리와 완전히 일치함이 증명되었습니다.
    • $T \land U = U$, $F \lor U = U$, $\neg U = U$ 등의 규칙을 따릅니다.

• 소크라테스 역설의 해법:

  • 역설의 제거: 관찰자가 $P$에서 $\neg P$로 판단을 바꾸는 경우 (예: '작다'에서 '크다'로), 이는 반드시 **관찰 간극 (watching gap)**이 존재할 때만 발생합니다.
  • Proposition 3.3: $f$가 지각 불가능하게 변화하는 (i.c.) 객체일 때, 관찰자 $i$가 시간 $t$와 $s$ 사이에서 판단을 바꾸려면 $t$와 $s$ 사이에 관찰 간극이 반드시 존재해야 합니다.
  • 해석: 연속적인 관찰 하에서는 모호한 전이 (vague transition) 가 일어날 수 없으며, 전이는 관찰자가 주의를 기울이지 않는 '간극' 동안에 발생합니다. 따라서 모호한 전이는 논리적 모순이 아니라, 관찰의 불연속성으로 설명 가능해지며 역설이 소멸됩니다.

• 지평선 넘기 (Horizon Crossing) 의 설명:

  • '작은 수'의 집합이 무한히 이어지는 것처럼 보이는 '지평선' 현상은, 관찰자가 간헐적으로 관찰할 때 간극을 건너뛰며 갑자기 큰 수로 인식되는 현상으로 설명됩니다. 이는 비표준 모델을 사용할 필요 없이 표준 자연수 $\mathbb{N}$ 내에서 현실적으로 구현 가능한 해법입니다.

4. 실증적 타당성 (Empirical Justification)

논문은 관찰의 간헐성 (interrupted watching) 이 심리학적, 생리학적 근거를 가진다고 주장합니다.

• 인지 심리학: 주의 (attention) 는 연속적이지 않고 이산적 (discrete/episodic) 일 수 있다는 연구 (Weichselgartner 등) 를 인용합니다.
• 시각 생리학: 시각 피질의 신경 피로 (neural fatigue) 로 인해 인간은 오랫동안 한 점을 응시할 수 없으며, 눈의 움직임과 깜빡임이 필수적입니다 (Tsotsos). 이는 관찰 간극이 필연적임을 생리적으로 뒷받침합니다.

5. 의의 및 결론 (Significance)

• 이론적 의의: 소크라테스 역설을 해결하기 위해 비표준 모델과 같은 비표준 수학적 도구를 사용할 필요 없이, 표준 자연수와 관찰자의 불연속적 관찰이라는 현실적인 개념만으로 역설을 해소했습니다.
• 논리적 의의: 모호성 (vagueness) 을 다루는 새로운 의미론 (FOS) 을 제시하고, 이것이 잘 알려진 강한 클라인 3 값 논리와 동치임을 증명하여 모호한 명제의 논리적 처리에 대한 엄밀한 기반을 마련했습니다.
• 실용적 의의: 인간의 지각 한계와 주의 집중의 생리적 특성을 논리 체계에 통합함으로써, 추상적인 논리 역설을 실제 인간 경험과 연결했습니다.

결론적으로, 이 논문은 소크라테스 역설이 객체 자체의 모호성 때문이 아니라, 관찰자의 **불연속적인 관찰 (관찰 간극)**과 지각 한계에서 비롯된 것임을 보여줌으로써 역설을 효과적으로 해명했습니다.