2.12 계산주의(Computationalism)의 정의와 핵심 명제

2.12 계산주의(Computationalism)의 정의와 핵심 명제

1. 계산주의의 정의

계산주의(Computationalism)는 인지(Cognition)를 계산(Computation)으로 이해하는 이론적 입장이다. 이 입장에 따르면, 사고, 지각, 기억, 추론, 의사결정 등의 정신적 과정(Mental Process)은 본질적으로 내적 표상(Internal Representation)에 대한 규칙 기반 조작, 즉 계산적 과정(Computational Process)이다.

계산주의는 인지 과학(Cognitive Science), 심리철학(Philosophy of Mind), 인공지능(Artificial Intelligence)의 교차점에 위치하는 이론적 프레임워크이며, 1950년대 인지 혁명 이후 인지 과학의 지배적 패러다임으로 기능하였다.

2. 계산주의의 핵심 명제

계산주의의 이론적 구조는 다음의 핵심 명제로 구성된다.

2.1 명제 1: 표상주의(Representationalism)

인지 체계는 외부 세계와 내적 상태에 관한 표상(Representation)을 형성하고 유지한다. 이 표상은 세계의 특정 측면을 나타내는(Represent) 내적 구조이며, 인지적 처리의 대상이 된다.

표상주의에서 표상은 다음의 성질을 갖는다:

  • 지향성(Intentionality): 표상은 자기 자신이 아닌 다른 대상을 지시한다.
  • 구조성(Compositionality): 복합 표상의 의미는 구성 요소 표상의 의미와 결합 규칙에 의해 결정된다.
  • 인과적 효력(Causal Efficacy): 표상은 다른 표상과 행동에 인과적 영향을 미친다.

2.2 명제 2: 계산적 처리(Computational Processing)

인지 과정은 표상에 대한 형식적 규칙의 체계적 적용이다. 이 처리는 표상의 형식적 성질(구문적 구조)에 의해 결정되며, 의미(Semantics)는 형식적 처리에 의해 보존되도록 체계가 설계되어 있다.

이 명제는 라이프니츠의 추론 계산법과 동일한 원리를 인지 과정에 적용한 것이다. 인지 체계가 기호의 형식적 성질에 따라 조작을 수행하고, 이 조작이 의미론적으로 적절한 결과를 산출한다는 것이다.

2.3 명제 3: 실현의 다중성(Multiple Realizability)

동일한 계산적 과정이 상이한 물리적 기질(Physical Substrate)에 의해 실현될 수 있다. 인간의 뇌, 외계 생물의 신경계, 디지털 컴퓨터, 또는 기타 물리적 체계가 동일한 계산을 수행할 수 있으며, 이 경우 동일한 인지적 기능을 실현한다.

3. 고전적 계산주의와 연결주의적 계산주의

계산주의는 계산의 본질을 어떻게 이해하는가에 따라 두 가지 주요 형태로 구분된다.

3.1 고전적 계산주의(Classical Computationalism)

고전적 계산주의는 인지를 구조화된 기호적 표상(Structured Symbolic Representation)에 대한 규칙 기반 조작으로 이해한다. 이 입장에서 인지 체계는 본질적으로 물리적 기호 체계(Physical Symbol System)이며, 인지 과정은 프로그래밍 언어의 실행과 유사한 기호적 계산이다.

포더의 사고의 언어 가설(Language of Thought Hypothesis)은 고전적 계산주의의 대표적 정식화이다. 이 가설에 따르면 사고는 “정신어(Mentalese)“라는 내적 표상 언어의 문장에 대한 계산적 조작이다.

3.2 연결주의적 계산주의(Connectionist Computationalism)

연결주의적 계산주의는 인지를 다수의 단순한 처리 단위가 상호 연결된 네트워크에서 창발하는 분산적 처리(Distributed Processing)로 이해한다. 이 입장에서 표상은 네트워크의 활성화 패턴(Activation Pattern)이며, 인지 과정은 활성화 패턴의 동적 변화이다.

루멜하트(David Rumelhart), 맥클랜드(James McClelland) 등이 주도한 PDP(Parallel Distributed Processing) 연구 그룹의 작업이 이 입장의 대표적 연구이다.

4. 계산주의에 대한 비판

4.1 중국어 방 논증(Chinese Room Argument)

설(John Searle)은 1980년 “Minds, Brains, and Programs“에서 중국어 방 논증을 제시하여 강한 AI(Strong AI)와 계산주의를 비판하였다. 설은 형식적 기호 조작만으로는 진정한 이해(Understanding)나 지향성이 산출될 수 없다고 주장하였다.

4.2 프레임 문제(Frame Problem)

형식적 표상 체계에서 행동의 효과와 비효과를 적절히 기술하는 것이 극도로 어렵다는 프레임 문제는 고전적 계산주의의 실용적 한계를 드러낸다.

4.3 체화된 인지(Embodied Cognition)

체화된 인지 이론은 인지가 순수한 기호 조작이 아니라 신체와 환경과의 상호작용에 근본적으로 의존한다고 주장하며, 탈체화된(Disembodied) 계산 모델의 불충분성을 지적한다.

5. 계산주의의 현대적 위상

이러한 비판에도 불구하고, 계산주의는 인지 과학과 인공지능의 핵심 이론적 틀로서의 위상을 유지하고 있다. 현대 딥러닝의 성공은 연결주의적 계산주의의 강력한 경험적 지지를 제공하며, 대규모 언어 모델이 보여주는 언어적 능력은 계산적 과정에 의한 복잡한 인지 기능의 실현 가능성을 실증적으로 보여주고 있다.

계산주의는 “마음은 무엇을 하는가?“에 대한 답변으로서 “마음은 계산한다“는 명제를 제시하며, 이 명제는 인공지능 연구의 가능성 자체를 정당화하는 철학적 기반이다.