형식주의편집자 확인

형식주의는 목표 달성을 위한 실질적인 내용보다 의식이나 절차, 선례, 관습 등에 집착하는 성향을 가리킨다. 이 개념은 정치학, 문학, 철학, 윤리학, 공예학, 수학, 언어학 등 다양한 학문 분야에서 각기 다른 맥락으로 논의된다.

정치학에서 형식주의는 절차의 복잡화, 공권력의 낭비, 비능률화, 목적과 수단의 전도, 법적 책임 강조, 선례 답습주의, 과도한 서면주의 등의 특징으로 나타난다. 이는 실질적인 행정 목적보다 표면적인 형식과 문서 처리에 치우쳐 조직의 발전을 저해할 수 있다.

문학에서 형식주의는 1910~20년대 러시아에서 발생한 비평 이론으로, 러시아 형식주의라고도 부른다. 로만 야콥슨, 빅토르 시클롭스키, 유리 티냐노프, 보리스 에이헨바움 등이 대표 인물이다. 이 이론은 문학을 문학답게 하는 내재적 요소인 형식을 과학적으로 연구해야 한다는 주장을 핵심으로 한다.

철학에서 형식주의는 인식론의 한 경향으로, 인식의 보편적 타당성의 근거를 형식에서 찾는 입장이다. 이 관점은 이마누엘 칸트의 철학과 이를 계승한 신칸트주의 학파의 주장에서 두드러진다. 칸트는 인간의 인식이 감각을 통해 주어지는 경험적 내용과, 인간 정신이 선천적으로 지닌 순수 이성의 형식이 결합하여 성립한다고 보았다. 여기서 형식이란 시간과 공간이라는 직관의 형식, 그리고 범주라는 오성의 형식을 의미하며, 이 형식들이 없으면 어떠한 객관적 인식도 불가능하다고 주장했다.

즉, 철학적 형식주의는 인식의 내용이나 대상 자체보다, 그 내용을 가능하게 하고 질서 부여하는 논리적·선험적 틀을 중시한다. 이는 형이상학적 실체나 경험적 자료에 의존하지 않고, 보편적 필연성을 갖는 지식의 기초를 형식적 원리에서 도출하려는 시도로 이해될 수 있다. 이러한 접근은 이후 논리 실증주의나 분석 철학과 같은 철학적 흐름에도 영향을 미쳤다.

윤리학에서 형식주의는 칸트의 도덕 철학에서 핵심을 이루는 주장으로, 도덕적 행위의 근거를 실질적인 결과나 감정이 아닌 형식적인 도덕 법칙 자체에서 찾는 입장이다. 이는 목적론적 윤리학이나 결과주의와 대비되는 특징을 지닌다.

칸트에 따르면, 어떤 행위가 도덕적으로 선한 것은 그것이 가져오는 행복이나 유용함 같은 실질적 내용 때문이 아니라, 그 행위가 보편화 가능한 정언 명령이라는 형식적 원칙에 부합하기 때문이다. 즉, "너의 행위 준칙이 보편적 법칙이 되도록 행동하라"는 형식적 기준이 도덕적 판단의 근거가 된다. 따라서 의무는 감정이나 기대 결과에 좌우되지 않는 순수한 이성에서 비롯된다.

이러한 윤리학적 형식주의는 도덕률의 보편성과 필연성을 강조하며, 개인의 선의지와 자율성을 중시한다. 반면, 지나치게 형식에 치우쳐 현실의 복잡한 상황과 맥락을 고려하지 못한다는 비판을 받기도 한다. 이 입장은 이후 의무론 윤리학의 기초를 제공했으며, 현대 메타윤리학에서 규범의 근거에 대한 논의에도 영향을 미쳤다.

공예학에서의 형식주의는 헤르바르트 등의 학자들이 주장한 미학적 관점으로, 작품의 내용이나 의미보다는 표현 방법 자체에서 미의 원리를 찾으려는 입장이다. 이는 공예 작품의 가치를 그 실용성이나 상징적 의미가 아닌, 형태, 색채, 구성, 재료의 처리와 같은 순수한 형식적 요소에서 도출한다. 따라서 공예 창작과 비평에 있어서 내재적인 조형 원리와 시각적 질서가 최우선적으로 고려된다.

