Diagrammatic reasoning and Pragmatism (C.S.Peirce)

 

1. 도식적 추론(Diagrammatic reasoning)

 

Diagrammatic reasoning refers to a cognitive process where individuals use visual representations, diagrams, or visual-spatial information to understand, solve problems, or reason about complex systems or concepts. It involves the use of diagrams, charts, graphs, maps, or other visual aids to facilitate understanding, analysis, and problem-solving.

Diagrammatic reasoning is particularly valuable in various fields such as science, mathematics, engineering, computer science, and problem-solving tasks that involve complex relationships, structures, or processes. It allows individuals to:

1. Visualize Complex Information: Diagrams help individuals represent and visualize complex information or relationships that might be challenging to understand or explain using only text or verbal descriptions.
2. Identify Patterns and Relationships: Visual representations enable the identification of patterns, connections, and relationships between different elements or components within a system.
3. Facilitate Problem-Solving: Diagrams aid in problem-solving by providing a visual framework to organize information, break down problems into manageable parts, and explore potential solutions.
4. Communicate and Present Information: Diagrams serve as effective tools for communication, enabling individuals to convey complex ideas, processes, or concepts in a more accessible and understandable format for others.

Examples of diagrammatic reasoning include using flowcharts, concept maps, Venn diagrams, network diagrams, and other visual representations to analyze data, model systems, illustrate processes, or solve problems in various disciplines.

Overall, diagrammatic reasoning leverages visual representations to enhance understanding, problem-solving, and communication, allowing individuals to comprehend and manipulate complex information more effectively.

 

 

 

2. 수학의 문장과 수식도 다이어그램

 

퍼스가 우리에게 선사한 가장 혁신적인 사고의 전환은 다이어그램을 단순한 '그림'으로 보지 않았다는 점이다. 그는 언어적 진술, 대수식, 심지어 논리적 증명의 문장들조차도 넓은 의미의 다이어그램으로 보았다. 왜 그렇게 볼 수 있는지, 퍼스의 기호학적 관점에서 그 이유를 짚어보자.

    1. 관계의 구조를 복제한 '도상(Icon)'
퍼스의 정의에 따르면, 다이어그램은 대상의 부분들 사이에 존재하는 관계의 구조를 기호로 복제해 놓은 것이다.
기하학적 도형은 선과 점의 배치를 통해 공간적 관계를 보여주며, 대수식 $a + b = b + a$도  문자와 기호의 배치를 통해 수의 결합 법칙이라는 '관계적 구조'를 보여준다. 증명에 사용되는 문장들도 나름의 규칙을 가지고 진행된다. "A이면 B이고, B이면 C이다. 그러므로 A이면 C이다"라는 문장의 연결 구조는 사건들 사이의 '인과적/논리적 구조'를 그대로 본떠 만든 것이다.
따라서 텍스트로 된 증명 과정도 그 안에 '관계의 형상(Form of Relation)'을 담고 있다면, 그것은 다이어그램으로 볼 수 있다.

   2. '조작 가능성'이 다이어그램을 결정한다
퍼스가 어떤 표현을 다이어그램이라고 부를 때 가장 중요하게 본 기준은 "그것을 가지고 실험(조작)할 수 있는가?"였다.
우리가 증명 문장들을 읽으며 "이 전제를 저 뒤로 보내면 어떻게 되지?"라거나 "이 개념을 저 개념으로 치환해볼까?"라고 고민하는 과정은, 마치 도형을 돌려보고 자르는 것과 본질적으로 같은 '도식적 조작'이다. 증명의 문장들은 단순히 정보를 전달하는 매체가 아니라, 우리가 머릿속에서 '논리적 실험을 수행할 수 있게 해주는 장치'이기 때문에 다이어그램인 것이다.

   3. 수학적 표현: 사고를 고정하는 '틀'
그리고 가장 중요한 역할은 수학에서 이 다이어그램들이 우리의 사고를 고정함과 동시에 새로운 사고를 열 가능성을 담고 있다는 점이다. 우리의 사고는 너무나 유동적이어서 금방 흩어지지만, 이를 증명 문장이나 수식이라는 다이어그램으로 고정하는 순간, 사고는 하나의 '구조적 객체'가 된다. 이제 우리는 내 지능의 한계에 의존하는 것이 아니라, 고정된 다이어그램의 '질서와 규칙'에 의존하여 한 걸음 더 멀리 나갈 수 있게 된다. 

