[라이프니츠 미분학 연재 #4] 보편 특성론이란 무엇인가, 세상을 계산하려 한 라이프니츠의 생각

미분을 공부하다 보면 한 가지 이상한 점을 발견하게 됩니다. dx, dy 같은 기호들이 너무 정교하게 설계되어 있다는 겁니다. 단순히 계산을 편하게 하려고 만든 것치고는 구조가 너무 치밀합니다. 이게 궁금해서 라이프니츠가 어떤 사람이었는지 찾아봤는데, 알고 보니 그는 수학자이기 전에 철학자였습니다.

그의 평생 과제는 수학 공식을 만드는 게 아니었습니다. 세상의 모든 생각을 기호로 표현하고 계산으로 판단할 수 있게 만드는 것, 그게 그가 진짜 하고 싶었던 일이었습니다. 미분은 그 과정에서 나온 부산물에 가깝습니다. 이 맥락을 알고 나면 dx와 dy가 왜 그런 형태인지 훨씬 자연스럽게 이해됩니다.

라이프니츠가 꿈꾼 보편 특성론, 미분은 그 철학에서 나왔습니다

📌 목차

• 보편 특성론이란 무엇인가
• 왜 언어 대신 기호가 필요했는가
• "계산해 보자" — 라이프니츠의 핵심 선언
• 기호 체계가 실제로 어떤 모습이었는가
• 보편 특성론과 미분의 연결
• 이 아이디어가 현대에 살아있는 방식
• 실패했지만 남긴 것들

보편 특성론이란 무엇인가

보편 특성론은 라이프니츠가 평생 매달렸던 프로젝트입니다. 한 줄로 정리하면 "모든 개념을 기호로 표현하고, 그 기호들을 계산해서 진리를 판단할 수 있게 만들자"는 아이디어입니다.

지금 들으면 좀 황당하게 느껴질 수 있습니다. 인간의 생각을 계산으로 판단한다고요? 근데 라이프니츠는 진지했습니다. 그는 수학이 이미 이걸 하고 있다고 봤습니다. 숫자라는 기호로 양을 표현하고, 계산으로 답을 구하는 것처럼 다른 개념들도 기호화할 수 있다면 같은 방식으로 다룰 수 있다고 생각했습니다.

이게 단순한 철학적 몽상이 아니라는 건, 이 아이디어가 나중에 논리학, 컴퓨터 과학, 인공지능의 기반이 됐다는 사실이 증명합니다.

 

라이프니츠의 보편 특성론은 철학, 수학, 논리학을 하나로 연결하려 한 시도

---

왜 언어 대신 기호가 필요했는가

라이프니츠가 이 아이디어를 떠올린 데는 현실적인 이유가 있었습니다. 당시 유럽은 종교 전쟁과 철학 논쟁이 끊이지 않던 시대였습니다. 같은 성경 구절을 놓고도 해석이 달라 전쟁이 벌어지는 상황이었어요.

라이프니츠는 이게 언어의 문제라고 봤습니다. 단어는 모호합니다. "자유"라는 말 하나도 사람마다 다르게 해석합니다. 그래서 논쟁이 끝나지 않는 거라고 생각했어요. 만약 개념을 수학 기호처럼 명확하게 정의할 수 있다면, "1+1=2"처럼 누구나 동의할 수 있는 방식으로 판단이 가능해진다고 봤습니다.

물론 이 꿈은 완전히 실현되지 못했습니다. 인간의 언어와 사고는 수학만큼 깔끔하게 기호화되지 않거든요. 하지만 이 방향으로 밀어붙이는 과정에서 논리학과 수학이 크게 발전했습니다.

---

"계산해 보자" — 라이프니츠의 핵심 선언

라이프니츠의 글에는 "Calculemus(칼쿨레무스)"라는 표현이 나옵니다. 번역하면 "계산해 보자"입니다. 그는 두 사람이 논쟁할 때 말싸움 대신 이렇게 말할 수 있어야 한다고 했습니다. 펜을 들고 앉아서 계산으로 누가 옳은지 따지자는 거예요.

지금 들으면 좀 웃기기도 합니다. 정치 토론을 계산으로 해결할 수는 없으니까요. 하지만 이 발상이 논리학에 적용되면서 진짜 강력한 도구가 됩니다. 나중에 조지 불이 논리를 0과 1로 계산하는 불 대수를 만들고, 그게 현대 컴퓨터의 기반이 됩니다. 라이프니츠가 씨앗을 뿌린 셈이에요.

라이프니츠의 계산해 보자는 불 대수를 거쳐 현대 컴퓨터로 이어졌습니다

---

기호 체계가 실제로 어떤 모습이었는가

라이프니츠는 실제로 이 기호 체계를 만들려고 시도했습니다. 그는 인간의 모든 개념을 기본 단위로 쪼갤 수 있다고 봤습니다. 마치 알파벳 26개로 모든 단어를 만들 수 있는 것처럼, 몇 가지 기본 개념의 조합으로 모든 지식을 표현할 수 있다고 생각했어요.

예를 들어 "인간"이라는 개념을 "동물 + 이성"으로 쪼개고, 각각에 숫자를 부여합니다. 그러면 인간 = 동물(3) × 이성(7) = 21처럼 표현할 수 있다는 식이었습니다. 이걸 이용하면 두 개념이 서로 연관이 있는지 없는지를 나눗셈으로 확인할 수 있게 되는 거예요.

실제로는 이 방식이 제대로 작동하지 않았습니다. 개념은 숫자처럼 깔끔하게 나눠지지 않으니까요. 하지만 이 시도 자체가 기호 논리학의 출발점이 됐고, 이후 수학과 컴퓨터 과학 발전에 영향을 줬습니다.

구분	일반 언어	보편 특성론	현대 컴퓨터
표현 방식	단어, 문장	기호, 숫자	0과 1
판단 방식	해석, 논쟁	계산	연산
모호함	높음	없음 (목표)	없음
실현 여부	—	부분 실현	완전 실현

---

보편 특성론과 미분의 연결

여기서 미분과의 연결이 나타납니다. 라이프니츠가 dx, dy라는 기호를 만든 건 단순히 계산을 편하게 하려는 게 아니었습니다. 변화라는 개념을 기호로 명확하게 표현하려는 시도였습니다. 보편 특성론의 연장선이었던 거예요.

"값이 조금 변한다"는 모호한 표현 대신 dx라는 기호로 딱 고정하고, 그 결과를 dy로 표현해서 dy/dx라는 계산 가능한 형태로 만든 겁니다. 말로 설명하면 애매한 변화의 개념이 기호로 표현되는 순간 계산이 가능해집니다. 이게 바로 라이프니츠가 평생 하고 싶었던 일의 수학 버전입니다.

그래서 미분 기호가 이렇게 정교한 겁니다. 즉흥적으로 만든 게 아니라, 이미 완성된 철학적 구조 위에서 설계된 결과물이니까요.

미분의 dx dy는 보편 특성론의 기호화 철학이 수학에 적용된 결과입니다

---

이 아이디어가 현대에 살아있는 방식

보편 특성론은 라이프니츠 생전에 완성되지 못했습니다. 하지만 그 아이디어는 여러 갈래로 살아남았습니다.

가장 직접적인 후계자는 컴퓨터입니다. 모든 정보를 0과 1로 표현하고 연산으로 처리하는 구조는 라이프니츠가 꿈꾼 기호 체계와 구조가 같습니다. 프로그래밍 언어도 마찬가지입니다. 인간의 의도를 기호로 표현하고 컴퓨터가 계산하게 만드는 방식이니까요.

인공지능에서도 연결됩니다. AI가 학습할 때 입력과 출력의 관계를 미분으로 계산하면서 조정해 나가는 과정은 변화를 기호로 표현하고 계산으로 판단하는 라이프니츠의 방식 그대로입니다. 300년 전 철학자의 아이디어가 지금도 작동하고 있는 셈입니다.

---

실패했지만 남긴 것들

보편 특성론은 결국 완성되지 못했습니다. 인간의 개념을 수학처럼 완전히 기호화하는 건 불가능에 가깝다는 게 드러났거든요. 20세기에 괴델이 수학 자체도 완전하게 기호화될 수 없다는 걸 증명하면서 이 꿈은 사실상 끝났습니다.

그런데 흥미로운 건 실패하는 과정에서 엄청난 것들이 나왔다는 겁니다. 미분, 기호 논리학, 이진법, 컴퓨터 이론이 전부 이 실패한 프로젝트의 부산물들입니다. 어쩌면 라이프니츠의 진짜 유산은 보편 특성론 자체가 아니라, 그걸 만들려다 생겨난 도구들 인지도 모릅니다.

미분을 배울 때 이 맥락을 알고 있으면 dx와 dy가 다르게 보입니다. 단순한 수학 기호가 아니라, 세상을 계산으로 이해하려 했던 한 철학자의 흔적이니까요.