원 안에 문장을 넣으면 ‘아니다’를 계산할 수 있을까?

기호를 읽는 대신, 관계를 눈앞에서 바꿀 수 있을까?

19세기 논리학은 명제를 글줄에 배열하는 대수적 표기와, 양화·관계를 더 엄밀하게 다루려는 새 체계를 함께 발전시키고 있었습니다. 퍼스는 1870년 관계 논리를 발표했고 1885년에는 양화 논리를 확장했습니다. 존재 그래프는 이 연구를 버린 뒤 갑자기 떠올린 그림이 아니라, 관계와 추론을 공간 배치로 다시 조직하려 한 후기 작업입니다.[4]

존 F. 소와가 공개한 하버드 호턴도서관 소장 MS 514 전사·해설에 따르면, 퍼스는 1896년 ‘실체 그래프’라 부른 방향을 시도한 뒤 1897년경 참과 거짓의 배치를 뒤집어 ‘존재 그래프’로 전환했습니다. 이 연대는 소와의 문헌 해설에 따른 것이므로, 현존 원고 한 장만으로 정확한 발명 순간을 단정하지 않습니다.[2]

1903년 보스턴에서 인쇄된 『논리학의 몇몇 주제에 관한 강요』의 15~23쪽에는 ‘존재 그래프’가 실렸고, 1909년 무렵의 MS 514는 규칙을 가르치기 위한 자습서처럼 전개됩니다. 퍼스에게 도해 추론은 완성된 그림을 바라보는 일이 아니라, 허용된 변형을 거쳐 새 그림을 만드는 일이었습니다.[1][2]

연표에서 주의할 점은 ‘발명’과 ‘전승’을 구분하는 것입니다. 1964년 제이 제이먼과 1973·1992년 돈 로버츠, 2002년 신선주의 연구는 퍼스의 원고를 현대 형식논리와 비교하고 체계를 복원한 후대 작업입니다. 그 연구가 퍼스의 생전 출판물인 것처럼 거꾸로 읽어서는 안 됩니다.[6][7]

빈 종이도 기호다: 네 요소로 알파 그래프 읽기

첫 요소는 ‘주장판(sheet of assertion)’입니다. 아무 절단선에도 둘러싸이지 않은 바깥 영역은 지금 참이라고 주장하는 공간입니다. 그곳에 P를 적으면 P를 주장합니다. 빈 종이가 곧 거짓이라는 뜻이 아니라, 그 위에 적힌 그래프를 참으로 받아들이는 문맥이 먼저 주어집니다.[4][3]

둘째, 같은 영역에 P와 Q를 나란히 두면 두 명제를 함께 주장합니다. 현대식으로는 P ∧ Q입니다. 글자 사이에 ‘그리고’를 쓰지 않아도 같은 공간에 놓인다는 관계가 접속사의 일을 합니다.[4]

셋째, P를 하나의 닫힌 절단선(cut) 안에 넣으면 그 영역 전체를 부정합니다. 곧 ¬P입니다. 넷째, P를 두 겹의 절단선 안에 넣으면 ¬¬P가 됩니다. 고전 명제 논리의 알파 체계에서는 이중 절단선을 넣거나 지워도 진릿값이 보존됩니다.[4][2]

그림에서 핵심은 원의 모양이 아니라 ‘폐곡선이 만든 포함 관계’입니다. 타원, 둥근 사각형, 삐뚤한 고리라도 무엇을 안에 넣고 무엇을 밖에 두는지가 같으면 같은 논리 구조를 나타낼 수 있습니다. 따라서 이 도식은 집합의 포함을 나타내는 벤 다이어그램과 읽는 법이 다릅니다.[5][7]

확인 질문 1. P와 Q가 같은 절단선 안에 나란히 있다면 무엇을 뜻할까요? 해설: 절단선 안의 P와 Q는 먼저 P ∧ Q로 묶이고, 그 영역 전체가 부정되므로 ¬(P ∧ Q)입니다. ‘¬P ∧ Q’도, ‘¬P ∧ ¬Q’도 아닙니다. 먼저 공간의 묶음을 읽고, 바깥쪽 절단선을 마지막에 적용해야 합니다.

‘이면’은 화살표가 아니라, 거짓이 되는 한 경우를 가둔다