수학 교과서의 모든 문장과 수식은 그림이 없는 다이어그램이다. 아이들이 수식을 푸는 것은 계산하는 것이 아니라, 그 도식 안에서 논리적 블록을 조작하며 새로운 길을 찾아내는 '탐험'을 하는 것이다.

 

 

 

3. 수학적 사고의 본질은 도식적 추론 (Diagramatic reasoning)

퍼스는 수학자가 단순히 추상적인 기호나 숫자를 다루는 것이 아니라, 마음속으로나 종이 위에 '다이어그램'을 그려놓고 그것을 조작하며 관찰하는 사람이라고 보았다. 이런 관점에서 그는 수학의 본질을 다이어그램의 조작으로 보았다.

 1. 수학의 본질: 다이어그램의 조작

퍼스에게 수학은 "가설적 상태에 대한 다이어그램을 구성하고, 이를 조작하여 그 결과를 관찰하는 학문"이다.

-가설적 구성: 연구하려는 대상의 핵심 관계를 나타내는 아이콘(Icon), 즉 다이어그램을 만든다. (이때 다이어그램은 기하학적 도형뿐만 아니라 대수식도 포함된다.)
- 실험과 조작: 만들어진 다이어그램의 일부분을 변형하거나 새로운 요소를 추가한다. 마치 과학자가 실험실에서 실험하듯, 수학자는 다이어그램 위에서 '사고 실험'을 수행한다.
- 관찰과 발견: 조작의 결과로 나타난 새로운 관계를 '관찰'한다. 이 과정에서 처음에 명시적으로 드러나지 않았던 필연적인 결론을 이끌어낸다.

 

"다이어그램을 구성하고, 그 구성 요소들의 관계를 변형시키며, 그로부터 나타나는 새로운 관계를 관찰하는 것, 이것이 수학적 추론의 핵심이다." (CP 3.560)

2. 기호학적 배경: 도상(Icon)으로서의 다이어그램

퍼스의 기호학에서 다이어그램은 도상(Icon)에 해당한다. 도상은 대상과 대상 사이의 '유사성'이나 '구조적 관계'를 공유하는 기호이다.
 "수학적 추론은 다이어그램의 도움 없이는 불가능하다. 다이어그램은 단지 보조 수단이 아니라, 추론이 일어나는 실제 장소다."
퍼스는 논리적 추론조차도 근본적으로는 시각적·공간적 관계를 다루는 다이어그램적 성격을 띠고 있다고 주장했다.

3. 퍼스가 정의한 탐구의 3단계
퍼스가 정립한 탐구의 논리적 순서는 다음과 같다.
퍼스는 우리가 무언가를 배우거나 발견할 때, 반드시 이 세 가지 추론이 선순환(Cycle)구조를 이루어야 한다고 보았다. 퍼스가 1, 2, 3단계를 나눈 이유는 "지식은 주어지는 것이 아니라, 가설을 세우고 도표를 조작하는 역동적인 '탐구'를 통해 형성된다"는 것을 보여주기 위함이었다.

 1단계: 귀추법 (Abduction) - 가설의 탄생
이단계는 놀라운 현상(현실의 벽)을 마주했을 때, 이를 설명할 수 있는 가설을 제안하는 단계이다. 세 가지 추론 중 유일하게 '새로운 아이디어'를 도입한다. 예를들어, 수학에서 "이 복잡한 문제를 풀기 위해 차원을 하나 높여서 생각해보면 어떨까?"라는 직관적 제안을 하는 단계이다.

2단계: 연역법 (Deduction) - 다이어그램 내의 전개
퍼스는 연역법을 다시 두 갈래로 나누었다. 하나는 정리적 추론이고, 다른 하나는 계적 추론이다. 
정리적 추론 (Theorematic)은 가설을 확인하기 위해 다이어그램에 '보조선을 긋는' 등 실험적 조작을 가하는 창의적 연역이다.
반면, 계적 추론 (Corollarial)은 조작된 다이어그램에서 필연적인 결과들을 조용히 끌어내는 분석적 연역이다.

