마음의 계산 이론

한 줄 정의

**마음의 계산 이론(Computational Theory of Mind, CTM)**은 정신 작용을 기호 계산(symbolic computations)으로, 뇌를 하드웨어로, 마음을 규칙과 알고리즘으로 이루어진 소프트웨어로 설명하는 인지과학 및 마음철학의 이론이다.

핵심 요지

기호 계산 환원: 뇌를 일종의 정보 처리 기계로 보며, 인지 작용을 기호들의 논리적 규칙 실행 과정으로 간주한다.
이분법적 아키텍처: 컴퓨터 하드웨어(뇌)와 소프트웨어(마음)의 구조적 분리를 인간 인지 체계에 그대로 대입한다 (raw/What Makes Us Human.md).
수학적 이성 모델링: 1940~1950년대 폰 노이만과 섀넌 등의 영향 아래 기억, 추론, 언어 등 수학적 모델링이 가능한 비정동적 인지 기능 규명에 공헌하였다 (raw/What Makes Us Human.md). 이는 정형화된 기보 체계와 기호적 데이터 연산을 염두에 둔 접근이었다.
생물학적/정동적 배제: 뇌가 환경과 상호작용하며 자율 성장하는 유기적 기관이라는 사실 및 감정이 인지와 결합되어 작동한다는 점을 배제하여 한계를 노출한다 (raw/What Makes Us Human.md).

상세

마음의 계산 이론은 20세기 중반 신기술 발전과 함께 인지 현상을 설명하는 핵심 패러다임으로 부상하였다.

발전 배경

정보기술과의 결합: 1940~1950년대 제2차 세계대전을 거치며 레이더, 통신, 암호학, 초기 컴퓨터 기술의 발전은 폭발적으로 가속화되었다 (raw/What Makes Us Human.md).
섀넌 정보 이론의 기여: 클로드 섀넌(Claude Shannon)이 정립한 정보 이론(information theory)은 생물학적 뇌를 일종의 정보 처리 기계로 바라볼 수 있는 획기적인 이론적 기틀을 제공했다 (raw/What Makes Us Human.md).
인지 신경과학의 확립: 수학적 추론과 논리 모델링이 가능한 이성적 영역 규명에 집중하며 하드웨어(뇌)와 소프트웨어(마음)의 구조를 정립하였다 (raw/What Makes Us Human.md).

한계점과 비판

설계된 적 없는 유기적 조직: 컴퓨터와 달리 뇌는 설계된 적이 없으며, 생명의 시작과 함께 뉴런이 스스로 조직화(self-organized)되고 성장을 거듭한다 (raw/What Makes Us Human.md).
호문쿨루스의 부재: 뇌 내부에는 컴퓨터 내부 표현을 디스플레이 보듯 통제 명령을 내리는 ‘호문쿨루스(homunculus, 난쟁이)’ 같은 독립적인 지휘관이 존재하지 않는다 (raw/What Makes Us Human.md).
상황 변화의 계산 효율성 한계: 하이데거의 지적처럼 컴퓨터 모델링은 상황 변화에 따른 환경 데이터를 매 순간 재계산해야 하는 비효율성의 한계를 안고 있다 (raw/What Makes Us Human.md).

예시

고전적 기호주의 인공지능(Symbolic AI)에서 지식을 추론하고 계산 규칙을 수행하는 방식의 개념적 Python 예시는 다음과 같다.

class SymbolicMind:
    def __init__(self):
        self.rules = []
        self.kb = set()  # Knowledge Base (기호 지식 보관)
 
    def add_rule(self, premises: list[str], conclusion: str):
        self.rules.append((premises, conclusion))
 
    def assert_fact(self, fact: str):
        self.kb.add(fact)
 
    def infer(self):
        # 전향 추론(Forward Chaining)에 의한 단순 기호 계산
        changed = True
        while changed:
            changed = False
            for premises, conclusion in self.rules:
                if all(p in self.kb for p in premises) and conclusion not in self.kb:
                    self.kb.add(conclusion)
                    changed = True
 
# CTM 방식의 단순 기호 연산 테스트
mind = SymbolicMind()
mind.assert_fact("IsBird")
mind.add_rule(["IsBird"], "CanFly")
 
mind.infer()
print("Inferred Knowledge Base:", mind.kb)  # {'IsBird', 'CanFly'}

위 코드와 같은 논리적 기호 계산은 닫힌 세계 규칙 내부에서는 완벽히 기능하지만, 동적으로 갱신되는 세계 모델 환경 변화와 감정적 맥락의 부재로 인해 무한 계산 루프(프레임 문제)에 직면할 위험이 크다.

충돌

CTM vs 생성주의(Enactivism): CTM은 지각을 외부 정보의 재구성(내부 표현)으로 환원하는 반면, 생성주의는 지각을 몸을 움직여 세계와 직접 상호작용하는 감각-운동적 상호작용의 결과로 보고 CTM의 내부 표상주의를 전면 부인한다 (raw/What Makes Us Human.md).
CTM vs 감정-이성 통합(vmPFC): CTM은 감정을 이성과 독립적인 부차적 요소로 둔 반면, 현대 뇌과학의 vmPFC 영역 연구는 감정이 결여된 이성은 사소한 선택에 소중한 시간을 허비하고 생사가 걸린 큰 맥락을 분별하지 못하는 심각한 의사결정 결함을 겪는다는 임상 결과를 들어 CTM의 하드웨어/소프트웨어 이분법을 반박한다 (raw/What Makes Us Human.md).

LLM Wiki

탐색기

마음의 계산 이론

한 줄 정의

핵심 요지

상세

발전 배경

한계점과 비판

예시

충돌

관련 노트

그래프 뷰

목차

백링크