알파 그래프에는 교과서의 화살표 →가 기본 기호로 따로 필요하지 않습니다. P이면 Q라는 조건문은 ¬(P ∧ ¬Q)로 바꿔 그릴 수 있습니다. 바깥 절단선 안에 P를 놓고, 그 옆에 Q를 둘러싼 안쪽 절단선을 한 번 더 놓습니다.[2][4]

안쪽부터 읽으면 안쪽 절단선은 ¬Q입니다. 이것이 P와 같은 바깥 절단선 영역에 있으므로 P ∧ ¬Q이고, 바깥 절단선이 그 전체를 부정해 ¬(P ∧ ¬Q)가 됩니다. 조건문이 거짓인 유일한 경우, 곧 P는 참인데 Q는 거짓인 경우를 금지한 셈입니다.

절단선을 단순한 괄호로만 보면 안 됩니다. 괄호는 묶기만 하지만 절단선은 묶으면서 부정합니다. 또한 안쪽 절단선의 Q를 바깥 절단선 밖으로 옮기면 포함 깊이가 바뀌므로 전혀 다른 명제가 됩니다.

확인 질문 2. 바깥 절단선 안에 P와 ‘절단선 속 Q’가 있는 그림에서 P를 Q로 바꾸어도 같은 조건문일까요? 해설: 아닙니다. 원래는 P→Q, 바꾸면 Q→P입니다. 두 식은 대우가 아니라 역 관계이며 일반적으로 동치가 아닙니다. 그림의 좌우 위치보다 어느 글자가 어느 절단 깊이에 놓였는지가 중요합니다.

증명은 그림을 마음대로 고치는 일이 아니라, 허가된 동작의 기록이다

퍼스는 변형 규칙을 ‘허가(permission)’로 설명했습니다. 현대적으로 정리한 알파 규칙은 영역의 부호를 절단선 깊이의 짝홀로 구분합니다. 절단선이 짝수 겹인 바깥·양의 영역에서는 이미 주장한 그래프를 지울 수 있고, 홀수 겹인 음의 영역에서는 그래프를 보태도 됩니다.[2][4]

왜 방향이 다를까요? P ∧ Q가 참이라면 P만 남겨도 참이지만, P에서 임의로 Q를 덧붙여 P ∧ Q라고 할 수는 없습니다. 반대로 부정 영역에서는 더 강한 내부 조건을 넣는 것이 바깥 부정을 약하게 만들어, 참에서 거짓으로 넘어가지 않는 방향을 보존합니다. 이 설명은 고전 논리의 의미론으로 규칙을 해석한 것입니다.

반복(iteration)은 한 그래프를 같은 영역이나 그 안쪽의 허용된 문맥에 복사하는 동작이고, 역동작인 반복 제거(deiteration)는 그렇게 생긴 중복을 지웁니다. 이중 절단선은 그래프 둘레에 함께 넣거나 함께 지울 수 있습니다. 하나의 절단선만 지우면 부정 하나가 사라져 뜻이 바뀌므로 허용되지 않습니다.[4][2]

규칙을 표로 외우기보다 ‘각 단계가 참을 보존하는가’를 확인해야 합니다. 도형이 그럴듯해 보여도 중간 동작의 허가가 없으면 증명이 아닙니다. 이것이 그림 추론을 단순한 직관과 구별하는 지점입니다.[5][7]

P와 ‘P이면 Q’에서 Q까지, 세 번의 그림 변형

전제는 두 가지입니다. 주장판에 P가 있고, 그 옆에 P→Q를 뜻하는 중첩 절단선이 있습니다. 현대식으로 쓰면 P ∧ ¬(P ∧ ¬Q)입니다. 목표는 Q만 남기는 것입니다.

첫째, 바깥 주장판의 P는 조건문 바깥 절단선 안에 있는 P와 같은 그래프입니다. 안쪽의 P를 반복 제거합니다. 그러면 바깥 절단선 안에는 ‘Q를 둘러싼 안쪽 절단선’만 남습니다. 즉 Q 주위에 절단선 두 겹이 연속으로 남습니다.[2]

둘째, 바깥 주장판에 따로 있던 P는 이제 결론을 얻는 데 필요 없는 병치 항이므로 양의 영역 지우기 규칙으로 지웁니다. 셋째, Q를 둘러싼 이중 절단선을 함께 지우면 Q가 남습니다. 이것이 전건 긍정, 곧 P와 P→Q에서 Q를 얻는 추론의 그래프식 전개입니다.[2]