3단계: 귀납법 (Induction) - 가설의 검증
이 단계는 조작과 관찰을 통해 얻은 결론이 다른 사례에도 적용되는지, 실제 세계에서 효과가 있는지 시험하는 단계이다.
예를들어, "이 규칙이 모든 삼각형에서 성립할까?"를 확인하며 지식으로 확정 짓는 단계이다.

 

4. 퍼스가 강조한 '수학적 특징'

퍼스는 일반 과학과 달리 수학적 탐구에서는 특히 2단계(연역법 내의 정리적 추론)가 가장 중요하다고 보았다.
일반적인 연역은 단순히 "모든 사람은 죽는다, 소크라테스는 사람이다, 고로 소크라테스는 죽는다"처럼 기계적(계적)이지만, 수학적 연역은 가설(귀추)을 증명하기 위해 끊임없이 다이어그램을 변형하고 조작하는 '정리적(Theorematic)' 활동이 필수적이기 때문이다.

 

"수학적 추론은 가설적 상태에 대한 다이어그램을 구성하고(귀추-연역의 시작), 그 조작을 통해 결과를 관찰하는(정리적 추론) 과정의 반복이다." (CP 4.233) "수학자는 실험복을 입지 않은 과학자다. 그의 실험실은 종이 위의 다이어그램이며, 그의 시약은 논리적 기호들이다."

 

 

4. 어떻게 수학 지식을 이해할 것인가? 

퍼스가 수학을 '다이어그램적 추론'의 정수라고 본 이유는, 수학이 단순히 숫자를 다루는 학문이 아니라 '관계들의 추상적 구조(Abstract Structural Order)' 그 자체를 다루는 학문이기 때문이었다. 오일러 경로의 예시를 통해서 다이어그램적 추론을 이해해보기로 하자.

 

>  지저분한 현실에서 '순수한 구조'로의 도약
쾨니히스베르크의 다리 문제는 원래 "실제 도시의 지도"라는 복잡한 데이터였다. 하지만 오일러는 이를 점(Node)과 선(Edge)이라는 추상적 다이어그램으로 단순화했다.

> 다이어그램적 추론의 순간: 지도의 구불구불한 모양이나 다리의 길이는 중요하지 않게 된다. 오직 '어느 지점에 몇 개의 선이 연결되어 있는가(차수, Degree)'라는 구조적 질서만 남는다.

이것이 퍼스가 말한 도상(Icon)의 힘이다. 대상의 겉모습이 아니라 내부의 '관계적 구조'를 복제한 기호를 다루는 것.

 

>  '관찰'을 통한 필연적 법칙의 발견
퍼스는 다이어그램을 '조작'하고 '관찰'한다고 했다. 한붓그리기 다이어그램을 유심히 관찰하면 다음과 같은 구조적 필연성을 파악할 수 있다.
      "어떤 지점에 들어갔다면(In), 반드시 나와야 한다(Out). 그러므로 시작점과 끝점을 제외한 모든 지점은 반드시 짝수 개의 선을 가져야만 한다."

이것은 계산해서 얻은 결과가 아니다. 다이어그램 내부에 숨겨진 위상적 질서를 직관적으로 파악한 것이다. 구성된 도식을 통해서 말이다.  이 순간, 사고의 기법은 "이 길로 가볼까, 저 길로 가볼까?"라는 시행착오에서 "차수가 홀수인 점이 2개 이하인가?"라는 구조적 판단으로 전환될 수 있다. 

> 수학적 질서: '보이지 않는 것'을 '보이게' 만들기
이제, 기호 작용(Semiosis)이 발생하면서, 수학적 다이어그램은 눈에 보이지 않는 '관계'를 눈에 보이는 '형태'로 고정하며 새로운 의미를 형성하게 된다. 또한 일단 다이어그램이 그려지면, 우리 뇌는 더 이상 복잡한 상황을 기억할 필요가 없게 된다. 대신 눈앞의 다이어그램을 실험 도구처럼 조작하며 '만약(If-then)'의 세계를 탐험하게 되면서 새로운 영역으로 사고가 확장하게 된다.

 

 

5. Pragmatism과 수학

