논리학자와 표기

기호는 생각을 줄이는 약어보다 더 많은 일을 합니다

좋은 표기는 대상·관계·범위·추론 규칙을 눈에 보이게 합니다

기호가 길이를 줄이는 것보다 더 중요한 기능은 “모든”이 어느 변수에 적용되고, 조건문의 앞뒤가 무엇인지를 명시하는 것입니다.

문장보다 범주 사이의 관계를 중심으로

아리스토텔레스의 삼단논법은 항들의 위치와 관계를 도식화했습니다

아리스토텔레스 전통에서는 ‘모든 A는 B’, ‘어떤 A는 B’처럼 범주와 양화 관계를 분석하고, 삼단논법의 형식에 따라 결론이 성립하는지 살폈습니다. 후대의 도식과 교재에서는 A·B·C 같은 글자로 항의 자리를 표시해 구체적인 내용과 논리 형식을 분리해 읽습니다.

논리를 계산 가능한 대수처럼 다루기

불은 논리적 범주와 연산을 대수적 계산으로 표현하는 길을 열었습니다

불의 작업은 논리적 관계를 방정식처럼 계산할 수 있다는 생각을 강하게 발전시켰습니다. 오늘날 컴퓨터 과학에서 널리 쓰는 불 대수는 이 전통을 계승하지만, 현대 교과서의 ∧, ∨, ¬ 표기가 불의 원래 저술 표기와 그대로 같았던 것은 아닙니다.

문장 안으로 들어가 함수·논항·양화를 표현하기

프레게의 개념표기는 현대 술어논리의 표현력을 크게 확장했습니다

프레게는 단순한 주어–술어 문장보다 함수와 논항, 양화사의 적용 범위, 중첩된 관계를 정밀하게 표현할 수 있는 체계를 만들었습니다. 오늘날 우리가 쓰는 기호 모양은 달라졌지만, 현대 일차논리의 핵심 구조와 가까운 표현력이 여기에서 크게 발전했습니다.

논리식을 공간과 경계로 그리기

퍼스의 존재그래프는 부정과 관계를 ‘그림의 조작’으로 표현합니다

퍼스는 기호 논리와 관계논리를 발전시키는 한편, 존재그래프에서는 종이 위의 위치·경계·삽입·삭제 자체를 추론의 일부로 만들었습니다. 그래서 시각논리에서는 “그림이 단순한 설명용 그림인지, 규칙을 가진 형식 체계인지”를 구별하는 중요한 사례가 됩니다.

여러 전통이 만나 한 줄 표기가 정착하기까지

페아노·러셀·화이트헤드 등을 거치며 읽고 쓰기 쉬운 선형 기호 체계가 널리 퍼졌습니다

∀, ∃, → 같은 오늘날의 기호 세트가 한 사람에 의해 한 번에 만들어진 것은 아닙니다. 여러 논리학자의 표기와 교재 관습을 거쳐 점차 표준화되었습니다. 따라서 오래된 논문을 읽을 때는 기호 모양만 보고 현대 의미를 바로 대입하지 않고 그 저자의 범례를 확인해야 합니다.

같은 논리를 여러 표기로 옮기기

표기를 바꿀 때는 기호가 아니라 관계·방향·범위를 보존합니다

표현 변환은 번역과 비슷합니다. 글자 모양을 그대로 옮기는 것이 아니라, 원래 표현의 논리적 역할을 보존해야 합니다.

처음 보는 기호를 만났을 때

기호 이름을 추측하기보다 그 문헌의 범례와 규칙을 먼저 찾습니다

1. 1
   기호 사전 찾기저자가 각 기호를 어떻게 정의했는지 확인
2. 2
   논의 영역 확인변수와 항이 어떤 대상을 가리키는지 확인
3. 3
   범위 확인괄호·점·선·경계가 어디까지 묶는지 확인
4. 4
   추론 규칙 확인어떤 변형이 허용되는지 확인
5. 5
   현대 표기로 옮겨 보기구조를 보존한 채 익숙한 표현으로 변환