오늘은 네번째 핀란드 철학자를 소개하는 시간을 가지려고 합니다. “안다는 것은 무엇인가?”, “내가 안다는 것을 나는 어떻게 아는가?” 와 같이 ‘안다’와 관련된 질문은 고대 철학 때 부터 수세기를 걸쳐 내려왔습니다. 이러한 질문에 논리학과 인식논리의 시각에서 접근한 핀란드 철학자 야코 힌티카에 대해 알아보는 시간을 가져보겠습니다.
1. 헬싱키 학파를 이끈 야코 힌티카
야코 힌티카는 핀란드가 낳은 세계적인 철학자이자 논리학자입니다. 그는 앞서 소개된 또 다른 핀란드 철학자 예오리 헨리크 폰 브리트(G.H. von Wright)의 제자로서, 스승과 함께 ‘헬싱키 학파’라는 강력한 분석철학 학파를 이끌었습니다.
- 학문적 배경: 그는 헬싱키 대학교에서 수학과 철학을 공부했으며, 일찍부터 논리학에 천재적인 재능을 보였습니다.
- 세계적인 활동: 핀란드에서 교수직을 역임한 후, 그는 스탠퍼드 대학교, 플로리다 주립 대학교, 보스턴 대학교 등 미국 유수의 대학에서 교수로 재직하며 자신의 사상을 전 세계에 알렸습니다.
- 방대한 업적: 힌티카는 단순히 ‘인식 논리’에만 머무르지 않았습니다. 그는 평생 30권 이상의 저서와 수백 편의 논문을 통해 언어철학, 과학철학, 심지어 게임 이론에까지 지대한 영향을 미쳤습니다.
2. 인식 논리(Epistemic Logic)란 무엇인가
힌티카의 가장 빛나는 업적은 ‘앎(Knowledge)’과 ‘믿음(Belief)’이라는 주관적이고 심리적인 개념을 엄밀한 ‘논리’의 영역으로 끌어들인 것입니다.
2.1. “나는 P를 안다”
전통 철학(인식론)이 ‘앎이란 무엇인가?'(예: 앎은 정당화된 참된 믿음이다)를 논의했다면, 힌티카는 “A가 P를 안다”라는 문장 자체의 논리적 구조에 집중했습니다.
2.2. ‘가능세계’로 앎을 정의하다
힌티카는 ‘가능세계 의미론(Possible Worlds Semantics)’을 통해 명확하게 정의했습니다.
“내가 P를 안다” ($K_a P$) 라는 말의 의미는, “내가 아는 모든 가능세계에서 P는 참이다” 라는 뜻입니다.
이것이 무슨 의미일까요? 이해하기 쉬운 상황으로 예를 들어보겠습니다.
- 예시: 만약 내가 “내 지갑 속에 1만 원이 있다는 것을 안다”고 가정해 봅시다.
- 나의 가능세계: 나는 내 지갑이 텅 비어 있을 가능성, 5천 원만 있을 가능성, 5만 원이 있을 가능성 등을 상상할 수 있습니다.
- ‘앎’의 상태: 하지만 내가 “1만 원이 있음을 안다“고 말하는 순간, 나는 내 지갑이 비어있거나 5천 원만 있는 가능세계들을 나의 ‘인식적 가능세계’에서 모두 배제한 것입니다. 즉, 내가 상상할 수 있는(내가 아는 바와 모순되지 않는) 모든 세계에는 1만 원이 들어있어야 합니다.
이처럼 ‘안다’는 것은, 관련 없는 다른 가능세계들을 제거해나가는 행위로 논리적으로 분석될 수 있습니다.
3. 인식 논리의 핵심 원리 (Axioms)
힌티카는 이 ‘앎’의 논리가 몇 가지 기본 원리(공리)를 따라야 한다고 주장했습니다.
3.1. ‘앎’은 ‘참’을 전제
가장 중요하고 직관적인 원리입니다.
“만약 내가 P를 안다면, P는 반드시 참(True)이어야 한다.”
- 예시: “나는 지구가 평평하다는 것을 안다“라고 말할 수 없습니다. 왜냐하면 ‘지구가 평평하다'($P$)는 명제 자체가 거짓이기 때문입니다.
- ‘앎’과 ‘믿음’의 차이: 이것이 바로 ‘앎(Know)’과 ‘믿음(Believe)’의 결정적인 차이입니다. “나는 지구가 평평하다고 믿는다“는 말은 가능합니다 (거짓된 믿음). 하지만 ‘거짓된 앎’은 논리적으로 불가능합니다. ‘안다’는 말 속에는 이미 ‘그것이 사실이다’라는 전제가 포함되어 있습니다.
3.2. 내가 안다는 것을 안다 : ‘KK 논제’
이것은 힌티카의 인식 논리에서 가장 철학적인 논쟁을 불러일으킨 부분입니다.
“만약 내가 P를 안다면, 나는 ‘내가 P를 안다는 사실’ 또한 안다.”
- 예시: “내가 (내 이름이 홍길동임을) 안다면, 나는 (내가 내 이름이 홍길동임을 안다는 사실을) 안다.”
- 철학적 의미: 이는 ‘앎’이란 자기-인식적(self-aware)인 활동임을 의미합니다. 내가 무언가를 ‘알고’ 있으면서, 정작 ‘내가 그것을 안다는 사실’은 모를 수 없다는 것입니다. 이는 우리의 직관에 상당히 부합하지만, 과연 인간의 모든 앎이 이토록 완벽하게 투명한지에 대해서는 많은 철학적 논쟁을 낳았습니다.
4. ‘논리적 전지(Logical Omniscience)’ : 힌티카 철학의 난제
힌티카의 인식 논리는 매우 강력했지만, 동시에 ‘이상적인 앎’과 ‘현실의 앎’ 사이의 괴리라는 큰 난제를 드러냈습니다. 바로 **’논리적 전지의 문제’**입니다.
그의 논리 체계에 따르면, 다음과 같은 결론이 나옵니다.
- “만약 내가 P를 알고, ‘P이면 Q이다’를 안다면, 나는 반드시 Q도 안다.”
- “나는 내가 아는 모든 것의 논리적 귀결을 전부 안다.”
- 문제점: 예를 들어, 내가 체스(Chess)의 모든 규칙(P)을 안다고 가정해 봅시다. 체스의 모든 가능한 승리 전략(Q)은 그 규칙(P)의 논리적 귀결입니다. 그렇다면 힌티카의 논리상 나는 체스의 모든 승리 전략(Q)을 알아야 합니다.
- 현실: 하지만 현실은 그렇지 않습니다. 우리는 수학의 기본 공리를 알지만, 그로부터 도출되는 모든 정리를 알지는 못합니다.
힌티카는 이 문제를 해결하기 위해 평생 노력했으며, 이는 그의 철학이 ‘이상적 논리’에서 ‘현실의 정보 처리 과정’으로 확장되는 계기가 되었습니다.
5. 핀란드 철학자 야코 힌티카가 철학사에 남긴 영향
야코 힌티카의 인식 논리는 20세기 철학뿐만 아니라 현대 과학 기술에도 거대한 유산을 남겼습니다.
- 인공지능(AI)과 컴퓨터 과학: AI가 ‘지식’을 처리하고 추론하는 방식, 여러 AI 에이전트가 서로의 ‘앎’을 추론하는 ‘다중 에이전트 시스템’의 이론적 기반이 바로 힌티카의 인식 논리입니다.
- 경제학과 게임 이론: 게임 이론에서 “상대방이 무엇을 아는지, 또 상대방이 ‘내가 무엇을 아는지’를 안다고 내가 아는지”를 분석하는 것이 승리의 핵심입니다. 이 모든 것이 인식 논리의 영역입니다.
야코 힌티카는 ‘안다’는 인간의 가장 본질적인 활동을 논리의 언어로 번역해낸 위대한 핀란드 철학자입니다. 그가 닦아놓은 길 덕분에, 오늘날 우리는 기계(AI)에게 ‘앎’을 가르칠 수 있게 되었고, 우리 자신의 ‘앎’을 더욱 깊이 있게 성찰할 수 있게 되었습니다.