우리는 흔히 수학을 정해진 규칙에 따라 답을 찾아가는 정적인 학문으로 본다.

하지만 퍼스(C.S. Peirce)는 수학의 본질을 전혀 다르게 정의했다. 그에게 수학은 '다이어그램(도식)을 만들고, 그것을 조작하며 결과를 관찰하는 실험 학문'이다. 수학자는 머릿속이나 종이 위에 추상적인 관계를 시각화한 도식(Diagram)을 그려놓고, 마치 과학자가 실험실에서 시약을 섞듯 그 도식의 요소를 비틀고, 합치고, 지워본다. 이 과정에서 처음에 미처 발견하지 못했던 구조적 필연성을 발견하는 것, 이것이 퍼스가 말한 '도식적 추론(Diagrammatic Reasoning)'이다.

 

그는 왜 Pragmatism이란 용어를 만들었을까?

퍼스는 어린시절부터 칸트를 매우 좋아했다. 칸트의 책을 거의 외울정도로 마니아였다. Pragmatism이라는 용어는 퍼스가 만든 용어이다. 그가 이 단어를 만든 배경에 칸트가 있다. 칸트가 사용한 단어는 Praktisch(실천적)와 Pragmatisch(실용적)였다. 칸트는 도덕 법칙이나 자유의지처럼 인간이 마땅히 지켜야 할 거룩한 영역을 '실천적(Practical)'이라고 불렀다. 반면, 어떤 목적을 이루기 위해 수단을 선택하는 기술적이고 경험적인 영역을 '실용적(Pragmatic)'이라고 구분했다. 퍼스는 자신의 철학이 도덕 형이상학이 아니라, 실제 실험실에서 검증 가능하고 구체적인 효과를 낳는 사고의 도구가 되길 원했다. 이를 명시하기 위해 'Pragmatism'이라는 이름이 선택된다. 

그의 실용주의를 가장 잘 요약하는 것은 그의 '실용주의 경구Pragmatic Maxim'이다. 

 

"대상이 가질 수 있는 실천적 효과를 고려하라. 그 효과들에 대한 개념이 곧 그 대상에 대한 당신의 개념 전체다."

이렇듯, 그에게 실용주의는 사고의 지평을 넓히는 '결단'이었다. 퍼스의 실용주의는 단순히 "쓸모 있는 것이 진리다"라는 뜻이 아니었다. 어떤 개념의 진정한 의미는 그것이 우리 사고와 행동에 가져오는 '실천적 효과'에 있다는 뜻이다.

우리가 수학에서 내리는 수많은 선택 역시 사실 이 실용주의적 관점에서 이루어진다. (논리적 실용주의)
음수의 도입을 보면, 현실에 '마이너스 사과'는 없다. 그러나, 수의 체계를 대칭적 구조로 완성했을 때 얻어지는 연산의 일관성과 확장성이라는 '실용적 효과' 때문에 우리는 음수를 수로 받아들였다.
1cc = 1mL 의 등호도 마찬가지다. 기하학적 '부피'와 물리적 '들이'는 엄밀히 다른 차원이다. 논리적으로 다른 차원의 대상을 등호로 연결하는 것은 자연스럽지 않다. 하지만 이 둘을 등호(=)로 연결하는 수학적 결단을 내렸다. 이 순간, 우리는 공간을 측정하여 양을 예측하는 강력한 사고의 도구를 얻게 된다. 이처럼 수학은 논리적 단절을 추상적 구조적 체계로 묶어내어 인간의 한계를 넘어서게 하는 실용적 장치가 된다.
"증명 문장도 다이어그램이다"라는 관점 역시 퍼스의 실용주의와 만난다. 
어떤 문장이 진리인 이유는 그것이 고정된 사실이어서가 아니라, 그 문장을 다이어그램 삼아 조작했을 때 항상 일관된 결과(실천적 효과)를 산출해내기 때문이다. 

 

 

 

 

 

 

 

---

주요 참고문헌

Peirce, C. S. (1906). "Prolegomena to an Apology for Pragmaticism"

 

Peirce, C. S. (1903). "The Minute Logic" (CP 2.778)

 

Peirce, C. S. (1898). "Reasoning and the Logic of Things"