논리를 계산으로 다루려는 계획은 언제 모습을 드러냈을까?
조지 부울은 1847년 82쪽 분량의 『논리의 수학적 분석』을 내놓았다. 이 책은 아우구스투스 드모르간과 윌리엄 해밀턴 사이의 논리 논쟁을 계기로 쓰였지만, 핵심 목표는 더 넓었다. 논리를 수학의 한 갈래로 다루고, 추론의 형식을 기호 계산으로 나타내려는 것이었다.
그림에서 무엇을 볼까요?
1847년 논리의 수학적 분석, 1854년 사고의 법칙, 뒤에 정리된 현대 불 대수를 서로 다른 층으로 표시한 연표
조지 부울은 1847년 82쪽 분량의 『논리의 수학적 분석』을 내놓았다. 이 책은 아우구스투스 드모르간과 윌리엄 해밀턴 사이의 논리 논쟁을 계기로 쓰였지만, 핵심 목표는 더 넓었다. 논리를 수학의 한 갈래로 다루고, 추론의 형식을 기호 계산으로 나타내려는 것이었다.
1854년 『사고의 법칙에 관한 탐구』에서는 이 계획을 더 크게 펼쳤다. 부류를 고르는 기호, 결합과 분리의 연산, 방정식의 전개와 제거를 이용해 정언명제와 확률 추론까지 다루었다. 오늘날 ‘불 대수’라고 부르는 전통의 중요한 출발점이지만, 뒤에 표준화된 체계와 부울의 원래 계산은 규칙이 완전히 같지 않다.
x는 참·거짓 값보다 먼저 ‘무엇을 고르는가’를 나타냈다
x+y는 언제 두 부류를 합친다는 뜻이 되었을까?
부울의 대수와 현대 불 대수는 어디까지 같은가?