MS 514의 전사에는 전건 긍정을 그래프로 보이는 예가 있습니다. 아래 그림은 그 역사적 도판을 복사한 것이 아니라, 같은 알파 규칙을 오늘의 P·Q 표기로 펼친 교육용 재구성입니다. 단계 이름도 현대 독자의 검산을 돕기 위해 붙였습니다.

중요한 점은 결론 Q가 그림의 모양에서 ‘갑자기 보였다’는 것이 아닙니다. 전제에 이미 있는 P의 중복을 제거하고, 불필요한 항을 지우고, 이중부정을 없애는 세 허가가 차례로 적용됐기 때문에 Q가 정당하게 남습니다.

알파의 원만으로 ‘어떤 사람’과 ‘모든 사람’을 다 말할 수는 없다

알파 체계는 명제 전체의 참·거짓 관계를 다룹니다. 그러나 ‘어떤 학생은 책을 읽는다’처럼 한 대상을 여러 관계에 연결하려면 글자 P와 Q만으로는 부족합니다. 퍼스의 베타(Beta) 체계는 동일성선(line of identity)을 더해 존재하는 대상과 술어의 연결을 나타냅니다.[4][2]

동일성선은 단순한 화살표나 장식선이 아닙니다. 선의 이어짐과 절단선 통과 방식이 존재 양화와 동일성의 범위를 결정합니다. 그래서 이 글의 알파 규칙을 베타에 그대로 적용해 아무 선이나 지우거나 잇는 것은 안전하지 않습니다. 베타에는 선을 위한 추가 규칙과 의미론이 필요합니다.[4][6]

또한 ‘그림이므로 언제나 더 쉽다’고 결론내릴 수 없습니다. 포함 깊이가 많아지면 어느 절단선이 어느 그래프를 부정하는지 추적하기 어려워지고, 같은 논리를 여러 모양으로 그릴 수도 있습니다. 신선주의 2002년 연구는 바로 이 때문에 읽기 절차와 형식적 체계를 분리해 검토합니다.[7]

후대 연구는 알파와 베타의 표현력·건전성·완전성을 현대 논리와 비교해 왔습니다. 그러나 그런 결과는 모든 역사적 원고의 모든 변형이 자동으로 옳다는 뜻이 아닙니다. 어떤 판본과 어떤 규칙 집합을 채택했는지 명시해야 합니다.[5][6]

말을 바꿔도 같은 절단 구조가 남는지 시험해 보기

짧은 활동. P를 ‘자료가 공개되었다’, Q를 ‘주장을 검증할 수 있다’로 바꿔 보세요. ‘자료가 공개되면 주장을 검증할 수 있다’는 바깥 절단선 안에 P와 ‘절단선 속 Q’를 놓아 그립니다. 그 옆 주장판에 P를 하나 더 놓으면 앞 절의 전건 긍정과 같은 구조가 됩니다.

확인 질문 3. 전제 P가 없는데 조건문 그림 안의 P만 반복 제거해 Q를 얻어도 될까요? 해설: 안 됩니다. 바깥의 P가 있어야 안쪽 P가 이미 주장된 그래프의 반복이라는 근거가 생깁니다. 조건문 하나만으로 안쪽 P를 없애면 P→Q에서 Q를 단독으로 결론내는 오류가 됩니다.

이 질문은 표현을 ‘비가 오면 길이 젖는다’로 바꾸어도 같습니다. 사실의 내용보다 구조가 먼저입니다. P의 실제 참 여부, 조건문 자체의 근거, 그래프 변형의 타당성은 서로 다른 검토 항목입니다. 존재 그래프는 세 항목 중 마지막, 즉 전제를 받아들였을 때 결론이 따라오는지를 눈앞의 공간 변형으로 추적하게 합니다.

남는 한계도 분명합니다. 실제 세계의 인과관계가 맞는지, 전제가 충분한지, 단어가 같은 뜻으로 쓰였는지는 절단선만으로 보증되지 않습니다. 그래프는 논증의 형식을 드러내지만, 좋은 전제를 대신 만들어 주지는 않습니다.