이러한 관점은 공예를 단순한 기능적 물건을 넘어선 순수 예술의 한 영역으로 격상시키는 효과를 가져왔다. 공예학의 형식주의는 모더니즘 미술과 맥을 같이하며, 장식적 요소를 배제하고 기하학적 형태와 추상적 구성을 강조하는 경향으로 나타난다. 이는 바우하우스의 교육 이념과 실험 정신에서 그 영향을 찾아볼 수 있으며, 산업 디자인의 발전에도 기여했다.

수학의 형식주의는 수학적 이론과 증명을 단순히 일정한 규칙에 따라 기호를 조작하는 형식적 체계로 보는 철학적 입장이다. 이 관점에서 수학적 명제는 그 내용적 의미보다는 기호의 배열과 변형 규칙, 즉 형식적 구조가 핵심이다. 이 주장은 독일의 수학자 다비트 힐베르트와 그의 프로그램에 의해 대표적으로 제기되었다.

힐베르트는 수학의 기초를 확립하고 모순을 제거하기 위해 수학 기초론에서 형식주의 프로그램을 추진했다. 그의 목표는 수학 전체를 완전하고 일관된 공리계로 재구성하고, 그 체계의 무모순성을 유한한 방법으로 증명하는 것이었다. 이는 수학을 내용 없는 기호 게임으로 보는 것이 아니라, 그 엄밀한 토대를 형식적 체계 안에서 확보하려는 시도였다.

그러나 쿠르트 괴델의 불완전성 정리는 이 야심찬 프로그램에 근본적 한계를 드러냈다. 괴델은 충분히 강력한 형식 체계 내에서는 그 체계의 무모순성을 그 체계 자체 내에서 증명할 수 없음을 보였다. 이 발견은 형식주의가 꿈꾸었던 완전하고 자족적인 수학 기초의 구축이 본질적으로 불가능할 수 있음을 시사했다.

오늘날 수학의 형식주의는 수학적 논증의 엄밀성을 기호 논리학을 통해 검증하는 실용적 도구로서의 가치를 인정받고 있다. 컴퓨터 과학의 정형 검증이나 인공지능 분야에서 형식적 방법론은 중요한 역할을 한다. 비록 철학적 완전성의 목표는 달성되지 못했지만, 수학적 사고와 증명의 구조를 명확히 하는 데 형식주의가 기여한 바는 크다.

언어학에서 형식주의는 언어의 구조와 규칙을 형식적이고 추상적인 체계로 분석하는 접근법을 가리킨다. 이 관점은 언어의 사용이나 사회적 맥락보다는 언어 자체의 내재적 체계, 즉 문법과 통사론적 규칙에 주목한다. 이러한 접근은 특히 20세기 중후반에 발전한 이론 언어학과 생성 문법 이론에서 두드러지게 나타난다.

놈 촘스키가 제안한 생성 문법은 언어학적 형식주의의 대표적인 예시이다. 이 이론은 인간의 언어 능력이 선천적인 보편 문법에서 비롯된다고 보며, 무한히 많은 문장을 생성할 수 있는 유한한 규칙 체계를 형식적으로 규명하는 것을 목표로 한다. 이는 언어 현상을 심리적 실재로 간주하고, 언어의 심층 구조와 표면 구조를 구분하여 분석한다.

언어학의 형식주의는 의미나 화용론적 요소보다는 언어 형태의 기계적 조합과 변형에 초점을 맞추는 경향이 있다. 이는 언어를 수학적 체계나 논리 형식과 유사하게 모델링하려는 시도로 이어졌으며, 계산 언어학과 인공지능 분야의 언어 처리 모델 개발에 기초를 제공했다. 이러한 접근법은 언어의 체계적이고 규칙적인 측면을 명확히 하지만, 언어의 실제 사용과 맥락 의존성을 간과할 수 있다는 비판도 받는다.

• 위키백과 - 형식주의

• 위키백과 - 러시아 형식주의

• Stanford Encyclopedia of Philosophy - Formalism in the Philosophy of Mathematics

• Britannica - Formalism (literary criticism)

• Britannica - Formalism (mathematics)

• 한국민족문화대백과사전 - 형식주의

• 한국민족문화대백과사전 - 러시아 형식주의

• 경제학사전 - 형식주의